Towards a Model-Based Refinement Process for Contractual Statecharts

TY - GEN

T1 - Towards a Model-Based Refinement Process for Contractual Statecharts

AU - Paige, Richard Freeman

PY - 2010/5/4

Y1 - 2010/5/4

N2 - We present a rigorous model-based approach to the stepwise design of contractual state machines, which are a simplified form of state charts extended with declarative specifications. The approach is based on application of a set of refinement patterns, that can be validated against a formal semantics, and that are implemented using update-in-place model transformations. We describe the integrated tool support we are implementing for this model-based approach, and illustrate the approach with small examples.

AB - We present a rigorous model-based approach to the stepwise design of contractual state machines, which are a simplified form of state charts extended with declarative specifications. The approach is based on application of a set of refinement patterns, that can be validated against a formal semantics, and that are implemented using update-in-place model transformations. We describe the integrated tool support we are implementing for this model-based approach, and illustrate the approach with small examples.

UR - http://www.scopus.com/inward/record.url?scp=77954767282&partnerID=8YFLogxK

U2 - 10.1109/ISORCW.2010.25

DO - 10.1109/ISORCW.2010.25

M3 - Conference contribution

SN - 978-1-4244-7218-5

VL - 2

SP - 108

EP - 115

BT - Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on

PB - IEEE Computer Society

ER -