Elvinia Riccobene, Patrizia Scandurra. An ASM-based executable formal model of service-oriented component interactions and orchestration. In Mehmet Aksit, Ekkart Kindler, Ella E. Roubtsova, Ashley T. McNeile, editors, Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, Paris, France, June 14, 2010. pages 5, ACM, 2010. [doi]
Abstract is missing.