Towards a Model-Based Refinement Process for Contractual Statecharts

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationObject/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on
PublisherIEEE Computer Society
Number of pages8
ISBN (Print)978-1-4244-7218-5
Publication statusPublished - 4 May 2010

Cite this