Complex Behavior Specification for Autonomous Systems
Auteur : Linkoeping University. Department of Computer and Information Science, Jacek Malec
Date de publication : 1992
Éditeur : Linköping University, Department of Computer and Information Science
Nombre de pages : 25
Résumé du livre
Abstract: "The paper focuses on the basic problem of design of an autonomous reactive system, namely specification of its behavior with respect to changes occurring in the real world, often unpredictable, and always dynamic. Several 'behavior-oriented' languages are briefly presented, and some relationships among two of them, namely Process Transition Networks and Statecharts are given. The goal of this presentation is to identify the need for augmenting the 'behavior-based design' paradigm with theoretical tools adequate for expressing complex behaviors of autonomous reactive systems pursuing high-level goals, and applicable to both analysis and synthesis tasks for such systems."