Logga in

Montali, Marco

Specification and Verification of Declarative Open Interaction Models

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

68,20€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783642145384
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
Utgivare
Springer
Utgivningsår
2010
Språk
en
Utgåva
1
Serie
Lecture Notes in Business Information Processing
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9783642145384

Liknande e-böcker