search

mondo-project / mondo-hawk

Heterogeneous model indexing solution, based on NoSQL stores.
Eclipse Public License 2.0
17 stars 5 forks source link

Add linear temporal logic primitives #81

Closed agarciadom closed 5 years ago

agarciadom commented 5 years ago

We should support more primitives for querying the history of a type/object. We could base them on Dwyer's pattern-based approaches, which are much easier to understand than full-on linear temporal logic.

agarciadom commented 5 years ago

Most of the primitives are now implemented. We could still add a few more, e.g. something equivalent to the "weak release" (e.g. "weakBefore" / "weakUntil"), which instead of returning null if a matching version does not exist, could simply go up to the end of the history. I will close this issue and create a followup issue with some of this pending work.