Specification and Verification of Declarative Open Interaction Models

1. Introduction
Marco Montali

2. Declarative Open Interaction Models
Marco Montali

3. The ConDec Language
Marco Montali

4. The CLIMB Rule-Based Language
Marco Montali

5. Translating ConDec into CLIMB
Marco Montali

6. Extending ConDec
Marco Montali

7. Related Work and Summary
Marco Montali

8. Static Verification of Declarative Open Interaction Models
Marco Montali

9. Proof Procedures
Marco Montali

10. Static Verification of ConDec Models with g-SCIFF
Marco Montali

11. Experimental Evaluation
Marco Montali

12. Related Work and Summary
Marco Montali

13. Run-Time Verification
Marco Montali

14. Monitoring and Enactment with Reactive Event Calculus
Marco Montali

15. Declarative Process Mining
Marco Montali

16. Related Work and Summary
Marco Montali

17. Conclusion and Future Work
Marco Montali

Keywords: Computer Science, Information Systems Applications (incl.Internet), Logics and Meanings of Programs, Software Engineering, Business Information Systems, Computer Appl. in Administrative Data Processing