This deliverable presents the relationship between SRML, the project’s high-level modelling language of choice, and standards at the implementation and modelling level, namely WSBPEL for executing web service processes and UML for requirements modelling and visual specification of protocol behaviour. The conceptual relation with the Service Component Architecture (SCA) is discussed in the Introduction. A fundamental challenge of software engineering is the correct alignment of general business goals with specific IT strategies. This is of particular importance in the service-oriented scenario due to the dynamicity and distributed nature of service-based applications. In this deliverable we address this issue by presenting a methodology for high level service modelling where (1) business goals are achieved through the execution of business processes, and (2) the dynamic alignment of a business process to the current system configuration is achieved through business policies which represent the IT strategy. The methodology involves two languages developed under SENSORIA: SRML and STPOWLA.
The ontology provides the participants in the SENSORIA project with a common conceptual model for service-oriented computing. The document encloses a glossary that describes the main classes of the ontology by using the natural language and a UML model.
This document provides a general description and formalization of the metamodelling approach for service-oriented architectures, including a discussion of the architecture of the metamodels involved, and their application to the development of a formal semantic domain metamodel for service-oriented systems. Concepts and techniques that support the description of service-based interactions and the composition model, i.e. the mechanisms through which complex applications can be put together from simpler units: The former includes a logic for specifying and reasoning about properties of services, which will be formally defined in a future report. The latter includes modelling primitives for the orchestration of components and the definition of external interfaces, as well as the protocols that connect them inside modules. Modules are the basic units of composition; their definition has been inspired on the Service Component Architecture (SCA). Modules can be discovered and bound to other modules at run-time to produce configurations. We propose a formal model for module assembly and composition and outline research related to configuration modelling. A graphical editor plug-in, generated by the Eclipse Graphical Modeling Framework (GMF), and a tree-based editor, generated by the Eclipse Modeling Framework (EMF) for the primitives for service compositions of the Sensoria Reference Modelling Language (SRML-P) are introduced. In deliverable D1.1.c the primitives for service description of the SENSORIA Reference Modelling Language (SRML) have been presented. In this deliverable we formalize the mathematical semantic domain over which descriptions of service behaviour are to be interpreted and introduce how the logic UCTL can be used to reason about SRML models. With this work we move forward towards one the main goals of SENSORIA (WP1) which is to propose a formal framework for modelling service-oriented architectures. This document presents extension of the service description and composition kernel of SRML, reported in D1.1b, with primitives for dynamic reconfiguration. In particular we take into account session management (notion of configuration and persistency), primitives for reconfiguration and definition of SLA constraints. We provide a declarative semantics for the correctness of module specifications and an operational model of service-oriented configuration management that is independent of the technologies that provide the middleware infrastructure over which services can be deployed, published and discovered. Further details on the content of this deliverable are discussed in an extended report. This paper describes an first approach to business modelling, which is flexible and can adapt to the specific needs of several stakeholders, at the same time guaranteeing that the different policies are not conflicting. This paper summarizes the results of the activities of Task 3 of Work Package 1: it addresses Service-Oriented Business Modelling. The work is devoted to extend current Web services infrastructures to support policy-driven business modelling. The final goal is to provide high-level modelling of SOA-based business applications: the focus is on how the user requirements can be expressed as business processes and policies. To this end, we propose STPOWLA, a Service–Targeted Policy–Oriented WorkfLow Approach, which builds on the work reported in deliverable D1.3a to integrate Business Process Management (BPM), Service Oriented Computing (SOC), and Service Oriented Architecture (SOA). We complete the pragmatic presentation of STPOWLA by providing semantics to our approach, in two ways. We show a map into SRML-P (SENSORIA Reference Modelling Language for comPosition), and we complete the mapping to the logic _DSTL(x), extending what presented in deliverable D1.3a to the distributed case. A new line of research is also reported, related to planning on–the–fly task composition, i.e. service composition in our perspective: the GOAL language supports a three tiers specification of the goals to achieve. The tiers naturally correspond to specifying the core business, the default service levels and the service levels related to dynamic business rules.
This deliverable presents a UML-based modelling approach for service-oriented systems. The aim is to introduce service-specific model elements to ease the modelling activity of service-oriented architectures(SOAs). The UML 2.0 extension is built on top of a Meta Object Facility (MOF) metamodel defined as a conservative extension of the UML metamodel. For the elements of this metamodel, a UML profile is created using the extension mechanisms provided by the UML. The result is a so-called UML profile for a service-oriented architecture (UML4SOA), which provides model elements for structural and behavioural aspects, and for business goals, policies and non-functional properties of SOAs. Such a metamodel and the corresponding UML profile constitute the basis for model transformations and code generation defining a model-driven development process. The distinguishing feature of UML4SOA is its compliance with standards like UML 2.0 , MOF, OCL and XMI. A trend in software engineering is towards greater model-driven development. Models are used to document requirements, design results, and analysis in early phases of the development process. However, the aim of modeling is very often more ambitious as models are used for automatic generation in so-called model-driven engineering approaches. The relevance of models leads to the need of both, high-level domain specific modeling languages (DSML), and metamodels which are the basis for the definition of
model transformations and code generation. For the service-oriented computing domain we developed within the SENSORIA project a DSML for building and transforming SOA models. This DSML is defined as a family of UML profiles, which complement the SoaML profile for the specification of SOAs structure. In this deliverable we describe our family of profiles which focus on orchestration of services, service-level agreements, non-functional properties of services, implementation of service modes and service deployment.
|
