Y. Hammal (Algeria)
Modular Consistency Checking, Partial State Space, Uni fied Modeling language, StateCharts, Sequence Diagrams.
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 en tire state space to uncover design flaws of the added com ponent. 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 com ponent is involved as participant. Afterwards, we check whether the former graph fulfills the partial specification via a fitting comparison criterion.
Important Links:
Go Back
