sysml-validate 0.11.0 → 0.14.3

package/resources/sysml.library/Kernel Libraries/Kernel Semantic Library/Links.kerml

@@ -1,67 +1,67 @@
-standard library package Links {
-    doc
-    /*
-     * This package defines associations and features that are related to the typing of links.
-     */
-
-    private import Base::Anything;
-    private import Base::things;
-    
-    abstract assoc Link specializes Anything {
-        doc
-        /*
-         * Link is the most general association between two or more things.
-         */
-
-        feature participant: Anything[2..*] nonunique ordered;
-    }
-    
-    assoc all BinaryLink specializes Link {
-        doc
-        /*
-         * BinaryLink is the most general binary association between exactly two things, 
-         * nominally directed from source to target.
-         */
-         
-        feature participant: Anything[2] nonunique ordered redefines Link::participant;
-        
-        end feature source: Anything[1] subsets participant;
-        end feature target: Anything[1] subsets participant;
-    }
-    
-    assoc all SelfLink specializes BinaryLink {
-        doc
-        /*
-         * SelfLink is a binary association in which the things at the two ends are asserted
-         * to be the same.
-         */
-        
-        end feature thisThing: Anything redefines source subsets sameThing crosses sameThing.self;
-        end self2 [1] feature sameThing: Anything redefines target subsets thisThing;
-    }
-        
-    abstract feature links: Link[0..*] nonunique subsets things {
-        doc
-        /*
-         * links is the most general feature of links between individuals.
-         */
-    }
-    
-    abstract feature binaryLinks: BinaryLink[0..*] nonunique subsets links {
-        doc
-        /*
-         * binaryLinks is a specialization of links restricted to type BinaryLink.
-         */
-    }
-    
-    abstract feature selfLinks: SelfLink[0..*] nonunique subsets binaryLinks {
-        doc
-        /*
-         * selfLinks is a specialization of binaryLinks restricted to type SelfLink.
-         */
-
-        end feature thisThing: Anything redefines SelfLink::thisThing, binaryLinks::source;
-        end feature sameThing: Anything redefines SelfLink::sameThing, binaryLinks::target;
-    }
-
+standard library package Links {
+    doc
+    /*
+     * This package defines associations and features that are related to the typing of links.
+     */
+
+    private import Base::Anything;
+    private import Base::things;
+    
+    abstract assoc Link specializes Anything {
+        doc
+        /*
+         * Link is the most general association between two or more things.
+         */
+
+        feature participant: Anything[2..*] nonunique ordered;
+    }
+    
+    assoc all BinaryLink specializes Link {
+        doc
+        /*
+         * BinaryLink is the most general binary association between exactly two things, 
+         * nominally directed from source to target.
+         */
+         
+        feature participant: Anything[2] nonunique ordered redefines Link::participant;
+        
+        end feature source: Anything[1] subsets participant;
+        end feature target: Anything[1] subsets participant;
+    }
+    
+    assoc all SelfLink specializes BinaryLink {
+        doc
+        /*
+         * SelfLink is a binary association in which the things at the two ends are asserted
+         * to be the same.
+         */
+        
+        end feature thisThing: Anything redefines source subsets sameThing crosses sameThing.self;
+        end self2 [1] feature sameThing: Anything redefines target subsets thisThing;
+    }
+        
+    abstract feature links: Link[0..*] nonunique subsets things {
+        doc
+        /*
+         * links is the most general feature of links between individuals.
+         */
+    }
+    
+    abstract feature binaryLinks: BinaryLink[0..*] nonunique subsets links {
+        doc
+        /*
+         * binaryLinks is a specialization of links restricted to type BinaryLink.
+         */
+    }
+    
+    abstract feature selfLinks: SelfLink[0..*] nonunique subsets binaryLinks {
+        doc
+        /*
+         * selfLinks is a specialization of binaryLinks restricted to type SelfLink.
+         */
+
+        end feature thisThing: Anything redefines SelfLink::thisThing, binaryLinks::source;
+        end feature sameThing: Anything redefines SelfLink::sameThing, binaryLinks::target;
+    }
+
 }

package/resources/sysml.library/Kernel Libraries/Kernel Semantic Library/Metaobjects.kerml

@@ -1,58 +1,58 @@
-standard library package Metaobjects {
-	doc
-	/*
-	 * This package defines Metaclasses and Features that are related to the typing of syntactic and semantic metadata.
-	 */
-
-	private import Objects::Object;
-	private import Objects::objects;
-	private import KerML::Element;
-	private import KerML::Type;
-	
-	abstract metaclass Metaobject specializes Object {
-		doc
-		/*
-		 * A Metaobject contains syntactic or semantic information about one or more annotatedElements. 
-		 * It is the most general Metaclass. All other Metaclasses must subclassify it directly or indirectly.
-		 */
-
-		feature redefines self : Metaobject;
-		
-		abstract feature annotatedElement : Element[1..*] {
-			doc
-			/*
-			 * The Elements annotated by this Metaobject. This is set automatically when a Metaobject is
-			 * instantiated as the value of a MetadataFeature.
-			 */
-		}
-	}
-	
-	abstract metaclass SemanticMetadata specializes Metaobject {
-		doc
-		/*
-		 * SemanticMetadata is a Metaobject that requires its single annotatedType to directly or indirectly specialize 
-		 * a baseType that models the semantics for the annotatedType.
-		 */
-		
-		abstract feature redefines annotatedElement : Type[1] {
-			doc
-			/*
-			 * The single annotatedElement of this SemanticMetadata, which must be a Type.
-			 */
-		}
-		
-		feature baseType : Type[1] {
-			doc
-			/*
-			 * The required base Type for the annotatedType.
-			 */
-		}
-	}
-	
-	feature metaobjects : Metaobject[0..*] :> objects {
-		/*
-		 * metaobjects is a specialization of objects restricted to type Metadata. It is the most general 
-		 * MetadataFeature. All other MetadataFeatures must subset it directly or indirectly.
-		 */
-	}
+standard library package Metaobjects {
+	doc
+	/*
+	 * This package defines Metaclasses and Features that are related to the typing of syntactic and semantic metadata.
+	 */
+
+	private import Objects::Object;
+	private import Objects::objects;
+	private import KerML::Element;
+	private import KerML::Type;
+	
+	abstract metaclass Metaobject specializes Object {
+		doc
+		/*
+		 * A Metaobject contains syntactic or semantic information about one or more annotatedElements. 
+		 * It is the most general Metaclass. All other Metaclasses must subclassify it directly or indirectly.
+		 */
+
+		feature redefines self : Metaobject;
+		
+		abstract feature annotatedElement : Element[1..*] {
+			doc
+			/*
+			 * The Elements annotated by this Metaobject. This is set automatically when a Metaobject is
+			 * instantiated as the value of a MetadataFeature.
+			 */
+		}
+	}
+	
+	abstract metaclass SemanticMetadata specializes Metaobject {
+		doc
+		/*
+		 * SemanticMetadata is a Metaobject that requires its single annotatedType to directly or indirectly specialize 
+		 * a baseType that models the semantics for the annotatedType.
+		 */
+		
+		abstract feature redefines annotatedElement : Type[1] {
+			doc
+			/*
+			 * The single annotatedElement of this SemanticMetadata, which must be a Type.
+			 */
+		}
+		
+		feature baseType : Type[1] {
+			doc
+			/*
+			 * The required base Type for the annotatedType.
+			 */
+		}
+	}
+	
+	feature metaobjects : Metaobject[0..*] :> objects {
+		/*
+		 * metaobjects is a specialization of objects restricted to type Metadata. It is the most general 
+		 * MetadataFeature. All other MetadataFeatures must subset it directly or indirectly.
+		 */
+	}
 }

package/resources/sysml.library/Kernel Libraries/Kernel Semantic Library/Objects.kerml

@@ -1,212 +1,212 @@
-standard library package Objects {
-	doc
-	/*
-	 * This package defines classifiers and features that are related to the typing of objects, including link objects.
-	 */
-
-	private import Base::Anything;
-	private import Base::things;
-	private import Links::*;
-	private import Occurrences::Occurrence;
-	private import Occurrences::occurrences;
-	private import Occurrences::HappensLink;
-	private import Occurrences::SelfSameLifeLink;
-	private import Occurrences::WithinBoth;	       
-	private import Performances::Performance;
-	private import Performances::performances;
-	private import SequenceFunctions::isEmpty;
-	private import SequenceFunctions::notEmpty;
-	private import SequenceFunctions::union;
-	private import CollectionFunctions::contains;
-	private import ScalarValues::Integer;
-	private import ScalarValues::Natural;
-	
-	abstract struct Object specializes Occurrence {
-		doc
-		/*
-		 * Object is the most general class of structural occurrences that may change over time.
-		 */
-
-		feature self: Object redefines Occurrence::self;
-		
-		composite feature subobjects: Object[0..*] subsets objects, suboccurrences
-			intersects objects, suboccurrences {
-			doc
-			/*
-			 * The suboccurrences of this Object that are also Objects.
-			 */
-		}
-		
-		feature involvingPerformances: Performance[0..*] subsets performances {
-			doc
-			/*
-			 * Performances in which this object is involved.
-			 */
-		}
-		
-		abstract step enactedPerformances: Performance[0..*] subsets involvingPerformances, timeEnclosedOccurrences
-			intersects involvingPerformances, timeEnclosedOccurrences {
-			doc
-			/*
-			 * Performances that are enacted by this object.
-			 */
-		}
-		
-		composite step ownedPerformances: Performance[0..*] subsets involvingPerformances, timeEnclosedOccurrences, suboccurrences
-			intersects involvingPerformances, timeEnclosedOccurrences, suboccurrences {
-			doc
-			/*
-			 * Performances that are owned by this object.
-			 */
-			 
-			feature redefines this default that {
-				doc
-				/*
-				 * The owning object is the default "this" reference for all ownedPerformances.
-				 */
-			}
-		}
-
-		portion structuredSpaceBoundary : StructuredSpaceObject[0..1] subsets spaceBoundary {
-			doc
-			/*
-			 * A space boundary that is a structured space object.
-			 */
-		}
-	}
-	
-	abstract assoc struct LinkObject specializes Link, Object intersects Link, Object {
-		doc
-		/*
-		 * LinkObject is the most general association structure, being both a Link and an Object.
-		 */
-	}
-	
-	assoc struct BinaryLinkObject specializes BinaryLink, LinkObject intersects BinaryLink, LinkObject {
-		doc
-		/*
-		 * BinaryLinkObject is the most general binary association structure, being both a 
-		 * BinaryLink and a LinkObject.
-		 */
-	}
-	
-	abstract feature objects: Object[0..*] nonunique subsets occurrences {
-		doc
-		/*
-		 * objects is a specialization of occurrences restricted to type Object.
-		 */
-	}
-	
-	abstract feature linkObjects: LinkObject[0..*] nonunique subsets links, objects intersects links, objects {
-		doc
-		/*
-		 * linkObjects is a specializations of links and objects restricted to type LinkObjects. 
-		 */
-	}
-	
-	abstract feature binaryLinkObjects: BinaryLinkObject[0..*] nonunique subsets binaryLinks, linkObjects
-		intersects binaryLinks, linkObjects {
-		doc
-		/*
-		 * binaryLinkObjects is a specialization of binaryLinks and linkObjects restricted to 
-		 * type BinaryLinkObjects.
-		 */
-	}
-	
-
-	struct all Body specializes Object {
-		doc
-		/*
-		 * A Body is an Object of inner space dimension 3.
-		 */
-
-		feature redefines innerSpaceDimension = 3;
-	}
-
-	struct all Surface specializes Object {
-		doc
-		/*
-		 * A Surface is an Object of inner space dimension 2.
-		 */
-		
-		feature redefines innerSpaceDimension = 2;
-		  /* The number of  "holes" in this Surface, assuming it isClosed. */
-		feature genus : Natural[0..1] default 0;
-
-		inv { notEmpty(genus) implies isClosed }
-	}
-
-	struct all Curve specializes Object {
-		doc
-		/*
-		 * A Curve is an Object of inner space dimension 1.
-		 */
-
-		feature redefines innerSpaceDimension = 1;
-	}
-
-	struct all Point specializes Object {
-		doc
-		/*
-		 * A Point is an Object of inner space dimension 0.
-		 */
-		 
-		feature redefines innerSpaceDimension = 0;
-	}
-
-	abstract struct StructuredSpaceObject specializes Object {
-		doc
-		/*
-		 * A StructuredSpaceObject is an Object that is broken up into smaller structured space objects (cells) of
-		 * the same or lower inner space dimension: faces that are surfaces, edges that are curves, and vertices
-		 * that are points, with edges and vertices on the boundary of faces, and vertices on the boundary of
-		 * edges. Cells meet when a structured space object is closed, as required to be a space boundary of
-		 * an object (faces meet at their edges and/or vertices, while edges meet at their vertices). The
-		 * inner space dimension of structured space object is the highest of their cells.
-		 */
-
-        abstract portion feature structuredSpaceObjectCells : StructuredSpaceObject[1..*] subsets Occurrence::spaceSlices { 
-            feature cellOrientation : Integer [0..1];
-		    inv { notEmpty(cellOrientation) implies (cellOrientation >= -1 & cellOrientation <= 1) }
-		}
-		
-		comment about StructuredSurface, StructuredCurve, StructuredPoint
-		/*
-		 * The structures StructuredSurface, StructuredCurve and StructuredPoint provide common, necessary redefinitions of
-		 * innerSpaceDimension. They also provide single types for the StructuredSpaceObject features faces, edges and
-		 * vertices, which avoids problems when these features are related by connectors with ends that have owned
-		 * cross features.
-		 */
-		struct StructuredSurface specializes StructuredSpaceObject, Surface {
-            feature redefines StructuredSpaceObject::innerSpaceDimension, Surface::innerSpaceDimension;		    
-		}
-        struct StructuredCurve specializes StructuredSpaceObject, Curve {
-            feature redefines StructuredSpaceObject::innerSpaceDimension, Curve::innerSpaceDimension;         
-        }
-        struct StructuredPoint specializes StructuredSpaceObject, Point {
-            feature redefines StructuredSpaceObject::innerSpaceDimension, Point::innerSpaceDimension;         
-        }
-
-		portion feature faces : StructuredSurface[0..*] ordered subsets structuredSpaceObjectCells {
-		    feature redefines that : StructuredSpaceObject;
-			feature redefines edges subsets that.edges;
-			feature redefines vertices subsets that.vertices;
-			derived feature redefines spaceBoundary; 
-			inv { isEmpty(spaceBoundary) == isEmpty(union(edges, vertices)) }
-			inv { notEmpty(spaceBoundary) implies contains(spaceBoundary.unionsOf, union(edges, vertices)) }
-		}
-
-		portion feature edges : StructuredCurve[0..*] ordered subsets structuredSpaceObjectCells {
-            feature redefines that : StructuredSpaceObject;
-			feature redefines vertices subsets that.vertices;
-			derived feature redefines spaceBoundary;
-			inv { isEmpty(spaceBoundary) == isEmpty(vertices) }
-			inv { notEmpty(spaceBoundary) implies contains(spaceBoundary.unionsOf, vertices) }
-		}
-
-		portion feature vertices : StructuredPoint[0..*] ordered subsets structuredSpaceObjectCells;
-		
-		derived feature redefines innerSpaceDimension = 
-			if notEmpty(faces) ? 2 else if notEmpty(edges) ? 1 else 0;
-	  }
-}
+standard library package Objects {
+	doc
+	/*
+	 * This package defines classifiers and features that are related to the typing of objects, including link objects.
+	 */
+
+	private import Base::Anything;
+	private import Base::things;
+	private import Links::*;
+	private import Occurrences::Occurrence;
+	private import Occurrences::occurrences;
+	private import Occurrences::HappensLink;
+	private import Occurrences::SelfSameLifeLink;
+	private import Occurrences::WithinBoth;	       
+	private import Performances::Performance;
+	private import Performances::performances;
+	private import SequenceFunctions::isEmpty;
+	private import SequenceFunctions::notEmpty;
+	private import SequenceFunctions::union;
+	private import CollectionFunctions::contains;
+	private import ScalarValues::Integer;
+	private import ScalarValues::Natural;
+	
+	abstract struct Object specializes Occurrence {
+		doc
+		/*
+		 * Object is the most general class of structural occurrences that may change over time.
+		 */
+
+		feature self: Object redefines Occurrence::self;
+		
+		composite feature subobjects: Object[0..*] subsets objects, suboccurrences
+			intersects objects, suboccurrences {
+			doc
+			/*
+			 * The suboccurrences of this Object that are also Objects.
+			 */
+		}
+		
+		feature involvingPerformances: Performance[0..*] subsets performances {
+			doc
+			/*
+			 * Performances in which this object is involved.
+			 */
+		}
+		
+		abstract step enactedPerformances: Performance[0..*] subsets involvingPerformances, timeEnclosedOccurrences
+			intersects involvingPerformances, timeEnclosedOccurrences {
+			doc
+			/*
+			 * Performances that are enacted by this object.
+			 */
+		}
+		
+		composite step ownedPerformances: Performance[0..*] subsets involvingPerformances, timeEnclosedOccurrences, suboccurrences
+			intersects involvingPerformances, timeEnclosedOccurrences, suboccurrences {
+			doc
+			/*
+			 * Performances that are owned by this object.
+			 */
+			 
+			feature redefines this default that {
+				doc
+				/*
+				 * The owning object is the default "this" reference for all ownedPerformances.
+				 */
+			}
+		}
+
+		portion structuredSpaceBoundary : StructuredSpaceObject[0..1] subsets spaceBoundary {
+			doc
+			/*
+			 * A space boundary that is a structured space object.
+			 */
+		}
+	}
+	
+	abstract assoc struct LinkObject specializes Link, Object intersects Link, Object {
+		doc
+		/*
+		 * LinkObject is the most general association structure, being both a Link and an Object.
+		 */
+	}
+	
+	assoc struct BinaryLinkObject specializes BinaryLink, LinkObject intersects BinaryLink, LinkObject {
+		doc
+		/*
+		 * BinaryLinkObject is the most general binary association structure, being both a 
+		 * BinaryLink and a LinkObject.
+		 */
+	}
+	
+	abstract feature objects: Object[0..*] nonunique subsets occurrences {
+		doc
+		/*
+		 * objects is a specialization of occurrences restricted to type Object.
+		 */
+	}
+	
+	abstract feature linkObjects: LinkObject[0..*] nonunique subsets links, objects intersects links, objects {
+		doc
+		/*
+		 * linkObjects is a specializations of links and objects restricted to type LinkObjects. 
+		 */
+	}
+	
+	abstract feature binaryLinkObjects: BinaryLinkObject[0..*] nonunique subsets binaryLinks, linkObjects
+		intersects binaryLinks, linkObjects {
+		doc
+		/*
+		 * binaryLinkObjects is a specialization of binaryLinks and linkObjects restricted to 
+		 * type BinaryLinkObjects.
+		 */
+	}
+	
+
+	struct all Body specializes Object {
+		doc
+		/*
+		 * A Body is an Object of inner space dimension 3.
+		 */
+
+		feature redefines innerSpaceDimension = 3;
+	}
+
+	struct all Surface specializes Object {
+		doc
+		/*
+		 * A Surface is an Object of inner space dimension 2.
+		 */
+		
+		feature redefines innerSpaceDimension = 2;
+		  /* The number of  "holes" in this Surface, assuming it isClosed. */
+		feature genus : Natural[0..1] default 0;
+
+		inv { notEmpty(genus) implies isClosed }
+	}
+
+	struct all Curve specializes Object {
+		doc
+		/*
+		 * A Curve is an Object of inner space dimension 1.
+		 */
+
+		feature redefines innerSpaceDimension = 1;
+	}
+
+	struct all Point specializes Object {
+		doc
+		/*
+		 * A Point is an Object of inner space dimension 0.
+		 */
+		 
+		feature redefines innerSpaceDimension = 0;
+	}
+
+	abstract struct StructuredSpaceObject specializes Object {
+		doc
+		/*
+		 * A StructuredSpaceObject is an Object that is broken up into smaller structured space objects (cells) of
+		 * the same or lower inner space dimension: faces that are surfaces, edges that are curves, and vertices
+		 * that are points, with edges and vertices on the boundary of faces, and vertices on the boundary of
+		 * edges. Cells meet when a structured space object is closed, as required to be a space boundary of
+		 * an object (faces meet at their edges and/or vertices, while edges meet at their vertices). The
+		 * inner space dimension of structured space object is the highest of their cells.
+		 */
+
+        abstract portion feature structuredSpaceObjectCells : StructuredSpaceObject[1..*] subsets Occurrence::spaceSlices { 
+            feature cellOrientation : Integer [0..1];
+		    inv { notEmpty(cellOrientation) implies (cellOrientation >= -1 & cellOrientation <= 1) }
+		}
+		
+		comment about StructuredSurface, StructuredCurve, StructuredPoint
+		/*
+		 * The structures StructuredSurface, StructuredCurve and StructuredPoint provide common, necessary redefinitions of
+		 * innerSpaceDimension. They also provide single types for the StructuredSpaceObject features faces, edges and
+		 * vertices, which avoids problems when these features are related by connectors with ends that have owned
+		 * cross features.
+		 */
+		struct StructuredSurface specializes StructuredSpaceObject, Surface {
+            feature redefines StructuredSpaceObject::innerSpaceDimension, Surface::innerSpaceDimension;		    
+		}
+        struct StructuredCurve specializes StructuredSpaceObject, Curve {
+            feature redefines StructuredSpaceObject::innerSpaceDimension, Curve::innerSpaceDimension;         
+        }
+        struct StructuredPoint specializes StructuredSpaceObject, Point {
+            feature redefines StructuredSpaceObject::innerSpaceDimension, Point::innerSpaceDimension;         
+        }
+
+		portion feature faces : StructuredSurface[0..*] ordered subsets structuredSpaceObjectCells {
+		    feature redefines that : StructuredSpaceObject;
+			feature redefines edges subsets that.edges;
+			feature redefines vertices subsets that.vertices;
+			derived feature redefines spaceBoundary; 
+			inv { isEmpty(spaceBoundary) == isEmpty(union(edges, vertices)) }
+			inv { notEmpty(spaceBoundary) implies contains(spaceBoundary.unionsOf, union(edges, vertices)) }
+		}
+
+		portion feature edges : StructuredCurve[0..*] ordered subsets structuredSpaceObjectCells {
+            feature redefines that : StructuredSpaceObject;
+			feature redefines vertices subsets that.vertices;
+			derived feature redefines spaceBoundary;
+			inv { isEmpty(spaceBoundary) == isEmpty(vertices) }
+			inv { notEmpty(spaceBoundary) implies contains(spaceBoundary.unionsOf, vertices) }
+		}
+
+		portion feature vertices : StructuredPoint[0..*] ordered subsets structuredSpaceObjectCells;
+		
+		derived feature redefines innerSpaceDimension = 
+			if notEmpty(faces) ? 2 else if notEmpty(edges) ? 1 else 0;
+	  }
+}