sysml-validate 0.11.0 → 0.14.2

package/resources/sysml.library/Systems Library/UseCases.sysml

@@ -1,57 +1,57 @@
-standard library package UseCases {
-	doc
-	/*
-	 * This package defines the base types for use cases and related behavioral elements in the SysML language.
-	 */
-	 
-	private import Cases::Case;
-	private import Cases::cases;
-	
-	use case def UseCase :> Case {
-		doc
-		/*
-		 * UseCase is the most general class of performances of UseCaseDefinitions. 
-		 * UseCase is the base class of all UseCaseDefinitions.
-		 */
-	
-		ref use case self : UseCase :>> Case::self;
-		subject subj :>> Case::subj;
-		objective obj :>> Case::obj;
-		
-		ref use case start: UseCase :>> start {
-			doc
-			/*
-			 * The starting snapshot of a Use Case. 
-			 */
-		}
-		
-		ref use case done: UseCase :>> done {
-			doc
-			/*
-			 * The ending snapshot of a Use Case.
-			 */
-		}
-
-		abstract use case subUseCases : UseCase[0..*] :> useCases, subcases {
-			doc
-			/*
-			 * Other UseCases carried out as part of the performance of this UseCase.
-			 */
-		}
-		
-		abstract ref use case includedUseCases : UseCase[0..*] :> useCases, enclosedPerformances {
-			doc
-			/*
-			 * Other UseCases included by this UseCase (i.e., as modeled by an 
-			 * IncludeUseCaseUsage).
-			 */
-		}
-	}
-	
-	use case useCases : UseCase[0..*] nonunique :> cases {
-		doc
-		/*
-		 * useCases is the base feature of all UseCaseUsages.
-		 */
-	}
+standard library package UseCases {
+	doc
+	/*
+	 * This package defines the base types for use cases and related behavioral elements in the SysML language.
+	 */
+	 
+	private import Cases::Case;
+	private import Cases::cases;
+	
+	use case def UseCase :> Case {
+		doc
+		/*
+		 * UseCase is the most general class of performances of UseCaseDefinitions. 
+		 * UseCase is the base class of all UseCaseDefinitions.
+		 */
+	
+		ref use case self : UseCase :>> Case::self;
+		subject subj :>> Case::subj;
+		objective obj :>> Case::obj;
+		
+		ref use case start: UseCase :>> start {
+			doc
+			/*
+			 * The starting snapshot of a Use Case. 
+			 */
+		}
+		
+		ref use case done: UseCase :>> done {
+			doc
+			/*
+			 * The ending snapshot of a Use Case.
+			 */
+		}
+
+		abstract use case subUseCases : UseCase[0..*] :> useCases, subcases {
+			doc
+			/*
+			 * Other UseCases carried out as part of the performance of this UseCase.
+			 */
+		}
+		
+		abstract ref use case includedUseCases : UseCase[0..*] :> useCases, enclosedPerformances {
+			doc
+			/*
+			 * Other UseCases included by this UseCase (i.e., as modeled by an 
+			 * IncludeUseCaseUsage).
+			 */
+		}
+	}
+	
+	use case useCases : UseCase[0..*] nonunique :> cases {
+		doc
+		/*
+		 * useCases is the base feature of all UseCaseUsages.
+		 */
+	}
 }

package/resources/sysml.library/Systems Library/VerificationCases.sysml

@@ -1,103 +1,103 @@
-standard library package VerificationCases {
-	doc
-	/*
-	 * This package defines the base types for verification cases and related behavioral elements 
-	 * in the SysML language.
-	 */
-
-	private import Cases::Case;
-	private import Cases::cases;
-	private import Requirements::RequirementCheck;
-	private import ScalarValues::Boolean;
-	
-	abstract verification def VerificationCase :> Case {
-		doc
-		/*
-		 * VerificationCase is the most general class of performances of VerificationCaseDefinitions. 
-		 * VericationCase is the base class of all VerificationCaseDefinitions.
-		 */
-	
-		ref verification self : VerificationCase :>> Case::self;		
-		subject subj :>> Case::subj;
-		return verdict : VerdictKind :>> result;
-		
-		objective obj :>> Case::obj {
-			subject subj = VerificationCase::subj;
-			
-			requirement requirementVerifications : RequirementCheck[0..*] :> subrequirements {
-				doc
-				/*
-				 * A record of the evaluations of the RequirementChecks of requirements being verified.
-				 */
-			}
-		}
-		
-		ref requirement requirementVerifications : RequirementCheck[0..*] = obj.requirementVerifications {
-			doc
-			/*
-			 * Checks on whether the verifiedRequirements of the VerificationCase have been satisfied.
-			 */
-		}
-		
-		abstract verification subVerificationCases : VerificationCase[0..*] :> verificationCases, subcases {
-			doc
-			/*
-			 * The subcases of this VerificationCase that are VerificationCaseUsages.
-			 */
-		}
-		
-	}
-	
-	abstract verification verificationCases : VerificationCase[0..*] nonunique  :> cases {
-		doc
-		/*
-		 * verificationCases is the base feature of all VerificationCaseUsages.
-		 */
-	}
-	
-	enum def VerdictKind {
-		doc
-		/*
-		 * VerdictKind is an enumeration of the possible results of a VerificationCase.
-		 */
-	
-		pass;
-		fail;
-		inconclusive;
-		error;
-	}
-	
-	calc def PassIf {
-		doc
-		/*
-		 * PassIf returns a pass or fail VerdictKind depending on whether its argument is
-		 * true or false.
-		 */
-	
-		in attribute isPassing : Boolean;
-		return attribute verdict : VerdictKind = if isPassing? VerdictKind::pass else VerdictKind::fail;
-	}
-	
-	metadata def VerificationMethod {
-		doc
-		/*
-		 * VerificationMethod can be used as metadata annotating a verification case or action.
-		 */
-	
-		attribute kind : VerificationMethodKind[1..*];
-	}
-	
-	enum def VerificationMethodKind {
-		doc
-		/*
-		 * VerificationMethodKind is an enumeration of the standard methods by which verification
-		 * can be carried out.
-		 */
-	
-		inspect;
-		analyze;
-		demo;
-		test;
-	}
-	
+standard library package VerificationCases {
+	doc
+	/*
+	 * This package defines the base types for verification cases and related behavioral elements 
+	 * in the SysML language.
+	 */
+
+	private import Cases::Case;
+	private import Cases::cases;
+	private import Requirements::RequirementCheck;
+	private import ScalarValues::Boolean;
+	
+	abstract verification def VerificationCase :> Case {
+		doc
+		/*
+		 * VerificationCase is the most general class of performances of VerificationCaseDefinitions. 
+		 * VericationCase is the base class of all VerificationCaseDefinitions.
+		 */
+	
+		ref verification self : VerificationCase :>> Case::self;		
+		subject subj :>> Case::subj;
+		return verdict : VerdictKind :>> result;
+		
+		objective obj :>> Case::obj {
+			subject subj = VerificationCase::subj;
+			
+			requirement requirementVerifications : RequirementCheck[0..*] :> subrequirements {
+				doc
+				/*
+				 * A record of the evaluations of the RequirementChecks of requirements being verified.
+				 */
+			}
+		}
+		
+		ref requirement requirementVerifications : RequirementCheck[0..*] = obj.requirementVerifications {
+			doc
+			/*
+			 * Checks on whether the verifiedRequirements of the VerificationCase have been satisfied.
+			 */
+		}
+		
+		abstract verification subVerificationCases : VerificationCase[0..*] :> verificationCases, subcases {
+			doc
+			/*
+			 * The subcases of this VerificationCase that are VerificationCaseUsages.
+			 */
+		}
+		
+	}
+	
+	abstract verification verificationCases : VerificationCase[0..*] nonunique  :> cases {
+		doc
+		/*
+		 * verificationCases is the base feature of all VerificationCaseUsages.
+		 */
+	}
+	
+	enum def VerdictKind {
+		doc
+		/*
+		 * VerdictKind is an enumeration of the possible results of a VerificationCase.
+		 */
+	
+		pass;
+		fail;
+		inconclusive;
+		error;
+	}
+	
+	calc def PassIf {
+		doc
+		/*
+		 * PassIf returns a pass or fail VerdictKind depending on whether its argument is
+		 * true or false.
+		 */
+	
+		in attribute isPassing : Boolean;
+		return attribute verdict : VerdictKind = if isPassing? VerdictKind::pass else VerdictKind::fail;
+	}
+	
+	metadata def VerificationMethod {
+		doc
+		/*
+		 * VerificationMethod can be used as metadata annotating a verification case or action.
+		 */
+	
+		attribute kind : VerificationMethodKind[1..*];
+	}
+	
+	enum def VerificationMethodKind {
+		doc
+		/*
+		 * VerificationMethodKind is an enumeration of the standard methods by which verification
+		 * can be carried out.
+		 */
+	
+		inspect;
+		analyze;
+		demo;
+		test;
+	}
+	
 }

package/resources/sysml.library/Systems Library/Views.sysml

@@ -1,164 +1,164 @@
-standard library package Views {
-	doc
-	/*
-	 * This package defines the base types for views, viewpoints, renderings and related elements 
-	 * in the SysML language.
-	 */
-
-	private import Parts::Part;
-	private import Parts::parts;
-	private import Requirements::RequirementCheck;
-	private import Requirements::requirementChecks;
-	
-	abstract view def View :> Part {
-		ref view :>> self : View;
-		
-		abstract ref view subviews : View[0..*] :> views {
-    		doc
-    		/*
-    		 * Other Views that are used in the rendering of this View.
-    		 */
-		}
-		
-		abstract ref rendering viewRendering : Rendering[0..1] {
-            doc
-			/*
-			 * The rendering of this View.
-			 */
-		}
-		
-		viewpoint viewpointSatisfactions : ViewpointCheck[0..*] :> viewpointChecks, checkedConstraints {
-            doc
-			/*
-			 * Checks that the View satisfies all required ViewpointUsages.
-			 */
-		}
-		
-		satisfy requirement viewpointConformance by that {
-			doc
-			/*
-			 * An assertion that all viewpointSatisfactions are true.
-			 */
-			 
-			require viewpointSatisfactions {
-				doc
-				/*
-				 * The required ViewpointChecks.
-				 */
-                ref :>> ownedPerformances::this, subperformances::this default that.that;
-			}
-		}
-	}
-	
-	abstract viewpoint def ViewpointCheck :> RequirementCheck {
-		doc
-		/*
-		 * ViewpointCheck is a RequirementCheck for checking if a View meets the concerns of viewpoint stakeholders. 
-		 * It is the base type of all ViewpointDefinitions.
-		 */
-	
-		ref viewpoint :>> self : ViewpointCheck;		
-		subject subj : View[1] :>> RequirementCheck::subj;
-	}
-	
-	abstract rendering def Rendering :> Part {
-		doc
-		/*
-		 * Rendering is the base type of all RenderingDefinitions.
-		 */
-	
-		ref rendering :>> self : Rendering;
-		
-		abstract ref rendering subrenderings : Rendering[0..*] :> renderings {
-			doc
-			/*
-			 * Other Renderings used to carry out this Rendering.
-			 */
-		}
-	}
-	
-	rendering def TextualRendering :> Rendering {
-		doc
-		/*
-		 * A TextualRendering is a Rendering of a View into a textual format.
-		 */
-	}
-
-	rendering def GraphicalRendering :> Rendering {
-		doc
-		/*
-		 * A GraphicalRendering is a Rendering of a View into a Graphical format.
-		 */
-	}
-
-	rendering def TabularRendering :> Rendering {
-		doc
-		/*
-		 * A TabularRendering is a Rendering of a View into a tabular format.
-		 */
-	}
-	
-	abstract view views : View[0..*] nonunique :> parts {
-		doc
-		/*
-		 * views is the base feature of all ViewUsages.
-		 */
-	}
-	
-	abstract viewpoint viewpointChecks : ViewpointCheck[0..*] nonunique :> requirementChecks {
-		doc
-		/*
-		 * viewpointChecks is the base feature of all ViewpointUsages.
-		 */
-	}
-	
-	abstract rendering renderings : Rendering[0..*] nonunique :> parts {
-		doc
-		/*
-		 * renderings is the base feature of all RenderingUsages.
-		 */
-	}
-	
-	rendering asTextualNotation : TextualRendering[1] :> renderings {
-		doc
-		/*
-		 * asTextualNotation renders a View into textual notation as defined in the 
-		 * KerML and SysML specifications.
-		 */
-	}
-	
-	rendering asTreeDiagram : GraphicalRendering[1] :> renderings {
-		doc
-		/*
-		 * asTreeDiagram renders a View as a tree diagram, using the 
-		 * graphical notation defined in the SysML specification.
-		 */
-	}
-	
-	rendering asInterconnectionDiagram : GraphicalRendering[1] :> renderings {
-		doc
-		/*
-		 * asInterconnectionDiagram renders a View as an interconnection 
-		 * diagram, using the graphical notation defined in the SysML specification.
-		 */
-	}
-	
-	rendering asElementTable : TabularRendering[1] :> renderings {
-		doc
-		/*
-		 * asElementTable  renders a View as a table, with one row for each exposed 
-		 * Element and columns rendered by applying the columnViews in order to the
-		 * Element in each row.
-		 */
-	
-		view columnView[0..*] ordered {
-			doc
-			/*
-			 * The Views to be rendered in the column cells, in order, of each rows of the table.
-			 */
-		
-			abstract ref rendering :>> viewRendering[0..1];
-		}
-		rendering :>> subrenderings[0..*] = columnView.viewRendering;
-	}
+standard library package Views {
+	doc
+	/*
+	 * This package defines the base types for views, viewpoints, renderings and related elements 
+	 * in the SysML language.
+	 */
+
+	private import Parts::Part;
+	private import Parts::parts;
+	private import Requirements::RequirementCheck;
+	private import Requirements::requirementChecks;
+	
+	abstract view def View :> Part {
+		ref view :>> self : View;
+		
+		abstract ref view subviews : View[0..*] :> views {
+    		doc
+    		/*
+    		 * Other Views that are used in the rendering of this View.
+    		 */
+		}
+		
+		abstract ref rendering viewRendering : Rendering[0..1] {
+            doc
+			/*
+			 * The rendering of this View.
+			 */
+		}
+		
+		viewpoint viewpointSatisfactions : ViewpointCheck[0..*] :> viewpointChecks, checkedConstraints {
+            doc
+			/*
+			 * Checks that the View satisfies all required ViewpointUsages.
+			 */
+		}
+		
+		satisfy requirement viewpointConformance by that {
+			doc
+			/*
+			 * An assertion that all viewpointSatisfactions are true.
+			 */
+			 
+			require viewpointSatisfactions {
+				doc
+				/*
+				 * The required ViewpointChecks.
+				 */
+                ref :>> ownedPerformances::this, subperformances::this default that.that;
+			}
+		}
+	}
+	
+	abstract viewpoint def ViewpointCheck :> RequirementCheck {
+		doc
+		/*
+		 * ViewpointCheck is a RequirementCheck for checking if a View meets the concerns of viewpoint stakeholders. 
+		 * It is the base type of all ViewpointDefinitions.
+		 */
+	
+		ref viewpoint :>> self : ViewpointCheck;		
+		subject subj : View[1] :>> RequirementCheck::subj;
+	}
+	
+	abstract rendering def Rendering :> Part {
+		doc
+		/*
+		 * Rendering is the base type of all RenderingDefinitions.
+		 */
+	
+		ref rendering :>> self : Rendering;
+		
+		abstract ref rendering subrenderings : Rendering[0..*] :> renderings {
+			doc
+			/*
+			 * Other Renderings used to carry out this Rendering.
+			 */
+		}
+	}
+	
+	rendering def TextualRendering :> Rendering {
+		doc
+		/*
+		 * A TextualRendering is a Rendering of a View into a textual format.
+		 */
+	}
+
+	rendering def GraphicalRendering :> Rendering {
+		doc
+		/*
+		 * A GraphicalRendering is a Rendering of a View into a Graphical format.
+		 */
+	}
+
+	rendering def TabularRendering :> Rendering {
+		doc
+		/*
+		 * A TabularRendering is a Rendering of a View into a tabular format.
+		 */
+	}
+	
+	abstract view views : View[0..*] nonunique :> parts {
+		doc
+		/*
+		 * views is the base feature of all ViewUsages.
+		 */
+	}
+	
+	abstract viewpoint viewpointChecks : ViewpointCheck[0..*] nonunique :> requirementChecks {
+		doc
+		/*
+		 * viewpointChecks is the base feature of all ViewpointUsages.
+		 */
+	}
+	
+	abstract rendering renderings : Rendering[0..*] nonunique :> parts {
+		doc
+		/*
+		 * renderings is the base feature of all RenderingUsages.
+		 */
+	}
+	
+	rendering asTextualNotation : TextualRendering[1] :> renderings {
+		doc
+		/*
+		 * asTextualNotation renders a View into textual notation as defined in the 
+		 * KerML and SysML specifications.
+		 */
+	}
+	
+	rendering asTreeDiagram : GraphicalRendering[1] :> renderings {
+		doc
+		/*
+		 * asTreeDiagram renders a View as a tree diagram, using the 
+		 * graphical notation defined in the SysML specification.
+		 */
+	}
+	
+	rendering asInterconnectionDiagram : GraphicalRendering[1] :> renderings {
+		doc
+		/*
+		 * asInterconnectionDiagram renders a View as an interconnection 
+		 * diagram, using the graphical notation defined in the SysML specification.
+		 */
+	}
+	
+	rendering asElementTable : TabularRendering[1] :> renderings {
+		doc
+		/*
+		 * asElementTable  renders a View as a table, with one row for each exposed 
+		 * Element and columns rendered by applying the columnViews in order to the
+		 * Element in each row.
+		 */
+	
+		view columnView[0..*] ordered {
+			doc
+			/*
+			 * The Views to be rendered in the column cells, in order, of each rows of the table.
+			 */
+		
+			abstract ref rendering :>> viewRendering[0..1];
+		}
+		rendering :>> subrenderings[0..*] = columnView.viewRendering;
+	}
 }