Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems

Malakhov, Eugene and Mezhuyev, Vitaliy (2015) Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems. In: 3rd IEEE International Conference on Artificial Intelligence, Modelling and Simulation, 2-4 December 2015 , Kota Kinabalu, Sabah. pp. 1-4.. (Unpublished)

[img] PDF
Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems.pdf
Restricted to Repository staff only

Download (403kB) | Request a copy
[img]
Preview
PDF
fskkp-2015-Mezhuyev-Ontology-based Development.pdf

Download (208kB) | Preview

Abstract

The paper proposes the method for the development of metamodels for the modelling distributed parallel software systems. The method is an important stage of Domain-Specific Mathematical Modelling (DSMM), developed to enhance the methodology of Domain-Specific Modelling. The advantage of DSMM is a possibility of constructing metamodels for the modelling domains, having different mathematical properties and structures. The paper analyses applicability of OWL-DL ontologies for expressing properties of software systems. Identification of the metatypes as OWL classes and use of OWL restrictions as metamodels’ grammars give us an effective way for the design and verification of software systems. The proposed approach have advantages of the model driven software development and allows verification of software systems at earlier design stage.

Item Type: Conference or Workshop Item (Speech)
Uncontrolled Keywords: Ontology, metamodel, domain specific mathematical modelling, parallel software system, logical analysis.
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Mrs. Neng Sury Sulaiman
Date Deposited: 22 Feb 2016 02:54
Last Modified: 27 Feb 2018 01:11
URI: http://umpir.ump.edu.my/id/eprint/11972
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item