| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466123903316 |
|
|
Titolo |
Business Process Management [[electronic resource] ] : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings / / edited by Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 486 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 4102 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Production management |
Information storage and retrieval |
Application software |
User interfaces (Computer systems) |
Computers and civilization |
Management information systems |
Computer science |
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
| |