Now showing items 1-3 of 3
(Oregon State University, 2007)
Testing careflow process execution conformance by translating a graphical language to computational logic(Springer, 2007)Careflow systems implement workflow concepts in the clinical domain in order to administer, support and monitor the execution of health care services performed by different health care professionals and structures. In this ...
(IBFI, 2007)In this article, we propose to adopt the SCIFF abductive logic language to specify business contracts, and show how its proof procedures are useful to verify contract execution and fulfilment. SCIFF is a declarative language ...