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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-642-01364-5_4 | WS-FM |
Keywords | Field | DocType |
decserflow element,quantitative time constraint,computational logic sciff framework,graphical choreography description language,run-time verification method,model compensation action,reactive version,event calculus,web service behaviour,reactive event calculus | Event calculus,Computational logic,Programming language,Computer science,Computer communication networks,Choreography,Theoretical computer science,Linear temporal logic,Service composition,Web service,Theory of computation | Conference |
Volume | ISSN | Citations |
5387 | 0302-9743 | 20 |
PageRank | References | Authors |
1.10 | 18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
federico chesani | 1 | 801 | 46.41 |
Paola Mello | 2 | 444 | 21.33 |
Marco Montali | 3 | 1280 | 99.36 |
Paolo Torroni | 4 | 1167 | 80.57 |