BPMN modelling of services with dynamically reconfigurable transactions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6470 LNCS, Issue , 2010, Pages 396-410

  Bocchi, Laura ^a   Guanciale, Roberto ^b   Strollo, Daniele ^c   Tuosto, Emilio ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF PISA   (Italy)

^c ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; ENTERPRISE JAVABEANS; METHOD INVOCATION; PROGRAMMING MECHANISM; PROOF OF CONCEPT; RE-CONFIGURABLE; SERVICE ORIENTED; SERVICE-ORIENTED COMPUTING; SERVICE-ORIENTED SCENARIO; THEORETICAL FRAMEWORK;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 78650785328     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17358-5_27     Document Type: Conference Paper

References (17)

1. 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
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)
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)
4. De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Comput. Sci. 34(1-2), 83-133 (1984)
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)
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)
7. Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) SIGMODConference, pp. 249-259. ACM Press, New York (1987)
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)
9. OASIS. Business Transaction Protocol, BTP (2002), http://www.oasisopen. org/committees/business-transactions/ documents/primer/
10. OASIS. Web Services Business Process Execution Language, WS-BPEL (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
11. OASIS.Web Services Transaction, WS-TX (2009), http://www.oasis-open.org/ committees/ws-tx/
12. OMG Group. Business Process Modeling Notation, BPMN (2002), http://www.bpmn.org
13. Panda, D., Rahman, R., Lane, D.: EJB 3 in action. Manning (2007)
14. Rozenberg, G. (ed.): Handbook of graph grammars and computing by graph transformation: vol. I. World Scientific Publishing Co., Inc., River Edge (1997)
15. Sun Microsystems. Enterprise JavaBeans (EJB) technology (2009), http://java.sun.com/products/ejb/
16. van der Aalst, W., Hofstede, A.H.M.T.: YAWL: Yet Another Workflow Language. Information Systems 30, 245-275 (2003)
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)