An Improvement of Requirement-Based Compliance Checking Algorithm in Service Workflows
Wattana Viriyasitavat, Andrew Martin · 2012
This paper presents an improvement of requirement- oriented compliance checking algorithm to support trust-based decision making in service workflow environments. The proposed algorithm is based on our previous progressive works on (1) Service Workflow Specification language (SWSpec) serving as a formal and uniformed representation of requirements, and (2) the algorithm based on Constrained Truth Table (CTT), specifically developed for compliance checking for the Composite class of SWSpec. However, CTT algorithm practically suffers from high complexitywhich is