Verification of choreographies during execution using the reactive event calculus
MetadataShow full item record
SubjectLogics and meanings of programs; Software engineering; Information systems applications (incl. internet); Theory of computation; Computer communication networks; Computer engineering
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.
Showing items related by title, author, creator and subject.
Teaching Software Design Engineering Across the K-12 Curriculum: Using Visual Thinking and Computational Thinking Fronza I; El Ioini N; Corral L (ACM, 2016)Over the years a number of methodologies have been proposed in Software Engineering to deal with systems design. High among them is visual thinking (VT). VT is a well known strategy to foster more ideas and generate consensus ...
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification Bryl, V; Mello, P; Montali, M; Torroni, P; Zannone, N (Springer, 2008)The work presented in this paper stands at the intersection of three diverse research areas: agent-oriented early requirements engineering, business process requirements elicitation and specification, and computational ...
Murray S; Ryan J; Pahl C (IEEE, 2003)Teaching database engineers involves a variety of learning activities. A strong focus is on practical problems that go beyond the acquisition of knowledge. Skills and experience are equally important. We propose a virtual ...