by Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers
Abstract:
Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to express and to reason about the properties that a given graph may satisfy. With this aim, in this paper we present a visual logic that allows us to describe graph properties, including navigational properties, i.e., properties about the paths in a graph. The logic is equipped with a deductive tableau method that we have proved to be sound and complete.
Reference:
A navigational logic for reasoning about graph properties (Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers), In Journal of Logical and Algebraic Methods in Programming, volume 118, 2021.
Bibtex Entry:
@Article{Navarro+21,
AUTHOR = {Navarro, Marisa and Orejas, Fernando and Pino, Elvira and Lambers, Leen},
TITLE = {{A navigational logic for reasoning about graph properties}},
YEAR = {2021},
JOURNAL = {Journal of Logical and Algebraic Methods in Programming},
VOLUME = {118},
PAGES = {100616},
URL = {https://doi.org/10.1016/j.jlamp.2020.100616},
OPTacc_url = {},
PDF = {uploads/pdf/Navarro+20_graph-logic-latest-file.pdf},
ABSTRACT = {Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to express and to reason about the properties that a given graph may satisfy. With this aim, in this paper we present a visual logic that allows us to describe graph properties, including navigational properties, i.e., properties about the paths in a graph. The logic is equipped with a deductive tableau method that we have proved to be sound and complete.}
}