![](bgd.png)
References
1. M. Altenhofen, A. Friesen, and J. Lemcke. Asms in service oriented architectures. J. of
Universal Computer Science, 14(12):2034–2058, 2008.
2. The ASMETA tooset website. http://asmeta.sf.net/, 2006.
3. Alistair P. Barros and Egon B
¨
orger. A compositional framework for service interaction pat-
terns and interaction flows. In ICFEM’05 Proc., LNCS 3785, pages 5–35. Springer, 2005.
4. M. Boreale, R. Bruni, R. De Nicola, and M. Loreti. Sessions and pipelines for structured
service programming. In FMOODS Proc., LNCS vol. 5051, pages 19–38. Springer, 2008.
5. E. B
¨
orger and R. St
¨
ark. Abstract State Machines: A Method for High-Level System Design
and Analysis. Springer Verlag, 2003.
6. Egon B
¨
orger. The ASM method for system design and analysis. A tutorial introduction. In
Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005 Proc., LNCS vol.
3717, pages 264–283. Springer, 2005.
7. Egon B
¨
orger. Modeling Workflow Patterns from First Principles. In C. Parent, K.-D. Schewe,
V. C. Storey, and B. Thalheim, editors, ER, LNCS vol. 4801, pages 1–20. Springer, 2007.
8. E. Brger, O. Srensen, and B. Thalheim. On defining the behavior of or-joins in business
process models. J. of Universal Computer Science, 15(1):3–32, 2009.
9. Zuohua Ding, Zhenbang Chen, and Jing Liu. A rigorous model of service component archi-
tecture. Electr. Notes Theor. Comput. Sci., 207:33–48, 2008.
10. Dehui Du, Jing Liu, and Honghua Cao. A rigorous model of contract-based service compo-
nent architecture. In CSSE (2), pages 409–412. IEEE Computer Society, 2008.
11. F. Tiezzi F. Banti, R. Pugliese. Automated verification of UML models of services. Submitted
for publication, 2009.
12. R. Farahbod, U. Gl
¨
asser, and M. Vajihollahi. A formal semantics for the business process ex-
ecution language for web services. In Savitri Bevinakoppa, Lu
´
ıs Ferreira Pires, and Slimane
Hammoudi, editors, WSMDEIS, pages 122–133. INSTICC Press, 2005.
13. A. Gargantini, E. Riccobene, and P. Scandurra. Model-driven language engineering: The
ASMETA case study. In Int. Conf. on Software Engineering Advances, ICSEA 2008.
14. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. A metamodel-based simula-
tor for ASMs. In Andreas Prinz, editor, 14th Int. ASM Workshop Proc., 2007.
15. C. Guidi et al. : A calculus for service oriented computing. In Asit Dan and Winfried
Lamersdorf, editors, ICSOC, LNCS 4294, pages 327–338. Springer, 2006.
16. I. Lanese, F. Martins, V. Thudichum Vasconcelos, and A. Ravara. Disciplining orchestration
and conversation in service-oriented computing. In SEFM, pages 305–314. IEEE, 2007.
17. A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services. In
LNCS, pages 33–47. Springer, 2007.
18. Axel Martens and Simon Moser. Diagnosing sca components using wombat. In Business
Process Management Proc., LNCS 4102, pages 378–388. Springer, 2006.
19. EU project SENSORIA, ist-2 005-016004 www.sensoria-ist.eu/.
20. OMG. The SoaML Profile, ptc/2009-04-01
21. OSOA. Service Component Architecture (SCA) www.osoa.org.
22. P. Mayer, A. Schroeder, and N. Koch. A model-driven approach to service orchestration. In
IEEE SCC (2), pages 533–536. IEEE, 2008.
23. P. Mayer et al. The UML4SOA Profile. Tech. Rep., LMU Muenchen, 2009.
24. OMG, Business Process Management Notation (BPMN). www.bpmn.org/, 2008.
25. SRML: A Service Modeling Language. http://www.cs.le.ac.uk/srml/, 2009.
26. E. Riccobene and P. Scandurra. An ASM-based executable formal model of service-oriented
component interactions and orchestration. Workshop on Behavioural Modelling - Founda-
tions and Application (BM-FA 2010), ACM DL Proc. ISBN 978-1-60558-961-9
41