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!
Abstract — 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 developing verification-oriented domain-specific process ontologies used to describe concurrent systems of subject domains. One of the advantages of such ontologies is their formal semantics, which provides formal verification of the described systems. Our method is based on an abstract verification-oriented process ontology. We use two methods of domain specialization of the abstract process ontology. The declarative method relies on specializing classes of the original ontology, introducing new declarative classes, and using a new set of axioms to set restrictions on classes and relations of the abstract ontology. The constructive method uses semantic markup and pattern matching techniques to link domain concepts to classes of the abstract process ontology. We provide detailed ontological specifications for these techniques. Our methods preserve the formal semantics of the original process ontology; therefore, formal verification methods can be applied to the resulting domain-specific process ontologies. We demonstrate that the constructive method is a refined version of the declarative method. We illustrate our methods on the example of constructing an ontology for standard elements of automatic control systems: we develop declarative descriptions of the classes and restrictions of the domain-specific ontology in the Protégé system in the Web Ontology Language (OWL) using inference rules written in the Semantic Web Rule Language (SWRL) and construct a system of semantic markup patterns that implements standard elements of automatic control systems.
AbstractList Abstract—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 developing verification-oriented domain-specific process ontologies used to describe concurrent systems of subject domains. One of the advantages of such ontologies is their formal semantics, which provides formal verification of the described systems. Our method is based on an abstract verification-oriented process ontology. We use two methods of domain specialization of the abstract process ontology. The declarative method relies on specializing classes of the original ontology, introducing new declarative classes, and using a new set of axioms to set restrictions on classes and relations of the abstract ontology. The constructive method uses semantic markup and pattern matching techniques to link domain concepts to classes of the abstract process ontology. We provide detailed ontological specifications for these techniques. Our methods preserve the formal semantics of the original process ontology; therefore, formal verification methods can be applied to the resulting domain-specific process ontologies. We demonstrate that the constructive method is a refined version of the declarative method. We illustrate our methods on the example of constructing an ontology for standard elements of automatic control systems: we develop declarative descriptions of the classes and restrictions of the domain-specific ontology in the Protégé system in the Web Ontology Language (OWL) using inference rules written in the Semantic Web Rule Language (SWRL) and construct a system of semantic markup patterns that implements standard elements of automatic control systems.
— 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 developing verification-oriented domain-specific process ontologies used to describe concurrent systems of subject domains. One of the advantages of such ontologies is their formal semantics, which provides formal verification of the described systems. Our method is based on an abstract verification-oriented process ontology. We use two methods of domain specialization of the abstract process ontology. The declarative method relies on specializing classes of the original ontology, introducing new declarative classes, and using a new set of axioms to set restrictions on classes and relations of the abstract ontology. The constructive method uses semantic markup and pattern matching techniques to link domain concepts to classes of the abstract process ontology. We provide detailed ontological specifications for these techniques. Our methods preserve the formal semantics of the original process ontology; therefore, formal verification methods can be applied to the resulting domain-specific process ontologies. We demonstrate that the constructive method is a refined version of the declarative method. We illustrate our methods on the example of constructing an ontology for standard elements of automatic control systems: we develop declarative descriptions of the classes and restrictions of the domain-specific ontology in the Protégé system in the Web Ontology Language (OWL) using inference rules written in the Semantic Web Rule Language (SWRL) and construct a system of semantic markup patterns that implements standard elements of automatic control systems.
Author Garanina, N. O.
Borovikova, O. I.
Anureev, I. S.
Zyubin, V. E.
Author_xml – sequence: 1
  givenname: N. O.
  surname: Garanina
  fullname: Garanina, N. O.
  email: garanina@iis.nsk.su
  organization: Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Institute of Automation and Electrometry, Siberian Branch, Russian Academy of Sciences
– sequence: 2
  givenname: I. S.
  surname: Anureev
  fullname: Anureev, I. S.
  email: anureev@iis.nsk.su
  organization: Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Institute of Automation and Electrometry, Siberian Branch, Russian Academy of Sciences
– sequence: 3
  givenname: O. I.
  surname: Borovikova
  fullname: Borovikova, O. I.
  email: olesya@iis.nsk.su
  organization: Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences
– sequence: 4
  givenname: V. E.
  surname: Zyubin
  fullname: Zyubin, V. E.
  email: zyubin@iae.nsk.su
  organization: Institute of Automation and Electrometry, Siberian Branch, Russian Academy of Sciences
BookMark eNp1UEtLAzEQDlLBtvoDvC14Xk2ym0ePUp_QUqEqvS3ZZFJT2qQm24P-elMreBBhYBi-1_ANUM8HDwidE3xZEVxdzTGpeU0IpxiLPIsj1CeMyZJgueih_h4u9_gJGqS0wjhjkvfRdArdWzCpsCEWN2GjnC_mW9BOrd2n6lzwRbDFK0Rnnf6-y1l04DswxVMMGlIqZr4L67B0kE7RsVXrBGc_e4he7m6fxw_lZHb_OL6elJpy2ZXQgjZU6tZwQ82I5UcNk6JWXIOhDGrOBKYWW2U1E3U7EpqBJCCtahURVTVEFwffbQzvO0hdswq76HNkQ-tsVAvBWWaRA0vHkFIE22yj26j40RDc7Ftr_rSWNfSgSZnrlxB_nf8XfQEwiXFx
Cites_doi 10.1007/978-3-662-46823-4_9
10.3233/AO-2011-0096
10.1007/978-3-642-18216-7
10.1007/978-3-319-10575-8
ContentType Journal Article
Copyright Allerton Press, Inc. 2020. ISSN 0146-4116, Automatic Control and Computer Sciences, 2020, Vol. 54, No. 7, pp. 740–751. © Allerton Press, Inc., 2020. Russian Text © The Author(s), 2019, published in Modelirovanie i Analiz Informatsionnykh Sistem, 2019, No. 4, pp. 534–549.
Copyright_xml – notice: Allerton Press, Inc. 2020. ISSN 0146-4116, Automatic Control and Computer Sciences, 2020, Vol. 54, No. 7, pp. 740–751. © Allerton Press, Inc., 2020. Russian Text © The Author(s), 2019, published in Modelirovanie i Analiz Informatsionnykh Sistem, 2019, No. 4, pp. 534–549.
DBID AAYXX
CITATION
JQ2
DOI 10.3103/S014641162007007X
DatabaseName CrossRef
ProQuest Computer Science Collection
DatabaseTitle CrossRef
ProQuest Computer Science Collection
DatabaseTitleList ProQuest Computer Science Collection
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EISSN 1558-108X
EndPage 751
ExternalDocumentID 10_3103_S014641162007007X
GroupedDBID -59
-5G
-BR
-EM
-Y2
-~C
-~X
.86
.VR
06D
0R~
0VY
1N0
23N
2J2
2JN
2JY
2KG
2KM
2LR
2VQ
2~H
30V
4.4
408
40D
40E
5GY
5VS
6NX
8TC
95-
95.
95~
96X
AAAVM
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYZH
ABAKF
ABDZT
ABECU
ABFTD
ABFTV
ABHQN
ABJNI
ABJOX
ABKCH
ABMNI
ABMQK
ABNWP
ABQBU
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABWNU
ABXPI
ACAOD
ACBXY
ACCUX
ACDTI
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACSNA
ACZOJ
ADHHG
ADHIR
ADINQ
ADKNI
ADRFC
ADURQ
ADYFF
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEMSY
AEOHA
AEPYU
AETLH
AEVLU
AEXYK
AFBBN
AFFNX
AFGCZ
AFLOW
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQMX
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHSBF
AI.
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AJBLW
AJRNO
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMXSW
AMYLF
AMYQR
AOCGG
ARMRJ
AXYYD
B-.
BA0
BDATZ
BGNMA
CAG
COF
CS3
DDRTE
DNIVK
DPUIP
EBLON
EBS
EIOEI
EJD
ESBYG
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ6
GQ7
H13
HF~
HG6
HLICF
HMJXF
HRMNR
HZ~
IJ-
IKXTQ
IWAJR
I~X
I~Z
J-C
JBSCW
JZLTJ
KOV
LLZTM
M4Y
MA-
NPVJJ
NQJWS
NU0
O9-
O93
O9J
P9O
PF0
PT4
QOS
R89
R9I
RNS
ROL
RPX
RSV
S16
S1Z
S27
S3B
SAP
SCO
SDH
SHX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TN5
TSG
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
VH1
W48
WK8
XU3
YLTOR
Z7R
Z83
Z88
ZMTXR
~A9
AAPKM
AAYXX
ABDBE
ABFSG
ABJCF
ABRTQ
ACSTC
AEZWR
AFDZB
AFFHD
AFHIU
AFKRA
AFOHR
AHPBZ
AHWEU
AIXLP
ARAPS
ATHPR
BENPR
BGLVJ
CCPQU
CITATION
HCIFZ
K7-
M7S
PHGZM
PHGZT
PQGLB
PTHSS
JQ2
ID FETCH-LOGICAL-c268t-ebecd28cbd6d2d95155d5874a6ced25e465702f0fafc574b97c5e81e8faba1733
IEDL.DBID RSV
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000616337500016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0146-4116
IngestDate Wed Sep 17 23:58:58 EDT 2025
Sat Nov 29 05:52:10 EST 2025
Fri Feb 21 02:49:00 EST 2025
IsPeerReviewed true
IsScholarly true
Issue 7
Keywords pattern matching
semantic markup
formal verification
domain specification
automatic control system
process ontology
ontology axioms
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c268t-ebecd28cbd6d2d95155d5874a6ced25e465702f0fafc574b97c5e81e8faba1733
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
PQID 2487447765
PQPubID 2043879
PageCount 12
ParticipantIDs proquest_journals_2487447765
crossref_primary_10_3103_S014641162007007X
springer_journals_10_3103_S014641162007007X
PublicationCentury 2000
PublicationDate 2020-12-01
PublicationDateYYYYMMDD 2020-12-01
PublicationDate_xml – month: 12
  year: 2020
  text: 2020-12-01
  day: 01
PublicationDecade 2020
PublicationPlace Moscow
PublicationPlace_xml – name: Moscow
– name: New York
PublicationTitle Automatic control and computer sciences
PublicationTitleAbbrev Aut. Control Comp. Sci
PublicationYear 2020
Publisher Pleiades Publishing
Springer Nature B.V
Publisher_xml – name: Pleiades Publishing
– name: Springer Nature B.V
References ClarkeE.M.HenzingerTh.A.VeithH.BloemR.Handbook of Model Checking201810.1007/978-3-319-10575-8
Garanina, N. and Anureev, I., Verification oriented process ontology, Proceedings of the 9th Workshop Program Semantics, Specification and Verification: Theory and Applications, PSSV 2018, 2018, pp. 58–67.
Horrocks, I., et al., SWRL: A Semantic Web Rule Language Combining OWL and RuleML. https://www.w3.org/ Submission/SWRL. Accessed September 29, 2019.
GaraninaN.SidorovaE.BodinE.A multi-agent text analysis based on ontology of subject domainLect. Notes Comput. Sci.20158974102110353381610.1007/978-3-662-46823-4_9
BörgerE.StärkR.Abstract State Machines: A Method for High-Level System Design and Analysis200310.1007/978-3-642-18216-7
Ontology Design Patterns. https://www.ontologydesignpatterns.org. Accessed September 29, 2019.
GangemiA.PresuttiV.Handbook on Ontologies2009
StaabS.StuderR.Handbook on Ontologies20101429.68001
OWL Web Ontology Language Overview: W3C Recommendation 10 February 2004. https://w3.org/TR/owl-features/. Accessed September 29, 2019.
ScherpA.SaathoffC.FranzT.StaabS.Designing core ontologiesAppl. Ontol.2011617722110.3233/AO-2011-0096
Garanina, N.O., Zubin, V., Lyakh, T., and Gorlatch, S., An ontology of specification patterns for verification of concurrent systems, Proceedings of the 17th International Conference SoMeT-18, New Trends in Intelligent Software Methodologies, Tools and Techniques, Series: Frontiers in Artificial Intelligence and Applications, 2018, vol. 303, pp. 515–528.
HermiT OWL Reasoner. https://www.hermit-reasoner.com. Accessed September 29, 2019.
Protégé. A Free, Open-Source Ontology Editor and Framework for Building Intelligent Systems. https://protege.stanford.edu/. Accessed September 29, 2019.
E.M. Clarke (7289_CR6) 2018
7289_CR9
A. Gangemi (7289_CR2) 2009
E. Börger (7289_CR1) 2003
7289_CR4
7289_CR3
7289_CR11
7289_CR12
S. Staab (7289_CR7) 2010
7289_CR10
7289_CR13
N. Garanina (7289_CR5) 2015; 8974
A. Scherp (7289_CR8) 2011; 6
References_xml – reference: HermiT OWL Reasoner. https://www.hermit-reasoner.com. Accessed September 29, 2019.
– reference: Protégé. A Free, Open-Source Ontology Editor and Framework for Building Intelligent Systems. https://protege.stanford.edu/. Accessed September 29, 2019.
– reference: Garanina, N.O., Zubin, V., Lyakh, T., and Gorlatch, S., An ontology of specification patterns for verification of concurrent systems, Proceedings of the 17th International Conference SoMeT-18, New Trends in Intelligent Software Methodologies, Tools and Techniques, Series: Frontiers in Artificial Intelligence and Applications, 2018, vol. 303, pp. 515–528.
– reference: GangemiA.PresuttiV.Handbook on Ontologies2009
– reference: GaraninaN.SidorovaE.BodinE.A multi-agent text analysis based on ontology of subject domainLect. Notes Comput. Sci.20158974102110353381610.1007/978-3-662-46823-4_9
– reference: OWL Web Ontology Language Overview: W3C Recommendation 10 February 2004. https://w3.org/TR/owl-features/. Accessed September 29, 2019.
– reference: BörgerE.StärkR.Abstract State Machines: A Method for High-Level System Design and Analysis200310.1007/978-3-642-18216-7
– reference: ScherpA.SaathoffC.FranzT.StaabS.Designing core ontologiesAppl. Ontol.2011617722110.3233/AO-2011-0096
– reference: Garanina, N. and Anureev, I., Verification oriented process ontology, Proceedings of the 9th Workshop Program Semantics, Specification and Verification: Theory and Applications, PSSV 2018, 2018, pp. 58–67.
– reference: Horrocks, I., et al., SWRL: A Semantic Web Rule Language Combining OWL and RuleML. https://www.w3.org/ Submission/SWRL. Accessed September 29, 2019.
– reference: StaabS.StuderR.Handbook on Ontologies20101429.68001
– reference: ClarkeE.M.HenzingerTh.A.VeithH.BloemR.Handbook of Model Checking201810.1007/978-3-319-10575-8
– reference: Ontology Design Patterns. https://www.ontologydesignpatterns.org. Accessed September 29, 2019.
– ident: 7289_CR9
– volume-title: Handbook on Ontologies
  year: 2009
  ident: 7289_CR2
– volume: 8974
  start-page: 102
  year: 2015
  ident: 7289_CR5
  publication-title: Lect. Notes Comput. Sci.
  doi: 10.1007/978-3-662-46823-4_9
– volume: 6
  start-page: 177
  year: 2011
  ident: 7289_CR8
  publication-title: Appl. Ontol.
  doi: 10.3233/AO-2011-0096
– ident: 7289_CR4
– ident: 7289_CR10
– ident: 7289_CR3
– ident: 7289_CR11
– volume-title: Abstract State Machines: A Method for High-Level System Design and Analysis
  year: 2003
  ident: 7289_CR1
  doi: 10.1007/978-3-642-18216-7
– ident: 7289_CR13
– ident: 7289_CR12
– volume-title: Handbook of Model Checking
  year: 2018
  ident: 7289_CR6
  doi: 10.1007/978-3-319-10575-8
– volume-title: Handbook on Ontologies
  year: 2010
  ident: 7289_CR7
SSID ssj0055886
Score 2.1463766
Snippet — User-friendly formal specification and verification of concurrent and distributed systems for various domains, such as automatic control systems,...
Abstract—User-friendly formal specification and verification of concurrent and distributed systems for various domains, such as automatic control systems,...
SourceID proquest
crossref
springer
SourceType Aggregation Database
Index Database
Publisher
StartPage 740
SubjectTerms 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
Title Methods for Domain Specialization of Verification-Oriented Process Ontologies
URI https://link.springer.com/article/10.3103/S014641162007007X
https://www.proquest.com/docview/2487447765
Volume 54
WOSCitedRecordID wos000616337500016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAVX
  databaseName: SpringerLINK Contemporary 1997-Present
  customDbUrl:
  eissn: 1558-108X
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0055886
  issn: 0146-4116
  databaseCode: RSV
  dateStart: 20070201
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5BYYCBQgFRKMgDEygicezYGRFQMdAW8ai6RfEjUoemqCn8fmzXUXkOMOd0su5s33fx3X0ApwZFYKojk5tQmgTE9vYIwaMAExrnIRVcOzqg4R3r9_lolN77Pu6qrnavnyTdTe3yyjC-sGVICYmMbjuiJmSjVVgz0Y5bvoaHx2F9_VLKHb2jlQ6s-OIp82cVn4PREmF-eRR1sabb_Ncqt2HLQ0t0udgLO7CiyxY0a9oG5E9xCzY_zCDchV7PcUhXyKBXdD2d5OMSeVJ636KJpgUaGunC_94LBnY2skGqyHcZoEHpWHBN0r0Hz92bp6vbwHMsBBInfB5YHyrMpVCJwiq1hC-KckbyRGplvEhsaQwuwiIvJGVEpExSzSPNi1zkEYvjfWiU01IfAJJCEJLqKJaKE4NzRBRqzpQlNMmJTHAbzmpjZy-LURqZSUGs2bJvZmtDp3ZH5k9VlWFih_UzltA2nNfmX37-Vdnhn6SPYAPbpNrVrHSgMZ-96mNYl2_zcTU7cZvtHQLszJc
linkProvider Springer Nature
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLZgIAEHBgPEYEAOnEAVbZo02REB0xB7IBjTblWTptIOdGgd_H6SLNV4HuBcy4rsJLYb-_sATnUWgakKdG1CaeQRM9sjBA88TGiY-FRwZemAhh3W6_HRqHnv5riLstu9fJK0N7WtK_3wwrQhRSTQug1Ejc9Gy7BCdMAygPkPj8Py-qWUW3pHI-0Z8flT5s8qPgejRYb55VHUxppW9V-r3IJNl1qiy_le2IYlldegWtI2IHeKa7DxAYNwB7pdyyFdIJ29ouvJczLOkSOldyOaaJKhoZbO3O89r2-wkXWmityUAernlgVXF9278NS6GVy1Pcex4Ekc8ZlnfJhiLkUapThtGsKXlHJGkkiqVHuRmNYYnPlZkknKiGgySRUPFM8SkQQsDPegkk9ytQ9ICkFIUwWhTDnReY4IfMVZaghNEiIjXIez0tjxyxxKI9YliDFb_M1sdWiU7ojdqSpiTAxYP2MRrcN5af7F51-VHfxJ-gTW2oNuJ-7c9u4OYR2bAtv2rzSgMpu-qiNYlW-zcTE9thvvHaQOz3s
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3JTsMwEB1BQQgOlFUUCvjACRQ1cezYPSJKBaKbBFS9RfESqQfSqg18P3bqqKwHxDkjO5qx43nxzHsAFyaLwFQHBptQGnnE9vYIwQMPExomPhVcF3JAww7r9fho1Bw4ndN5We1eXkkuehosS1OWN6YqbRQY0w8btiQpIoGZx9LV-Gy0CmvE1tFbuP44LD_FlPJC6tFae9Z8ca358xCfD6ZltvnlgrQ4d9rVf7_xDmy7lBNdL9bILqzobA-qpZwDcrt7D7Y-cBPuQ7dbaEvPkclqUWvykowz5MTqXesmmqRoaKxT99vP61vOZJPBItd9gPpZoY5rwPgBPLdvn27uPKe94Ekc8dyzsVWYS6EihVXTCsEoyhlJIqmViS6xJTM49dMklZQR0WSSah5oniYiCVgYHkIlm2T6CJAUgpCmDkKpODH5jwh8zZmyQicJkRGuwWXp-Hi6oNiIDTSxbou_ua0G9TI0sdtt8xgTS-LPWERrcFWGYvn418GO_2R9DhuDVjvu3PceTmATW9xdlLXUoZLPXvUprMu3fDyfnRVr8B1WO9hf
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Methods+for+Domain+Specialization+of+Verification-Oriented+Process+Ontologies&rft.jtitle=Automatic+control+and+computer+sciences&rft.au=Garanina%2C+N+O&rft.au=Anureev%2C+I+S&rft.au=Borovikova%2C+O+I&rft.au=Zyubin%2C+V+E&rft.date=2020-12-01&rft.pub=Springer+Nature+B.V&rft.issn=0146-4116&rft.eissn=1558-108X&rft.volume=54&rft.issue=7&rft.spage=740&rft.epage=751&rft_id=info:doi/10.3103%2FS014641162007007X&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0146-4116&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0146-4116&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0146-4116&client=summon