Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Irina Lomazova"'
Publikováno v:
Software and Systems Modeling. 22:351-375
A process model discovered from an event log of a multi-agent system often does not fully cover certain viewpoints of its architecture. We consider those concerned with the structure of a model explicitly reflecting agent behavior and interactions. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7fefa4d3d5d090e2b32e10a03456fd07
https://doi.org/10.1007/s10270-022-01008-x
https://doi.org/10.1007/s10270-022-01008-x
Publikováno v:
Journal of Parallel and Distributed Computing. 179:104704
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets - a class of Petri nets. Interactions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8304182cd7abf5ad639f29d1b51e582a
https://doi.org/10.1016/j.jpdc.2023.04.005
https://doi.org/10.1016/j.jpdc.2023.04.005
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XVI ISBN: 9783662653029
Structural transformations that preserve properties of formal models of concurrent systems make their verification easier. We define structural transformations that allow to abstract and refine elementary net systems. Relations between abstract model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7616eea5dbec16e3f89e0ddfb953d4c
https://hdl.handle.net/10281/404098
https://hdl.handle.net/10281/404098
Autor:
Sergey, Shershakov, Irina, Lomazova
Publikováno v:
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering.
The correctness of embedded systems software is of critical importance as invalid states can cause a physical damage to hardware. One of approaches to verification of such systems is using source code analyzers. The Static Driver Verifier Research Pl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::a650f7962e22f1c413c5683dcc895900
http://cyberleninka.ru/article_covers/14517258.png
http://cyberleninka.ru/article_covers/14517258.png
Publikováno v:
Scopus-Elsevier
We study the relation between labelled transition systems and the corresponding partial orders of regions. In particular, we focus on the sets of their potential events, or labels on the transitions, providing them with a structure so as to reason ab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7c556a165c4185603e2db8061cf18dc4
http://www.scopus.com/inward/record.url?eid=2-s2.0-85049066304&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85049066304&partnerID=MN8TOARS