• Aucun résultat trouvé

Front Matter

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Front Matter"

Copied!
8
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Andreas Sch¨onberger, Oliver Kopp, Niels Lohmann (eds.)

Services and their Composition

4th Central European Workshop on Services and their Composition 4. Zentral-europ¨aischer Workshop ¨uber Services und ihre Komposition ZEUS 2012, Bamberg, February 23.-24. 2012

Post-Workshop Proceedings

ZEUS 2012 is kindly supported by:

Senacor Technologies AG www.senacor.com

Distributed Systems Group

Faculty Information Systems and

Applied Computer Science

(2)

Editors:

Andreas Sch¨onberger

University of Bamberg, Distributed Systems Group, Feldkirchenstr. 21, 96052 Bamberg, Germany [email protected]

Oliver Kopp

University of Stuttgart, Institute of Architecture of Application Systems Universit¨atsstraße 38, 70569 Stuttgart, Germany

[email protected]

Niels Lohmann

University of Rostock, Institute of Computer Science 18051 Rostock, Germany

[email protected]

Copyright c 2012 for the individual papers by the papers’ authors. Copying permit- ted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.

(3)

Program Committee

Rafael Accorsi University of Freiburg Daniel Beimborn University of Bamberg

Gero Decker signavio

Daniel Eichhorn Karlsruhe Institute of Technology Dirk Fahland TU Eindhoven

Christian Gierds Humboldt-University of Berlin Christian Huemer TU Vienna

Meiko Jensen Ruhr-University Bochum Nils Joachim University of Bamberg Oliver Kopp University of Stuttgart Philipp Leitner TU Vienna

Niels Lohmann University of Rostock Christoph M. Pfl¨ugler University of Augsburg Stephan Rei↵-Marganiec University of Leicester Andreas Sch¨onberger University of Bamberg

Jan S¨urmeli Humboldt-University of Berlin Robert Warschofsky Hasso Plattner Institute Potsdam Matthias Weidlich Technion, Israel

Marco Zapletal TU Vienna

III

(4)

Additional Reviewers

Uwe Breitenb¨ucher University of Stuttgart

Robert Engel TU Vienna

Andreas Lehmann University of Rostock Dieter Mayrhofer TU Vienna

Richard M¨uller Humboldt-University of Berlin Christian Pichler TU Vienna

Robert Pr¨ufer Humboldt-University of Berlin Steve Strauch University of Stuttgart Jan S¨urmeli Humboldt-University of Berlin Tobias Unger University of Stuttgart Christoph Wagner Humboldt-University of Berlin Sebastian Wagner University of Stuttgart

IV

(5)

Table of Contents

Service Adaptation and Synthesis

Toward Deciding the Existence of Adaptable Services. . . 1 Christian Gierds

Cost-minimal Adapters for Services . . . 9 Jan S¨urmeli

Partner Synthesis for Data-Dependent Services . . . 17 Christoph Wagner

Service Composition

HarmonICS - a Tool for Composing Medical Services . . . 25 Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur

Niewiadomski, Wojciech Penczek, Agata Polrola, and Jaroslaw Skaruz

Automated Composition of Timed Services by Planning as Model Checking 34 Daniel St¨ohr and Sabine Glesner

Best Service Synthesis in the Weighted Roman Model . . . 42 Diego Calvanese and Ario Santoso

Service Language Characteristics

Choreographies in BPMN 2.0: New Challenges and Open Questions . . . 50 Mario Cortes-Cornax, Sophie Dupuy-Chessa, and Dominique Rieu

Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN 2.0. 58 J¨org Lenhard and Guido Wirtz

A Survey on Approaches for Timed Services. . . 66 Kristian Duske and Richard M¨uller

Process Analysis

Weak Conformance of Process Models with respect to Data Objects. . . 74 Andreas Meyer, Artem Polyvyanyy, and Mathias Weske

Towards Verification of Process Merge Patterns with Allen’s Interval

Algebra. . . 81 Sebastian Wagner, Oliver Kopp, and Frank Leymann

(6)

Towards Automatic Generation of Process Architectures for Process

Collections . . . 89 Rami-Habib Eid-Sabbagh

Workflow Management

Towards Process Evaluation in Non-Automated Process Execution

Environments . . . 97 Nico Herzberg, Matthias Kunze, and Andreas Rogge-Solti

Towards a Human Task Management Reference Model. . . 104 Daniel Schulte

Contextsensitive Online Adaption of Workflows. . . 112 Johannes Kretzschmar and Clemens Beckstein

Service Design

Six Strategies for Building High Performance SOA Applications. . . 120 Uwe Breitenb¨ucher, Oliver Kopp, Frank Leymann, Michael Reiter,

Dieter Roller, and Tobias Unger

Guided Control Flow Unfolding for Workflow Graphs Using Value Range

Information . . . 128 Thomas Heinze, Wolfram Amme, Simon Moser, and Kai Gebhardt

Model Support for Confidential Service-Oriented Business Processes. . . 136 Andreas Lehmann and Niels Lohmann

Index of Authors

. . . 144

VI

(7)
(8)

Références

Télécharger maintenant ( PDF - 8 Page - 529.77 KB )

Documents relatifs

(American University of Armenia)

Our findings suggest that better access to finance (such as having a credit card or a few credit lines), savings from monthly income and financial literacy (such as knowledge

University of Li

For large-dimensional structures, we develop a method based on evolutionary spectrum for linear analysis and nonlinear analysis using Gaussian equivalent statistical linearization..

Memorial University of Newfoundland

Irena et Josef sont plutôt incités à retourner par les autres. Ce sont Sylvie et Gustaf qui poussent Irena à retourner. Les autres estiment que le retour au pays natal constitue

of UNIVERSITY

They are involved in monotone dynamical systems, uniform persistence and coexistence states, basic reproduction ratios for compartmental epidemic models in periodic

University of of of of of

as sinapic acid equivalents on formation of TBARS in a cooked comminuted pork model system stored at 4 G C 336 Table A.7 Effects of evening primrose additives at a concentration of.

university of

The purpose of this study. 1s to determine whether principals, department chairper-sons and teachers feel the supervisory functions, genezoally associated with the.

UNIVERSITY OF

The main objective of this thesis is to enhance the reliability of decisions made using results obtained from quantitative analytical methods during different steps of their

University of Cambridge

Heleen Plaisier of Leiden University, the Netherlands, offers an introduction to the literature and orthography of Lepcha, a Tibeto-Burman language spoken in Sikkim