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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Montali, Marco (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Édition:1st ed. 2010.
Collection:Lecture Notes in Business Information Processing, 56
Sujets:
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.
Accès en ligne:Texto Completo
Table des matières:
  • 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.

Documents similaires