A Discipline of Programming
Context Aware Service Provisioning
ICPS '04 Proceedings of the The IEEE/ACS International Conference on Pervasive Services
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
ICMB '05 Proceedings of the International Conference on Mobile Business
Efficient exploration of service-oriented architectures using aspects
Proceedings of the 28th international conference on Software engineering
Towards Context-Aware Composition of Web Services
GCC '06 Proceedings of the Fifth International Conference on Grid and Cooperative Computing
Proceedings of the 5th international conference on Generative programming and component engineering
Model-driven development of context-aware services
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Context-aware services engineering: Models, transformations, and verification
ACM Transactions on Internet Technology (TOIT)
| Hi-index | 0.00 |
With the proliferation of ubiquitous computing devices and mobile internet it is envisaged that future pervasive services will be increasingly large-scale and operate at an inter-organizational level. Therefore, designing and implementing pervasive services will be a more complex and challenging task. Building software architectural models of concurrent and distributed pervasive services and their compositions provide engineers a better understanding of how these complex services inter-operate and help uncover any errors during the early stages of the software lifecycle. In this paper, we propose a novel approach based on behavioral modeling and analysis techniques for representing pervasive software services and verifying process behavior of these models against specified system properties. As part of ongoing research, we model the crosscutting context-dependent behavior of our services as aspect-oriented models using a custom Unified Modeling Language (UML) profile, and apply model transformation techniques to automatically translate the aspects into state machine based behavioral representations to facilitate rigorous software process analysis. The approach is explored using an existing case study in transport and logistics.