Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010, 2010
|
Edition: | 1st ed. 2010 |
Series: | Lecture Notes in Business Information Processing
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- I Specification
- Declarative Open Interaction Models
- The ConDec Language
- The CLIMB Rule-Based Language
- Translating ConDec into CLIMB
- Extending ConDec
- Related Work and Summary
- II Static Verification
- Static Verification of Declarative Open Interaction Models
- Proof Procedures
- Static Verification of ConDec Models with g-SCIFF
- Experimental Evaluation
- Related Work and Summary
- III Run-Time and A-Posteriori Verification
- Run-Time Verification
- Monitoring and Enactment with Reactive Event Calculus
- Declarative Process Mining
- Related Work and Summary
- IV Conclusion and Future Work
- Conclusion and Future Work