— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
Abstract. This paper provides a novel mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relatio...
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlo...
: Compliance management, risk analysis, and auditing are disciplines that are critical for large scale distributed enterprise systems. The way these complex systems are developed a...
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...