Consistency checking of statechart diagrams of a class hierarchy

Reference:

Lam, V. S. W. and Padget, J., 2005. Consistency checking of statechart diagrams of a class hierarchy. In: Ecoop 2005 - Object-Oriented Programming, Proceedings. Vol. 3586. , pp. 412-427. (Lecture Notes in Computer Science)

Related documents:

Abstract

One of the limitations of UML is it lacks a systematic way for verifying consistency within and between models. This paper explores the intra-model consistency problem in the context of statechart diagrams. We propose an algebraic approach for determining whether the statechart diagrams of a superclass and its subclass axe consistent with respect to their behaviour. The statechart diagrams are first translated into the pi-calculus and then verified automatically using the Mobility Workbench.

Export

Actions (login required)