| Description |
1 online resource (xv, 486 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 4102 |
|
Lecture notes in computer science ; 4102. 0302-9743
|
| Contents |
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 |
| Analysis |
computers |
|
samenleving |
|
society |
|
informatieontsluiting |
|
information retrieval |
|
informatieopslag |
|
information storage |
|
informatiesystemen |
|
information systems |
|
internet |
|
computerwetenschappen |
|
computer sciences |
|
bedrijfsinformatiesystemen |
|
management information systems |
|
man-machine interaction |
|
gebruikersinterfaces |
|
user interfaces |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| In |
Springer eBooks |
| Subject |
Business -- Data processing -- Congresses
|
|
Business -- Data processing -- Management -- Congresses
|
|
Management information systems -- Congresses
|
|
Workflow -- Management -- Congresses
|
|
Information Systems
|
|
Electronic Data Processing
|
|
Business -- Data processing.
|
|
Business -- Data processing -- Management.
|
|
Management information systems.
|
|
Workflow -- Management.
|
|
Informatique.
|
|
Business -- Data processing.
|
|
Business -- Data processing -- Management.
|
|
Management information systems.
|
|
Workflow -- Management.
|
| Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Dustdar, Schahram.
|
|
Fiadeiro, José Luiz, 1961-
|
|
Sheth, A. (Amit), 1959-
|
| ISBN |
9783540389033 |
|
3540389032 |
|
3540389016 |
|
9783540389019 |
|
