Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642145377, 9783642145384

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static Verification of Declarative Open Interaction Models

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_8 ◽

2010 ◽

pp. 177-199 ◽

Cited By ~ 3

Author(s):

Marco Montali

Keyword(s):

Static Verification ◽

Interaction Models

Download Full-text

Translating ConDec into CLIMB

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_5 ◽

2010 ◽

pp. 115-138

Author(s):

Marco Montali

Download Full-text

Declarative Open Interaction Models

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_2 ◽

2010 ◽

pp. 11-45 ◽

Cited By ~ 5

Author(s):

Marco Montali

Keyword(s):

Interaction Models

Download Full-text

Related Work and Summary

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_16 ◽

2010 ◽

pp. 367-376

Author(s):

Marco Montali

Download Full-text

Monitoring and Enactment with Reactive Event Calculus

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_14 ◽

2010 ◽

pp. 305-341

Author(s):

Marco Montali

Keyword(s):

Event Calculus

Download Full-text

Static Verification of ConDec Models with g-SCIFF

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_10 ◽

2010 ◽

pp. 229-249

Author(s):

Marco Montali

Keyword(s):

Static Verification

Download Full-text

Introduction

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_1 ◽

2010 ◽

pp. 1-8

Author(s):

Marco Montali

Download Full-text

Proof Procedures

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_9 ◽

2010 ◽

pp. 201-227

Author(s):

Marco Montali

Download Full-text

Related Work and Summary

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_7 ◽

2010 ◽

pp. 163-173

Author(s):

Marco Montali

Download Full-text

Experimental Evaluation

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_11 ◽

2010 ◽

pp. 251-275

Author(s):

Marco Montali

Keyword(s):

Experimental Evaluation

Download Full-text