> > >
untitled

Abstract processes in orchestration languages

Buscemi, M.G. - Melgratti, H.
   
Fecha:
2009
Tipo de documento: 
info:eu-repo/semantics/article
info:ar-repo/semantics/artículo
info:eu-repo/semantics/publishedVersion
Formato:
application/pdf
Temas:
Abstract process - Concrete process - Private information - Sensitive informations - Simulation-based - Simulation-based abstraction - Symbolic bisimulation - Channel capacity - Linguistics - Abstracting
Descripción:
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.
Fuente:
Lect. Notes Comput. Sci. 2009;5502:301-315
Identificador:
http://hdl.handle.net/20.500.12110/paper_03029743_v5502_n_p301_Buscemi
http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_03029743_v5502_n_p301_Buscemi_oai
Derechos:
info:eu-repo/semantics/openAccess

Cita bibliográfica:

Buscemi, M.G. ; Melgratti, H.  (2009).  Abstract processes in orchestration languages.  (info:eu-repo/semantics/article).  [consultado:  ] Disponible en el Repositorio Digital Institucional de la Universidad de Buenos Aires:  <http://hdl.handle.net/20.500.12110/paper_03029743_v5502_n_p301_Buscemi>