HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Master Theses  >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1783.1/5584
Title: ACHE-finite state machine : modelling, execution and analysis
Authors: Chan, Ka Keung
Issue Date: 1994
Abstract: Reactive system represents a broad class of real complex systems that are frequently found in daily life. Due to the complex nature of reactive systems, investigating formal methods for their behavior specification presents real challenges. Traditional method for specifying such systems is by the 'state-events' approach. Finite State Machine (FSM) is a classical model that is mostly adopted. However, the capabilities of FSM is limited, especially when practical complicated systems have to be modelled. In this thesis, an extended FMS called ACHE-FSM is proposed. This new model has the capability to specify complex systems with concurrent constructs in a hierarchical and modular fashion. As a result, a structural and effective specification of complex reactive systems can be achieved. Moreover, a new logic grammar is described for studying the dynamic behaviors and performing analysis on reactive systems. It is called Constraint Narrowing Grammar (CNG). CNG combines concepts from logic programming, rewriting and lazy evaluation. The non-deterministic and non-terminating properties of CNG make it a nice formalism to model infinite behaviors of reactive systems. We show that there is a direct mapping from ACHE-FSM to CNG. Through the mapping, a programming language semantics can be provided to the model. The resulting grammar is hence an executable behavioral specification as well as an analytic tool for ACHE-FSM.
Description: Thesis (M.Phil.)--Hong Kong University of Science and Technology, 1994
xiv, 121 leaves : ill. ; 30 cm
HKUST Call Number: Thesis COMP 1994 Chan
URI: http://hdl.handle.net/1783.1/5584
Appears in Collections:CSE Master Theses

Files in This Item:

File Description SizeFormat
th_redirect.html0KbHTMLView/Open

All items in this Repository are protected by copyright, with all rights reserved.