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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Montali, Marco (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Lecture Notes in Business Information Processing, 56
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares