Abstract
With the proliferation of ubiquitous computing devices and the Internet, context-aware Web services continue to evolve from simple proof of concept implementations created in the laboratory to large and complex real-world services developed in industry. Context-awareness capabilities in service interfaces introduce additional challenges to the software engineer. In order to handle the additional complexities associated with these special services, solid software engineering methodologies are needed during their development and execution. This chapter proposes a novel software engineering-based approach, which leverages the benefits of model-driven architecture, aspect-oriented modeling, and formal model checking, for engineering context-aware services for service-oriented architectures. The approach has been validated using a real-world case study in intelligent transport. An evaluation framework has been established to validate the main methods and tools employed. We also present two key research directions, extending this work to further benefit the wider service engineering and pervasive computing communities.
The work reported here was performed during the author’s Ph.D. studies. The author is currently affiliated with the University of Modena and Reggio Emilia, Italy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abeywickrama, D.B.: Pervasive services engineering for SOAs. Ph.D. thesis, Faculty of IT, Clayton Campus, Monash University, Australia (2010)
Abeywickrama, D.B., Ramakrishnan, S.: A model-based approach for engineering pervasive services in SOAs. In: 5th International Conference on Pervasive Services (ICPS’08), Sorrento, Italy, pp. 57–60. ACM (2008)
Abeywickrama, D.B., Ramakrishnan, S.: Model-driven development of aspectual pervasive software services. In: 14th IEEE International Enterprise Distributed Object Computing Conference Workshops, Vitoria, Brazil, pp. 49–59. IEEE (2010)
Abeywickrama, D.B., Ramakrishnan, S.: An evaluation framework for validating aspectual pervasive software services. In: 6th International Conference on Evaluation of Novel Approaches to Software Engineering conference (ENASE’11), pp. 80–91. SciTePress (2011)
Abeywickrama, D.B., Ramakrishnan, S.: Model checking aspectual pervasive software services. In: 35th Annual IEEE International Computer Software and Applications Conference (COMPSAC’11), pp. 253–262. IEEE Computer Society (2011)
Abeywickrama, D.B., Ramakrishnan, S.: Context-aware services engineering: models, transformations, and verification. ACM Trans. Internet Technol. J. 11(3), Article 10. ACM (2012)
Achilleos, A., Yang, K., Georgalas, N., Azmoodech, M.: Pervasive service creation using a model-driven petri net based approach. In: International Wireless Communications and Mobile Computing Conference, pp. 309–314 (2008)
Analyti, A., Theodorakis, M., Spyratos, N., Constantopoulos, P.: Contextualization as an independent abstraction mechanism for conceptual modeling. Inf. Syst. J. 32(1), 24–60. Elsevier Science Ltd., Oxford, UK (2007)
Autili, M., Berardinelli, L., Cortellessa, V., Marco, A.D., Ruscio, D.D., Inverardi, P., Tivoli, M.: A development process for self-adapting service-oriented applications. In: International Conference on Service-Oriented Computing, LNCS, vol. 4749, pp. 442–448. Springer (2009)
Clarke, E.M., Wing, J.M., Alur, R.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626–643. ACM (1996)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
Colombo, E., Mylopoulos, J., Spoletini, P.: Modeling and analyzing context-aware composition of services. In: International Conference on Service-Oriented Computing, LNCS, vol. 3826, pp. 198–213. Springer (2005)
Cottenier, T., van den Berg, A., Elrad, T.: Motorola WEAVR: aspect orientation and model-driven engineering. J. Object Technol. 6(7), 51–88. Chair of Software Engineering, ETH Zurich, Switzerland (2007)
Davie, A.: Intelligent tagging for transport and logistics: the ParcelCall approach. Electron. Commun. Eng. J. 14(3), 122–128. Institution of Electrical Engineers, London, UK (2002)
DeCarlo, J., Ackerman, L., Elder, P., Busch, C., Lopez-Mancisidor, A., Kimura, J., Balaji. R.S.: Strategic reuse with asset-based development. IBM Corporation (2008)
Dey, A.K., Abowd G.D.: Towards a better understanding of context and context-awareness. In: CHI 2000 Workshop on The What, Who, Where, When, Why and How of Context-Awareness (2000)
Douence, R., Botlan, D.L., Noye, J., Sudholt, M.: Concurrent aspects. In: 5th International Conference on Generative Programming and Component, Engineering, pp. 79–88 (2006)
Fuentes, L., Gamez, N., Sanchez, P.: Aspect-oriented executable UML models for context-aware pervasive applications. In: 2008 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp. 34–43, Budapest. IEEE (2008)
Groher, I., Schulze, S.: Generating aspect code from UML models. In: 3rd International Workshop on Aspect-Oriented Modeling Co-located with 2nd International Conference on Aspect-Oriented Software Development (AOSD’03), Boston, USA (2003)
Hegering, H.-G., Küpper, A., Linnhoff-Popien, C., Reiser, H.: Management challenges of context-aware services in ubiquitous environments. In: Brunner, M., Keller, K. (eds.) Self-Managing Distributed Systems, LNCS, vol. 2867, pp. 321–339. Springer (2003)
Kapitsaki, G.M., Kateros, D.A., Prezerakos, G.N., Venieris, I.S.: Model-driven development of composite context-aware web applications. Inf. Softw. Technol. J. 51(8), 1244–1260. Butterworth-Heinemann (2009)
Kappel, G., Pröll, B., Retschitzegger, W., Schwinger, W.: Customisation for ubiquitous web applications: a comparison of approaches. Int. J. Web Eng. Technol. 1(1), 79–111. Inderscience Publishers, Geneva, Switzerland (2003)
Magee, J., Kramer, J.: Concurrency: State Models and Java Programs, 2nd edn. Wiley, New York (2006)
Mceachen, N., Alexander, R.T.: Distributing classes with woven concerns: an exploration of potential fault scenarios. In: 4th International Conference on Aspect-Oriented Software Development, pp. 192–200. ACM (2005)
Perez-Toledano, M.A., Navasa, A., Murillo, J.M., Canal, C.: TITAN: a framework for aspect-oriented system evolution. In: International Conference on Software, Engineering Advances, pp. 23–30 (2007)
Schwinger, W., Grün, C., Pröll, B., Retschitzegger, W., Schauerhuber, A.: Context-awareness in mobile tourism guides—a comprehensive survey. Technical report, Johannes Kepler University, Linz, Austria (2005)
Serral, E., Valderas, P., Pelechano, V.: Towards the model-driven development of context-aware pervasive systems. Pervasive Mobile Comput. J. 6(2), 254–280. Elsevier (2010)
Sheng, Q. Z., Benatallah, B.: ContextUML: a UML-based modeling language for model-driven development of context-aware web services. In: International Conference on Mobile, Business, pp. 206–212 (2005)
Truong, H., Dustdar, S.: A survey on context-aware web service systems. Int. J. Web Inf. Syst. 5(1), 5–31 (2009)
VIsualize all moDel drivEn programming (VIDE), WP 11: Deliverable number D11.3, Supported by the European Commission within Sixth Framework Programme. Polish-Japanese Institute of Information Technology. http://www.vide-ist.eu/download/VIDE_D11.3.pdf. Accessed 16 Sept 2012
Whittle, J., Jayaraman, P.: MATA: A tool for aspect-oriented modeling based on graph transformation. In: Giese, H. (ed.) Models in Software Engineering, LNCS, vol. 5002, pp. 16–27. Springer, Berlin(2008)
Xu, D., Alsmadi, I., Xu, W.: Model checking aspect-oriented design specification. In: 31st Annual IEEE International Computer Software and Applications Conference, pp. 491–500 (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media New York
About this chapter
Cite this chapter
Abeywickrama, D.B. (2014). Context-Aware Services Engineering for Service-Oriented Architectures. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds) Web Services Foundations. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-7518-7_12
Download citation
DOI: https://doi.org/10.1007/978-1-4614-7518-7_12
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-7517-0
Online ISBN: 978-1-4614-7518-7
eBook Packages: Computer ScienceComputer Science (R0)