SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES

Kevin Lano, David Clark

2008

Abstract

In this paper we present an axiomatic semantics for UML 2 behavior state machines, and give transformation rules for establishing refinements of behavior state machines, together with proofs of the semantic validity of these rules, based on a unified semantics of UML 2.

Paper Citation

in Harvard Style

Lano K. and Clark D. (2008). SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8111-38-8, pages 42-49. DOI: 10.5220/0001683700420049

in Bibtex Style

@conference{iceis08,
author={Kevin Lano and David Clark},
title={SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2008},
pages={42-49},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001683700420049},
isbn={978-989-8111-38-8},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES
SN - 978-989-8111-38-8
AU - Lano K.
AU - Clark D.
PY - 2008
SP - 42
EP - 49
DO - 10.5220/0001683700420049