This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from Dec- SerFlow 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.
Verification of choreographies during execution using the reactive event calculus / Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo. - STAMPA. - 5387:(2009), pp. 55-72. (Intervento presentato al convegno 5th International Workshop on Web Services and Formal Methods, WS-FM 2008 tenutosi a Milan, ita nel 2008) [10.1007/978-3-642-01364-5_9].
Verification of choreographies during execution using the reactive event calculus
CHESANI, FEDERICO;MELLO, PAOLA;MONTALI, MARCO;TORRONI, PAOLO
2009
Abstract
This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from Dec- SerFlow 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
