relation: http://eprints.imtlucca.it/862/ title: Hierarchical models for service-oriented systems creator: Bruni, Roberto creator: Corradini, Andrea creator: Gadducci, Fabio creator: Lluch-Lafuente, Alberto creator: Montanari, Ugo subject: QA75 Electronic computers. Computer science description: 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. publisher: Springer-Verlag contributor: Wirsing, Martin contributor: Hölzl, Matthias M. date: 2011 type: Book Section type: PeerReviewed format: application/pdf language: en identifier: http://eprints.imtlucca.it/862/1/bruni_gadducci_lluch-lafuente_et_al_2011.pdf identifier: Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical models for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 349-368. ISBN 978-3-642-20400-5 (2011) relation: http://dx.doi.org/10.1007/978-3-642-20401-2_16 relation: 10.1007/978-3-642-20401-2