Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components

Elvinia Riccobene, Patrizia Scandurra

Abstract

This paper presents a behavioral formalism based on the Abstract State Machine (ASM) formal method and intended for high-level, platform-in -dependent, executable specification of Service-oriented Components . We complement the recent Service Component Architecture -- a graphical notation able to provide the overall and the components structure -- with an ASM-based formalism able to describe the workflow of the service orchestration and the services internal behavior. The resulting service-oriented component model provides an ASM-based representation of both the structural and behavioral aspects of service-oriented systems, like service interactions, service orchestration, service tasks and compensation. The ASM formal description of a service-oriented system is suitable for rigorous execution-platform-independent analysis.

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örger. A compositional framework for service interaction patterns 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örger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.
  6. Egon Börger. 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örger. 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 architecture. Electr. Notes Theor. Comput. Sci., 207:33-48, 2008.
  10. Dehui Du, Jing Liu, and Honghua Cao. A rigorous model of contract-based service component 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ässer, and M. Vajihollahi. A formal semantics for the business process execution 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 simulator 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 - Foundations and Application (BM-FA 2010), ACM DL Proc. ISBN 978-1-60558-961-9
Download


Paper Citation


in Harvard Style

Riccobene E. and Scandurra P. (2010). Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components . In Proceedings of the 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2010) ISBN 978-989-8425-20-1, pages 3-15. DOI: 10.5220/0003042200030015


in Bibtex Style

@conference{act4soc10,
author={Elvinia Riccobene and Patrizia Scandurra},
title={Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components},
booktitle={Proceedings of the 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2010)},
year={2010},
pages={3-15},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003042200030015},
isbn={978-989-8425-20-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2010)
TI - Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components
SN - 978-989-8425-20-1
AU - Riccobene E.
AU - Scandurra P.
PY - 2010
SP - 3
EP - 15
DO - 10.5220/0003042200030015