Search
Now showing items 1-10 of 24
-
Web service contracting: specification and reasoning with SCIFF
(2007)The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service location, called, ... -
Ontological reasoning and abductive logic programming for service discovery and contracting
(CEUR, 2008)The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of the most challenging open research issues is the ... -
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 ... -
A framework for defining and verifying clinical guidelines: a case study on cancer screening
(Springer, 2006)Medical guidelines are clinical behaviour recommendations used to help and support physicians in the definition of the most appropriate diagnosis and/or therapy within determinate clinical circumstances. Due to the intrinsic ... -
An abductive framework for a-priori verification of web services
(ACM Press, 2006)Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented Computing (SOC) share common topics, problems and settings. One of the common problems is the need to formally verify the ... -
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, ... -
Protocol specification and verification by using computational logic
(Pitagora Editrice, 2005)The aim of this paper is to report on some preliminary results obtained in the context of the MASSIVE research project (http://www.di.unito.it/massive/) relating the formal specification and verification of ... -
Compliance checking of cancer-screening careflows: An approach based on computational logic
(IOS Press, 2008)Clinical guidelines and Careflow systems have been recently identified as a means to improve and standardize health care services. A number of ICT-based management solutions have been proposed, focussing on several aspects ... -
Testing guidelines conformance by translating a graphical language to computational logic
(ECAI 2006, 2006)In this work we present GOSpeL, a simple graphical lan-guage for modeling guidelines in a flow-chart fashion, and an algo-rithm capable of translating a GOSpeL model to a formal language based on computational logic and ... -
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 ...