A calculus of mobile processes, I
Information and Computation
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
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Foundations of component-based systems
Foundations of component-based systems
Coordinating interaction patterns
Proceedings of the 2001 ACM symposium on Applied computing
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
New Issues in Object Interoperability
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Modelling Darwin in the Pi-Caculus
Selected Papers from the International Workshop on Theory and Practice in Distributed Systems
Modelling Microsoft COM Using pi-Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
IEEE Transactions on Software Engineering
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Using role-based coordination to achieve software adaptability
Science of Computer Programming
An introduction to network stack design using software design patterns
MACE'10 Proceedings of the 5th IEEE international conference on Modelling autonomic communication environments
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Coordination systems in role-based adaptive software
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Interoperability in service-based communities
BPM'05 Proceedings of the Third international conference on Business Process Management
| Hi-index | 0.00 |
Available component-oriented platforms address software interoperability only at the signature level, while they do not provide suitable mechanisms for adapting components with mismatching interaction behaviour. This paper presents a methodology for automatically developing adaptors capable of solving behaviour mismatches between heterogeneous components. These adaptors are generated from abstract specifications of the intended connection between the components, by taking into account both signature interfaces and component behaviours.