Use this URL to cite or link to this record in EThOS:
Title: Patterns and model transformation tools for designing Contractual State Machines
Author: Harbird, Lishan
ISNI:       0000 0004 2723 400X
Awarding Body: University of York
Current Institution: University of York
Date of Award: 2011
Availability of Full Text:
Access from EThOS:
Access from Institution:
Design methods for reactive systems may start with an abstract description of a proposed solution, which can be expressed in both an operational and declarative style. Typically these descriptions are then incrementally elaborated into executable programs. The aim of this research is to put this ad hoc design method on to a more systematic footing, thus helping engineers produce more reliable and robust systems. This is accomplished by providing a rigorous engineering process supported by engineer-friendly tools based on the application of refinement and refactoring patterns for Contractual State Machines. Contractual State Machines (CoSta) are a simplified form of statecharts extended with temporal logic-based declarative specifications. A refinement pattern is an abstract way of representing a common type of refinement frequently required during the stepwise design of a system. Tool support is provided for system design and pattern application and is integrated with model checking technology for formal verification. To demonstrate the viability of the approach the new refinement and refactoring patterns are applied to the design of a system through a case study.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available