A feasibility study of the ontology driven executable systems architecture framework
Faculty / School
Faculty of Computer Sciences (FCS)
Department of Computer Science
Was this content written or created while at IBA?
Journal of Integrated Design and Process Science
The paper presents a framework to manage consistency in the architecture of a large-scale system. The paper highlights the framework with the help of a case study that models academic business processes in higher education institutions. The presented framework improves the communication among different stakeholders and helps the system designer/modeller to eliminate discrepancies in the design phase. It automatically generates a Coloured Petri nets (CPN) (with Guard conditions and arcs inscription) model from OWL ontology (with SWRL rules embedded). The paper highlights the fact that the Guard conditions alone cannot always fulfil the requirements of operational rules mapping. It suggests mapping SWRL rules to arcs inscriptions in the CPN model. The enhanced framework, thus, provides strong support for mapping SWRL rule to Guard conditions as well as to arcs inscriptions. The overall transformation process helps in verifying a user's requirements, specified in SWRL rule, by simulating them in the corresponding automatically generated CPN model.
HJRS - Y Category, Scopus, Web of Science - Emerging Sources Citation Index (ESCI)
Khan, I., & Haider, S. (2014). A feasibility study of the ontology driven executable systems architecture framework. Journal of Integrated Design and Process Science, 18 (3), 41-58. Retrieved from https://ir.iba.edu.pk/faculty-research-articles/113