Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Model checking
An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Context Aware Service Provisioning
ICPS '04 Proceedings of the The IEEE/ACS International Conference on Pervasive Services
Distributing classes with woven concerns: an exploration of potential fault scenarios
Proceedings of the 4th international conference on Aspect-oriented software development
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
Proceedings of the 5th international conference on Generative programming and component engineering
Model Checking Aspect-Oriented Design Specification
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
TITAN: a Framework for Aspect Oriented System Evolution
ICSEA '07 Proceedings of the International Conference on Software Engineering Advances
Customisation for ubiquitous web applications: a comparison of approaches
International Journal of Web Engineering and Technology
Aspect-Oriented Executable UML Models for Context-Aware Pervasive Applications
MOMPES '08 Proceedings of the 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
Towards engineering models of aspectual pervasive software services
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services
A model-based approach for engineering pervasive services in SOAs
Proceedings of the 5th international conference on Pervasive services
Strategic reuse with asset-based development
Strategic reuse with asset-based development
A Development Process for Self-adapting Service Oriented Applications
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
Models in Software Engineering
Model-Driven Development of Aspectual Pervasive Software Services
EDOCW '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Modeling and analyzing context-aware composition of services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
CAMP: a context-aware mobile portal
IEEE Communications Magazine
A Context-Based Approach to Reconciling Data Interpretation Conflicts in Web Services Composition
ACM Transactions on Internet Technology (TOIT)
| Hi-index | 0.00 |
Context-aware Web services are identified as an important technology to support new applications on the future Internet. Context information has several qualities that make the development of these services challenging, compared to conventional, Web services. Therefore, sound software engineering practices are needed during their development and execution. This article discusses a novel software engineering-based approach, which leverages the benefits of model-driven architecture, aspect-oriented modeling, and formal model checking, for modeling and verifying context-aware services. The approach is explored using a real-world case study in intelligent transport. An evaluation framework is established to validate the main methods and tools employed.