By Topic

Visual language for behavioral specifications of reactive systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
H. L. Chau ; Dept. of Comput. Sci., Hong Kong Univ., Clear Water Bay, Hong Kong ; G. K. Chan

Complex reactive systems require specifying the relationship of inputs and outputs in the time domain. Typically, such descriptions involve complex sequences of events, often, with explicit timing constraints, that combine to form the system's overall behavior. In addition, most reactive systems are highly concurrent and hierarchical. Investigating formal methods for behavior specification of reactive systems presents real challenges. A new visual language for behavioral specification of complex reactive systems is described. We call it Constraint Narrowing Grammar (CNG). CNG combines concepts from logic programming, rewriting, and lazy evaluation. The non-deterministic and nonterminating properties of CNG make it a nice formalism to model infinite reactive systems' behavior. We demonstrate how a graphical specification can be mapped to CNG rules and show step-by-step how notations of hierarchy, concurrency, and event communication are introduced into the specification. The resulting grammar is an executable behavioral specification of complex reactive systems

Published in:

Computer Languages, 1994., Proceedings of the 1994 International Conference on

Date of Conference:

16-19 May 1994