research-article

An ASM-based executable formal model of service-oriented component interactions and orchestration

Authors:

Elvinia Riccobene,

Patrizia ScandurraAuthors Info & Claims

BM-FA '10: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications

Article No.: 5, Pages 1 - 8

https://doi.org/10.1145/1811147.1811152

Published: 15 June 2010 Publication History

Abstract

Formal design methods, that might serve as a basis for specifying and analyzing abstract models of service orchestrations, are needed to complement the wide range of domain-specific languages (mainly based on graphical notations) that are currently being defined for engineering service-oriented systems. This paper presents a formal and executable semantic framework for UML4SOA models of service-oriented systems. The UML4SOA language is a UML profile developed in the EU SENSORIA project for modeling services behavior focusing on service orchestration aspects. We complement the graphical model of a service orchestration scenario with a formal description that is suitable for rigorous execution-platform-independent analysis. We map the behavioral primitives of UML4SOA activity diagrams into a particular class of Abstract State Machines (ASMs) able to model notions of service interactions and orchestrations.

References

[1]

M. Altenhofen, A. Friesen, and J. Lemcke. Asms in service oriented architectures. Journal of Universal Computer Science, 14(12):2034--2058, 2008.

[2]

C. Attiogbé. Can component/service-based systems be proved correct? CoRR, abs/0910.1901, 2009.

[3]

F. Banti, R. Pugliese, and F. Tiezzi. Automated Verification of UML Models of Services. Tech. Rep., di Sistemi e Informatica, Univ. Firenze. Submitted for pubblication, 2009.

[4]

A. Barros, M. Dumas, and A. ter Hofstede. Service Interaction Patterns: Towards a Reference Framework for Service-Based Business Process Interconnection. Technical Report FIT-TR-2005-02, Faculty of IT, Queensland University of Technology, April, 2005.

[5]

A. P. Barros and E. Börger. A compositional framework for service interaction patterns and interaction flows. In K.-K. Lau and R. Banach, editors, ICFEM, volume 3785 of LNCS, pages 5--35. Springer, 2005.

Digital Library

[6]

M. Boreale, R. Bruni, R. D. Nicola, and M. Loreti. Sessions and pipelines for structured service programming. In G. Barthe and F. S. de Boer, editors, FMOODS, volume 5051 of LNCS, pages 19--38. Springer, 2008.

Digital Library

[7]

E. Börger. The ASM method for system design and analysis. A tutorial introduction. In B. Gramlich, editor, Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19--21, 2005, Proceedings, volume 3717 of LNCS, pages 264--283. Springer, 2005.

Digital Library

[8]

E. Börger. Modeling Workflow Patterns from First Principles. In C. Parent, K.-D. Schewe, V. C. Storey, and B. Thalheim, editors, ER, volume 4801 of LNCS, pages 1--20. Springer, 2007.

Digital Library

[9]

E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.

Digital Library

[10]

E. Börger, O. Sörensen, and B. Thalheim. On defining the behavior of or-joins in business process models. J. of Universal Computer Science, 15(1):3--32, 2009.

[11]

R. Farahbod, U. Glässer, and M. Vajihollahi. A formal semantics for the business process execution language for web services. In S. Bevinakoppa, L. F. Pires, and S. Hammoudi, editors, WSMDEIS, pages 122--133. INSTICC Press, 2005.

[12]

A. Gargantini, E. Riccobene, and P. Scandurra. A semantic framework for metamodel-based languages. J. of Automated Software Engineering, 16(3--4), 2009.

Digital Library

[13]

ASMs web site. http://www.eecs.umich.edu/gasm/, 2008.

[14]

C. Guidi, R. Lucchi, R. Gorrieri, N. Busi, and G. Zavattaro.: A calculus for service oriented computing. In A. Dan and W. Lamersdorf, editors, ICSOC, volume 4294 of LNCS, pages 327--338. Springer, 2006.

Digital Library

[15]

I. Lanese, F. Martins, V. T. Vasconcelos, and A. Ravara. Disciplining orchestration and conversation in service-oriented computing. In SEFM, pages 305--314. IEEE, 2007.

Digital Library

[16]

A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services. In LNCS, pages 33--47. Springer, 2007.

Digital Library

[17]

EU project SENSORIA, ist-2 005-016004. tech. rep. d8.2.a, automotive case study: Requirements modelling and analysis of selected scenarios. www.sensoria-ist.eu/.

[18]

EU project SENSORIA, ist-2 005-016004 www.sensoria-ist.eu/.

[19]

OMG. Service oriented architecture Modeling Language (SoaML), ptc/2009-04-01, april 2009 http://www.omg.org/spec/soaml/1.0/beta1/.

[20]

OSOA. Service Component Architecture (SCA) www.osoa.org.

[21]

P. Mayer, A. Schroeder, and N. Koch. A model-driven approach to service orchestration. In IEEE SCC (2), pages 533--536. IEEE, 2008.

Digital Library

[22]

P. Mayer, A. Schroeder, N. Koch, and A. Knapp. The UML4SOA Profile. In Technical Report, LMU Muenchen, 2009.

[23]

OMG, Business Process Management Notation (BPMN). www.bpmn.org/, 2008.

[24]

SRML: A Service Modeling Language. http://www.cs.le.ac.uk/srml/, 2009.

Cited By

Riccobene EScandurra P(2013)A formal framework for service modeling and prototypingFormal Aspects of Computing10.1007/s00165-013-0289-026:6(1077-1113)Online publication date: 25-Dec-2013
https://doi.org/10.1007/s00165-013-0289-0
Riccobene EScandurra PAlbani F(2011)A Modeling and Executable Language for Designing and Prototyping Service-Oriented ApplicationsProceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications10.1109/SEAA.2011.12(4-11)Online publication date: 30-Aug-2011
https://dl.acm.org/doi/10.1109/SEAA.2011.12

Recommendations

A formal model for service-oriented interactions

In this paper, we provide a mathematical semantics for a fragment of a language-SRML-that we have defined in the IST-FET-GC2 Integrated Project SENSORIA for modelling service-oriented systems. The main goal of this research is to make available a ...
A comprehensive quality model for service-oriented systems

In a service-oriented system, a quality (or Quality of Service) model is used (i) by service requesters to specify the expected quality levels of service delivery; (ii) by service providers to advertise quality levels that their services achieve; and (...
A Model-Driven Approach to Service Orchestration
SCC '08: Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2

Software systems based on Service-Oriented Architectures (SOAs) promise high flexibility, improved maintainability, and simple re-use of functionality. A variety of languages and standards have emerged for working with SOA artifacts; however, service ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

BM-FA '10: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications

June 2010

46 pages

ISBN:9781605589619

DOI:10.1145/1811147

Conference Chairs:
Mehmet Aksit
University of Twente, Enschede, the Netherlands
,
Ekkart Kindler
Technical University of Denmark, Copenhagen, Denmark
,
Ella Roubtsova
Open University of the Netherlands
,
Ashley McNeile
Metamaxim Ltd, London, UK

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 June 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Ministero dell'Istruzione, dell'Università e della Ricerca

Conference

BM-FA '10

BM-FA '10: The Second Workshop on Behavioural Modelling - Foundations and Application

June 15, 2010

Paris, France

Acceptance Rates

Overall Acceptance Rate 8 of 9 submissions, 89%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
152
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Riccobene EScandurra P(2013)A formal framework for service modeling and prototypingFormal Aspects of Computing10.1007/s00165-013-0289-026:6(1077-1113)Online publication date: 25-Dec-2013
https://doi.org/10.1007/s00165-013-0289-0
Riccobene EScandurra PAlbani F(2011)A Modeling and Executable Language for Designing and Prototyping Service-Oriented ApplicationsProceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications10.1109/SEAA.2011.12(4-11)Online publication date: 30-Aug-2011
https://dl.acm.org/doi/10.1109/SEAA.2011.12

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents