Regular types for active objects
Object-oriented software composition
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Search and replication in unstructured peer-to-peer networks
ICS '02 Proceedings of the 16th international conference on Supercomputing
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
JAsCo: an aspect-oriented approach tailored for component based software development
Proceedings of the 2nd international conference on Aspect-oriented software development
A Framework for the Detection and Resolution of Aspect Interactions
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Proceedings of the 3rd international conference on Aspect-oriented software development
Composition, reuse and interaction analysis of stateful aspects
Proceedings of the 3rd international conference on Aspect-oriented software development
Using Event-Based Translation to Support Dynamic Protocol Evolution
Proceedings of the 26th International Conference on Software Engineering
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Implementing protocols via declarative event patterns
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Adding trace matching with free variables to AspectJ
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
VPA-Based Aspects: Better Support for AOP over Protocols
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Foundations of incremental aspect model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
SC'05 Proceedings of the 4th international conference on Software Composition
A model for developing component-based and aspect-oriented systems
SC'06 Proceedings of the 5th international conference on Software Composition
Enabling software evolution via AOP and reflection: report on the workshop RAM-SE at ECOOP 2007
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
Hi-index | 0.00 |
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.