Cover Image
Read Now

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...

Full description

Bibliographic Details
Main Author: Montali, Marco
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Lecture Notes in Business Information Processing
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Application Software
Computer Networks 
Computer Engineering And Networks
Computer Engineering
Computer And Information Systems Applications
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

Similar Items