ORCID Profile
0000-0002-6376-082X
Current Organisation
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Publisher: Springer Science and Business Media LLC
Date: 22-01-2018
Publisher: Walter de Gruyter GmbH
Date: 12-2019
Abstract: Within the context of a larger project, in this paper, we discuss one-to-one mapping of the Shari’ah normative concepts of wajib, haram, sunnah, etc., with conventional normative concepts of obligation, prohibition, and permission. The goal of the mapping to gaining a better understanding of the Shari’ah normative concepts and what deontic effects they generate when applied, and what consequences can be attained through the actions as compared to the Western normative concepts. Existing literature lacks such understanding of the correspondence between the two normative systems. The mapping shows conceptual overlapping between the concepts, yet the two types of systems should be separated from each other in terms of the philosophy, context, and the consequences of the Islamic normative systems as the expression of the ine will.
Publisher: MDPI AG
Date: 21-01-2022
DOI: 10.3390/J5010005
Abstract: The Web of Data, the Internet of Things, and Industry 4.0 are converging, and society is challenged to ensure that appropriate regulatory responses can uphold the rule of law fairly and effectively in this emerging context. The challenge extends beyond merely submitting digital processes to the law. We contend that the 20th century notion of ‘legal order’ alone will not be suitable to produce the social order that the law should bring. The article explores the concepts of rule of law and of legal governance in digital and blockchain environments. We position legal governance from an empirical perspective, i.e., as an explanatory and validation concept to support the implementation of the rule of law in the new digital environments. As a novel contribution, this article (i) progresses some of the work done on the metarule of law and complements the SMART middle-out approach with an inside-out approach to digital regulatory systems and legal compliance models (ii) sets the state-of-the-art and identifies the way to explain and validate legal information flows and hybrid agents’ behaviour (iii) describes a phenomenological and historical approach to legal and political forms and (iv) shows the utility of separating enabling and driving regulatory systems.
Publisher: ACM
Date: 30-01-2023
Publisher: Springer International Publishing
Date: 2016
Publisher: MDPI AG
Date: 28-01-2023
Abstract: Compliance in business processes has become a fundamental requirement given the constant rise in regulatory requirements and competitive pressures that have emerged in recent decades. While in other areas of business process modelling and execution, considerable progress towards automation has been made (e.g., process discovery, executable process models), the interpretation and implementation of compliance requirements is still a highly complex task requiring human effort and time. To increase the level of “mechanization” when implementing regulations in business processes, compliance research seeks to formalize compliance requirements. Formal representations of compliance requirements should, then, be leveraged to design correct process models and, ideally, would also serve for the automated detection of violations. To formally specify compliance requirements, however, multiple process perspectives, such as control flow, data, time and resources, have to be considered. This leads to the challenge of representing such complex constraints which affect different process perspectives. To this end, current approaches in business process compliance make use of a varied set of languages. However, every approach has been devised based on different assumptions and motivating scenarios. In addition, these languages and their presentation usually abstract from real-world requirements which often would imply introducing a substantial amount of domain knowledge and interpretation, thus h ering the evaluation of their expressiveness. This is a serious problem, since comparisons of different formal languages based on real-world compliance requirements are lacking, meaning that users of such languages are not able to make informed decisions about which language to choose. To close this gap and to establish a uniform evaluation basis, we introduce a running ex le for evaluating the expressiveness and complexity of compliance rule languages. For language selection, we conducted a literature review. Next, we briefly introduce and demonstrate the languages’ grammars and vocabularies based on the representation of a number of legal requirements. In doing so, we pay attention to semantic subtleties which we evaluate by adopting a normative classification framework which differentiates between different deontic assignments. Finally, on top of that, we apply Halstead’s well-known metrics for calculating the relevant characteristics of the different languages in our comparison, such as the volume, difficulty and effort for each language. With this, we are finally able to better understand the lexical complexity of the languages in relation to their expressiveness. In sum, we provide a systematic comparison of different compliance rule languages based on real-world compliance requirements which may inform future users and developers of these languages. Finally, we advocate for a more user-aware development of compliance languages which should consider a trade off between expressiveness, complexity and usability.
Publisher: Springer Science and Business Media LLC
Date: 20-09-2018
Publisher: Springer International Publishing
Date: 2021
Publisher: IGI Global
Date: 10-02-2022
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.
Location: Australia
Location: No location found
No related grants have been discovered for Mustafa Hashmi.