A PNtalk-based Model of a Cooperative Editor
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
A PNtalk-based Model of a Cooperative Editor
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F00%2F1017" target="_blank" >GA102/00/1017: Modelling, verifying and prototyping distributed applications using Petri nets</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2001
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001
ISBN
80-85988-57-7
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
165-172
Publisher name
Neuveden
Place of publication
Hradec nad Moravicí, Czech Republic
Event location
Hradec nad Moravicí
Event date
May 9, 2001
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—