SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES

Kevin Lano; David Clark

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES

Topics: Modeling Formalisms, Languages and Notations

In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 1: ICEIS, 42-49, 2008 , Barcelona, Spain

Authors: Kevin Lano and David Clark

Affiliation: King’s College London, United Kingdom

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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. and Clark, D. (2008). SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES. In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 1: ICEIS; ISBN 978-989-8111-38-8; ISSN 2184-4992, SciTePress, 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 1: ICEIS},
year={2008},
pages={42-49},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001683700420049},
isbn={978-989-8111-38-8},
issn={2184-4992},
}

TY - CONF

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