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

Guardado en:
Detalles Bibliográficos
Autores principales: Melgratti, H., Roldán, C.
Formato: SER
Materias:
Formal model
Process instances
Service instances
Type systems
Artificial intelligence
Acceso en línea: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 todo:paper_03029743_v7173LNCS_n_p212_Melgratti
record_format dspace
spelling todo:paper_03029743_v7173LNCS_n_p212_Melgratti2023-10-03T15:19:23Z On correlation sets and correlation exceptions in ActiveBPEL Melgratti, H. Roldán, C. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
Melgratti, H.
Roldán, C.
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.
format SER
author Melgratti, H.
Roldán, C.
author_facet Melgratti, H.
Roldán, C.
author_sort Melgratti, H.
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
url http://hdl.handle.net/20.500.12110/paper_03029743_v7173LNCS_n_p212_Melgratti
work_keys_str_mv AT melgrattih oncorrelationsetsandcorrelationexceptionsinactivebpel
AT roldanc oncorrelationsetsandcorrelationexceptionsinactivebpel
_version_ 1807322761156100096

Ejemplares similares