LEADER 05133nam 2200625 a 450 001 9910484757603321 005 20200520144314.0 010 $a3-540-38903-2 024 7 $a10.1007/11841760 035 $a(CKB)1000000000283757 035 $a(SSID)ssj0000316552 035 $a(PQKBManifestationID)11261409 035 $a(PQKBTitleCode)TC0000316552 035 $a(PQKBWorkID)10275666 035 $a(PQKB)11057825 035 $a(DE-He213)978-3-540-38903-3 035 $a(MiAaPQ)EBC3067507 035 $a(PPN)123137950 035 $a(EXLCZ)991000000000283757 100 $a20060726d2006 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aBusiness process management $e4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedings /$fSchahram Dustdar, Jose Luiz Fiadeiro, Amit Sheth (eds.) 205 $a1st ed. 2006. 210 $aBerlin ;$aNew York $cSpringer$dc2006 215 $a1 online resource (XVI, 486 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v4102 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-38901-6 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 410 0$aLecture notes in computer science ;$v4102. 517 3 $aBPM 2006 606 $aBusiness$xData processing$vCongresses 606 $aBusiness$xData processing$xManagement$vCongresses 606 $aManagement information systems$vCongresses 606 $aWorkflow$xManagement$vCongresses 615 0$aBusiness$xData processing 615 0$aBusiness$xData processing$xManagement 615 0$aManagement information systems 615 0$aWorkflow$xManagement 676 $a658/.05 701 $aDustdar$b Schahram$01062791 701 $aFiadeiro$b Jose Luiz$f1961-$01756321 701 $aSheth$b A$g(Amit),$f1959-$01232001 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484757603321 996 $aBusiness process management$94199509 997 $aUNINA