↓ Skip to main content

Business Process Management : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

Overview of attention for book
Cover of 'Business Process Management : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Some Thoughts on Behavioral Programming
  3. Altmetric Badge
    Chapter 2 The Changing Nature of Work: From Structured to Unstructured, from Controlled to Social
  4. Altmetric Badge
    Chapter 3 Automatic Verification of Data-Centric Business Processes
  5. Altmetric Badge
    Chapter 4 A Blueprint for Event-Driven Business Activity Management
  6. Altmetric Badge
    Chapter 5 On Cross-Enterprise Collaboration
  7. Altmetric Badge
    Chapter 6 Source Code Partitioning Using Process Mining
  8. Altmetric Badge
    Chapter 7 Next Best Step and Expert Recommendation for Collaborative Processes in IT Service Management
  9. Altmetric Badge
    Chapter 8 Process Variation Analysis Using Empirical Methods: A Case Study
  10. Altmetric Badge
    Chapter 9 Stimulating Skill Evolution in Market-Based Crowdsourcing
  11. Altmetric Badge
    Chapter 10 Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL
  12. Altmetric Badge
    Chapter 11 Compliance by Design for Artifact-Centric Business Processes
  13. Altmetric Badge
    Chapter 12 Refining Process Models through the Analysis of Informal Work Practice
  14. Altmetric Badge
    Chapter 13 Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata
  15. Altmetric Badge
    Chapter 14 Automated Error Correction of Business Process Models
  16. Altmetric Badge
    Chapter 15 Behavioral Similarity – A Proper Metric
  17. Altmetric Badge
    Chapter 16 Event-Based Monitoring of Process Execution Violations
  18. Altmetric Badge
    Chapter 17 Towards Efficient Business Process Clustering and Retrieval: Combining Language Modeling and Structure Matching
  19. Altmetric Badge
    Chapter 18 Business Process Management
  20. Altmetric Badge
    Chapter 19 Serving Information Needs in Business Process Consulting
  21. Altmetric Badge
    Chapter 20 Clone Detection in Repositories of Business Process Models
  22. Altmetric Badge
    Chapter 21 Business Artifact-Centric Modeling for Real-Time Performance Monitoring
  23. Altmetric Badge
    Chapter 22 A Query Language for Analyzing Business Processes Execution
  24. Altmetric Badge
    Chapter 23 Discovering Characteristics of Stochastic Collections of Process Models
  25. Altmetric Badge
    Chapter 24 Wiki-Based Maturing of Process Descriptions
  26. Altmetric Badge
    Chapter 25 A-Posteriori Detection of Sensor Infrastructure Errors in Correlated Sensor Data and Business Workflows
  27. Altmetric Badge
    Chapter 26 Conformance Checking of Interacting Processes with Overlapping Instances
  28. Altmetric Badge
    Chapter 27 Simplifying Mined Process Models: An Approach Based on Unfoldings
  29. Altmetric Badge
    Chapter 28 Foundations of Relational Artifacts Verification
  30. Altmetric Badge
    Chapter 29 On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles
  31. Altmetric Badge
    Chapter 30 Compensation of Adapted Service Orchestration Logic in BPEL’n’Aspects
Attention for Chapter 13: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata
Altmetric Badge

Mentioned by

twitter
7 X users

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
94 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
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata
Chapter number 13
Book title
Business Process Management
Published by
Springer, Berlin, Heidelberg, August 2011
DOI 10.1007/978-3-642-23059-2_13
Book ISBNs
978-3-64-223058-5, 978-3-64-223059-2
Authors

Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst, Maggi, Fabrizio Maria, Montali, Marco, Westergaard, Michael, van der Aalst, Wil M. P.

X Demographics

X Demographics

The data shown below were collected from the profiles of 7 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 2 2%
Austria 2 2%
United States 2 2%
Israel 1 1%
Italy 1 1%
Japan 1 1%
Belgium 1 1%
Unknown 84 89%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 37 39%
Student > Master 15 16%
Researcher 9 10%
Professor 7 7%
Student > Bachelor 4 4%
Other 17 18%
Unknown 5 5%
Readers by discipline Count As %
Computer Science 66 70%
Business, Management and Accounting 9 10%
Engineering 4 4%
Biochemistry, Genetics and Molecular Biology 1 1%
Chemical Engineering 1 1%
Other 2 2%
Unknown 11 12%