Abstract The focus of this presentation is on the modeling aspects of the model-driven development approach for service-oriented software. Modeling should be possible in a language, which is both familiar to all stakeholders involved in the development, and thus be easy to use, but it also should contain the necessary level of detail for automatic generation of SOA systems. One of the most widespread languages in the software engineering domain for modeling tasks is the Unified Modeling Language (UML). The UML extension developed in the SENSORIA project – called UML4SOA profile – enables modeling of both the structural and the behavioral aspects of service-oriented systems introducing specific constructs for the description and orchestration of services, and the specification of non-functional aspects in service-oriented computing. The main modeling elements will be illustrated with examples of a concrete case study.

Lectures by José Fiadeiro, University of Leicester, UK

9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM-09:WS)
1-6 June, 2009, Bertinoro, Italy

Abstract This tutorial provides an overview of a formal approach to service-oriented modelling developed within the SENSORIA project. A modelling language – SRML – and a number of formal techniques that address qualitative and quantitative analysis support this approach, all of which are based on mathematical foundations. The focus of the tutorial is on the language primitives that SRML offers for modelling business services and activities, and on the methodological approach that SRML supports.