Consistency checking of statechart diagrams of a class hierarchy
Lam, V. S. W. and Padget, J., 2005. Consistency checking of statechart diagrams of a class hierarchy. (Lecture Notes in Computer Science)
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
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.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Lam, V. S. W.and Padget, J.|
|Departments||Faculty of Science > Computer Science|
|Additional Information||ID number: ISI:000231116400018|
Actions (login required)