Publication result detail

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

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

Original Title

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

English Title

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

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

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

Key words in English

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

Authors

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

Released

29.04.2003

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-85988-86-0

Book

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

Pages from

177

Pages to

182

Pages count

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-86-0"
}