Abstract is missing.
- Enterprise Business Process Management - Architecture, Technology and StandardsDonald F. Ferguson, Marcia L. Stockton. 1-15 [doi]
- BizTalk Server, Windows Workflow Foundation, and BPMDave Green. 16 [doi]
- Analyzing Interacting BPEL ProcessesNiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg. 17-32 [doi]
- Tracking over Collaborative Business ProcessesXiaohui Zhao, Chengfei Liu. 33-48 [doi]
- Beyond Workflow MiningClarence A. Ellis, Aubrey J. Rembert, Kwang-Hoon Kim, Jacques Wainer. 49-64 [doi]
- Adapt or Perish: Algebra and Visual Notation for Service Interface AdaptationMarlon Dumas, Murray Spork, Kenneth Wang 0002. 65-80 [doi]
- Automated Service Composition Using Heuristic SearchHarald Meyer, Mathias Weske. 81-96 [doi]
- Structured Service CompositionRik Eshuis, Paul W. P. J. Grefen, Sven Till. 97-112 [doi]
- Isolating Process-Level Concerns Using PadusMathieu Braem, Kris Verlaenen, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Eddy Truyen, Wouter Joosen, Viviane Jonckers. 113-128 [doi]
- Process Equivalence: Comparing Two Process Models Based on Observed BehaviorWil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters. 129-144 [doi]
- Investigations on Soundness Regarding Lazy ActivitiesFrank Puhlmann, Mathias Weske. 145-160 [doi]
- On the Suitability of BPMN for Business Process ModellingPetia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell. 161-176 [doi]
- Workflow Model Compositions Preserving Relaxed SoundnessJuliane Siegeris, Armin Zimmermann. 177-192 [doi]
- Semantic Correctness in Adaptive Process Management SystemsLinh Thao Ly, Stefanie Rinderle, Peter Dadam. 193-208 [doi]
- A Framework for the Development and Execution of Horizontal Protocols in Open BPM SystemsJavier Fabra, Pedro Álvarez, José A. Bañares, Joaquin Ezpeleta. 209-224 [doi]
- History-Based Joins: Semantics, Soundness and ImplementationKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. 225-240 [doi]
- On Representing, Purging, and Utilizing Change Logs in Process Management SystemsStefanie Rinderle, Manfred Reichert, Martin Jurisch, Ulrich Kreher. 241-256 [doi]
- Towards Formal Verification of Web Service CompositionMohsen Rouached, Olivier Perrin, Claude Godart. 257-273 [doi]
- E-Service/Process Composition Through Multi-agent Constraint ManagementMinhong Wang, William K. Cheung, Jiming Liu, Xiao-Feng Xie, Zongwei Luo. 274-289 [doi]
- Web Service E-Contract Establishment Using FeaturesMarcelo Fantinato, Itana Maria de Souza Gimenes, Maria Beatriz Felgar de Toledo. 290-305 [doi]
- A Redesign Framework for Call CentersMonique H. Jansen-Vullers, Mariska Netjes, Hajo A. Reijers, M. J. Stegeman. 306-321 [doi]
- Building Business Process Driven Web ApplicationsVictoria Torres, Vicente Pelechano. 322-337 [doi]
- A Proposal for an Open Solution Business Process Integration and Management Implementation FrameworkFathi M. Al-Ghaiati. 338-347 [doi]
- Experiences in Enhancing Existing BPM Tools with BPEL Import and ExportJan Mendling, Kristian Bisgaard Lassen, Uwe Zdun. 348-357 [doi]
- Introducing Case Management: Opening Workflow Management s Black BoxKees Kaan, Hajo A. Reijers, Peter van der Molen. 358-367 [doi]
- IT Support for Release Management Processes in the Automotive IndustryDominic Müller, Joachim Herbst, Markus Hammori, Manfred Reichert. 368-377 [doi]
- Diagnosing SCA Components Using WombatAxel Martens, Simon Moser. 378-388 [doi]
- Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability AnalysisMoe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. 389-394 [doi]
- Towards a Methodology for Deriving Contract-Compliant Business ProcessesZoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska. 395-400 [doi]
- An AsmL Executable Model for WS-BPEL with Orthogonal Transactional BehaviorLuciano García-Bañuelos. 401-406 [doi]
- Optimizing Exception Handling in Workflows Using Process RestructuringMati Golani, Avigdor Gal. 407-413 [doi]
- Formalizing Service InteractionsGero Decker, Frank Puhlmann, Mathias Weske. 414-419 [doi]
- Decision Mining in ProMAnne Rozinat, Wil M. P. van der Aalst. 420-425 [doi]
- Managing Process Variants as an Information ResourceRuopeng Lu, Shazia Wasim Sadiq. 426-431 [doi]
- Verification of Business Process Integration OptionsGeorg Grossmann, Michael Schrefl, Markus Stumptner. 432-438 [doi]
- Verifying BPEL Workflows Under Authorisation ConstraintsZhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan. 439-444 [doi]
- Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow SystemsJinjun Chen, Yun Yang. 445-450 [doi]
- Faulty EPCs in the SAP Reference ModelJan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst. 451-457 [doi]
- A Hybrid Approach for Generating Compatible WS-BPEL Partner ProcessesSimon Moser, Axel Martens, Marc Häbich, Jutta Mülle. 458-464 [doi]
- Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web ServicesStephen Gorton, Stephan Reiff-Marganiec. 465-470 [doi]
- Parameterized BPEL Processes: Concepts and ImplementationDimka Karastoyanova, Frank Leymann, Jörg Nitzsche, Branimir Wetzstein, Daniel Wutke. 471-476 [doi]
- Behavioral Technique for Workflow Abstraction and MatchingKais Klai, Nomane Ould Ahmed M Bareck, Samir Tata. 477-483 [doi]