Abstract
We promote the use of transactional attributes for modelling business processes in service-oriented scenarios. Transactional attributes have been introduced in Enterprise JavaBeans (EJB) to decorate the methods published in Java containers. Attributes describe “modalities” that discipline the reconfiguration of transactional scopes (i.e., of caller and callee) upon method invocation.
We define and study modelling and programming mechanisms to control dynamically reconfigurable transactional scopes in Service-Oriented Computing (SOC). On the one hand, we give evidence of the suitability of transactional attributes for modelling and programming SOC transactions. As a proof of concept, we show how BPMN can be enriched with a few annotations for transactional attributes. On the other hand, we show how the results of a theoretical framework enable us to make more effective the development of transactional service-oriented applications.
This work has been supported by the project Leverhulme Trust Award ”Tracing Networks”.
Chapter PDF
Similar content being viewed by others
Keywords
- Business Process Modeling Notation
- Service Invocation
- Transactional Attribute
- Transactional Behaviour
- Invoke Service
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bocchi, L., Tuosto, E.: A Java Inspired Semantics for Transactions in SOC, extended report (2009), http://www.cs.le.ac.uk/people/lb148/javatransactions.html
Bocchi, L., Tuosto, E.: A java inspired semantics for transactions in SOC. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol. 6084, pp. 120–134. Springer, Heidelberg (2010)
Bocchi, L., Tuosto, E.: Testing attribute-based transactions in SOC. In: Hatcliff, J., Zucca, E. (eds.) Formal Techniques for Distributed Systems. LNCS, vol. 6117, Springer, Heidelberg (2010)
De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Comput. Sci. 34(1–2), 83–133 (1984)
Decker, G., Dijkman, R., Dumas, M., García-Bañuelos, L.: Transforming BPMN Diagrams into YAWL Nets. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 386–389. Springer, Heidelberg (2008)
Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology 50(12), 1281–1294 (2008)
Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) SIGMOD Conference, pp. 249–259. ACM Press, New York (1987)
Lanese, I., Vaz, C., Ferreira, C.: On the expressive power of primitives for compensation handling. In: Gordon, A.D. (ed.) ESOP. LNCS, vol. 6012, pp. 366–386. Springer, Heidelberg (2010)
OASIS. Business Transaction Protocol, BTP (2002), http://www.oasisopen.org/committees/business-transactions/documents/primer/
OASIS. Web Services Business Process Execution Language, WS-BPEL (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
OASIS. Web Services Transaction, WS-TX (2009), http://www.oasis-open.org/committees/ws-tx/
OMG Group. Business Process Modeling Notation, BPMN (2002), http://www.bpmn.org
Panda, D., Rahman, R., Lane, D.: EJB 3 in action. Manning (2007)
Rozenberg, G. (ed.): Handbook of graph grammars and computing by graph transformation: vol. I. World Scientific Publishing Co., Inc., River Edge (1997)
Sun Microsystems. Enterprise JavaBeans (EJB) technology (2009), http://java.sun.com/products/ejb/
van der Aalst, W., Hofstede, A.H.M.T.: YAWL: Yet Another Workflow Language. Information Systems 30, 245–275 (2003)
Wong, P.Y., Gibbons, J.: A Process Semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355–374. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bocchi, L., Guanciale, R., Strollo, D., Tuosto, E. (2010). BPMN Modelling of Services with Dynamically Reconfigurable Transactions. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds) Service-Oriented Computing. ICSOC 2010. Lecture Notes in Computer Science, vol 6470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17358-5_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-17358-5_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17357-8
Online ISBN: 978-3-642-17358-5
eBook Packages: Computer ScienceComputer Science (R0)