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
Call Number:Libro Electrónico
Main Author: Montali, Marco (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Lecture Notes in Business Information Processing, 56
Subjects:
Computer engineering.
Computer networks .
Software engineering.
Computer programming.
Application software.
Computer science.
Computer Engineering and Networks.
Software Engineering.
Programming Techniques.
Computer and Information Systems Applications.
Computer Science Logic and Foundations of Programming.
Online Access:Texto Completo
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