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- speci c languages (mainly based on graphical notations) that are currently being de ned 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 pro le 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.
An ASM-based executable formal model of service-oriented component interactions and orchestration / E. Riccobene, P. Scandurra - In: Proceedings of the second International workshop on behaviour modelling : foundation and applications : Paris, France, june 14, 2010 / [a cura di] E. Roubtsova. - New York : Association for computing machinery, 2010. - ISBN 9781605589619. (( Intervento presentato al 2. convegno Workshop on Behavioural Modelling: Foundations and Application (BM-FA) tenutosi a Paris nel 2010 [10.1145/1811147.1811152].
An ASM-based executable formal model of service-oriented component interactions and orchestration
E. RiccobenePrimo
;
2010
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- speci c languages (mainly based on graphical notations) that are currently being de ned 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 pro le 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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
