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)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
A formal model for componentware
Foundations of component-based systems
Static checking of system behaviors using derived component assumptions
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
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Verified systems by composition from verified components
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Proceedings of the 8th international conference on Component-Based Software Engineering
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Proceedings of the 4th international conference on Software Composition
SC'05 Proceedings of the 4th international conference on Software Composition
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Transactional Reduction of Component Compositions
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
High Confidence Subsystem Modelling for Reuse
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
The Composition of Event-B Models
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Can Component/Service-Based Systems Be Proved Correct?
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
Composing components with shared services in the Kmelia model
SC'08 Proceedings of the 7th international conference on Software composition
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
Using event-b to verify the Kmelia components and their assemblies
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Automatic checking of component protocols in component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Adaptation space exploration for service-oriented applications
Science of Computer Programming
| Hi-index | 0.00 |
Component-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge. The current work addresses the composability of components and their services. A component model (Kmelia) is introduced; an associated formalism, simple but expressive is introduced; it describes the services as extended LTSs and their structuring as components. The composability of components is defined on the basis of the composability of services. To ensure the correctness of component composition, we check that an assembly is possible via the checking of the composability of the linked services, and their behavioural compatibility. In order to mechanize our approach, the services and the components are translated into the Lotos formalism. Finally the Lotos CADP toolbox is used to perform experiments.