Detail publikace

Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets

HAŠA, L. ČEŠKA, M.

Originální název

Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

The basic principles and approaches of model checking for Object-Oriented Petri Nets (OOPNs) are introduced and described in this paper. Specifications of checked properties in model checking are expressed in temporal logics. Allocational temporal logic (ATL) can be used as a formalism to express properties concerning the dynamic allocation and deallocation of entities, such as the objects in an object-based system.

Klíčová slova

allocational temporal logic, model checking, OOPN, linear temporal logic

Autoři

HAŠA, L.; ČEŠKA, M.

Rok RIV

2003

Vydáno

29. 4. 2003

Místo

Ostrava

ISBN

80-85988-86-0

Kniha

Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems

Strany od

177

Strany do

182

Strany počet

6

BibTex

@inproceedings{BUT13982,
  author="Luděk {Haša} and Milan {Češka}",
  title="Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets",
  booktitle="Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems",
  year="2003",
  pages="177--182",
  address="Ostrava",
  isbn="80-85988-86-0"
}