On correlation sets and correlation exceptions in ActiveBPEL

Correlation sets are a programming primitive that allows instance identification in orchestration languages. A correlation set is a set of properties (i.e., values carried on by messages) that are used to associate each received message with a process instance: every time a service receives a messag...

Descripción completa

Detalles Bibliográficos
Publicado: 2012
Materias:
Formal model
Process instances
Service instances
Type systems
Artificial intelligence
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7173LNCS_n_p212_Melgratti
http://hdl.handle.net/20.500.12110/paper_03029743_v7173LNCS_n_p212_Melgratti
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_03029743_v7173LNCS_n_p212_Melgratti
record_format dspace
spelling paper:paper_03029743_v7173LNCS_n_p212_Melgratti2023-06-08T15:28:43Z On correlation sets and correlation exceptions in ActiveBPEL Formal model Process instances Service instances Type systems Artificial intelligence Correlation sets are a programming primitive that allows instance identification in orchestration languages. A correlation set is a set of properties (i.e., values carried on by messages) that are used to associate each received message with a process instance: every time a service receives a message, it explores its content and determines a service instance that should handle the received message. Based on a concrete implementation, this paper proposes a formal model for correlation sets accounting for correlation exceptions. We also investigate different type systems aimed at ensuring that orchestrators are free from some kind of correlation exceptions. © 2012 Springer-Verlag. 2012 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7173LNCS_n_p212_Melgratti http://hdl.handle.net/20.500.12110/paper_03029743_v7173LNCS_n_p212_Melgratti
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Formal model
Process instances
Service instances
Type systems
Artificial intelligence
spellingShingle Formal model
Process instances
Service instances
Type systems
Artificial intelligence
On correlation sets and correlation exceptions in ActiveBPEL
topic_facet Formal model
Process instances
Service instances
Type systems
Artificial intelligence
description Correlation sets are a programming primitive that allows instance identification in orchestration languages. A correlation set is a set of properties (i.e., values carried on by messages) that are used to associate each received message with a process instance: every time a service receives a message, it explores its content and determines a service instance that should handle the received message. Based on a concrete implementation, this paper proposes a formal model for correlation sets accounting for correlation exceptions. We also investigate different type systems aimed at ensuring that orchestrators are free from some kind of correlation exceptions. © 2012 Springer-Verlag.
title On correlation sets and correlation exceptions in ActiveBPEL
title_short On correlation sets and correlation exceptions in ActiveBPEL
title_full On correlation sets and correlation exceptions in ActiveBPEL
title_fullStr On correlation sets and correlation exceptions in ActiveBPEL
title_full_unstemmed On correlation sets and correlation exceptions in ActiveBPEL
title_sort on correlation sets and correlation exceptions in activebpel
publishDate 2012
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7173LNCS_n_p212_Melgratti
http://hdl.handle.net/20.500.12110/paper_03029743_v7173LNCS_n_p212_Melgratti
_version_ 1768542886464323584

Ejemplares similares