↓ Skip to main content

Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems

Overview of attention for book
Cover of 'Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Enterprise Business Process Management – Architecture, Technology and Standards
  3. Altmetric Badge
    Chapter 2 BizTalk Server, Windows Workflow Foundation, and BPM
  4. Altmetric Badge
    Chapter 3 Analyzing Interacting BPEL Processes
  5. Altmetric Badge
    Chapter 4 Tracking over Collaborative Business Processes
  6. Altmetric Badge
    Chapter 5 Beyond Workflow Mining
  7. Altmetric Badge
    Chapter 6 Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation
  8. Altmetric Badge
    Chapter 7 Automated Service Composition Using Heuristic Search
  9. Altmetric Badge
    Chapter 8 Structured Service Composition
  10. Altmetric Badge
    Chapter 9 Isolating Process-Level Concerns Using Padus
  11. Altmetric Badge
    Chapter 10 Process Equivalence: Comparing Two Process Models Based on Observed Behavior
  12. Altmetric Badge
    Chapter 11 Investigations on Soundness Regarding Lazy Activities
  13. Altmetric Badge
    Chapter 12 On the Suitability of BPMN for Business Process Modelling
  14. Altmetric Badge
    Chapter 13 Workflow Model Compositions Preserving Relaxed Soundness
  15. Altmetric Badge
    Chapter 14 Semantic Correctness in Adaptive Process Management Systems
  16. Altmetric Badge
    Chapter 15 A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems
  17. Altmetric Badge
    Chapter 16 History-Based Joins: Semantics, Soundness and Implementation
  18. Altmetric Badge
    Chapter 17 On Representing, Purging, and Utilizing Change Logs in Process Management Systems
  19. Altmetric Badge
    Chapter 18 Retracted: Towards Formal Verification of Web Service Composition
  20. Altmetric Badge
    Chapter 19 E-Service/Process Composition Through Multi-agent Constraint Management
  21. Altmetric Badge
    Chapter 20 Web Service E-Contract Establishment Using Features
  22. Altmetric Badge
    Chapter 21 A Redesign Framework for Call Centers
  23. Altmetric Badge
    Chapter 22 Building Business Process Driven Web Applications
  24. Altmetric Badge
    Chapter 23 A Proposal for an Open Solution Business Process Integration and Management Implementation Framework
  25. Altmetric Badge
    Chapter 24 Experiences in Enhancing Existing BPM Tools with BPEL Import and Export
  26. Altmetric Badge
    Chapter 25 Introducing Case Management: Opening Workflow Management’s Black Box
  27. Altmetric Badge
    Chapter 26 IT Support for Release Management Processes in the Automotive Industry
  28. Altmetric Badge
    Chapter 27 Diagnosing SCA Components Using Wombat
  29. Altmetric Badge
    Chapter 28 Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
  30. Altmetric Badge
    Chapter 29 Towards a Methodology for Deriving Contract-Compliant Business Processes
  31. Altmetric Badge
    Chapter 30 An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior
  32. Altmetric Badge
    Chapter 31 Optimizing Exception Handling in Workflows Using Process Restructuring
  33. Altmetric Badge
    Chapter 32 Formalizing Service Interactions
  34. Altmetric Badge
    Chapter 33 Decision Mining in ProM
  35. Altmetric Badge
    Chapter 34 Managing Process Variants as an Information Resource
  36. Altmetric Badge
    Chapter 35 Business Process Management
  37. Altmetric Badge
    Chapter 36 Verifying BPEL Workflows Under Authorisation Constraints
  38. Altmetric Badge
    Chapter 37 Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems
  39. Altmetric Badge
    Chapter 38 Faulty EPCs in the SAP Reference Model
  40. Altmetric Badge
    Chapter 39 A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes
  41. Altmetric Badge
    Chapter 40 Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services
  42. Altmetric Badge
    Chapter 41 Parameterized BPEL Processes: Concepts and Implementation
  43. Altmetric Badge
    Chapter 42 Behavioral Technique for Workflow Abstraction and Matching
  44. Altmetric Badge
    Chapter 43 Towards Formal Verification of Web Service Composition
Attention for Chapter 33: Decision Mining in ProM
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
239 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Decision Mining in ProM
Chapter number 33
Book title
Business Process Management
Published by
Springer, Berlin, Heidelberg, September 2006
DOI 10.1007/11841760_33
Book ISBNs
978-3-54-038901-9, 978-3-54-038903-3
Authors

A. Rozinat, W. M. P. van der Aalst, Anne Rozinat, Wil M. P. van der Aalst, Rozinat, A., Aalst, W. M. P. van der, van der Aalst, W. M. P.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 239 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 4 2%
Netherlands 3 1%
Spain 3 1%
United States 3 1%
Belgium 3 1%
United Kingdom 2 <1%
Chile 2 <1%
Australia 1 <1%
Israel 1 <1%
Other 8 3%
Unknown 209 87%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 68 28%
Student > Master 50 21%
Student > Bachelor 21 9%
Researcher 17 7%
Student > Doctoral Student 15 6%
Other 34 14%
Unknown 34 14%
Readers by discipline Count As %
Computer Science 128 54%
Business, Management and Accounting 26 11%
Engineering 17 7%
Economics, Econometrics and Finance 7 3%
Social Sciences 4 2%
Other 13 5%
Unknown 44 18%