Loading...
Please wait, while we are loading the content...
Similar Documents
Modular Refinement of Hierarchic Reactive Machines (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Alur, Rajeev Grosu, Radu |
| Description | In Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages |
| Abstract | Scalable formal analysis of reactive programs demands integration of modular reasoning techniques with existing analysis tools. Principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hierarchy that describes the communication structure between component processes, and have been shown to be useful. In this paper, we develop the theory of modular reasoning for behavior hierarchy that describes control structure using hierarchic modes. From Statecharts to UML, behavior hierarchy has been an integral component of many software design languages, but only syntactically. We present the hierarchic reactive modules language that retains powerful features such as nested modes, mode reuse, exceptions, group transitions, history, and conjunctive modes, and yet has a semantic notion of mode hierarchy. We present an observational trace semantics for modes that provides the basis for mode refinement. We show the refinement to b... |
| File Format | |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Subject Keyword | Mode Refinement Hierarchic Reactive Module Language Powerful Feature Group Transition Assume-guarantee Reasoning Integral Component Architectural Hierarchy Component Process Semantic Notion Many Software Design Reactive Program Analysis Tool Scalable Formal Analysis Communication Structure Nested Mode Control Structure Compositional Refinement Hierarchic Mode Hierarchic Reactive Machine Conjunctive Mode Mode Reuse Mode Hierarchy Observational Trace Semantics Modular Refinement Behavior Hierarchy |
| Content Type | Text |
| Resource Type | Proceeding Conference Proceedings |
