A component-based approach for consistency checking of UML dynamic diagrams

Authors:
Youcef Hammal
Affiliations:
USTHB University, Bab-Ezzouar, Algiers, Algeria
Venue:
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Year:
2007

Citing 4
Cited 0

Safety-Liveness Semantics for UML 2.0 Sequence Diagrams

ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Branching time semantics for UML 2.0 sequence diagrams

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A formal semantics of UML statecharts by means of timed petri nets

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a component-based methodology for consistency checking between behavioral models and scenario-based specifications depicted respectively by UML state and sequence diagrams. When plugging any component within some system, we do not explore its entire state space to uncover design flaws of the added component. We just generate its partial reachability graph from StateCharts and then, we synthesize a transition system from the subset of interaction diagrams in which this component is involved as participant. Afterwards, we check whether the former graph fulfills the partial specification via a fitting comparison criterion.