Abstract is missing.
- Towards a Service-oriented and Model-driven Framework with Business Processes as First-class CitizensAndrea Delgado, Francisco Ruiz, Ignacio García Rodríguez de Guzmán, Mario Piattini. 19-31
- A Formal Temporal Semantics for Microsoft Project based on Allen s Interval AlgebraDenis Gagné, André Trudel. 32-45
- Evolution of Business Process Models and LanguagesStefan Jablonski, Bernhard Volz, Sebastian Dornstauder. 46-59
- A Semantic Framework for Compliance Management in Business Process ManagementMarwane El Kharbili, Elke Pulvermüller. 60-80
- Verifying Business Rules Using an SMT Solver for BPEL ProcessesGanna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers. 81-94
- Validating Auction Business Processes using Agent-based SimulationsEmilian Pascalau, Adrian Giurca, Gerd Wagner. 95-109
- On Application of Structural Decomposition for Process Model AbstractionArtem Polyvyanyy, Sergey Smirnov 0002, Mathias Weske. 110-122
- On Modeling Web Service based Processes for HealthcareAmir Afrasiabi Rad, Morad Benyoucef, Craig E. Kuziemsky. 123-138
- Human Activities in Distributed BPMYoichi Takayama, Ernie Ghiglione, Scott Wilson, James Dalziel. 139-154
- A Conceptual Information Model for Service Management DimensionsRoman Belter, Rolf Kluge, Thomas Hering, Holger Müller. 155-166
- FinGrid Accounting and BillingHoussam Haitof, Hans-Dieter Wehle, Michael Gerndt. 167-178
- A Medical Diagnosis System based on MAS Technology and Neural NetworksChristina Stoica-Klüver, Jürgen Klüver, Rainer Unland. 179-191
- A Case Study on Managing SLAs in Composite Services with COSMAAndré Ludwig, Thomas Hering, Rolf Kluge, Bogdan Franczyk. 192-206
- Towards enabling SaaS for Business RulesEmilian Pascalau, Adrian Giurca. 207-222
- Detective Information Flow Analysis for Business ProcessesRafael Accorsi, Claus Wonnemann. 223-224
- Maintaining WS-BPEL Workflows Using AspectsConnie Haoying Bao, Nicolas Gold, Mark Harman. 225-226
- Declarative Workflow Modeling with UML Class Diagrams and OCLJens Brüning. 227-228
- An Approach for Semantic Checks of Process ModelsSven Feja. 229-230
- Process Modeling as a Basis for Auditing Information PrivacyRalph Herkenhöner, Hermann de Meer. 231-232
- Generating WS-SecurityPolicy Documents via Security Model TransformationMeiko Jensen. 233-234
- Semantic Compliance Management in Business Process ManagementMarwane El Kharbili. 235-236
- Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction ApproachWolfgang Runte. 237-237
- Modelling Critical Success Factors in mCommerce-ProgramsAndreas Rusnjak. 238-240
- Concept-Driven Engineering for Supporting Different Views of ModelsPeggy Schmidt. 241