![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Business-SoaML: Service Identification and Specification from a Business Perspective
The identification and specification of services from a business perspective is an important baseline to drive the specification and realization of IT services. The SoaML specification supports modelling servi...
-
Chapter and Conference Paper
Development of Innovative Services Enhancing Interoperability in Cross-Organizational Business Processes
This paper presents the vision and ongoing results of the COIN (FP7-216256) European project for the development of collaborative and cross-organizational business process interoperability. Services for select...
-
Chapter and Conference Paper
A Developer-Friendly Approach for the Validation of Dynamic Compositions
A major challenge of dynamic composition is to find ways to model components and analyze their composition in order to guarantee that the composition is free from interaction errors and deadlocks. Existing tec...
-
Chapter
Model-driven Service Engineering with SoaML
This chapter presents a model-driven service engineering (MDSE) methodology that uses OMG MDA specifications such as BMM, BPMN and SoaML to identify and specify services within a service-oriented architecture....
-
Chapter and Conference Paper
Towards Cross-Organizational Innovative Business Process Interoperability Services
This paper presents the vision and initial results of the COIN (FP7-IST-216256) European project for the development of open source Collaborative Business Process Interoperability (CBPip) in cross-organisation...
-
Chapter and Conference Paper
Describing Component Collaboration Using Goal Sequences
Services are normally not performed by a single component, but result from the collaboration of several distributed components. Their precise specification and validation require complex models, where the intenti...
-
Article
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investigate methods and concepts for ...
-
Chapter and Conference Paper
Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification
Networked services, constituted by the structural and behavior arrangement of service components are considered. A service component is executed as a generic software component, denoted as an actor, which is able...
-
Chapter and Conference Paper
Formal Modelling of an Adaptable Service System
Adaptable service systems are service systems that adapt dynamically to changes in both time and position related to users, nodes, capabilities, status, and changed service requirements. We present a formal mo...
-
Chapter and Conference Paper
Behavioural Contracts for a Sound Assembly of Components
Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-existing components. Remains the proble...