A PNtalk-based Model of a Cooperative Editor
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F01%3APU28665" target="_blank" >RIV/00216305:26220/01:PU28665 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A PNtalk-based Model of a Cooperative Editor
Popis výsledku v původním jazyce
The paper presents a case study of using the object-oriented Petri nets (OOPNs) associated with the language and tool PNtalk to model a non-trivial distributed software system, namely a cooperative editor of hierarchical diagrams. In the paper there is developed an object model of (a key part of) the editor, which is subsequently transformed into an OOPN. After some refinement, the obtained model should further serve for evaluating the tools being developed for simulating, prototyping, and formally anallysing and verifying distributed systems by means of PNtalk OOPNs.
Název v anglickém jazyce
A PNtalk-based Model of a Cooperative Editor
Popis výsledku anglicky
The paper presents a case study of using the object-oriented Petri nets (OOPNs) associated with the language and tool PNtalk to model a non-trivial distributed software system, namely a cooperative editor of hierarchical diagrams. In the paper there is developed an object model of (a key part of) the editor, which is subsequently transformed into an OOPN. After some refinement, the obtained model should further serve for evaluating the tools being developed for simulating, prototyping, and formally anallysing and verifying distributed systems by means of PNtalk OOPNs.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F00%2F1017" target="_blank" >GA102/00/1017: Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2001
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001
ISBN
80-85988-57-7
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
165-172
Název nakladatele
Neuveden
Místo vydání
Hradec nad Moravicí, Czech Republic
Místo konání akce
Hradec nad Moravicí
Datum konání akce
9. 5. 2001
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—