Detail výsledku

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

HAŠA, L.; ČEŠKA, M. Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets. Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: Marq software s.r.o., 2003. p. 177-182. ISBN: 80-85988-86-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Haša Luděk, Ing.
Češka Milan, prof. RNDr., CSc.
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

Rok
2003
Strany
177–182
Sborník
Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems
Konference
MOSIS 2003 - Modelling and Simulation of Systems
ISBN
80-85988-86-0
Vydavatel
Marq software s.r.o.
Místo
Ostrava
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"
}
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru