Now showing items 1-3 of 3
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 ...
Agent societies and service choreographies: A declarative approach to specification and verification(MALLOW-AWESOME, 2007)The need for specifying choreographies when developing service oriented systems recently arose as an important issue. Although declarativeness has been identified as a key feature, several proposed approaches model ...