A logic for the specification of multi-object systems


Share/Save/Bookmark

Broersen, Jan and Wieringa, Roel (1999) A logic for the specification of multi-object systems. In: Third International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999, 15-18 February 1999, Firenze, Italy (pp. pp. 387-398).

open access
[img]
Preview
PDF
223kB
Abstract:We present Multi-Object Dynamic Logic (MODL), a generalization of Dynamic Logic of which the intended use is the declarative specification of systems that are conceptually described by a multitude of objects. In an example specification of the controls of a railroad crossing we demonstrate how MODL can be used to give semantics and reasoning capacity to graphical languages for communicating multi-object systems. Finally we study to what extend temporal and mixed dynamic/temporal properties can be expressed in MODL.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64216
Official URL:http://dx.doi.org/10.1007/978-0-387-35562-7_30
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118903