Login

Montali, Marco

Specification and Verification of Declarative Open Interaction Models

Montali, Marco - Specification and Verification of Declarative Open Interaction Models, ebook

76,90€

Ebook, PDF with Adobe DRM
ISBN: 9783642145384
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Author(s)
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Series
Lecture Notes in Business Information Processing
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642145384

Similar titles