INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS

Yoshiyuki Shinkawa

2011

Abstract

UML state machine diagram and sequence diagram represent a system or software from contrastive two viewpoints, namely part and whole. If these diagrams depict the same system, they must be consistent from each other. However, UML does not provide us with an appropriate way to evaluate the consistency between the models drawn by these different diagrams. This paper reveals the interrelationships between state machine and sequence diagrams based on the ordering of method invocations, which determine the behavior of them. Focusing on these relationships, two criteria are introduced to evaluate the consistency. The evaluation is performed using Coloured Petri Nets (CPN) so that both diagrams are expressed and compared in the same form, with the same syntax and semantics.

Paper Citation

in Harvard Style

Shinkawa Y. (2011). INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 135-142. DOI: 10.5220/0003474001350142

in Bibtex Style

@conference{icsoft11,
author={Yoshiyuki Shinkawa},
title={INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={135-142},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003474001350142},
isbn={978-989-8425-77-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS
SN - 978-989-8425-77-5
AU - Shinkawa Y.
PY - 2011
SP - 135
EP - 142
DO - 10.5220/0003474001350142