Business Process Management 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dustdar, Schahram (Επιμελητής έκδοσης), Fiadeiro, José Luiz (Επιμελητής έκδοσης), Sheth, Amit P. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4102
• Θέματα: Business.; Production management.; Information storage and retrieval.; User interfaces (Computer systems).; Computers and civilization.; Management information systems.; Computer science.; Business and Management.; Operations Management.; Information Storage and Retrieval.; Information Systems Applications (incl. Internet).; User Interfaces and Human Computer Interaction.; Computers and Society.; Management of Computing and Information Systems.

Πίνακας περιεχομένων:

• Invited Talks
• Enterprise Business Process Management – Architecture, Technology and Standards
• BizTalk Server, Windows Workflow Foundation, and BPM
• Monitoring and Mining
• Analyzing Interacting BPEL Processes
• Tracking over Collaborative Business Processes
• Beyond Workflow Mining
• Service Composition
• Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation
• Automated Service Composition Using Heuristic Search
• Structured Service Composition
• Isolating Process-Level Concerns Using Padus
• Process Models and Languages
• Process Equivalence: Comparing Two Process Models Based on Observed Behavior
• Investigations on Soundness Regarding Lazy Activities
• On the Suitability of BPMN for Business Process Modelling
• Workflow Model Compositions Preserving Relaxed Soundness
• Dynamic Process Management
• Semantic Correctness in Adaptive Process Management Systems
• A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems
• History-Based Joins: Semantics, Soundness and Implementation
• On Representing, Purging, and Utilizing Change Logs in Process Management Systems
• Service Composition
• Retracted: Towards Formal Verification of Web Service Composition
• E-Service/Process Composition Through Multi-agent Constraint Management
• Web Service E-Contract Establishment Using Features
• Applied BPM
• A Redesign Framework for Call Centers
• Building Business Process Driven Web Applications
• Industrial Papers
• A Proposal for an Open Solution Business Process Integration and Management Implementation Framework
• Experiences in Enhancing Existing BPM Tools with BPEL Import and Export
• Introducing Case Management: Opening Workflow Management’s Black Box
• IT Support for Release Management Processes in the Automotive Industry
• Diagnosing SCA Components Using Wombat
• Short Papers
• Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
• Towards a Methodology for Deriving Contract-Compliant Business Processes
• An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior
• Optimizing Exception Handling in Workflows Using Process Restructuring
• Formalizing Service Interactions
• Decision Mining in ProM
• Managing Process Variants as an Information Resource
• Verification of Business Process Integration Options
• Verifying BPEL Workflows Under Authorisation Constraints
• Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems
• Faulty EPCs in the SAP Reference Model
• A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes
• Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services
• Parameterized BPEL Processes: Concepts and Implementation
• Behavioral Technique for Workflow Abstraction and Matching
• Erratum
• Towards Formal Verification of Web Service Composition.