↓ 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
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (63rd percentile)
  • Above-average Attention Score compared to outputs of the same age and source (58th percentile)

Mentioned by

patent
2 patents

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
28 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.
Title
Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems
Published by
Lecture notes in computer science, January 2006
DOI 10.1007/11841760
ISBNs
978-3-54-038901-9, 978-3-54-038903-3
Authors

Chen, J, Yang, Y

Editors

Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 28 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 4%
Student > Doctoral Student 1 4%
Unknown 26 93%
Readers by discipline Count As %
Computer Science 1 4%
Unknown 27 96%

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 13 November 2018.
All research outputs
#2,534,715
of 9,500,403 outputs
Outputs from Lecture notes in computer science
#1,830
of 6,934 outputs
Outputs of similar age
#88,325
of 256,410 outputs
Outputs of similar age from Lecture notes in computer science
#53
of 139 outputs
Altmetric has tracked 9,500,403 research outputs across all sources so far. This one has received more attention than most of these and is in the 58th percentile.
So far Altmetric has tracked 6,934 research outputs from this source. They receive a mean Attention Score of 4.2. This one has gotten more attention than average, scoring higher than 60% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 256,410 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 63% of its contemporaries.
We're also able to compare this research output to 139 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 58% of its contemporaries.