分布式并行软件系统元模型的本体驱动开发

2015 3rd International Conference on Artificial Intelligence, Modelling and Simulation (AIMS) Pub Date : 2015-12-01 DOI:10.1109/AIMS.2015.67

V. Mezhuyev, E. Malakhov

{"title":"分布式并行软件系统元模型的本体驱动开发","authors":"V. Mezhuyev, E. Malakhov","doi":"10.1109/AIMS.2015.67","DOIUrl":null,"url":null,"abstract":"The paper discusses a new technique for development of metamodels for the modelling distributed parallel software systems. The approach 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 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 rules of 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.","PeriodicalId":121874,"journal":{"name":"2015 3rd International Conference on Artificial Intelligence, Modelling and Simulation (AIMS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Ontology-Driven Development of the Metamodels for Modelling Distributed Parallel Software Systems\",\"authors\":\"V. Mezhuyev, E. Malakhov\",\"doi\":\"10.1109/AIMS.2015.67\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper discusses a new technique for development of metamodels for the modelling distributed parallel software systems. The approach 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 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 rules of 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.\",\"PeriodicalId\":121874,\"journal\":{\"name\":\"2015 3rd International Conference on Artificial Intelligence, Modelling and Simulation (AIMS)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 3rd International Conference on Artificial Intelligence, Modelling and Simulation (AIMS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AIMS.2015.67\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 3rd International Conference on Artificial Intelligence, Modelling and Simulation (AIMS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AIMS.2015.67","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文讨论了一种用于分布式并行软件系统建模的元模型开发新技术。该方法是领域特定数学建模(DSMM)的一个重要阶段，旨在增强领域特定建模的方法学。DSMM的优点是可以为具有不同数学性质和结构的建模领域构建元模型。本文分析了OWL-DL本体在表达软件系统属性方面的适用性。将元类型识别为OWL类并使用OWL限制作为元模型语法规则，为软件系统的设计和验证提供了一种有效的方法。所提出的方法具有模型驱动软件开发的优点，并允许在早期设计阶段对软件系统进行验证。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

The paper discusses a new technique for development of metamodels for the modelling distributed parallel software systems. The approach 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 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 rules of 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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2015 3rd International Conference on Artificial Intelligence, Modelling and Simulation (AIMS)

自引率

0.00%

发文量