Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems
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 p...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English English |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/11972/ http://umpir.ump.edu.my/id/eprint/11972/1/Ontology-based%20Development%20of%20the%20Metamodels%20for%20Modelling%20Distributed%20Parallel%20Software%20Systems.pdf http://umpir.ump.edu.my/id/eprint/11972/7/fskkp-2015-Mezhuyev-Ontology-based%20Development.pdf |
| _version_ | 1848819118775468032 |
|---|---|
| author | Malakhov, Eugene Mezhuyev, Vitaliy |
| author_facet | Malakhov, Eugene Mezhuyev, Vitaliy |
| author_sort | Malakhov, Eugene |
| building | UMP Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T01:48:29Z |
| format | Conference or Workshop Item |
| id | ump-11972 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English English |
| last_indexed | 2025-11-15T01:48:29Z |
| publishDate | 2015 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | ump-119722018-02-27T01:11:32Z http://umpir.ump.edu.my/id/eprint/11972/ Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems Malakhov, Eugene Mezhuyev, Vitaliy QA76 Computer software 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. 2015 Conference or Workshop Item PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/11972/1/Ontology-based%20Development%20of%20the%20Metamodels%20for%20Modelling%20Distributed%20Parallel%20Software%20Systems.pdf application/pdf en http://umpir.ump.edu.my/id/eprint/11972/7/fskkp-2015-Mezhuyev-Ontology-based%20Development.pdf 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) (Unpublished) |
| spellingShingle | QA76 Computer software Malakhov, Eugene Mezhuyev, Vitaliy Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems |
| title | Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems |
| title_full | Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems |
| title_fullStr | Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems |
| title_full_unstemmed | Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems |
| title_short | Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems |
| title_sort | ontology-based development of the metamodels for modelling distributed parallel software systems |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/11972/ http://umpir.ump.edu.my/id/eprint/11972/1/Ontology-based%20Development%20of%20the%20Metamodels%20for%20Modelling%20Distributed%20Parallel%20Software%20Systems.pdf http://umpir.ump.edu.my/id/eprint/11972/7/fskkp-2015-Mezhuyev-Ontology-based%20Development.pdf |