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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Automatic control and computer sciences Jg. 54; H. 7; S. 740 - 751
Hauptverfasser:	Garanina, N. O., Anureev, I. S., Borovikova, O. I., Zyubin, V. E.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Moscow Pleiades Publishing 01.12.2020 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!