Static compliance checking beyond separation of duty constraints
Static compliance checking beyond separation of duty constraints is a scholarly work, published in 2018 in ''International Journal of Embedded Systems''. The main subjects of the publication include programming language, Construct, separation of duties, task, process mining, software engineering, process, compliance, separation of concerns, Trust management, duty, model checking, and computer science. The authors report on the applicability of the approach via a case study.