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.
- Aspect-Oriented Modeling. http://www.aspect-modeling.org/. (Last accessed 12/11.)Google Scholar
- Abeywickrama, D. B. 2010. Pervasive services engineering for SOAs. Ph.D., Faculty of IT, Monash University, Australia.Google Scholar
- Abeywickrama, D. B. and Ramakrishnan, S. 2008a. A model-based approach for engineering pervasive services in SOAs. In Proceedings of the 5th International Conference on Pervasive Services. 57--60. Google Scholar
Digital Library
- Abeywickrama, D. B. and Ramakrishnan, S. 2008b. Towards engineering models of aspectual pervasive software services. In Proceedings of the 3rd Workshop on Software Engineering for Pervasive Services. 3--8. Google Scholar
Digital Library
- Abeywickrama, D. B. and Ramakrishnan, S. 2010. Model-driven development of aspectual pervasive software services. In Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference Workshops. 49--59. Google Scholar
Digital Library
- Abeywickrama, D. B. and Ramakrishnan, S. 2011. A framework for aspectual pervasive software services evaluation. In L. A. Maciaszek and K. Zhang Eds., Evaluation of Novel Approaches to Software Engineering, CCIS 275, 98--113.Google Scholar
- Achilleos, A., Yang, K., Georgalas, N., and Azmoodech, M. 2008. Pervasive service creation using a model driven petri net based approach. In Proceedings of the International Wireless Communications and Mobile Computing Conference. 309--314.Google Scholar
- Analyti, A., Theodorakis, M., Spyratos, N., and Constantopoulos, P. 2007. Contextualization as an independent abstraction mechanism for conceptual modeling. Info. Sys. J. 32, 1, 24--60. Google Scholar
Digital Library
- Autili, M., Berardinelli, L., Cortellessa, V., Marco, A. D., Ruscio, D. D., Inverardi, P., and Tivoli, M. 2009. A development process for self-adapting service-oriented applications. In Proceedings of the International Conference on Service-Oriented Computing. Lecture Notes in Computer Science Series, vol. 4749, Springer, Berlin, 442--448. Google Scholar
Digital Library
- Clarke, E. M., Grumberg, O., and Peled, D. A. 1999. Model Checking. The MIT Press, Cambridge, MA. Google Scholar
Digital Library
- Clarke, E. M., Wing, J. M., and Alur, R. 1996. Formal methods: State of the art and future directions. ACM Comp. Sur. 28, 4, 626--643. Google Scholar
Digital Library
- Colombo, E., Mylopoulos, J., and Spoletini, P. 2005. Modeling and analyzing context-aware composition of services. In Proceedings of the International Conference on Service Oriented Computing. Lecture Notes in Computer Science Series, vol. 3826, Springer, Berlin, 198--213. Google Scholar
Digital Library
- Cottenier, T., van den Berg, A., and Elrad, T. 2007. Motorola WEAVR: Aspect orientation and model-driven engineering. J. Obj. Tech. 6, 7, 51--88.Google Scholar
Cross Ref
- Davie, A. 2002. Intelligent tagging for transport and logistics: The ParcelCall approach. IEE Elec. & Comm. Eng. J. 14, 3, 122--128.Google Scholar
Cross Ref
- DeCarlo, J., Ackerman, L., Elder, P., Busch, C., Lopez-Mancisidor, A., Kimura, J., and Balaji, R. S. 2008. Strategic Reuse with Asset-Based Development. IBM Corporation. Google Scholar
Digital Library
- Douence, R., Botlan, D. L., Noye, J., and Sudholt, M. 2006. Concurrent aspects. In Proceedings of the 5th International Conference on Generative Programming and Component Engineering. 79--88. Google Scholar
Digital Library
- Filieri, A., Ghezzi, C., and Tamburrelli, G. 2011. Run-time efficient probabilistic model checking. In Proceedings of the 33rd International Conference on Software Engineering. 341--350. Google Scholar
Digital Library
- Fuentes, L., Gamez, N., and Sanchez, P. 2008. Aspect-oriented executable UML models for context-aware pervasive applications. In Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software. 34--43. Google Scholar
Digital Library
- Groher, I. and Schulze, S. 2003. Generating aspect code from UML models. In Proceedings of the 3rd International Workshop on Aspect-Oriented Modeling.Google Scholar
- Hegering, H.-G., Küpper, A., Linnhoff-Popien, C., and Reiser, H. 2003. Management challenges of context-aware services in ubiquitous environments. In Self-Managing Distributed Systems, Lecture Notes in Computer Science Series, vol. 2867, Springer, Berlin, 321--339.Google Scholar
- ITU-T. 2009. The Future Internet: ITU-T Technology Watch Report 10. http://www.itu.int/dms_pub/itu-t/oth/23/01/T230100000A0001PDFE.pdf. (Last accessed 12/11).Google Scholar
- Kappel, G., Proll, B., Retschitzegger, W., and Schwinger, W. 2003. Customization for ubiquitous web applications: A comparison of approaches. Inter. J. Web Eng. Tech. 1, 1, 79--111. Inderscience Publishers, Geneva, Switzerland. Google Scholar
Digital Library
- Krüger, I. H., Mathew, R., and Meisinger, M. 2006. Efficient exploration of service-oriented architectures using aspects. In Proceedings of the 28th International Conference on Software Engineering. 62--71. Google Scholar
Digital Library
- Magee, J. and Kramer, J. 2006. Concurrency: State Models and Java Programs 2nd Ed. John Wiley and Sons. Google Scholar
Digital Library
- Mandato, D., Kovacs, E., Hohl, F., and Amir-Alikhani, H. 2002. CAMP: A context-aware mobile portal. IEEE Comm. Mag. 40, 1, 90--97. Google Scholar
Digital Library
- McEachen, N. and Alexander, R. T. 2005. Distributing classes with woven concerns: An exploration of potential fault scenarios. In Proceedings of the 4th International Conference on Aspect-Oriented Software Development. ACM, 192--200. Google Scholar
Digital Library
- Mostefaoui, S. K. and Hirsbrunner, B. 2004. Context-aware service provisioning. In Proceedings of the IEEE/ACS International Conference on Pervasive Services. 71--80. Google Scholar
Digital Library
- Pang, J. and Blair, L. 2002. An adaptive runtime manager for the dynamic integration and interaction resolution of features. In Proceedings of the 22nd International Conference on Distributed Computing Systems Workshops. 445--450. Google Scholar
Digital Library
- Papadimitriou, D. 2009. Future Internet: The Cross-ETP Vision Document (Version 1.0). http://www.future-internet.eu/fileadmin/documents/reports/Cross-ETPs_FI_Vision_Document_v1_0.pdf. (Last accessed 12/11).Google Scholar
- Perez-Toledano, M. A., Navasa, A., Murillo, J. M., and Canal, C. 2007. TITAN: A framework for aspect oriented system evolution. In Proceedings of the International Conference on Software Engineering Advances. 23--30. Google Scholar
Digital Library
- Schwinger, W., Grün, C., Pröll, B., Retschitzegger, W., and Schauerhuber, A. 2005. Context-awareness in mobile tourism guides—a comprehensive survey. Tech. rep., Johannes Kepler University, Linz, Austria.Google Scholar
- Sheng, Q. Z. and Benatallah, B. 2005. ContextUML: A UML-based modeling language for model-driven development of context-aware web services. In Proceedings of the International Conference on Mobile Business. 206--212. Google Scholar
Digital Library
- VIDE. 2009. VIsualize all moDel drivEn programming. Report WP11: Deliverable number D11.3. Polish-Japanese Institute of Information Technology. http://www.vide-ist.eu/download/VIDE_D11.3.pdf. (Last accessed 12/11.)Google Scholar
- Whittle, J. and Jayaraman, P. 2008. MATA: A tool for aspect-oriented modeling based on graph transformation. In Models in Software Engineering, Lecture Notes in Computer Science Series, vol. 5002, Springer, Berlin, 16--27. Google Scholar
Digital Library
- Xu, D., Alsmadi, I., and Xu, W. 2007. Model checking aspect-oriented design specification. In Proceedings of the 31st Annual IEEE International Computer Software and Applications Conference. 491--500. Google Scholar
Digital Library
- Xu, J., Rajan, H., and Sullivan, K. 2004. Aspect reasoning by reduction to implicit invocation. In Proceedings of the Foundations of Aspect Oriented Languages. 31--36.Google Scholar
Index Terms
Context-aware services engineering: Models, transformations, and verification
Recommendations
Model Checking Aspectual Pervasive Software Services
COMPSAC '11: Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications ConferenceContext-dependent information is tightly coupling or crosscutting the core functionality of a service at the service interface level. This results in a complex design, which is difficult to implement and maintain. The crosscutting context-dependent ...
The role of model checking in software engineering
Model checking is a formal verification technique. It takes an exhaustively strategy to check hardware circuits and network protocols against desired properties. Having been developed for more than three decades, model checking is now playing an ...
An Extensible Framework for Online Testing of Choreographed Services
Service choreographies present numerous engineering challenges, particularly with respect to testing activities, that traditional design-time approaches cannot properly address. A proposed online testing solution offers a powerful, extensible framework ...






Comments