loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Kevin Lano and David Clark

Affiliation: King’s College London, United Kingdom

ISBN: 978-989-8111-38-8

Keyword(s): UML, state machines, refinement, model transformations.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling Formalisms, Languages and Notations

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.48.142

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Lano K.; Clark D. and (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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.