DMCA
Compositional modeling and refinement for hierarchical hybrid systems (2006)
Cached
Download Links
- [www.cs.sunysb.edu]
- [www.cs.stonybrook.edu]
- [alum.cs.sunysb.edu]
- [www3.cs.stonybrook.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Journal of Logic and Algebraic Programming |
| Citations: | 17 - 2 self |
BibTeX
@INPROCEEDINGS{Alur06compositionalmodeling,
author = {Rajeev Alur and Insup Lee and Oleg Sokolsky},
title = {Compositional modeling and refinement for hierarchical hybrid systems},
booktitle = {Journal of Logic and Algebraic Programming},
year = {2006}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language Charon that allows modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports building complex agents via the operations of instantiation, hiding, and parallel composition. For hierarchical description of the behavior of atomic components, Charon supports building complex modes via the operations of instantiation, scoping, and encapsulation. We develop an observational trace semantics for agents as well as for modes, and define a notion of refinement for both, based on trace inclusion. We show this semantics to be compositional with respect to the constructs in the language. 1
Keyphrases
hierarchical hybrid system compositional modeling hierarchical description building complex mode atomic component observational trace semantics trace inclusion compositional trace-based semantics hybrid system parallel composition building complex agent system architecture modular design language charon modular specification
