000 05513nam a22006375i 4500
001 978-3-540-38903-3
003 DE-He213
005 20240423125919.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540389033
_9978-3-540-38903-3
024 7 _a10.1007/11841760
_2doi
050 4 _aTS155-194
072 7 _aKJMV
_2bicssc
072 7 _aBUS087000
_2bisacsh
072 7 _aKJMV
_2thema
082 0 4 _a658.5
_223
245 1 0 _aBusiness Process Management
_h[electronic resource] :
_b4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings /
_cedited by Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aXVI, 486 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v4102
505 0 _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 AutomotiveIndustry -- 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.
650 0 _aProduction management.
650 0 _aInformation storage and retrieval systems.
650 0 _aApplication software.
650 0 _aUser interfaces (Computer systems).
650 0 _aHuman-computer interaction.
650 0 _aComputers and civilization.
650 0 _aElectronic data processing
_xManagement.
650 1 4 _aOperations Management.
650 2 4 _aInformation Storage and Retrieval.
650 2 4 _aComputer and Information Systems Applications.
650 2 4 _aUser Interfaces and Human Computer Interaction.
650 2 4 _aComputers and Society.
650 2 4 _aIT Operations.
700 1 _aDustdar, Schahram.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aFiadeiro, José Luiz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSheth, Amit.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540389019
776 0 8 _iPrinted edition:
_z9783540828679
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v4102
856 4 0 _uhttps://doi.org/10.1007/11841760
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c183033
_d183033