eprintid: 118
rev_number: 8
eprint_status: archive
userid: 29
dir: disk0/00/00/01/18
datestamp: 2011-03-02 11:04:47
lastmod: 2011-07-11 14:33:42
status_changed: 2011-03-02 11:04:47
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Buscemi, Maria Grazia
creators_name: Melgratti, Hernán C.
creators_id: m.buscemi@imtlucca.it
creators_id: 
title: Abstract Processes in Orchestration Languages
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: The final publication is available at www.springerlink.com.
abstract: Orchestrators are descriptions at implementation level and may contain sensitive information that should be kept private. Consequently, orchestration languages come equipped with a notion of abstract processes, which enable the interaction among parties while hiding private information. An interesting question is whether an abstract process accurately describes the behavior of a concrete process so to ensure that some particular property is preserved when composing services. In this paper we focus on compliance, i.e, the correct interaction of two orchestrators and we introduce two definitions of abstraction: one in terms of traces, called trace-based abstraction, and the other as a generalization of symbolic bisimulation, called simulation-based abstraction. We show that simulation-based abstraction is strictly more refined than trace-based abstraction and that simulation-based abstraction behaves well with respect to compliance. 
date: 2009
date_type: published
series: Lecture Notes in Computer Science
volume: 5502
publisher: Springer
pagerange: 301-315
id_number: 10.1007/978-3-642-00590-9_22
refereed: TRUE
isbn: 978-3-642-00589-3
book_title: Proceedings of the 18th European Symposium on Programming (ESOP’09)
editors_name: Castagna, Giuseppe
official_url: http://dx.doi.org/10.1007/978-3-642-00590-9_22
funders: Research supported by the EU FET-GC2 IST-2004-16004 Integrated Project Sensoria.
citation:   Buscemi, Maria Grazia and Melgratti, Hernán C.  Abstract Processes in Orchestration Languages.   In:  Proceedings of the 18th European Symposium on Programming (ESOP’09).   Lecture Notes in Computer Science, 5502 .  Springer, pp. 301-315.  ISBN 978-3-642-00589-3      (2009)