Detail publikačního výsledku

A PNtalk-based Model of a Cooperative Editor

KOČÍ, R.; VOJNAR, T.

Originální název

A PNtalk-based Model of a Cooperative Editor

Anglický název

A PNtalk-based Model of a Cooperative Editor

Druh

Stať ve sborníku mimo WoS a Scopus

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 anon-trivial distributed software system, namely a cooperative editor ofhierarchical diagrams. In the paper there is developed an object modelof (a key part of) the editor, which is subsequently transformed intoan OOPN. After some refinement, the obtained model should further servefor evaluating the tools being developed for simulating, prototyping,and formally analysing and verifying distributed systems by means ofPNtalk 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 anon-trivial distributed software system, namely a cooperative editor ofhierarchical diagrams. In the paper there is developed an object modelof (a key part of) the editor, which is subsequently transformed intoan OOPN. After some refinement, the obtained model should further servefor evaluating the tools being developed for simulating, prototyping,and formally analysing and verifying distributed systems by means ofPNtalk OOPNs.

Klíčová slova

formal modelling, object-oriented Petri nets, distributed systems

Klíčová slova v angličtině

formal modelling, object-oriented Petri nets, distributed systems

Autoři

KOČÍ, R.; VOJNAR, T.

Vydáno

01.01.2001

Nakladatel

Marq software s.r.o.

Místo

Hradec nad Moravicí, Czech Republic

ISBN

80-85988-57-7

Kniha

Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001

Strany od

165

Strany do

172

Strany počet

8

URL

http://www.fit.vutbr.cz/~koci/publications/mosis01.ps

BibTex

@inproceedings{BUT5445,
  author="Radek {Kočí} and Tomáš {Vojnar}",
  title="A PNtalk-based Model of a Cooperative Editor",
  booktitle="Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001",
  year="2001",
  pages="165--172",
  publisher="Marq software s.r.o.",
  address="Hradec nad Moravicí, Czech Republic",
  isbn="80-85988-57-7",
  url="http://www.fit.vutbr.cz/~koci/publications/mosis01.ps"
}