Design and validation of computer protocols
Design and validation of computer protocols
Property preserving abstractions for the verification of concurrent systems
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Supporting evolution and maintenance by using a flexible automatic code generator
Proceedings of the 17th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adaptive plug-and-play components for evolutionary software development
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Collaboration-Based Design of SDL Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Towards a Compositional Approach to the Design and Verification of Distributed Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Modeling Peer-to-Peer Service Goals in UML
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Using SDL for modeling behavior composition
SDL'03 Proceedings of the 11th international conference on System design
Using projections for the detection of anomalous behaviors
SDL'03 Proceedings of the 11th international conference on System design
Service discovery and component reuse with semantic interfaces
SDL'05 Proceedings of the 12th international conference on Model Driven
Specifying Service Composition Using UML 2.x and Composition Policies
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
This paper presents a validation approach that exploits the compositional properties of a system. Our results can be applied on systems modelled by state machines and asynchronous communication by message passing. We consider two axes of composition: horizontal composition across system components, and vertical composition within components. Along the horizontal axis, we reduce the complexity of validation analysis by using a projection technique that allows us to validate interactions between components pairwise. We further simplify by introducing a set of design rules that support the development of well-formed state machines. When these rules are enforced, we are able to apply a simplified compatibility checking algorithm. Along the vertical axis, validation is applied incrementally. Elementary component collaborations are validated first, then their composite.