Title :
Towards a Model-Based Refinement Process for Contractual State Machines
Author :
Harbird, Lishan ; Galloway, Andy ; Paige, Richard F.
Author_Institution :
Dept. of Comput. Sci., Univ. of York, York, UK
Abstract :
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.
Keywords :
finite state machines; formal specification; contractual state machines; declarative specifications; formal semantics; model-based refinement process; update-in-place model transformations; Computer architecture; Conferences; Distributed computing; Embedded system; Hardware; Image processing; Image resolution; Machine vision; Object detection; Smart pixels; contracts; reactive systems; refinement patterns; state machines;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on
Conference_Location :
Carmona, Seville
Print_ISBN :
978-1-4244-7218-5
DOI :
10.1109/ISORCW.2010.25
