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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Automatic control and computer sciences Ročník 54; číslo 7; s. 740 - 751
Hlavní autori:	Garanina, N. O., Anureev, I. S., Borovikova, O. I., Zyubin, V. E.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Moscow Pleiades Publishing 01.12.2020 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!