Title: Constraint specifications for domain-specific systems: ontology-driven approach

Authors: Shreya Banerjee; Anirban Sarkar

Addresses: Department of Computer Science and Engineering, OmDayal Group of Institutions, Howrah, West Bengal, India ' Department of Computer Science and Engineering, National Institute of Technology, Durgapur, India

Abstract: Well-formed Domain Specific Modelling Languages (DSML) are devised based on well-defined sets of syntaxes and semantics. These precisions are obtained raising at abstraction levels in domain specifications. Yet, appropriate representations of constraints are also important to limit meanings of generic concepts to different abstraction levels in a DSML. To address this issue, in this paper, a constraint specification language is developed. This proposed language is capable to restrict meanings of general concepts represented in an upper level ontology - Generalised Ontology Modelling (GOM) (Banerjee and Sarkar, 2016b) to domain specific systems in a systematic way. Further, several automated methods impose distinct constraints at different levels of abstractions in domain specific modelling. These methods also validate distinct constructs and constraints in domain specific systems against general concepts of GOM. The applicability of the proposed work is proved using couple of case studies based on applications in data-intensive and service-based domains.

Keywords: domain-specific modelling language; domain-specific language; constraint specification language; grammar specification; validation methods; ontology; model hierarchy; ontology hierarchy; constraint imposition methods; grammar implementation.

DOI: 10.1504/IJMSO.2019.099836

International Journal of Metadata, Semantics and Ontologies, 2019 Vol.13 No.3, pp.227 - 253

Received: 20 May 2018
Accepted: 08 Feb 2019

Published online: 23 May 2019 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article