Scientific and Technical Journal


ISSN Print 2221-3937
ISSN Online 2221-3805

The paper is devoted to the procedural aspects of the development of ontologies of distributed parallel software systems as a stage of Information Technology (IT) of Domain Specific Mathematical Modelling (DSMM). The aim of the paper is to analyse the applicability of IT DSMM for development of metamodels for modelling hardware and software systems. The proposed approach is based on OWL ontology language and is inside of the method of development of metamodels as logical and algebraic systems. Identification of the types of metamodel as OWL classes and use of OWL restrictions as a grammar for the metamodel gives the possibility of development of valid (i.e. meeting system requirements) instances of types. The expediency of ontological modelling a as phase of metamodels development for software systems is proved. Development of metamodels is also a way to test the properties of a system at the early stages of its development (starting from specification of requirements). The proposed approach makes possible to verify the compliance of derived concepts, calculate its hierarchy and identify equivalence of classes of OWL ontologies. Expansion of expressiveness of ontologies by time properties, modal logic, etc. allows to combine the conceptual modelling stage and the stage of system validation.


1. Mezhuyev V.I. Metodrozrobki metamodelei na osnovі logіchnikh modelei predmetnikh oblastei [A Method for Developing Metamodelson the Base of Logical Models of Domains], (2012), Vestnik NTU “HPI” “Mathematical Modelling in Engineering and Technology. NTU “KPI” Publ., Kharkov, Ukraine, Vol. 2, pp. 153 – 161 (In Ukrainian).

2. Mezhuev V.I. Modelirovanie svoistv operatsionnoi sistemy real'nogo vremeni OpenComRTOS pri pomoshchi OWL-DL ontologii [Modelling Properties of Real-time Operating System OpenComRTOSby OWL-DL Ontologies], (2009), Scientific Papers of Donetsk National Technical University Series “Informatics, Cyberneticsand Computer Science” Publ., Donets'k, Ukraine, Vol. 10 (153), pp. 39 – 46 (In Russian).

3. Mezhuyev V.I. Іnformatsіina tekhnologіya rozrobki kompleksnikh іnstrumental'nikh zasobіv predmetno-orієntovanogo matematichnogo modelyuvannya [Information Technology for Development of Integrated Tools for Domain Specific Mathematical Modelling], (2012), Thesis of Doctorof Technical Sciences ONPU Publ., Odessa, Ukraine, 36 p. (In Ukrainian).

4. OWL WebOntologyLanguageGuide (In English), Available at: (accessed 05.12.2014).

5. Mezhuyev V., Sputh B., and Verhulst E., (2010), Interacting Entities Modelling Methodology for Robust Systems Design, Advances in System Testing and Validation Lifecycle, CPS Publ., pp. 75 – 80 (In English).

6. Baader F., Calvanese D., McGuinness D. L., Nardi D., and Patel-Schneider P.F., (2003), The Description Logic Hand book: Theory, Implementation, Applications, Cambridge University Press Publ., Cambridge, UK, 624 p. (In English).

7. FACT++[FACT++], Available at: (accessed 05.12.2014) (In English).

8. Lamport L., (2002), Specifying Systems: the TLA + language and Tools for Hardware and Software Engineers, Addison-Wesley Publ., Boston, 364 p. (In English).

Last download:
2017-11-22 20:18:02

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014. Any use of information from the site is possible only under the condition that the source link! ]