INVESTIGADORES
MELGRATTI Hernan Claudio
artículos
Título:
On correlation sets and correlation exceptions in ActiveBPEL
Autor/es:
HERNÁN MELGRATTI; CHRISTIAN ROLDÁN
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Año: 2012 vol. 7173 p. 212 - 226
ISSN:
0302-9743
Resumen:
Correlationsetsareaprogrammingprimitivethatallowsinstanceiden- tification 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 mes- sage. Based on a concrete implementation, this paper proposes a formal model for correlation sets accounting for correlation exceptions. We also investigate dif- ferent type systems aimed at ensuring that orchestrators are free from some kind of correlation exceptions.
