Paper Info
Title
Towards a theory of interface-based design of hierarchical reactive systems
Abstract
This paper presents a formal methodology for hierarchical interface-based design of component-based reactive automation systems with behavioral contracts. Based on seminal work of de Alfaro and Henzinger, a hierarchical component approach with behavioral interface contracts and verification methods for checking that components fulfill specified contracts is presented. In contrast to other approaches, components form a strict hierarchical structure of upper and sub-ordinate components. We discuss different questions which arise in such settings and present formal methods to answer those. Moreover, as an extension of the interface-based design methodology, a method is introduced which allows deriving the externally observable behavior of a component as a structure-preserving abstraction.
Year
Venue
Keywords
2013
SpringSim (TMS-DEVS)
formal methodology,hierarchical reactive system,strict hierarchical structure,behavioral interface contract,component-based reactive automation system,hierarchical interface-based design,interface-based design methodology,hierarchical component approach,sub-ordinate component,present formal method,behavioral contract,reactive systems
Field
DocType
Volume
Observable,Abstraction,Software engineering,Computer science,Automation,Design methods,Theoretical computer science,Formal methods,Reactive system
Conference
45
Issue
ISSN
Citations 
4
0735-9276
0
PageRank 
References 
Authors
0.34
6
1
Name
Order
Citations
PageRank
Herbert Prähofer118917.00