Welcome to the InfoSci Platform
Reference Hub1
On Modelling Process Aspects With Deontic Event-Calculus

On Modelling Process Aspects With Deontic Event-Calculus

Mustafa Hashmi
Copyright: © 2022 |Volume: 13 |Issue: 1 |Pages: 19
ISSN: 1947-959X|EISSN: 1947-9603|EISBN13: 9781799884378|DOI: 10.4018/IJSSMET.297498
Cite Article Cite Article

MLA

Hashmi, Mustafa. "On Modelling Process Aspects With Deontic Event-Calculus." IJSSMET vol.13, no.1 2022: pp.1-19. http://doi.org/10.4018/IJSSMET.297498

APA

Hashmi, M. (2022). On Modelling Process Aspects With Deontic Event-Calculus. International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), 13(1), 1-19. http://doi.org/10.4018/IJSSMET.297498

Chicago

Hashmi, Mustafa. "On Modelling Process Aspects With Deontic Event-Calculus," International Journal of Service Science, Management, Engineering, and Technology (IJSSMET) 13, no.1: 1-19. http://doi.org/10.4018/IJSSMET.297498

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Intuitive and faithful modelling the compliance requirements about the process aspects is a prerequisite for their automated compliance checking. Several formalisms with varying degrees of expressiveness for modelling compliance requirements have been reported in the literature. Deontic Event-Calculus (DEC) is a normative variant of Event-Calculus (EC) formalism with predicates to modelled normative requirements. However, currently, DEC does not support capturing normative requirements about the process aspects. In this paper, we extend DEC with new deontic predicates to model process aspects of data, time, control flow, and resources. The extended deontic predicates enable DEC to intuitively represent the compliance requirements relevant to aspects of a business process. Besides, we report the complexity evaluation of the extended deontic predicates using well-known Halstead’s complexity metrics. Evaluation result demonstrates that the complexity of modelling the compliance rules with DEC predicates is significantly lower even when the complexity of the standard EC is exponential.