Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
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)
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
The AltaRica formalism for describing concurrent systems
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
Model-checking Distributed Components: The Vercors Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic test selection based on approximate analysis
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Behavioural models for hierarchical components
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Bounded analysis and decomposition for behavioural descriptions of components
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Hi-index | 0.00 |
Component Based Software Engineering has been investigated to improve software modularity. Various component models exist, but improvements are still needed to provide architecture validation. In this paper, we present a hierarchical component model using explicit protocols defined with the Symbolic Transition System (STS) formalism. This model is based on an N-party rendezvous and provides three new kinds of bindings. We formalise our model and define two orthogonal properties: behavioural compatibility and event strictness. We also present preliminary results about the check of these properties.