eprintid: 862 rev_number: 10 eprint_status: archive userid: 30 dir: disk0/00/00/08/62 datestamp: 2011-09-13 09:42:21 lastmod: 2011-09-27 11:09:23 status_changed: 2011-09-13 09:42:21 type: book_section metadata_visibility: show item_issues_count: 0 creators_name: Bruni, Roberto creators_name: Corradini, Andrea creators_name: Gadducci, Fabio creators_name: Lluch-Lafuente, Alberto creators_name: Montanari, Ugo creators_id: creators_id: creators_id: creators_id: alberto.lluch@imtlucca.it creators_id: title: Hierarchical models for service-oriented systems ispublished: pub subjects: QA75 divisions: CSA full_text_status: public 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. date: 2011 date_type: published series: Lecture Notes in Computer Science number: 6582 publisher: Springer-Verlag pagerange: 349-368 id_number: 10.1007/978-3-642-20401-2 refereed: TRUE isbn: 978-3-642-20400-5 book_title: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing editors_name: Wirsing, Martin editors_name: Hölzl, Matthias M. official_url: http://dx.doi.org/10.1007/978-3-642-20401-2_16 citation: 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) document_url: http://eprints.imtlucca.it/862/1/bruni_gadducci_lluch-lafuente_et_al_2011.pdf