Detail publikace

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

Originální název

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

Anglický název

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

Jazyk

en

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 cocerning the dynamic allocation and deallocation of entities, such as the objects in an object-based system.

Anglický 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 cocerning the dynamic allocation and deallocation of entities, such as the objects in an object-based system.

BibTex


@inproceedings{BUT13982,
  author="Luděk {Haša} and Milan {Češka}",
  title="Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets",
  annote="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 cocerning the dynamic allocation and deallocation of entities, such as the objects in an object-based system.",
  booktitle="Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems",
  chapter="13982",
  year="2003",
  month="april",
  pages="177--182",
  type="conference paper"
}