Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Executable connectors: towards reusable design elements
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Proceedings of the 21st international conference on Software engineering
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Avoiding Packaging Mismatch with Flexible Packaging
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Building systems from commerical components
Building systems from commerical components
Compatibility and inheritance in software architectures
Science of Computer Programming
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
IEEE Software
Proving Deadlock Freedom in Component-Based Programming
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Coordination and adaptation techniques for software entities
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
Dynamic adaptive software components: the MOCAS approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Dinapter: Automatic Adapter Specification for Software Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
The problem of adapting heterogeneous software components that present mismatching interaction behaviour is one of the crucial problems in Component-Based Software Engineering. A promising approach to solve this problem is based on an adaptation methodology relying on extending component interfaces with protocol information which describes their interaction behaviour, and using a high-level notation to express the intended connection between component interfaces. The adaptor specification defines a component-in-the-middle capable of making two components interact successfully, according to certain constraints. The aim of this paper is to contribute to setting a theoretical foundation for software adaptation following this approach. A formal analysis of adaptor specifications is presented, and their usage to feature different forms of flexible adaptations is illustrated.