Search
Now showing items 1-8 of 8
-
Checking compliance of execution traces to business rules
(Springer, 2009)Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compliance of complex and flexible processes ... -
Commitment Tracking via the Reactive Event Calculus
(AAAI Press, 2009)Runtime commitment verification is an important, open issue in multiagent research. To address it, we build on Yolum and Singh's formalization of commitment operations, on Chittaro and Montanari's cached event calculus, ... -
Verifying a-priori the composition of declarative specified services
(CEUR-WS.org, 2009)Service Oriented Architectures are knowing a wide success, thanks to the maturity of standards and implementations. Moreover, the possibility of composing complex systems starting from simpler services is becoming supported ... -
A REC-based commitment tracking tool (system demonstration)
(AI*IA/TABOO, 2009) -
Verification of choreographies during execution using the reactive event calculus
(Springer, 2009)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 ... -
Integrating abductive logic programming and description logics in a dynamic contracting architecture
(IEEE Press, 2009)In Semantic Web technologies, searching for a service means to identify, components that can potentially satisfy the user needs in terms of outputs and effects (discovery), and that, when invoked by the customer can ... -
Exploiting inductive logic programming techniques for declarative process mining
(Springer, 2009)In the last few years, there has been a growing interest in the adoption of declarative paradigms for modeling and verifying process models. These paradigms provide an abstract and human understandable way of specifying ... -
A hybrid approach to clinical guideline and to basic medical knowledge conformance
(Springer, 2009)Several computer-based approaches to Clinical Guidelines have been developed in the last two decades. However, only recently the community has started to cope with the fact that Clinical Guidelines are just a part of the ...
