The processes used to develop software need to comply with normative requirements (eg,
standards and regulations) to align with the market and the law. Manual compliance …

By definition, regulatory rules (in legal context called norms) intend to achieve specific
behaviour from business processes, and might be relevant to the whole or part of a business …

Nowadays, the industry is undergoing the Fourth Industrial Revolution, and techniques and
algorithms for automated compliance checking (ACC) are continually being improved …

The effectiveness of a compliance management framework (CMF) can be guaranteed only if
the framework is based on sound conceptual and formal foundations. In particular, the …

In dieser Arbeit schlagen wir ein abstraktes Rahmenwerk vor, um die deontischen Begriffe
zu modellieren, die für Geschäftsprozess-Konformität relevant sind. Inbesondere stellen wir …

With recent regulatory advances, modern enterprises have to not only comply with
regulations but have to be prepared to provide explanation of proof of (non-) compliance. On …

Currently available business process monitoring solutions usually rely on applications'
business logic, which hampers the separation between the business logic and the business …

Due to pressure from regulatory authorities, the requirement to remain compliant has
tremendously increased over the last decade. To support compliance-related activities, a …

Modern enterprises increasingly face the challenge of kee** pace with regulatory
compliances. Semantic disparity between regulation texts, their interpretations, and …

In this paper we formally prove that compliance results derived from temporal defeasible
logic are equivalent to the ones obtained in the standard defeasible deontic logic. In order to …