Methods for Domain Specialization of Verification-Oriented Process Ontologies

— User-friendly formal specification and verification of concurrent and distributed systems for various domains, such as automatic control systems, telecommunications, and business processes, are active research topics due to their practical significance. In this paper, we present methods of develop...

Full description

Saved in:

Bibliographic Details
Published in:	Automatic control and computer sciences Vol. 54; no. 7; pp. 740 - 751
Main Authors:	Garanina, N. O., Anureev, I. S., Borovikova, O. I., Zyubin, V. E.
Format:	Journal Article
Language:	English
Published:	Moscow Pleiades Publishing 01.12.2020 Springer Nature B.V
Subjects:	Automatic control systems Axioms Computer networks Computer Science Control Structures and Microprogramming Formal specifications Knowledge representation Methods Ontology Pattern matching Programming languages Semantic web Semantics Verification Web Ontology Language-OWL pattern matching semantic markup formal verification domain specification automatic control system process ontology ontology axioms
ISSN:	0146-4116, 1558-108X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!