BPMN Modelling of Services with Dynamically Reconfigurable Transactions

  • Laura Bocchi
  • Roberto Guanciale
  • Daniele Strollo
  • Emilio Tuosto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6470)


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.


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.


  1. 1.
    Bocchi, L., Tuosto, E.: A Java Inspired Semantics for Transactions in SOC, extended report (2009),
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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) CrossRefGoogle Scholar
  4. 4.
    De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Comput. Sci. 34(1–2), 83–133 (1984)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology 50(12), 1281–1294 (2008)CrossRefGoogle Scholar
  7. 7.
    Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) SIGMOD Conference, pp. 249–259. ACM Press, New York (1987)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    OASIS. Business Transaction Protocol, BTP (2002),
  10. 10.
    OASIS. Web Services Business Process Execution Language, WS-BPEL (2007),
  11. 11.
    OASIS. Web Services Transaction, WS-TX (2009),
  12. 12.
    OMG Group. Business Process Modeling Notation, BPMN (2002),
  13. 13.
    Panda, D., Rahman, R., Lane, D.: EJB 3 in action. Manning (2007)Google Scholar
  14. 14.
    Rozenberg, G. (ed.): Handbook of graph grammars and computing by graph transformation: vol. I. World Scientific Publishing Co., Inc., River Edge (1997)zbMATHGoogle Scholar
  15. 15.
    Sun Microsystems. Enterprise JavaBeans (EJB) technology (2009),
  16. 16.
    van der Aalst, W., Hofstede, A.H.M.T.: YAWL: Yet Another Workflow Language. Information Systems 30, 245–275 (2003)CrossRefGoogle Scholar
  17. 17.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Laura Bocchi
    • 1
  • Roberto Guanciale
    • 2
  • Daniele Strollo
    • 3
  • Emilio Tuosto
    • 1
  1. 1.Department of Computer ScienceUniversity of LeicesterUK
  2. 2.Department of Computer ScienceUniversity of PisaItaly
  3. 3.Istituto di Scienza e Tecnologie dell’Informazione “Alessandro Faedo”CNRPisaItaly

Personalised recommendations