skip to main content
research-article

A formalized, taxonomy-driven approach to cross-layer application adaptation

Published:04 May 2012Publication History
Skip Abstract Section

Abstract

Advances in pervasive technology have made it possible to consider large-scale application types that potentially span heterogeneous organizations, technologies, and device types. This class of application will have a multilayer architecture, where each layer is likely to use languages and technologies appropriate to its own concerns. An example application is a geographically large-scale crisis management system. Typically, such applications are required to dynamically adapt their behavior based on current circumstances, with adaptations potentially affecting all layers of the application. The complexities involved in dynamically adapting multilayer applications will significantly benefit from formal approaches to its specification.

This article presents a new methodology for flexible, multilayer application adaptation, with layer-specific adaptation solution templates bound to application mismatches that are organized into hierarchical taxonomies. Templates can be linked either through direct invocations or through adaptation events, supporting flexible cross-layer adaptation. The methodology illustrates the use of different formalisms for different elements of its specification. In particular, we combine semiformal metamodeling techniques for the system model specification with formal Petri nets, which are used to capture template matchmaking using reachability analysis. This work demonstrates how existing formalisms can be used for the specification of a generic adaptation model for pervasive applications.

References

  1. ALIVE. 2010. Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering. European Commission 7th Framework Programme, ICT, http://www.ist-alive.eu/.Google ScholarGoogle Scholar
  2. Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., and Tivoli, M. 2004. Towards an engineering approach to component adaptation. In Architecting Systems with Trustworthy Components, 193--215. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Esparza, J. and Nielsen, M. 1994. Decibility Issues for Petri Nets - A survey. J. Inf. Process. Cybernet. 30, 3, 143--160.Google ScholarGoogle Scholar
  4. Finkel, A. 1993. The minimal coverability graph for Petri nets. In Papers from the 12th International Conference on Applications and Theory of Petri Nets (APN'91), G. Rozenberg, Ed., Lecture Notes in Computer Science, vol. 674, Springer, 210--243. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Karp, R. M. and Miller, R. E. 1969. Parallel program schemata. J. Comput. Syst. Sci. 3, 2, 147--195. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Kongdenfha, W., Motahari-Nezhad, H., Benatallah, B., Casati, F., and Saint-Paul, R. 2009. Mismatch patterns and adaptation aspects: A foundation for rapid development of web service adapters. IEEE Trans. Softw. Engin. 2, 2, 94--107. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Popescu, R., Staikopoulos, A., Brogi, A., Liu, P., and Clarke, S. 2011. A formalised, taxonomy-driven approach to cross-layer application adaptation. (submitted) ACM Trans. Auton. Adapt. Syst. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Verbeek, E. and van der Aalst, W. M. P. 2000. Woflan 2.0: A petri-net-based workflow diagnosis tool. In Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 00). Lecture Notes in Computer Science, vol. 1825, Springer, 475--484. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Wang, F.-Y., Gao, Y., and Zhou, M. 2004. A modified reachability tree approach to analysis of unbounded petri nets. IEEE Trans. System, Man Cybernet. B 34, 1, 303--8. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. WoPeD. Workflow Petri net designer. http://www.woped.org/.Google ScholarGoogle Scholar

Index Terms

  1. A formalized, taxonomy-driven approach to cross-layer application adaptation

      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!