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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Artículo publishedVersion |
Lenguaje: | Inglés |
Publicado: |
2009
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_03029743_v5502_n_p301_Buscemi |
Aporte de: |
id |
paperaa:paper_03029743_v5502_n_p301_Buscemi |
---|---|
record_format |
dspace |
spelling |
paperaa:paper_03029743_v5502_n_p301_Buscemi2023-06-12T16:47:19Z Abstract processes in orchestration languages Lect. Notes Comput. Sci. 2009;5502:301-315 Buscemi, M.G. Melgratti, H. Abstract process Concrete process Private information Sensitive informations Simulation-based Simulation-based abstraction Symbolic bisimulation Channel capacity Linguistics Abstracting 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. 2009 info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion application/pdf eng info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v5502_n_p301_Buscemi |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
language |
Inglés |
orig_language_str_mv |
eng |
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 |
work_keys_str_mv |
AT buscemimg abstractprocessesinorchestrationlanguages AT melgrattih abstractprocessesinorchestrationlanguages |
_version_ |
1769810181136318464 |