![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 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...
-
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
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...