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

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

Publication series

NameLecture Notes in Computer Science

Cite this

Lam, V. S. W., & 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).

Consistency checking of statechart diagrams of a class hierarchy. / Lam, V S W; Padget, J.

Ecoop 2005 - Object-Oriented Programming, Proceedings. Vol. 3586 2005. p. 412-427 (Lecture Notes in Computer Science).

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

Lam, VSW & Padget, J 2005, Consistency checking of statechart diagrams of a class hierarchy. in Ecoop 2005 - Object-Oriented Programming, Proceedings. vol. 3586, Lecture Notes in Computer Science, pp. 412-427.
Lam VSW, Padget J. Consistency checking of statechart diagrams of a class hierarchy. In Ecoop 2005 - Object-Oriented Programming, Proceedings. Vol. 3586. 2005. p. 412-427. (Lecture Notes in Computer Science).
Lam, V S W ; Padget, J. / Consistency checking of statechart diagrams of a class hierarchy. Ecoop 2005 - Object-Oriented Programming, Proceedings. Vol. 3586 2005. pp. 412-427 (Lecture Notes in Computer Science).
@inproceedings{04c1771537b74547af841f64d1ad5c66,
title = "Consistency checking of statechart diagrams of a class hierarchy",
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.",
author = "Lam, {V S W} and J Padget",
note = "ID number: ISI:000231116400018",
year = "2005",
language = "English",
isbn = "0302-9743",
volume = "3586",
series = "Lecture Notes in Computer Science",
pages = "412--427",
booktitle = "Ecoop 2005 - Object-Oriented Programming, Proceedings",

}

TY - GEN

T1 - Consistency checking of statechart diagrams of a class hierarchy

AU - Lam,V S W

AU - Padget,J

N1 - ID number: ISI:000231116400018

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 0302-9743

VL - 3586

T3 - Lecture Notes in Computer Science

SP - 412

EP - 427

BT - Ecoop 2005 - Object-Oriented Programming, Proceedings

ER -