Detail publikace

A PNtalk-based Model of a Cooperative Editor

Originální název

A PNtalk-based Model of a Cooperative Editor

Anglický název

A PNtalk-based Model of a Cooperative Editor

Jazyk

en

Originální abstrakt

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 analysing and verifying distributed systems by means of PNtalk OOPNs.

Anglický abstrakt

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 analysing and verifying distributed systems by means of PNtalk OOPNs.

BibTex


@inproceedings{BUT5445,
  author="Radek {Kočí} and Tomáš {Vojnar}",
  title="A PNtalk-based Model of a Cooperative Editor",
  annote="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 analysing and verifying distributed systems by means of
PNtalk OOPNs.",
  booktitle="Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001",
  chapter="5445",
  year="2001",
  month="january",
  pages="165--172",
  type="conference paper"
}