Now showing items 1-3 of 3
(Springer, 2007)In this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. The approach is based on a modified Inductive Logic Programming algorithm, capable of ...
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 ...