%0 Book Section
%A Bruni, Roberto
%A Corradini, Andrea
%A Gadducci, Fabio
%A Lluch-Lafuente, Alberto
%A Montanari, Ugo
%B Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing
%D 2011
%E Wirsing, Martin
%E Hölzl, Matthias M.
%F eprints:862
%I Springer-Verlag
%N 6582
%P 349-368
%S Lecture Notes in Computer Science
%T Hierarchical models for service-oriented systems 
%U http://eprints.imtlucca.it/862/
%X We present our approach to the denotation and representation of hierarchical graphs: a suitable algebra of hierarchical graphs and two domains of interpretations. Each domain of interpretation focuses on a particular perspective of the graph hierarchy: the top view (nested boxes) is based on a notion of embedded graphs while the side view (tree hierarchy) is based on gs-graphs. Our algebra can be understood as a high-level language for describing such graphical models, which are well suited for defining graphical representations of service-oriented systems where nesting (e.g. sessions, transactions, locations) and linking (e.g. shared channels, resources, names) are key aspects.