Consistency checking of statechart diagrams of a class hierarchy

V S W Lam, J Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationEcoop 2005 - Object-Oriented Programming, Proceedings
Pages412-427
Number of pages16
Volume3586
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science

Cite this