LEADER 06513nam 22007935 450 001 996466123903316 005 20200707023645.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 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aBusiness Process Management$b[electronic resource] $e4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings /$fedited by Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 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,$x0302-9743 ;$v4102 606 $aProduction management 606 $aInformation storage and retrieval 606 $aApplication software 606 $aUser interfaces (Computer systems) 606 $aComputers and civilization 606 $aManagement information systems 606 $aComputer science 606 $aOperations Management$3https://scigraph.springernature.com/ontologies/product-market-codes/519000 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aProduction management. 615 0$aInformation storage and retrieval. 615 0$aApplication software. 615 0$aUser interfaces (Computer systems). 615 0$aComputers and civilization. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aOperations Management. 615 24$aInformation Storage and Retrieval. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aComputers and Society. 615 24$aManagement of Computing and Information Systems. 676 $a658/.05 702 $aDustdar$b Schahram$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFiadeiro$b José Luiz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSheth$b Amit$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466123903316 996 $aBusiness Process Management$9772088 997 $aUNISA