Software evolution in componentware using requirements/assurances contracts
Proceedings of the 22nd international conference on Software engineering
Enriching the Software Development Process by Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A semantic and methodological essence of message sequence charts
Science of Computer Programming
Modular hierarchies of models for embedded systems
Formal methods and models for system design
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of Extended Event Traces as a graphical technique for the description of such component interactions. It allows us to define interaction patterns that occur frequently within an architecture, in the form of diagrams. The diagrams may be instantiated in various contexts, thus allowing reuse of interaction patterns. Our notation contains operators yielding not only exemplary but complete behavior specifications. Extended Event Traces have a clear semantics that is based on sets of traces. We present several application examples that demonstrate the practical use of our notation.