Verification of choreographies during execution using the reactive event calculus

Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni

doi:10.1007/978-3-642-01364-5_4

Back

Verification of choreographies during execution using the reactive event calculus

Conference proceeding

Peer reviewed

Verification of choreographies during execution using the reactive event calculus

Federico Chesani, Paola Mello, Marco Montali and Paolo Torroni

Proceedings of the 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), revised selected papers, pp.55-72

Lecture Notes in Computer Science

5th International Workshop on Web Services and Formal Methods (WS-FM 2008) (Milano, 04/09/2008 - 05/09/2008)

2009

DOI: https://doi.org/10.1007/978-3-642-01364-5_4

Handle:

https://hdl.handle.net/10863/1556

Abstract

This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from DecSerFlow as a graphical choreography description language. We select a core set of DecSerFlow elements and formalize them using a reactive version of the Event Calculus, based on the computational logic SCIFF framework. Our choice enables us to enrich DecSerFlow and the Event Calculus with quantitative time constraints and to model compensation actions.

Files and links (1)

url

http://www.springerlink.com/content/67355726886hjj5m/View

Details

Title: Verification of choreographies during execution using the reactive event calculus
Creators: Federico Chesani
Paola Mello
Marco Montali
Paolo Torroni
Publication Details: Proceedings of the 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), revised selected papers, pp.55-72
Editor(s): Bruni R, Wolf K
ISBN: 978-3-642-01363-8
EISBN: 978-3-642-01364-5
ISSN: 0302-9743
EISSN: 1611-3349
Conference: 5th International Workshop on Web Services and Formal Methods (WS-FM 2008) (Milano, 04/09/2008 - 05/09/2008)
Series / Volume: Lecture Notes in Computer Science
Publisher: Springer
Berlin, Heidelberg
Number of pages: 18
Identifiers: 978-3-642-01363-8
(UNIBZ)1239160
991005772244901241
Web of Science ID: 000268444700004
Scopus ID: 2-s2.0-67649967197
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Chesani F, Mello P, Montali M, Torroni P
Additional Description: srcEditors: Bruni R, Wolf K

Metrics

13 Record Views