Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Compatibility and inheritance in software architectures
Science of Computer Programming
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer Programming
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Behavioural subtyping and property preservation for active objects
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Modelling parametric contracts and the state space of composite components by graph grammars
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Component behavior relativity analysis
ACM SIGSOFT Software Engineering Notes
Compatibility and Conformance of Role-Based Interaction Components in MAS
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Hi-index | 0.00 |
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications. Components specification is thus needed to ensure the safety of composing systems from components. This paper focus on component protocols specification and provides a framework for modelling protocols together with their composition. We start by investigating compatibility of component protocols based on service observation. Two compatibility relations together with their characterisation by the preservation to their degree of change property are proposed. Safety and liveness properties such as deadlock-freeness and proper termination of protocols are preserved up to different extents. Then, we propose some behavioural subtyping relations for component protocols related to the principle of substitutability. Finally, we address the soundness of our subtyping relations by showing the existing link between compatibility and substitutability concepts, namely their combination, which have found necessary when dealing with incremental design of components.