Johannes Maria Zaha

Let's dance: a language for service behavior modeling

In Service-Oriented Architectures (SOAs), software systems are decomposed into independent units, namely services, that interact with one another through message exchanges To promote reuse and evolvability, these interactions are explicitly described right from the early phases of the development lifecycle Up to now, emphasis has been placed on capturing structural aspects of service interactions Gradually though, the description of behavioral dependencies between service interactions is gaining increasing attention as a means to push forward the SOA vision This paper deals with the description of these behavioral dependencies during the analysis and design phases The paper outlines a set of requirements that a language for modeling service interactions at this level should fulfill, and proposes a language whose design is driven by these requirements.

Compatibility test for coordination aspects of software components

Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as the business-related aspects of the services provided and required by the corresponding software components and second, automated compatibility tests in order to identify components fulfilling demands specified by component requestors. Adequate techniques for the specification of component services are consolidated in a multilayered specification framework, where formal notations are preferred in order to enable the execution of automated compatibility tests. These tests are a prerequisite for the existence of component markets where third party software components are traded and components that fulfil the specified demands are identified. This paper presents an algorithm for the layer of the specification framework where coordination aspects of a software component are described. On this layer an extension of the object constraint language (OCL) by temporal operators is used to specify the succession relationships between the services of related software components. Thereby the connections to other layers are tagged and existing tests are integrated.

Variability-Driven Selection of Services for Service Compositions

In order to deliver services that realize their requirements at low cost, in short time, and with high quality, service engineers reuse existing services for building composite services. For each service that is part of such a composite service and which is offered by a service provider, a service level agreement has to be established and the quality of service has to be monitored. Therefore, in order to keep service management controllable, the overall number of services across all service compositions that are maintained by an organization should be as small as possible. However, currently there exists no technique that would support service engineers in selecting such a minimal set of services when building composite services. By drawing on research results from software product line engineering, we define a service selection process (SeVAR) that exploits the similarities in the requirements in order to select the minimal set of services that achieves the best coverage of those requirements.

OTM 2006 academy doctoral consortium PC co-chairs' message

The OTM Academy Doctoral Consortium is the third edition of an event at the “On The Move Federated Conferences” that provides a platform for researchers at the beginning of their career Promising doctoral students are encouraged to showcase their work on an international forum, where they are provided with an opportunity to gain feedback and guidance on future research directions from prominent professors.