@incollection{eprints862,
          number = {6582},
           pages = {349--368},
           title = {Hierarchical models for service-oriented systems },
          series = {Lecture Notes in Computer Science},
            year = {2011},
       publisher = {Springer-Verlag},
          author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch-Lafuente and Ugo Montanari},
       booktitle = {Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing},
          editor = {Martin Wirsing and Matthias M. H{\"o}lzl},
             url = {http://eprints.imtlucca.it/862/},
        abstract = {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. }
}