Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach /

• Κύριος συγγραφέας: Montali, Marco (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Business Information Processing, 56
• Θέματα: Computer science.; Software engineering.; Computer programming.; Computer logic.; Computer engineering.; Computer Science.; Computer Engineering.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Information Systems Applications (incl. Internet).; Logics and Meanings of Programs.; Software Engineering.

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

Πίνακας περιεχομένων:

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