Artículo

Melgratti, H.; Roldán, C. "On correlation sets and correlation exceptions in ActiveBPEL" (2012) 6th International Symposium on Trustworthy Global Computing, TGC 2011. 7173 LNCS:212-226
La versión final de este artículo es de uso interno. El editor solo permite incluir en el repositorio el artículo en su versión post-print. Por favor, si usted la posee enviela a
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

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.

Registro:

Documento: Artículo
Título:On correlation sets and correlation exceptions in ActiveBPEL
Autor:Melgratti, H.; Roldán, C.
Ciudad:Aachen
Filiación:Departamento de Computación, FCEyN, Universidad de Buenos Aires, Argentina
CONICET, Argentina
Palabras clave:Formal model; Process instances; Service instances; Type systems; Artificial intelligence
Año:2012
Volumen:7173 LNCS
Página de inicio:212
Página de fin:226
DOI: http://dx.doi.org/10.1007/978-3-642-30065-3_13
Título revista:6th International Symposium on Trustworthy Global Computing, TGC 2011
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7173LNCS_n_p212_Melgratti

Referencias:

  • Bonelli, E., Compagnoni, A., Multipoint Session Types for a Distributed Calculus (2008) LNCS, 4912, pp. 240-256. , Barthe, G., Fournet, C. (eds.) TGC 2007. Springer, Heidelberg
  • Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Zavattaro, G., SCC: A Service Centered Calculus (2006) LNCS, 4184, pp. 38-57. , Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. Springer, Heidelberg
  • (2004) Web Services Addressing (Ws-addressing), , http://www.w3.org/Submission/ws-addressing/, August
  • (2007) Web Services Business Process Execution L Anguage (BPEL), , http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf, version 2.0 April
  • Guidi, C., Lanese, I., Montesi, F., Zavattaro, G., On the interplay between fault handling and request-response service invocations (2008) Proceedings of 8th International Conference on Application of Concurrency to System Design (ACSD 2008), pp. 190-198. , IEEE
  • Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G., SOCK: A Calculus for Service Oriented Computing (2006) LNCS, 4294, pp. 327-338. , Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. Springer, Heidelberg
  • Honda, K., Vasconcelos, V.T., Kubo, M., Language Primitives and Type Discipline for Structured Communication-Based Programming (1998) LNCS, 1381, pp. 122-138. , Hankin, C. (ed.) ESOP 1998. Springer, Heidelberg
  • Lanese, I., Vasconcelos, V.T., Martins, F., Ravara, A., Disciplining orchestration and conversation in service-oriented computing (2007) Proc. of SEFM2007, pp. 305-314. , IEEE Computer Society Press
  • Lapadula, A., Pugliese, R., Tiezzi, F., A Calculus for Orchestration of Web Services (2007) LNCS, 4421, pp. 33-47. , De Nicola, R. (ed.) ESOP 2007. Springer, Heidelberg
  • Lapadula, A., Pugliese, R., Tiezzi, F., A Formal Account of WS-BPEL (2008) LNCS, 5052, pp. 199-215. , Wang, A.H., Zavattaro, G. (eds.) COORDINATION 2008. Springer, Heidelberg
  • Milner, R., A Calculus of Communication Systems (1980) LNCS, 92. , Springer, Heidelberg
  • Plotkin, G., (1981) A Structural Approach to Operational Semantics, , Technical Report DAIMI FN-19, Aarhus University, Computer Science Department
  • Viroli, M., A core calculus for correlation in orchestration languages (2007) J. Log. Algebr. Program., 70 (1), pp. 74-95A4 - Project ASCENS

Citas:

---------- APA ----------
Melgratti, H. & Roldán, C. (2012) . On correlation sets and correlation exceptions in ActiveBPEL. 6th International Symposium on Trustworthy Global Computing, TGC 2011, 7173 LNCS, 212-226.
http://dx.doi.org/10.1007/978-3-642-30065-3_13
---------- CHICAGO ----------
Melgratti, H., Roldán, C. "On correlation sets and correlation exceptions in ActiveBPEL" . 6th International Symposium on Trustworthy Global Computing, TGC 2011 7173 LNCS (2012) : 212-226.
http://dx.doi.org/10.1007/978-3-642-30065-3_13
---------- MLA ----------
Melgratti, H., Roldán, C. "On correlation sets and correlation exceptions in ActiveBPEL" . 6th International Symposium on Trustworthy Global Computing, TGC 2011, vol. 7173 LNCS, 2012, pp. 212-226.
http://dx.doi.org/10.1007/978-3-642-30065-3_13
---------- VANCOUVER ----------
Melgratti, H., Roldán, C. On correlation sets and correlation exceptions in ActiveBPEL. Lect. Notes Comput. Sci. 2012;7173 LNCS:212-226.
http://dx.doi.org/10.1007/978-3-642-30065-3_13