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.
- 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 Scholar
- 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 Scholar
Digital Library
- Esparza, J. and Nielsen, M. 1994. Decibility Issues for Petri Nets - A survey. J. Inf. Process. Cybernet. 30, 3, 143--160.Google Scholar
- 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 Scholar
Digital Library
- Karp, R. M. and Miller, R. E. 1969. Parallel program schemata. J. Comput. Syst. Sci. 3, 2, 147--195. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- WoPeD. Workflow Petri net designer. http://www.woped.org/.Google Scholar
Index Terms
A formalized, taxonomy-driven approach to cross-layer application adaptation
Recommendations
Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates
SASO '10: Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing SystemsCurrent adaptation approaches mainly work in isolation and cannot be easily integrated to tackle complex adaptation scenarios. The few existing cross-layer adaptation techniques are somewhat inflexible because the adaptation process is predefined and ...
Meet In the Middle Cross-Layer Adaptation for Audiovisual Content Delivery
This paper describes a new architecture and implementation of an adaptive streaming system (e.g., television over IP, video on demand) based on cross-layer interactions. At the center of the proposed architecture is the meet in the middle concept ...
Kernel-middleware interaction to support adaptation in pervasive computing environments
MPAC '04: Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computingIn pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changing situations. Since adaptation at one system layer may be insufficient, ...






Comments