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)
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Making Components Contract Aware
Computer
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
A model of components with non-regular protocols
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
Automatic checking of component protocols in component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
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)
Hi-index | 0.00 |
We address in this article the description and usage of component protocols viewed as specific services. In addition to inter-component service composition, our Kmelia component model supports vertical structuring mechanisms that allow service composition inside a component. The structuring mechanisms (namely state annotation and transition annotation) are then used to describe protocols which are considered here as component usage guides. These structuring mechanisms are integrated in the support language of our component model and are implemented in our COSTO toolbox. We show how protocol analysis is performed in order to detect some inconsistencies that may be introduced by the component designers.