A modeling and executable language for designing and prototyping service-oriented applications

Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011

Volumn , Issue , 2011, Pages 4-11

  Riccobene, Elvinia ^a   Scandurra, Patrizia ^b   Albani, Fabio ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF BERGAMO   (Italy)

Author keywords

Abstract State Machines; service modeling; service prototyping; Service based software engineering; Service oriented Component Architecture

Indexed keywords

ABSTRACT STATE MACHINES; DESIGN EVALUATION; MODEL-BASED DESIGN; RUNTIMES; SERVICE COMPONENT ARCHITECTURE; SERVICE MODELING; SERVICE ORIENTED; SERVICE-BASED; SOFTWARE APPLICATIONS;

ABSTRACTING; COMPUTER SIMULATION; DESIGN; FORMAL METHODS; SOFTWARE PROTOTYPING;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 82955221698     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAA.2011.12     Document Type: Conference Paper

References (29)

1. Service Component Architecture (SCA) www.osoa.org.
2. E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.
3. The ASMETA tooset website, http://asmeta.sf.net/, 2006.
4. OMG. Service oriented architecture Modeling Language (SoaML), http://www.omg.org/spec/soaml/1.0/beta1/.
5. P. Mayer, A. Schroeder, N. Koch, and A. Knapp, The UML4SOA Prole, in Technical Report, LMU Muenchen, 2009.
6. EU project BRICS, http://www.best-of-robotics.org/.
7. EU project SENSORIA, www.sensoria-ist.eu/.
8. P. Mayer, A. Schroeder, and N. Koch, A model-driven approach to service orchestration, Proc. SCC, IEEE, 2008, pp. 533-536.
9. M. T. Beek, A. Bucchiarone, and S. Gnesi, Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics, vol. 1, no. 5, pp. 1-10, 2007.
10. EU project S-Cube http://www.s-cube-network.eu/.
11. C. Guidi, R. Lucchi, R. Gorrieri, N. Busi, and G. Zavattaro, A calculus for service oriented computing, Proc. ICSOC, LNCS 4294, Springer, 2006, pp. 327{338.
12. I. Lanese, F. Martins, V. T. Vasconcelos, and A. Ravara, Disciplining orchestration and conversation in service-oriented computing, Proc. SEFM, IEEE, 2007, pp. 305-314.
13. R. Bruni, Calculi for service-oriented computing, Proc. SFM, LNCS 5569, Springer, 2009, pp. 1-41.
14. The SENSORIA Approach, Oct. 17th, 2007, www.sensoria-ist.eu/images/ stories/frontpage/whitepaper-sensoria.pdf
15. F. Banti, A. Lapadula, R. Pugliese, F. Tiezzi, Specication and Analysis of SOC Systems Using COWS: A Finance Case Study, Electr. Notes Theor. Comput. Sci., vol. 235, pp. 71-105, 2009.
16. SRML, http://www.cs.le.ac.uk/srml/, 2009.
17. J. Abreu, F. Mazzanti, J. L. Fiadeiro, and S. Gnesi, A model-checking approach for service component architectures, Proc. FMOODS/FORTE, LNCS 5522, Springer, 2009, pp. 219-224.
18. E. Börger, O. Sörensen, and B. Thalheim, On dening the behavior of or-joins in business process models, J. of Universal Computer Science, vol. 15, no. 1, pp. 3-32, 2009.
19. E. Börger, Modeling Workow Patterns from First Principles, Proc. ER, LNCS 4801, Springer, 2007, pp. 1-20.
20. R. Farahbod, U. Glässer, and M. Vajihollahi, A formal semantics for the business process execution language for web services, Proc. WSMDEIS, INSTICC Press, 2005, pp. 122-133.
21. M. Altenhofen, A. Friesen, and J. Lemcke, ASMs in Service Oriented Architectures, Journal of Universal Computer Science, vol. 14, no. 12, pp. 2034-2058, 2008.
22. Z. Ding, Z. Chen, and J. Liu, A rigorous model of service component architecture, J. ENTCS, vol. 207, April, 2008.
23. D. Brugali and L. Gherardi and P. Scandurra, A Robotics Task Coordination Case Study, Workshop on Software Development and Integration in Robotics (SDIR), May 9, 2011.
24. D. Du, J. Liu, and H. Cao, A rigorous model of contract-based service component architecture, Proc. CSSE, IEEE, 2008.
25. A. Martens and S. Moser, Diagnosing SCA components using WOMBAT, Proc. Business Process Management, LNCS 4102, Springer, 2006, pp. 378-388.
26. C. Attiogbé, P. André, and G. Ardourel, Checking component composability, Proc. Software Composition, LNCS 4089, Springer, 2006, pp. 18-33.
27. P. André, G. Ardourel, and C. Attiogbé, Composing components with shared services in the kmelia model, Proc. Software Composition, LNCS 4954, Springer, 2008, pp. 125-140.
28. E. Riccobene and P. Scandurra, An ASM-based executable formal model of service-oriented component interactions and orchestration, Proc. BM-MDA'10, ACM Press, 2010.
29. A. P. Barros and E. Börger, A compositional framework for service interaction patterns and interaction ows, in ICFEM, LNCS 3785, Springer, 2005, pp. 5-35. (Pubitemid 43763432)