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ženo v:

Podrobná bibliografie
Vydáno v:	Automatic control and computer sciences Ročník 54; číslo 7; s. 740 - 751
Hlavní autoři:	Garanina, N. O., Anureev, I. S., Borovikova, O. I., Zyubin, V. E.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.12.2020 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!