Semantic-Based Development of Service-Oriented Systems

Abstract

Abstract. Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project SENSORIA aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the SENSORIA semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.

Sensoria Process Calculi for Service-Oriented Computing

“…Moreover, SENSORIA is developing a model-driven approach for service-oriented software engineering (see also [35]) and a suite of tools and techniques for deploying service-oriented systems and for re-engineering of legacy software into services. By integrating and further developing these results SENSORIA will achieve its overall aim: a comprehensive and pragmatic but theoretically well founded approach to software engineering for service-oriented systems.…”

“…This includes an ontology for service-oriented architectures, UML extensions (see e.g. [35]) and the declarative language SRML [16] for system modelling over service-oriented architectures. Process calculi serve as the mathematical basis for programming and modelling dynamic aspects of services and service-oriented systems and for analysing qualitative and quantitative properties of services such as quality of service, security, performance, resource usage, scalability.…”

A Use-Case Driven Approach to Formal Service-Oriented Modelling

“…We also proposed a customisation of statechart diagrams in order to model the behaviour of the business processes executed by activities and services in terms of the basic interaction primitives available in SRML. SENSORIA is also producing a more global approach to modelling service orchestrations in UML2 -called UML4SOA -and utilising these models for code generation (including BPEL code) [14,19]. This approach favours the use of activity diagrams.…”

Event-Based Service Coordination

“…In this section we illustrate how the SC can be used for modeling the service coordination issues of the SENSORIA car emergency system [29] where a car manufacturer provides an assistance service to its customers. Once a customer's car breaks down, the system attempts to locate a garage, a tow truck and a rental car service so that the car is towed to the garage and repaired meanwhile the customer may continue his travel.…”