Security via factual keywords.

Use the "principal" keyword in the key of a fact to declare that it participates in asymmetric encryption. The fact's key includes a public key. The "principal" keyword must be combined with the "u...

Id #7608 | Release: None | Updated: Sep 23, 2013 at 4:32 PM by MichaelLPerry1971 | Created: Sep 23, 2013 at 4:32 PM by MichaelLPerry1971

Fact manifest

To solve the two problems of versioning and integration, compile multiple fact files via a fact manifest. The manifest is a file named Model.fman. If this file is present, it takes precedence over...

Id #7537 | Release: None | Updated: Jul 26, 2013 at 3:23 PM by MichaelLPerry1971 | Created: Jul 26, 2013 at 1:31 PM by MichaelLPerry1971

Interfaces

Like a fact, an interface can define predecessors, fields, queries, and predicates. Unlike a fact, all members (including predecessors and fields) are abstract. A fact implementing an interface mus...

Id #5678 | Release: None | Updated: Feb 13, 2013 at 8:02 PM by MichaelLPerry1971 | Created: Jan 18, 2011 at 5:14 PM by MichaelLPerry1971

Abstract facts

Allow a fact to be declared abstract. An abstract fact may have abstract queries or predicates. Abstract facts cannot be instantiated. Derived facts must implement all abstract queries and predicat...

Id #5677 | Release: None | Updated: Feb 13, 2013 at 8:02 PM by MichaelLPerry1971 | Created: Jan 18, 2011 at 5:02 PM by MichaelLPerry1971

Inheritance

Define an inheritance relationship between facts. This allows future modules to extend referenced facts by defining derived facts that participate in a predecessor's query. The query does not know ...

Id #5676 | Release: None | Updated: Feb 13, 2013 at 8:02 PM by MichaelLPerry1971 | Created: Jan 18, 2011 at 4:59 PM by MichaelLPerry1971

Import factual models for modular decomposition

A factual model currently is all in one file. The facts in the model can only refer to other facts in the same model. Implement the import keyword to reference facts from other models, optionally a...

Id #5675 | Release: None | Updated: Feb 13, 2013 at 8:02 PM by MichaelLPerry1971 | Created: Jan 18, 2011 at 4:48 PM by MichaelLPerry1971

Allow boolean value fields.

The bool keyword is currently reserved for predicates. Allow it to be applied to fields as well.

Id #5674 | Release: None | Updated: Feb 13, 2013 at 8:02 PM by MichaelLPerry1971 | Created: Jan 18, 2011 at 4:43 PM by MichaelLPerry1971

  • 1-7 of 7 Work Items
    • Previous
    • 1
    • Next
    • Showing
    • All
    • Work Items