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
Publicado: 2009
Materias:
Abstract process
Concrete process
Private information
Sensitive informations
Simulation-based
Simulation-based abstraction
Symbolic bisimulation
Channel capacity
Linguistics
Abstracting
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5502_n_p301_Buscemi
http://hdl.handle.net/20.500.12110/paper_03029743_v5502_n_p301_Buscemi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_03029743_v5502_n_p301_Buscemi
record_format dspace
spelling paper:paper_03029743_v5502_n_p301_Buscemi2023-06-08T15:28:30Z Abstract processes in orchestration languages 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 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5502_n_p301_Buscemi 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)
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
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.
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 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5502_n_p301_Buscemi
http://hdl.handle.net/20.500.12110/paper_03029743_v5502_n_p301_Buscemi
_version_ 1768543897508642816

Ejemplares similares