Abstract
We present here a formal characterization of non annotated action diagrams and develop a proof system for the language of Leaf Action Diagrams. We adopt a process algebra style “à la CCS” [25] in the presentation of the language, and provide structured operational semantics, in order to exploit the structural properties inherent in the action diagrams. Within this framework, Action Diagrams are algebraic terms constructed using a few operators and a set of atomic actions. Terms modeling Hierarchical Action Diagrams are built in two steps. First, basic terms corresponding to the leaf diagrams are built using prefixing, parallel composition and few timed constructs that capture the timing knowledge (Assume and Commit) of the action diagrams. We then define the hierarchical language by adding a set of hierarchical operators to the basic language.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Cerny, E., Berkane, B., Girodias, P., Khordoc, K. (1998). Formal Characterization of HAAD. In: Hierarchical Annotated Action Diagrams. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5615-2_3
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5615-2_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7569-2
Online ISBN: 978-1-4615-5615-2
eBook Packages: Springer Book Archive