A logic for the specification of multi-object systems

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, 15-18 Feb 1999, Firenze, Italy.

Preview

PDF
218Kb

Abstract:	We present Multi-Object Dynamic Logic (MODL), a generalization of Dynamic Logic of which the intended use is the declarative specication of systems that are conceptually described by a multitude of objects. The semantics and entailment properties of MODL are based on some a priori requirements for a modal multi-object specication logic. In an example specication 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. In this example we introduce the idea of identifying the concept of event-triggering, which is used in the graphical languages, with the concept of action implication (action calling) in MODL. 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:	Information Systems (IS)
Link to this item:	http://purl.utwente.nl/publications/64216
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 118903