dal-engine-core-js-lib-dev 0.0.0 → 0.0.2

package/dist/index.esm.js

@@ -52,6 +52,18 @@ ENGINE_TYPES$1 = Object.freeze(ENGINE_TYPES$1);
 
 var ENGINE_TYPES = ENGINE_TYPES$1;
 
+class MissingAttributes extends DALEngineError {
+    constructor (type, attribute) {
+        let msg;
+        if (Array.isArray(attribute) && attribute.length > 1) {
+            msg = `"${type}" must be initialized with the attributes "${attribute}".`;
+        } else {
+            msg = `"${type}" must be initialized with the attribute "${attribute}".`;
+        }
+        super(msg);
+    }
+}
+
 /**
  * Class representing a Invariant in the design.
  */
@@ -65,16 +77,34 @@ class Invariant extends Base {
         super();
         this.type = ENGINE_TYPES.INVARIANT;
         this.invariantViolated = false;
-        if (typeof args === "object" && args !== null) {
-            if (Object.hasOwn(args, "uid")) {
-                this.loadInvariantFromJSON(args);
-            } else {
-                this.name = args.name;
-                this.rule = args.rule;
-            }
+        this.invariantType = null;
+        this.traceId = null;
+        if (typeof args === "object" && Object.hasOwn(args, "uid")) {
+            this.loadInvariantFromJSON(args);
+        } else {
+            this.loadArgs(args);
         }
     }
 
+    /**
+     * Loads the provided arguments.
+     * @throws {MissingAttributes} Thrown when required attr is not present.
+     * @param {Object} args
+     */
+    loadArgs (args) {
+        const expectedAttributes = ["name", "rule"];
+        if (typeof args !== "object" || args === null || Array.isArray(args)) {
+            // Not an object, so all attributes are missing.
+            throw new MissingAttributes("Invariant", expectedAttributes);
+        }
+        expectedAttributes.forEach((attr) => {
+            if (!(attr in args)) {
+                throw new MissingAttributes("Invariant", attr);
+            }
+            this[attr] = args[attr];
+        });
+    }
+
     /**
      * Loads the participant from a JSON object.
      * @param {Object} invariantJSON
@@ -107,13 +137,52 @@ class Invariant extends Base {
     enforceMinLength (value) {
         if ("keys" in this.rule) {
             for (let i = 0; i < this.rule["keys"].length; i++) {
-                console.log(this.rule["keys"][i], value);
                 value = value[this.rule["keys"][i]];
             }
         }        if (value === null || typeof value !== "string" || value.length < this.rule.value) {
             this.invariantViolated = true;
         }
     }
+
+
+    /**
+     * Sets the invariant type.
+     *
+     * The two types of invariants are: Intrinsic and Substrate
+     *
+     * Substrate invariants are learnt by the design from the
+     * environment.
+     *
+     * Intrinsic invariants are arrived at naturally from the
+     * designs control flow, data dependencies and semantic assumptions.
+     *
+     * @param {String} invariantType
+     */
+    setInvariantType (invariantType) {
+        // TODO: Add validation for invariantType.
+        this.invariantType = invariantType;
+    }
+
+    /**
+     * This function adds the trace id which can be used for
+     * automated testing.
+     *
+     * Substrate invariants correspond to a trace that represents
+     * an environment that reveals a limitation of the substrate,
+     * thus motivating the invariant. It is also the environment
+     * in which an implementation can prove that it respects this
+     * invariant.
+     *
+     * Intrisinc invariants correspond to a trace that represents
+     * a factory default environment that enables the implementation
+     * to prove that it respects the invariant.
+     *
+     * @param {String} traceId ID of trace used for automated testing.
+     */
+    setTraceId (traceId) {
+        // TODO: Add validation for traceId.
+        this.traceId = traceId;
+    }
 }
 
 /**
@@ -129,16 +198,34 @@ class Participant extends Base {
         super();
         this.type = ENGINE_TYPES.INVARIANT;
         this.invariants = [];
+        this.abstractionId = null;
         this.invariantViolated = false;
-        if (typeof args === "object" && args !== null) {
-            if (Object.hasOwn(args, "uid")) {
-                this.loadParticipantFromJSON(args);
-            } else {
-                this.name = args.name;
-            }
+        if (typeof args === "object" && Object.hasOwn(args, "uid")) {
+            this.loadParticipantFromJSON(args);
+        } else {
+            this.loadArgs(args);
         }
     }
 
+    /**
+     * Loads the provided arguments.
+     * @throws {MissingAttributes} Thrown when required attr is not present.
+     * @param {Object} args
+     */
+    loadArgs (args) {
+        const expectedAttributes = ["name"];
+        if (typeof args !== "object" || args === null || Array.isArray(args)) {
+            // Not an object, so all attributes are missing.
+            throw new MissingAttributes("Participant", expectedAttributes);
+        }
+        expectedAttributes.forEach((attr) => {
+            if (!(attr in args)) {
+                throw new MissingAttributes("Participant", attr);
+            }
+            this[attr] = args[attr];
+        });
+    }
+
     /**
      * Loads the participant from a JSON object.
      * @param {Object} participantJSON
@@ -185,6 +272,18 @@ class Participant extends Base {
         }
         return this.invariantViolated;
     }
+
+    /**
+     * Map the abstraction ID from the execution to the participant.
+     *
+     * This abstraction id will be used to assign a value to the
+     * participant from the execution using the logged abstraction id.
+     *
+     * @param {String} abstractionId
+     */
+    mapAbstraction (abstractionId) {
+        this.abstractionId = abstractionId;
+    }
 }
 
 /**
@@ -200,16 +299,34 @@ class Behavior extends Base {
         super();
         this.type = ENGINE_TYPES.BEHAVIOR;
         this.participants = [];
+        this.abstractionIds = [];
         this.invalidWorldState = false;
-        if (typeof args === "object" && args !== null) {
-            if (Object.hasOwn(args, "uid")) {
-                this.loadBehaviorFromJSON(args);
-            } else {
-                this.name = args.name;
-            }
+        if (typeof args === "object" && Object.hasOwn(args, "uid")) {
+            this.loadBehaviorFromJSON(args);
+        } else {
+            this.loadArgs(args);
         }
     }
 
+    /**
+     * Loads the provided arguments.
+     * @throws {MissingAttributes} Thrown when required attr is not present.
+     * @param {Object} args
+     */
+    loadArgs (args) {
+        const expectedAttributes = ["name"];
+        if (typeof args !== "object" || args === null || Array.isArray(args)) {
+            // Not an object, so all attributes are missing.
+            throw new MissingAttributes("Behavior", expectedAttributes);
+        }
+        expectedAttributes.forEach((attr) => {
+            if (!(attr in args)) {
+                throw new MissingAttributes("Behavior", attr);
+            }
+            this[attr] = args[attr];
+        });
+    }
+
     /**
      * Loads the behavior from a JSON object.
      * @param {Object} behaviorJSON
@@ -239,17 +356,21 @@ class Behavior extends Base {
      * @param {*} value
      */
     setParticipantValue (participantName, value) {
-        for (let i = 0; i < this.participants.length; i++) {
-            const participant = this.participants[i];
-            if (participant.name === participantName) {
-                participant.value = value;
-                const violation = participant.enforceInvariants();
-                if (violation) {
-                    this.invalidWorldState = true;
-                }
-            }
+        const participant = this.participants.find(obj => obj.name === participantName);
+        participant.value = value;
+        const violation = participant.enforceInvariants();
+        if (violation) {
+            this.invalidWorldState = true;
         }
     }
+
+    /**
+     * Maps the abstraction id from execution to the behavior.
+     * @param {String} abstractionId
+     */
+    addMapping (abstractionId) {
+        this.abstractionIds.push(abstractionId);
+    }
 }
 
 /**
@@ -264,13 +385,13 @@ class GraphNode extends Base {
     constructor (args) {
         super();
         this.type = ENGINE_TYPES.GRAPH_NODE;
-        this.goToBehaviors = [];
+        this.goToBehaviorsIds = [];
         if (typeof args === "object" && args !== null) {
             if (Object.hasOwn(args, "uid")) {
                 this.loadNodeFromJSON(args);
             } else {
                 this.behavior = args.behavior;
-                this.goToBehaviors = args.goToBehaviors;
+                this.goToBehaviorsIds = args.goToBehaviorsIds;
             }
         }
     }
@@ -283,13 +404,22 @@ class GraphNode extends Base {
         for (const [key, value] of Object.entries(nodesJSON)) {
             if (key === "behavior") {
                 this.behavior = new Behavior(value);
-            } else if (key === "goToBehaviors") {
-                value.forEach(node => this.goToBehaviors.push(new Behavior(node)));
+            } else if (key === "goToBehaviorsIds") {
+                value.forEach(behaviorId => this.goToBehaviorsIds.push(behaviorId));
             } else {
                 this[key] = nodesJSON[key];
             }
         }    }
 
+    /**
+     * Adds a behavior name to the list of behaviors that this 
+     * node transitions to.
+     * @param {String} behaviorId ID of behavior.
+     */
+    addGoToBehavior (behaviorId) {
+        this.goToBehaviorsIds.push(behaviorId);
+    }
+
     /**
      * Checks if the provided behavior name is a valid
      * behavior that the control flow selects as a
@@ -299,9 +429,9 @@ class GraphNode extends Base {
      * @returns {Boolean}
      */
     isValidGoToBehavior (behaviorName) {
-        for (let i = 0; i < this.goToBehaviors.length; i++) {
-            const behavior = this.goToBehaviors[i];
-            if (behavior.name === behaviorName) {
+        for (let i = 0; i < this.goToBehaviorsIds.length; i++) {
+            const behaviorId = this.goToBehaviorsIds[i];
+            if (behaviorId === behaviorName) {
                 return true;
             }
         }
@@ -347,13 +477,13 @@ class BehavioralControlGraph extends Base {
     /**
      * Adds a node to the graph.
      * @param {Behavior} behavior
-     * @param {Array} goToBehaviors
+     * @param {Array} goToBehaviorsIds
      * @returns
      */
-    addNode (behavior, goToBehaviors) {
+    addNode (behavior, goToBehaviorsIds) {
         const node = new GraphNode({
             behavior: behavior,
-            goToBehaviors: goToBehaviors,
+            goToBehaviorsIds: goToBehaviorsIds,
         });
         this.nodes.push(node);
         return node;
@@ -410,6 +540,20 @@ class BehavioralControlGraph extends Base {
             throw new InvalidTransitionError(this.currentNode.behavior.name, nextBehaviorName);
         }
     }
+
+    /**
+     * Exports the graph represented using mermaid syntax for visualization.
+     * @returns {String} Graph as mermaid diagram.
+     */
+    exportAsMermaid () {
+        let mermaid = "flowchart TD\n";
+        this.nodes.forEach((node) => {
+            node.goToBehaviorsIds.forEach((behaviorId) => {
+                mermaid += `  ${node.behavior.name} --> ${behaviorId}\n`;
+            });
+        });
+        return mermaid;
+    }
 }
 
 /**
@@ -417,16 +561,37 @@ class BehavioralControlGraph extends Base {
  * abstraction language. It exposes functions
  * configure the engine through the DAL specification.
  *
- * The execution of an program instrumented with the
- * same design be used to step through the design
- * while the engine automatically debugs the execution.
+ * The design specified in this engine is mapped onto
+ * the implementation using abstraction ids. The
+ * implementation is then instrumented and the resulting
+ * execution trace is fed back into the engine and is
+ * automatically debugged by transforming the execution
+ * into the behavior of the design and enforcing the
+ * invariants.
  */
 class DALEngine {
     constructor (args) {
         this.graph = new BehavioralControlGraph();
-        for (const [key, value] of Object.entries(args)) {
-            this[key] = value;
+        this.loadArgs(args);
+    }
+
+    /**
+     * Loads the provided arguments.
+     * @throws {MissingAttributes} Thrown when required attr is not present.
+     * @param {Object} args
+     */
+    loadArgs (args) {
+        const expectedAttributes = ["name"];
+        if (typeof args !== "object" || args === null || Array.isArray(args)) {
+            // Not an object, so all attributes are missing.
+            throw new MissingAttributes("Engine", expectedAttributes);
         }
+        expectedAttributes.forEach((attr) => {
+            if (!(attr in args)) {
+                throw new MissingAttributes("Engine", attr);
+            }
+            this[attr] = args[attr];
+        });
     }
 
     /**
@@ -452,9 +617,6 @@ class DALEngine {
      * @returns {Participant}
      */
     createParticipant (args) {
-        // TODO: Validate that the args have the necessary keys
-        // and raise custom error if they are missing.
-        // Perhaps it is better to do that in the class itself.
         return new Participant(args);
     }
 
@@ -464,8 +626,6 @@ class DALEngine {
      * @returns {Behavior}
      */
     createBehavior (args) {
-        // TODO: Validate that the args have the necessary keys
-        // and raise custom error if they are missing.
         return new Behavior(args);
     }
 
@@ -475,10 +635,45 @@ class DALEngine {
      * @returns {Invariant}
      */
     createInvariant (args) {
-        // TODO: Validate that the args have the necessary keys
-        // and raise custom error if they are missing.
         return new Invariant(args);
     }
+
+
+    /**
+     * Returns the node in the graph with the given behavior name.
+     * @param {String} behaviorId
+     * @returns {GraphNode}
+     */
+    getNode (behaviorId) {
+        return this.graph.findNode(behaviorId);
+    }
+
+    /**
+     * Adds a node to the graph with the given behaviorId and goToBehaviors.
+     * @param {String} behaviorId
+     * @param {Array} goToBehaviorsIds
+     * @returns {GraphNode}
+     */
+    addNode (behaviorId, goToBehaviorsIds) {
+        const behavior = this.createBehavior({name: behaviorId});
+        return this.graph.addNode(behavior, goToBehaviorsIds);
+    }
+
+    /**
+     * Adds a goToBehavior to the node with the given behaviorId.
+     * @param {String} behaviorId
+     * @param {String|Array} goToBehaviorIds
+     * @returns {GraphNode}
+     */
+    addGoToBehavior (behaviorId, goToBehaviorIds) {
+        const node = this.graph.findNode(behaviorId);
+        if (Array.isArray(goToBehaviorIds)) {
+            node.goToBehaviorsIds.push(...goToBehaviorIds);
+        } else {
+            node.goToBehaviorsIds.push(goToBehaviorIds);
+        }
+        return node;
+    }
 }
 
 export { DALEngine };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dal-engine-core-js-lib-dev",
-  "version": "0.0.0",
+  "version": "0.0.2",
   "main": "dist/index.cjs",
   "module": "dist/index.esm.js",
   "type": "module",

package/src/BehavioralControlGraph/BehavioralControlGraph.js

@@ -43,13 +43,13 @@ class BehavioralControlGraph extends Base {
     /**
      * Adds a node to the graph.
      * @param {Behavior} behavior
-     * @param {Array} goToBehaviors
+     * @param {Array} goToBehaviorsIds
      * @returns
      */
-    addNode (behavior, goToBehaviors) {
+    addNode (behavior, goToBehaviorsIds) {
         const node = new GraphNode({
             behavior: behavior,
-            goToBehaviors: goToBehaviors,
+            goToBehaviorsIds: goToBehaviorsIds,
         });
         this.nodes.push(node);
         return node;
@@ -106,6 +106,20 @@ class BehavioralControlGraph extends Base {
             throw new InvalidTransitionError(this.currentNode.behavior.name, nextBehaviorName);
         }
     }
-}
+
+    /**
+     * Exports the graph represented using mermaid syntax for visualization.
+     * @returns {String} Graph as mermaid diagram.
+     */
+    exportAsMermaid () {
+        let mermaid = "flowchart TD\n";
+        this.nodes.forEach((node) => {
+            node.goToBehaviorsIds.forEach((behaviorId) => {
+                mermaid += `  ${node.behavior.name} --> ${behaviorId}\n`;
+            });
+        });
+        return mermaid;
+    }
+};
 
 export default BehavioralControlGraph;

package/src/BehavioralControlGraph/GraphNode.js

@@ -13,13 +13,13 @@ class GraphNode extends Base {
     constructor (args) {
         super();
         this.type = ENGINE_TYPES.GRAPH_NODE;
-        this.goToBehaviors = [];
+        this.goToBehaviorsIds = [];
         if (typeof args === "object" && args !== null) {
             if (Object.hasOwn(args, "uid")) {
                 this.loadNodeFromJSON(args);
             } else {
                 this.behavior = args.behavior;
-                this.goToBehaviors = args.goToBehaviors;
+                this.goToBehaviorsIds = args.goToBehaviorsIds;
             }
         }
     }
@@ -32,14 +32,23 @@ class GraphNode extends Base {
         for (const [key, value] of Object.entries(nodesJSON)) {
             if (key === "behavior") {
                 this.behavior = new Behavior(value);
-            } else if (key === "goToBehaviors") {
-                value.forEach(node => this.goToBehaviors.push(new Behavior(node)));
+            } else if (key === "goToBehaviorsIds") {
+                value.forEach(behaviorId => this.goToBehaviorsIds.push(behaviorId));
             } else {
                 this[key] = nodesJSON[key];
             }
         };
     }
 
+    /**
+     * Adds a behavior name to the list of behaviors that this 
+     * node transitions to.
+     * @param {String} behaviorId ID of behavior.
+     */
+    addGoToBehavior (behaviorId) {
+        this.goToBehaviorsIds.push(behaviorId);
+    }
+
     /**
      * Checks if the provided behavior name is a valid
      * behavior that the control flow selects as a
@@ -49,9 +58,9 @@ class GraphNode extends Base {
      * @returns {Boolean}
      */
     isValidGoToBehavior (behaviorName) {
-        for (let i = 0; i < this.goToBehaviors.length; i++) {
-            const behavior = this.goToBehaviors[i];
-            if (behavior.name === behaviorName) {
+        for (let i = 0; i < this.goToBehaviorsIds.length; i++) {
+            const behaviorId = this.goToBehaviorsIds[i];
+            if (behaviorId === behaviorName) {
                 return true;
             }
         }

package/src/DALEngine.js

@@ -1,4 +1,5 @@
 import BehavioralControlGraph from "./BehavioralControlGraph/BehavioralControlGraph";
+import MissingAttributes from "./Errors/MissingAttributes";
 import Behavior from "./Members/Behavior";
 import Invariant from "./Members/Invariant";
 import Participant from "./Members/Participant";
@@ -8,16 +9,37 @@ import Participant from "./Members/Participant";
  * abstraction language. It exposes functions
  * configure the engine through the DAL specification.
  *
- * The execution of an program instrumented with the
- * same design be used to step through the design
- * while the engine automatically debugs the execution.
+ * The design specified in this engine is mapped onto
+ * the implementation using abstraction ids. The
+ * implementation is then instrumented and the resulting
+ * execution trace is fed back into the engine and is
+ * automatically debugged by transforming the execution
+ * into the behavior of the design and enforcing the
+ * invariants.
  */
 export class DALEngine {
     constructor (args) {
         this.graph = new BehavioralControlGraph();
-        for (const [key, value] of Object.entries(args)) {
-            this[key] = value;
+        this.loadArgs(args);
+    }
+
+    /**
+     * Loads the provided arguments.
+     * @throws {MissingAttributes} Thrown when required attr is not present.
+     * @param {Object} args
+     */
+    loadArgs (args) {
+        const expectedAttributes = ["name"];
+        if (typeof args !== "object" || args === null || Array.isArray(args)) {
+            // Not an object, so all attributes are missing.
+            throw new MissingAttributes("Engine", expectedAttributes);
         }
+        expectedAttributes.forEach((attr) => {
+            if (!(attr in args)) {
+                throw new MissingAttributes("Engine", attr);
+            }
+            this[attr] = args[attr];
+        });
     }
 
     /**
@@ -43,9 +65,6 @@ export class DALEngine {
      * @returns {Participant}
      */
     createParticipant (args) {
-        // TODO: Validate that the args have the necessary keys
-        // and raise custom error if they are missing.
-        // Perhaps it is better to do that in the class itself.
         return new Participant(args);
     }
 
@@ -55,8 +74,6 @@ export class DALEngine {
      * @returns {Behavior}
      */
     createBehavior (args) {
-        // TODO: Validate that the args have the necessary keys
-        // and raise custom error if they are missing.
         return new Behavior(args);
     }
 
@@ -66,8 +83,43 @@ export class DALEngine {
      * @returns {Invariant}
      */
     createInvariant (args) {
-        // TODO: Validate that the args have the necessary keys
-        // and raise custom error if they are missing.
         return new Invariant(args);
     }
+
+
+    /**
+     * Returns the node in the graph with the given behavior name.
+     * @param {String} behaviorId
+     * @returns {GraphNode}
+     */
+    getNode (behaviorId) {
+        return this.graph.findNode(behaviorId);
+    }
+
+    /**
+     * Adds a node to the graph with the given behaviorId and goToBehaviors.
+     * @param {String} behaviorId
+     * @param {Array} goToBehaviorsIds
+     * @returns {GraphNode}
+     */
+    addNode (behaviorId, goToBehaviorsIds) {
+        const behavior = this.createBehavior({name: behaviorId});
+        return this.graph.addNode(behavior, goToBehaviorsIds);
+    }
+
+    /**
+     * Adds a goToBehavior to the node with the given behaviorId.
+     * @param {String} behaviorId
+     * @param {String|Array} goToBehaviorIds
+     * @returns {GraphNode}
+     */
+    addGoToBehavior (behaviorId, goToBehaviorIds) {
+        const node = this.graph.findNode(behaviorId);
+        if (Array.isArray(goToBehaviorIds)) {
+            node.goToBehaviorsIds.push(...goToBehaviorIds);
+        } else {
+            node.goToBehaviorsIds.push(goToBehaviorIds);
+        }
+        return node;
+    }
 }

package/src/Errors/MissingAttributes.js

@@ -0,0 +1,15 @@
+import DALEngineError from "./DALEngineError";
+
+class MissingAttributes extends DALEngineError {
+    constructor (type, attribute) {
+        let msg;
+        if (Array.isArray(attribute) && attribute.length > 1) {
+            msg = `"${type}" must be initialized with the attributes "${attribute}".`
+        } else {
+            msg = `"${type}" must be initialized with the attribute "${attribute}".`
+        }
+        super(msg);
+    }
+}
+
+export default MissingAttributes;