A Logic for the Specification of Multi-Object Systems

Autor: Broersen, Jan, Wieringa, Roel, Ciancarini, Paolo, Fantechi, Alessandro, Gorrieri, Robert

Publikováno v: Formal Methods for Open Object-Based Distributed Systems ISBN: 9781475752663
Proc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 241-258
STARTPAGE=241;ENDPAGE=258;TITLE=Proc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 387-398
STARTPAGE=387;ENDPAGE=398;TITLE=Formal Methods for Open Object-Based Distributed Systems

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::268343887fd87dea6e85ee113cad856b
https://doi.org/10.1007/978-0-387-35562-7_30