DocumentCode
2577907
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
fYear
2010
fDate
4-7 May 2010
Firstpage
108
Lastpage
115
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISORCW.2010.25
Filename
5479521
Link To Document