2. BPSC 2009: Leipzig, Germany

Witold Abramowicz, Leszek A. Maciaszek, Ryszard Kowalczyk, Andreas Speck (Eds.): Business Process, Services Computing and Intelligent Service Management, Leipzig, Germany, March 23-25, 2009. LNI 147 GI 2009, ISBN 978-3-88579-241-3

Business Process and Services Computing

Andrea Delgado, Francisco Ruiz, Ignacio García Rodríguez de Guzmán, Mario Piattini:
Towards a Service-oriented and Model-driven Framework with Business Processes as First-class Citizens. 19-31
Denis Gagné, André Trudel:
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra. 32-45
Stefan Jablonski, Bernhard Volz, Sebastian Dornstauder:
Evolution of Business Process Models and Languages. 46-59
Marwane El Kharbili, Elke Pulvermüller:
A Semantic Framework for Compliance Management in Business Process Management. 60-80
Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers:
Verifying Business Rules Using an SMT Solver for BPEL Processes. 81-94
Emilian Pascalau, Adrian Giurca, Gerd Wagner:
Validating Auction Business Processes using Agent-based Simulations. 95-109
Artem Polyvyanyy, Sergey Smirnov, Mathias Weske:
On Application of Structural Decomposition for Process Model Abstraction. 110-122
Amir Afrasiabi Rad, Morad Benyoucef, Craig E. Kuziemsky:
On Modeling Web Service based Processes for Healthcare. 123-138
Yoichi Takayama, Ernie Ghiglione, Scott Wilson, James Dalziel:
Human Activities in Distributed BPM. 139-154

Roman Belter, Rolf Kluge, Thomas Hering, Holger Müller:
A Conceptual Information Model for Service Management Dimensions. 155-166
Houssam Haitof, Hans-Dieter Wehle, Michael Gerndt:
FinGrid Accounting and Billing. 167-178
Christina Stoica-Klüver, Jürgen Klüver, Rainer Unland:
A Medical Diagnosis System based on MAS Technology and Neural Networks. 179-191
André Ludwig, Thomas Hering, Rolf Kluge, Bogdan Franczyk:
A Case Study on Managing SLAs in Composite Services with COSMA. 192-206
Emilian Pascalau, Adrian Giurca:
Towards enabling SaaS for Business Rules. 207-222

Rafael Accorsi, Claus Wonnemann:
Detective Information Flow Analysis for Business Processes. 223-224
Connie Haoying Bao, Nicolas Gold, Mark Harman:
Maintaining WS-BPEL Workflows Using Aspects. 225-226
Jens Brüning:
Declarative Workflow Modeling with UML Class Diagrams and OCL. 227-228
Sven Feja:
An Approach for Semantic Checks of Process Models. 229-230
Ralph Herkenhöner, Hermann de Meer:
Process Modeling as a Basis for Auditing Information Privacy. 231-232
Meiko Jensen:
Generating WS-SecurityPolicy Documents via Security Model Transformation. 233-234
Marwane El Kharbili:
Semantic Compliance Management in Business Process Management. 235-236
Wolfgang Runte:
Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach. 237
Andreas Rusnjak:
Modelling Critical Success Factors in mCommerce-Programs. 238-240
Peggy Schmidt:
Concept-Driven Engineering for Supporting Different Views of Models. 241-

Last update Thu May 23 16:28:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page