Abstract processes in orchestration languages

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 interesti...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Buscemi, M.G., Melgratti, H.
Formato: Artículo publishedVersion
Publicado: 2009
Materias:
Acceso en línea: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
Aporte de:
id I28-R145-paper_03029743_v5502_n_p301_Buscemi_oai
record_format dspace
spelling I28-R145-paper_03029743_v5502_n_p301_Buscemi_oai2020-10-19 Buscemi, M.G. Melgratti, H. 2009 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. application/pdf http://hdl.handle.net/20.500.12110/paper_03029743_v5502_n_p301_Buscemi info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar Lect. Notes Comput. Sci. 2009;5502:301-315 Abstract process Concrete process Private information Sensitive informations Simulation-based Simulation-based abstraction Symbolic bisimulation Channel capacity Linguistics Abstracting Abstract processes in orchestration languages info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_03029743_v5502_n_p301_Buscemi_oai
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-145
collection Repositorio Digital de la Universidad de Buenos Aires (UBA)
topic Abstract process
Concrete process
Private information
Sensitive informations
Simulation-based
Simulation-based abstraction
Symbolic bisimulation
Channel capacity
Linguistics
Abstracting
spellingShingle Abstract process
Concrete process
Private information
Sensitive informations
Simulation-based
Simulation-based abstraction
Symbolic bisimulation
Channel capacity
Linguistics
Abstracting
Buscemi, M.G.
Melgratti, H.
Abstract processes in orchestration languages
topic_facet Abstract process
Concrete process
Private information
Sensitive informations
Simulation-based
Simulation-based abstraction
Symbolic bisimulation
Channel capacity
Linguistics
Abstracting
description 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.
format Artículo
Artículo
publishedVersion
author Buscemi, M.G.
Melgratti, H.
author_facet Buscemi, M.G.
Melgratti, H.
author_sort Buscemi, M.G.
title Abstract processes in orchestration languages
title_short Abstract processes in orchestration languages
title_full Abstract processes in orchestration languages
title_fullStr Abstract processes in orchestration languages
title_full_unstemmed Abstract processes in orchestration languages
title_sort abstract processes in orchestration languages
publishDate 2009
url 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
work_keys_str_mv AT buscemimg abstractprocessesinorchestrationlanguages
AT melgrattih abstractprocessesinorchestrationlanguages
_version_ 1766026685877059584