skip to main content
research-article

Context-aware services engineering: Models, transformations, and verification

Published:03 February 2012Publication History
Skip Abstract Section

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.

References

  1. Aspect-Oriented Modeling. http://www.aspect-modeling.org/. (Last accessed 12/11.)Google ScholarGoogle Scholar
  2. Abeywickrama, D. B. 2010. Pervasive services engineering for SOAs. Ph.D., Faculty of IT, Monash University, Australia.Google ScholarGoogle Scholar
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle Scholar
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. Clarke, E. M., Grumberg, O., and Peled, D. A. 1999. Model Checking. The MIT Press, Cambridge, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle ScholarCross RefCross Ref
  14. Davie, A. 2002. Intelligent tagging for transport and logistics: The ParcelCall approach. IEE Elec. & Comm. Eng. J. 14, 3, 122--128.Google ScholarGoogle ScholarCross RefCross Ref
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  17. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  18. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  19. Groher, I. and Schulze, S. 2003. Generating aspect code from UML models. In Proceedings of the 3rd International Workshop on Aspect-Oriented Modeling.Google ScholarGoogle Scholar
  20. 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 ScholarGoogle Scholar
  21. 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 ScholarGoogle Scholar
  22. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  23. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  24. Magee, J. and Kramer, J. 2006. Concurrency: State Models and Java Programs 2nd Ed. John Wiley and Sons. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  26. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  27. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  28. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  29. 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 ScholarGoogle Scholar
  30. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  31. 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 ScholarGoogle Scholar
  32. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  33. 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 ScholarGoogle Scholar
  34. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  35. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  36. 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 ScholarGoogle Scholar

Index Terms

  1. Context-aware services engineering: Models, transformations, and verification

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!