Services and their Composition
|
|
|
- Clyde Strickland
- 10 years ago
- Views:
Transcription
1 Andreas Schönberger, Oliver Kopp, Niels Lohmann (eds.) Services and their Composition 4th Central European Workshop on Services and their Composition 4. Zentral-europäischer Workshop über Services und ihre Komposition ZEUS 2012, Bamberg, February Post-Workshop Proceedings ZEUS 2012 is kindly supported by: Senacor Technologies AG Distributed Systems Group Faculty Information Systems and Applied Computer Science
2 Editors: Andreas Schönberger University of Bamberg, Distributed Systems Group, Feldkirchenstr. 21, Bamberg, Germany Oliver Kopp University of Stuttgart, Institute of Architecture of Application Systems Universitätsstraße 38, Stuttgart, Germany Niels Lohmann University of Rostock, Institute of Computer Science Rostock, Germany Copyright c 2012 for the individual papers by the papers authors. Copying permitted 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ügler University of Augsburg Stephan Rei -Marganiec University of Leicester Andreas Schönberger University of Bamberg Jan Sürmeli Humboldt-University of Berlin Robert Warschofsky Hasso Plattner Institute Potsdam Matthias Weidlich Technion, Israel Marco Zapletal TU Vienna III
4 Additional Reviewers Uwe Breitenbücher Robert Engel Andreas Lehmann Dieter Mayrhofer Richard Müller Christian Pichler Robert Prüfer Steve Strauch Jan Sürmeli Tobias Unger Christoph Wagner Sebastian Wagner University of Stuttgart TU Vienna University of Rostock TU Vienna Humboldt-University of Berlin TU Vienna Humboldt-University of Berlin University of Stuttgart Humboldt-University of Berlin University of Stuttgart Humboldt-University of Berlin 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ürmeli Partner Synthesis for Data-Dependent Services Christoph Wagner Service Composition HarmonICS - a Tool for Composing Medical Services 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öhr and Sabine Glesner Best Service Synthesis in the Weighted Roman Model Diego Calvanese and Ario Santoso Service Language Characteristics Choreographies in BPMN 2.0: New Challenges and Open Questions Mario Cortes-Cornax, Sophie Dupuy-Chessa, and Dominique Rieu Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN Jörg Lenhard and Guido Wirtz A Survey on Approaches for Timed Services Kristian Duske and Richard Müller Process Analysis Weak Conformance of Process Models with respect to Data Objects Andreas Meyer, Artem Polyvyanyy, and Mathias Weske Towards Verification of Process Merge Patterns with Allen s Interval Algebra Sebastian Wagner, Oliver Kopp, and Frank Leymann
6 Towards Automatic Generation of Process Architectures for Process Collections Rami-Habib Eid-Sabbagh Workflow Management Towards Process Evaluation in Non-Automated Process Execution Environments Nico Herzberg, Matthias Kunze, and Andreas Rogge-Solti Towards a Human Task Management Reference Model Daniel Schulte Contextsensitive Online Adaption of Workflows Johannes Kretzschmar and Clemens Beckstein Service Design Six Strategies for Building High Performance SOA Applications Uwe Breitenbücher, Oliver Kopp, Frank Leymann, Michael Reiter, Dieter Roller, and Tobias Unger Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information Thomas Heinze, Wolfram Amme, Simon Moser, and Kai Gebhardt Model Support for Confidential Service-Oriented Business Processes Andreas Lehmann and Niels Lohmann Index of Authors VI
7
8
Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus
S BPM ONE 2010 the Subjectoriented BPM Conference http://www.aifb.kit.edu/web/s bpm one/2010 Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus Oliver Kopp, Lasse Engler,
Winery A Modeling Tool for TOSCA-based Cloud Applications
Institute of Architecture of Application Systems Winery A Modeling Tool for TOSCA-based Cloud Applications Oliver Kopp 1,2, Tobias Binz 2, Uwe Breitenbücher 2, and Frank Leymann 2 1 IPVS, 2 IAAS, University
BPMN 2.0 Serialization - Standard Compliance Issues and Evaluation of Modeling Tools
BPMN 2.0 Serialization - Standard Compliance Issues and Evaluation of Modeling Tools Matthias Geiger, Guido Wirtz Distributed Systems Group University of Bamberg An der Weberei 5 D-96047 Bamberg, Germany
Six Strategies for Building High Performance SOA Applications
Six Strategies for Building High Performance SOA Applications Uwe Breitenbücher, Oliver Kopp, Frank Leymann, Michael Reiter, Dieter Roller, and Tobias Unger University of Stuttgart, Institute of Architecture
Interactions of Business Processes. from Orchestrations to Choreographies
Interactions of Business Processes from Orchestrations to Choreographies Mathias Weske Acknowledgements 2 Hasso Plattner Institut 3 Institute at University of Potsdam, private funding by Hasso Plattner,
WoPeD - An Educational Tool for Workflow Nets
WoPeD - An Educational Tool for Workflow Nets Thomas Freytag, Cooperative State University (DHBW) Karlsruhe, Germany [email protected] Martin Sänger, 1&1 Internet AG, Karlsruhe, Germany [email protected]
Integration of SAP NetWeaver BPM and Signavio Process Editor. A White Paper
Integration of SAP NetWeaver BPM and Signavio Process Editor A White Paper February 2013 Authors Gero Decker, Signavio GmbH ([email protected]) Nico Herzberg, HPI at University of Potsdam ([email protected])
Acknowledgements. Hasso Plattner Institut. Business Process Technology. On Modeling. Business Process. Interactions of Business Processes
Ackwledgements 2 Interactions of Business Processes from Orchestrations to Choreographies Mathias Weske Hasso Plattner Institut Business Process Techlogy 3 Institute at University of Potsdam, private funding
Data-Aware Service Choreographies through Transparent Data Exchange
Institute of Architecture of Application Systems Data-Aware Service Choreographies through Transparent Data Exchange Michael Hahn, Dimka Karastoyanova, and Frank Leymann Institute of Architecture of Application
A Classification of BPEL Extensions
Institute of Architecture of Application Systems A Classification of BPEL Extensions Oliver Kopp 1, Katharina Görlach 1, Dimka Karastoyanova 1, Frank Leymann 1, Michael Reiter 1, David Schumm 1, Mirko
Decomposed processes in Cloud BPM: techniques for monitoring and the use of OLC
Decomposed processes in Cloud BPM: techniques for monitoring and the use of OLC José Martinez Garro 1, Patricia Bazán 2, and Javier Díaz 2 1 Facultad de Informática, UNLP (Universidad Nacional de La Plata),
ExplorViz: Visual Runtime Behavior Analysis of Enterprise Application Landscapes
ExplorViz: Visual Runtime Behavior Analysis of Enterprise Application Landscapes Florian Fittkau, Sascha Roth, and Wilhelm Hasselbring 2015-05-27 Fittkau, Roth, Hasselbring ExplorViz: Visual Runtime Behavior
Towards Modeling and Transformation of Security Requirements for Service-oriented Architectures
Towards Modeling and Transformation of Security Requirements for Service-oriented Architectures Sven Feja 1, Ralph Herkenhöner 2, Meiko Jensen 3, Andreas Speck 1, Hermann de Meer 2, and Jörg Schwenk 3
ON THE ROAD TO BENCHMARKING BPMN 2.0 WORKFLOW ENGINES
ON THE RO TO ENHMRKING PMN 2.0 WORKFLOW ENGINES Marigianna Skouradaki, ieter H. Roller, Frank Leymann Institute of rchitecture and pplication Systems University of Stuttgart Germany Vincenzo Ferme, esare
Weak Conformance between Process Models and Synchronized Object Life Cycles
Weak Conformance between Process Models and Synchronized Object Life Cycles Andreas Meyer, Mathias Weske Technische Berichte Nr. 91 des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität
Automatic Topology Completion of TOSCA-based Cloud Applications
Automatic Topology Completion of TOSCA-based Cloud Applications Pascal Hirmer 1, Uwe Breitenbücher 2, Tobias Binz 2, Frank Leymann 2 [email protected] 1 Institute for Parallel and Distributed
Towards Process Evaluation in Non-automated Process Execution Environments
Towards Process Evaluation in Non-automated Process Execution Environments Nico Herzberg, Matthias Kunze, Andreas Rogge-Solti Hasso Plattner Institute at the University of Potsdam Prof.-Dr.-Helmert-Strasse
Ensuring Quality in Business-driven Development of IT Systems using Workflow Patterns
Ensuring Quality in Business-driven Development of IT Systems using Workflow Patterns Masud Fazal-Baqaie Datenbank- und Informationssysteme AG Engels What is a Business Process? A business process is a
Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods
-Oriented Enterprise s: Evolution of Concepts and Methods Gregor Engels 1,2, Martin Assmann 1 1 Department of Computer Science University of Paderborn Warburger Straße 100, 33098 Paderborn, Germany {engels,
SECURE INFORMATION FLOW AWARENESS for smart wireless ehealth systems
www. sec.org SECURE INFORMATION FLOW AWARENESS for smart wireless ehealth systems SSD 12 - SCI Chemnitz 2012 stefan pfeiffer, andreas lehmann, sebastian unger, dirk timmermann Lab-on-a-Chip-Implants (Online
TOSCA: Portable Automated Deployment and Management of Cloud Applications
Institute of Architecture of Application Systems TOSCA: Portable Automated Deployment and Management of Cloud Applications Tobias Binz, Uwe Breitenbücher, Oliver Kopp, and Frank Leymann Institute of Architecture
Portable Cloud Services Using TOSCA
Institute of Architecture of Application Systems Portable Cloud Services Using TOSCA Tobias Binz, Gerd Breiter, Frank Leymann, and Thomas Spatzier Institute of Architecture of Application Systems, University
Dr. Jana Koehler IBM Zurich Research Laboratory
Precise Modeling of Business Processes with the Business Process Modeling Notation BPMN 2.0 Dr. Jana Koehler IBM Zurich Research Laboratory ZRL BIT at a Glance Computer Science at ZRL: Security/Cryptography
BPMN Process Design for Complex Product Development and Production
BPMN Process Design for Complex Development and ion Dieter Roller, Erik Engesser Institute of Computer-aided Development Systems Universität Stuttgart Universitätsstrasse 38 D-70569 Stuttgart, Germany
Doing Better Business in Germany
Doing Better Business in Germany Direct Investments Commerce and Trade Initial Orientation and Guidance for Clients and Legal Counsel Abroad Doing Better Business in Germany Doing Better Business in Germany
Towards Management of SLA-Aware Business Processes Based on Key Performance Indicators
Towards Management of SLA-Aware Business Processes Based on Key Performance Indicators Branimir Wetzstein, Dimka Karastoyanova, Frank Leymann Institute of Architecture of Application Systems, University
Support of Decision Tasks in Business Process Improvement
Support of Decision Tasks in Business Process Improvement Ekaterina Bazhenova Hasso Plattner Institute at the University of Potsdam [email protected] Abstract. The vigorous technological
Business Process Management
Business Process Management Mathias Weske Business Process Management Concepts, Languages, Architectures With 265 Figures 123 Author Mathias Weske Hasso Plattner Institut an der Universität Potsdam Prof.-Dr.-Helmert-Str.
Semantic Business Process Management: A Lifecycle Based Requirements Analysis
Semantic Business Process Management: A Lifecycle Based Requirements Analysis Branimir Wetzstein 1, Zhilei Ma 1, Agata Filipowska 2, Monika Kaczmarek 2, Sami Bhiri 3, Silvestre Losada 4, Jose-Manuel Lopez-Cobo
Business-Driven Software Engineering Lecture 3 Foundations of Processes
Business-Driven Software Engineering Lecture 3 Foundations of Processes Jochen Küster [email protected] Agenda Introduction and Background Process Modeling Foundations Activities and Process Models Summary
Software Quality and Software Testing in Internet Times
Dirk Meyerhoff, Begona Laibarra, Rob van der Pouw Kraan, Alan Wallet (Eds.) Software Quality and Software Testing in Internet Times With Contributions of Stale Amland, Walter Bischofberger, Arnim Buch,
Integrated Cloud Application Provisioning: Script-centric Management Technologies
Integrated Cloud Application Provisioning: Interconnecting Service-centric and Script-centric Management Technologies Uwe Breitenbücher 1, Tobias Binz 1, Oliver Kopp 1,2, Frank Leymann 1, and Johannes
CONFERENCE PROGRAM. 1st RWI Research Network Conference on the Economics of Education in Berlin, Germany. THURSDAY June 12.
CONFERENCE PROGRAM 1st RWI Research Network Conference on the Economics of Education in Berlin, Germany Location: Leibniz-Gemeinschaft, Chausseestr. 111, Berlin THURSDAY June 12 19.00pm 21.00pm Welcome
Integrating Configuration Management with Model-Driven Cloud Management Based on TOSCA
Institute of Architecture of Application Systems Integrating Configuration Management with Model-Driven Cloud Management Based on TOSCA Johannes Wettinger, Michael Behrendt, Tobias Binz, Uwe Breitenbücher,
A BPMN Model of the Charite Stroke Treatment Process
A BPMN Model of the Charite Stroke Treatment Process Kristian Duske 1 and Richard Müller 2,3 and Robert Prüfer 3 and Daniel Stöhr 1 1 Institut für Softwaretechnik und Theoretische Informatik, Technische
SLA Business Management Based on Key Performance Indicators
, July 4-6, 2012, London, U.K. SLA Business Management Based on Key Performance Indicators S. Al Aloussi Abstract-It is increasingly important that Service Level Agreements (SLAs) are taken into account
Business Process Modelling Languages
Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Business Process Modelling Languages Paola Turci AOT Lab - DII - Università di Parma Business
Sino-German Workshop on Cloud-based High Performance Computing. September 26-October 1, 2011, Shanghai, China
Sino-German Workshop on Cloud-based High Performance Computing September 26-October 1, 2011, Shanghai, China The workshop consists of an opening ceremony, 10 sessions, a mini-workshop for PhD students
Statistics Sites in Germany
Statistics Sites in Germany Statistics in Germany Degrees in Statistics: Berlin, Dortmund, Göttingen, Magdeburg, Munich Sociology: Bamberg, Berlin, Mannheim Econometrics: Aachen, Augsburg, Berlin, Bielefeld,
Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala
Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala BX 14: 3rd International Workshop on Bidirectional Transformations @EDBT/ICDT 14, Athens, Greece Arif Wider Humboldt-University
OF ECONOMIC SYSTEMS PROGRAM. (as of August 2, 2015) Wednesday, 28 October 2015. Session 1 Plenary Session AUDITORIUM. Chair: Klaus Schmidt
FINAL SFB-TR 15 CONFERENCE GOVERNANCE AND THE EFFICIENCY OF ECONOMIC SYSTEMS Evangelische Akademie Tutzing 28 30 October 2015 PROGRAM (as of August 2, 2015) Wednesday, 28 October 2015 14:00-15:00 Check
CROSS-BORDER INVESTMENTS WITH GERMANY- TAX, LEGAL AND ACCOUNTING
CROSS-BORDER INVESTMENTS WITH GERMANY- TAX, LEGAL AND ACCOUNTING In Honour of Detlev J. Plltz Published by the Partners of Flick Gocke Schaumburg Editorial Team: Prof. Dr. Thomas Rödder, Dr. Jochen Bahns
List of Participants Norwegian/German Defence Industry Seminar, Monday 2 - Wednesday 4 June 2014
List of Participants Norwegian/German Defence Industry Seminar, Monday 2 - Wednesday 4 June 2014 20 May 2014 1. KÄRCHER FutureTech Mr Peter Bruening Export Manager Western Europe Kärcher Futuretech Alfred-Schefenacker-Str.
Oracle SOA Suite 11g: Essential Concepts Student Guide
Oracle SOA Suite 11g: Essential Concepts Student Guide D58786GC20 Edition 2.0 August 2011 D73588 Author Iris Li Technical Contributors and Reviewers Gary Barg Pete Daly Joe Greenwald David Mills David
OMG releases BPMN 1.1 - What's changed?
OMG releases BPMN 1.1 - What's changed? (revised version as of April 2008) Gero Decker 1 and Torben Schreiter 2 1 Hasso Plattner Institute, Potsdam, Germany 2 inubit AG, Berlin, Germany Abstract The Business
Energie & Management. Information, publications and services for the energy industry in Europe. - Company Profile -
Energie & Management Information, publications and services for the energy industry in Europe - Company Profile - Copyright Energie & Management 2008 1 Index I. II. III. IV. V. VI. VII. Profile Performances
Real Estate and Destination Development in Tourism
Real Estate and Destination Development in Tourism Successful Strategies and Instruments Edited by Professor Dr. Peter Keller Professor Dr. Thomas Bieger With Contributions by Prof. Dr. Otto Bammer Dr.
Data in Business Processes
Data in Business Processes Andreas Meyer, Sergey Smirnov, Mathias Weske Technische Berichte Nr. 50 des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam Technische Berichte
10. Service Oriented Architecture Reference Architectures and Patterns
10. Service Oriented Architecture Reference Architectures and Patterns Winter Semester 2008 / 2009 Prof. Dr. Bernhard Humm Darmstadt University of Applied Sciences Department of Computer Science 1 Prof.
Oracle Service Bus vs. Oracle Enterprise Service Bus vs. BPEL wann soll welche Komponente eingesetzt werden?
Oracle Service Bus vs. Oracle Enterprise Service Bus vs. BPEL wann soll welche Komponente eingesetzt werden? Guido Schmutz, Technology Manager / Partner Basel Baden Bern Lausanne Zürich Düsseldorf Frankfurt/M.
An Event Processing Platform for Business Process Management
An Event Processing Platform for Business Process Management Nico Herzberg, Andreas Meyer, and Mathias Weske Business Process Technology Group Hasso Plattner Institute at the University of Potsdam Potsdam,
Curriculum Overview. Department of Systems Analysis and IT. Berlin Institute of Technology Prof. Dr. Krallmann. Olga Levina 03.04.
Curriculum Overview Department of Systems Analysis and IT Berlin Institute of Technology Prof. Dr. Krallmann Olga Levina 03.04.2012 TU Berlin Systemanalyse und EDV SOA Research Centre 1 Agenda 1. Overview
Comprehensive Content Management with ELO and SAP
for SAP At the Highest Level 's SAP-certified enterprise content management systems (ECM) connect seemlessly with the entire functionality of SAP ArchiveLink. Fully integrated in SAP's world of business
Capturing provenance information with a workflow monitoring extension for the Kieker framework
Capturing provenance information with a workflow monitoring extension for the Kieker framework Peer C. Brauer Wilhelm Hasselbring Software Engineering Group, University of Kiel, Christian-Albrechts-Platz
Combining Declarative and Imperative Cloud Application Provisioning based on TOSCA
Institute of Architecture of Application Systems Combining Declarative and Imperative Cloud Application Provisioning based on TOSCA Uwe Breitenbücher, Tobias Binz, Kálmán Képes, Oliver Kopp, Frank Leymann,
Quality Assurance by Means of Feature Models
Faculty of Computer Science, Institute of Software- and Multimedia-Technology, Chair for Software Technology Quality Assurance by Means of Feature Models David Gollasch FOSD Meeting 2014, Dagstuhl, 07.05.2014
YOUR SPECIALIST FOR STORAGE MEDIA AND PRINTER ACCESSORIES. Company Presentation. About us.
Page 1 Company Presentation About us. Page 2 OpenStorage SA/NV Culliganlaan 1 B B-1831 Diegem FON + 32 2 403 17 62 FAX + 32 2 403 17 64 Internet www.openstorage.be www.openstorage.nl OpenStorage AG Schossbergstrasse
Change Management in Tourism
Change Management in Tourism From Old to New Tourism Edited by Christopher Kronenberg, Sabine Müller, Prof. Dr. Mike Peters, Dr. Birgit Pikkemaat and Prof. Dr. Klaus Weiermair With Contributions by Gerald
Oracle BPA Suite: Model and Implement Business Processes Volume I Student Guide
Oracle BPA Suite: Model and Implement Business Processes Volume I Student Guide D70464GC10 Edition 1.0 September 2008 D56390 Author Viktor Tchemodanov Technical Contributors and Reviewers Madhavi Buchi
The IBM Rational Software Development Platform..Role focused tools help simplification via Separation of Concerns
The IBM Rational Software Development Platform..Role focused tools help simplification via Separation of Concerns Analyst Architect Developer Tester Model the business & identify the business services
13 th Powertrain Manufacturing Conference
Program 13 th Powertrain Manufacturing Conference Powertrain Production 2020 Global Networks New Processes Resource Efficiency November 17 18, 2015 darmstadtium Darmstadt Germany TU DARMSTADT Fotos: www.starragheckert.com
POLITICAL SCIENCE COURSES SUMMER TERM 2015
POLITICAL SCIENCE COURSES SUMMER TERM 2015 University of Trier Political Science Course Information Summer Term 2015 (1 April 2015 30 September 2015) ERASMUS Coordinator Jun.-Prof. Dr. Christian Volk University
Expert Advice in Crisis Situations
Restructuring Expert Advice in Crisis Situations Heuking Kühn Lüer Wojtek is a large independent German law firm. National and international clients trust in the competence and experience of our more than
Copyright 2005-2010 Soleran, Inc. esalestrack On-Demand CRM. Trademarks and all rights reserved. esalestrack is a Soleran product Privacy Statement
2 nd Network Conference
2 nd Network Conference E-Science between Data and Networks: Tools, Processes, Models and Practices of Digital Science June 11 th 13 th, 2013 Dresden, Germany Tuesday, June 11, 2013 10:00 a.m. Opening
Schriftenreihe Logistik der Kühne-Stiftung 13. Managing Innovation. The New Competitive Edge for Logistics Service Providers
Schriftenreihe Logistik der Kühne-Stiftung 13 Managing Innovation The New Competitive Edge for Logistics Service Providers von Stephan M Wagner, Christian Busse 1. Auflage Managing Innovation Wagner /
Preliminary Programme
JULY 3 rd to 5 th 2015 KREMS, AUSTRIA Pursuit of Pattern Languages for Societal Change Preliminary Programme FRIDAY, JULY 3 13:00 16:00 17:00 17:30 18:30 19:00 21:30 FOYER Ongoing Registration for Conference
Effective Contract Management
Effective Contract Management How can we do the right things at the right time if we do not know the contents of our contracts? ProcessWorld 2011 Berlin, June 1st 2011 Michael Neumann Agenda Background
08/2013 10/2015 Postdoc with teaching responsibilities at the Department of Economics and Business Economics, Aarhus University
DR. LEONIE GERHARDS University of Hamburg Department of Economics Von-Melle-Park 5, Office 2060 20146 Hamburg, Germany Phone: +49 40 42838 5573 Email: [email protected] PERSONAL INFORMATION:
1.1 Motivation and Definitions
1 Introduction Business process management has received considerable attention recently by both business administration and computer science communities. Members of these communities are typically characterized
Supply Chain Management and Advanced Planning
Christoph Kilger Editors Supply Chain Management and Advanced Planning Concepts, Models, Software, and Case Studies 4th Edition 4y Springer Contents Preface, Christoph Kilger V Introduction 1 References