Communication and Concurrency
Software Connectors and Refinement in Family Architectures
IW-SAPF-3 Proceedings of the International Workshop on Software Architectures for Product Families
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
HyperMSCs and sequence diagrams for use case modelling and testing
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
MSC connectors: the chamber of secrets
SDL'03 Proceedings of the 11th international conference on System design
Hi-index | 0.00 |
Component oriented modelling by means of Message Sequence Charts requires new language constructs for an adequate description of the component communication. The communication between parts of a system, i.e., its components, follows interaction patterns which are expressed in the component oriented world as software connectors. The employment of MSCs for the description of both, connectors and components, has turned out to be a very promising concept. In analogy to decomposed instances, MSC connectors may be viewed also as High Level messages for the refinement of the communication behaviour, a construct which is still missing in the MSC language. The communication of MSC components via MSC connectors is suitably defined by means of the matching of component and connector interface descriptions, thereby, employing a partitioning of the component environment description. The matching procedure between MSC components and MSC connectors can be described by means of a partial order semantics.