You have Guest access.
Log In
Schahram Dustdar, José Luiz Fiadeiro and Amit P. Sheth
Front matter
1-15
Enterprise Business Process Management – Architecture, Technology and Standards
16
BizTalk Server, Windows Workflow Foundation, and BPM
17-32
Analyzing Interacting BPEL Processes
33-48
Tracking over Collaborative Business Processes
49-64
Beyond Workflow Mining
65-80
Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation
81-96
Automated Service Composition Using Heuristic Search
97-112
Structured Service Composition
113-128
Isolating Process-Level Concerns Using Padus
129-144
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
145-160
Investigations on Soundness Regarding Lazy Activities
161-176
On the Suitability of BPMN for Business Process Modelling
177-192
Workflow Model Compositions Preserving Relaxed Soundness
193-208
Semantic Correctness in Adaptive Process Management Systems
209-224
A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems
225-240
History-Based Joins: Semantics, Soundness and Implementation
241-256
On Representing, Purging, and Utilizing Change Logs in Process Management Systems
257-273
Retracted: Towards Formal Verification of Web Service Composition
274-289
E-Service/Process Composition Through Multi-agent Constraint Management
290-305
Web Service E-Contract Establishment Using Features
306-321
A Redesign Framework for Call Centers
322-337
Building Business Process Driven Web Applications
338-347
A Proposal for an Open Solution Business Process Integration and Management Implementation Framework
348-357
Experiences in Enhancing Existing BPM Tools with BPEL Import and Export
358-367
Introducing Case Management: Opening Workflow Management’s Black Box
368-377
IT Support for Release Management Processes in the Automotive Industry
378-388
Diagnosing SCA Components Using Wombat
389-394
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
395-400
Towards a Methodology for Deriving Contract-Compliant Business Processes
401-406
An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior
407-413
Optimizing Exception Handling in Workflows Using Process Restructuring
414-419
Formalizing Service Interactions
420-425
Decision Mining in ProM
426-431
Managing Process Variants as an Information Resource
432-438
Verification of Business Process Integration Options
439-444
Verifying BPEL Workflows Under Authorisation Constraints
445-450
Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems
451-457
Faulty EPCs in the SAP Reference Model
458-464
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes
465-470
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services
471-476
Parameterized BPEL Processes: Concepts and Implementation
477-483
Behavioral Technique for Workflow Abstraction and Matching
E1
Towards Formal Verification of Web Service Composition
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info