Affiliation:
1. Monash University, Clayton Campus, Australia
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications
Reference35 articles.
1. Aspect-Oriented Modeling. http://www.aspect-modeling.org/. (Last accessed 12/11.) Aspect-Oriented Modeling. http://www.aspect-modeling.org/. (Last accessed 12/11.)
2. Abeywickrama D. B. 2010. Pervasive services engineering for SOAs. Ph.D. Faculty of IT Monash University Australia. Abeywickrama D. B. 2010. Pervasive services engineering for SOAs. Ph.D. Faculty of IT Monash University Australia.
3. A model-based approach for engineering pervasive services in SOAs
4. Towards engineering models of aspectual pervasive software services
5. Model-Driven Development of Aspectual Pervasive Software Services
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献