Action versus state based logics for transition systems
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Symbolic Transition Graph with Assignment
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Proceedings of the 25th International Conference on Software Engineering
Parameterized Specification and Verification of the Chilean Electronic Invoices System
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking Distributed Components: The Vercors Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
From Theory to Practice in Distributed Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Effective verification of systems with a dynamic number of components
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Checking Interaction Consistency in MARMOT Component Refinements
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A Specification Language for Distributed Components Implemented in GCM/ProActive
The Common Component Modeling Example
Towards Component-Based Design and Verification of a μ-Controller
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Software Component Selection Algorithm Using Intelligent Agents
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Active Objects and Distributed Components: Theory and Implementation
Formal Methods for Components and Objects
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
A model of evolvable components
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Structured performance analysis for component-based systems
International Journal of Critical Computer-Based Systems
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
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
In this work, we focus on hierarchical component systems. We describe both the functional behaviour and the non-functional features (life-cycle management) of components in terms of synchronised transition systems; functional behaviours are supposed to be specified by the component developer, while management features can be built automatically for the architecture definition of a given component system. We define a notion of correct component composition; then we show how we can prove, using (compositional) model-checking techniques, temporal properties of a component system. Transformations of a system, for example replacement of a sub-component, are expressed as transformations of its behavioural semantics, allowing to prove preservation of some properties, or the validity of new properties after transformation.