eprintid: 147
rev_number: 6
eprint_status: archive
userid: 30
dir: disk0/00/00/01/47
datestamp: 2011-05-18 10:31:57
lastmod: 2011-07-11 14:34:34
status_changed: 2011-05-18 10:31:57
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bruni, Roberto
creators_name: Gadducci, Fabio
creators_name: Lluch-Lafuente, Alberto
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
title: A Graph Syntax for Processes and Services
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: We propose a class of hierarchical graphs equipped with a simple algebraic syntax as a convenient way to describe configurations in languages with inherently hierarchical features such as sessions, fault- handling scopes or transactions. The graph syntax can be seen as an intermediate representation language, that facilitates the encoding of structured specifications and, in particular, of process calculi, since it provides primitives for nesting, name restriction and parallel composition. The syntax is based on an algebraic presentation that faithfully characterises families of hierarchical graphs, meaning that each term of the language uniquely identifies an equivalence class of graphs (modulo graph isomorphism). Proving soundness and completeness of an encoding (i.e. proving that structurally equivalent processes are mapped to isomorphic graphs) is then facilitated and can be done by structural induction. Summing up, the graph syntax facilitates the definition of faithful encodings, yet allowing a precise visual representation. We illustrate our work with an application to a workflow language and a service-oriented calculus.
date: 2009
date_type: published
series: Lecture Notes in Computer Science
volume: 6194
publisher: Springer
pagerange: 46-60
id_number: 10.1007/978-3-642-14458-5_3
refereed: TRUE
isbn: 978-3-642-14457-8
book_title: Web Services and Formal Methods (WS-FM’09)
editors_name: Laneve, Cosimo
editors_name: Su, Jianwen
official_url: http://dx.doi.org/10.1007/978-3-642-14458-5_3
funders: Research supported by the EU FET integrated project Sensoria, IST-2005-016004.
citation:   Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto  A Graph Syntax for Processes and Services.   In:  Web Services and Formal Methods (WS-FM’09).   Lecture Notes in Computer Science, 6194 .  Springer, pp. 46-60.  ISBN 978-3-642-14457-8      (2009)