sysml-v2-lsp 0.1.6 → 0.2.0

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

@@ -0,0 +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;
+	}
+	
+}

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

@@ -0,0 +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;
+	}
+}