Formal Specification using Interaction Diagrams

Authors:
K. Lano
Affiliations:
-
Venue:
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Year:
2007

Citing 0
Cited 3

Constraint-driven development

Information and Software Technology
A logic-based semantics for the verification of multi-diagram UML models

ACM SIGSOFT Software Engineering Notes
An algorithm for transforming design text ROM diagram into FBS model

Computers in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

Interaction diagrams are a widely-used UML notation, however in contrast to class diagrams or state machines there is a lack of formal semantics for interaction diagrams. We propose a formal semantics for the notation, and consider applications of this semantics for checking the consistency of interaction diagrams with other UML models, and for diagrammatic formal specification of real-time properties.