Property-Preserving Evolution of Components Using VPA-Based Aspects

  • Dong Ha Nguyen
  • Mario Südholt
Conference paper

DOI: 10.1007/978-3-540-76848-7_42

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4803)
Cite this paper as:
Nguyen D.H., Südholt M. (2007) Property-Preserving Evolution of Components Using VPA-Based Aspects. In: Meersman R., Tari Z. (eds) On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS. OTM 2007. Lecture Notes in Computer Science, vol 4803. Springer, Berlin, Heidelberg

Abstract

Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies have, however, almost exclusively focused on static component systems that are not subject to evolution. Evolution of component-based systems with explicit interaction protocols can be defined quite naturally using aspects (in the sense of AOP) that modify component protocols. A major question then is whether aspect-based evolutions preserve fundamental correctness properties, such as compatibility and substitutability relations between software components.

In this paper we discuss how such correctness properties can be proven in the presence of aspect languages that allow matching of traces satisfying interaction protocols and enable limited modifications to protocols. We show how common evolutions of distributed components can be modeled using VPA-based aspects [14] and be proven correct directly in terms of properties of operators of the aspect language. We first present several extensions to an existing language for VPA-based aspects that facilitate the evolution of component systems. We then discuss different proof techniques for the preservation of composition properties of component-based systems that are subject to evolution using protocol-modifying aspects.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Dong Ha Nguyen
    • 1
  • Mario Südholt
    • 1
  1. 1.OBASCO project; EMN-INRIA, LINA, Dépt. Informatique, École des Mines de Nantes, 4 rue Alfred Kastler, 44307 Nantes cédex 3France

Personalised recommendations