sysmledgraph 0.7.0

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Systems Library/SysML.sysml

@@ -0,0 +1,539 @@
+standard library package SysML {
+	doc 
+	/*
+	 * This package contains a reflective KerML model of the KerML abstract syntax.
+	 */
+	 
+	private import ScalarValues::*;
+	public import Systems::*;
+	
+	package Systems {
+		public import KerML::Kernel::*;
+		
+		metadata def AcceptActionUsage specializes ActionUsage {
+			derived ref item receiverArgument : Expression[0..1] subsets Metadata::metadataItems;
+			derived ref item payloadParameter : ReferenceUsage[1..1] subsets nestedReference, parameter subsets Metadata::metadataItems;
+			derived ref item payloadArgument : Expression[0..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ActionDefinition specializes Behavior, OccurrenceDefinition {
+			derived ref item 'action' : ActionUsage[0..*] ordered subsets step, usage subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ActionUsage specializes Step, OccurrenceUsage {
+			derived ref item actionDefinition : Behavior[0..*] ordered redefines behavior, occurrenceDefinition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ActorMembership specializes ParameterMembership {
+			derived item ownedActorParameter : PartUsage[1..1] redefines ownedMemberParameter subsets Metadata::metadataItems;
+		}		
+		
+		metadata def AllocationDefinition specializes ConnectionDefinition {
+			derived ref item 'allocation' : AllocationUsage[0..*] ordered subsets usage subsets Metadata::metadataItems;
+		}		
+		
+		metadata def AllocationUsage specializes ConnectionUsage {
+			derived ref item allocationDefinition : AllocationDefinition[0..*] ordered redefines connectionDefinition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def AnalysisCaseDefinition specializes CaseDefinition {
+			derived ref item resultExpression : Expression[0..1] subsets expression, ownedFeature subsets Metadata::metadataItems;
+		}		
+		
+		metadata def AnalysisCaseUsage specializes CaseUsage {
+			derived ref item analysisCaseDefinition : AnalysisCaseDefinition[0..1] redefines caseDefinition subsets Metadata::metadataItems;
+			derived ref item resultExpression : Expression[0..1] subsets ownedFeature subsets Metadata::metadataItems;
+		}		
+		
+		metadata def AssertConstraintUsage specializes ConstraintUsage, Invariant {
+			derived ref item assertedConstraint : ConstraintUsage[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def AssignmentActionUsage specializes ActionUsage {
+			derived ref item targetArgument : Expression[0..1] subsets Metadata::metadataItems;
+			derived ref item valueExpression : Expression[0..1] subsets Metadata::metadataItems;
+			derived ref item referent : Feature[1..1] subsets member subsets Metadata::metadataItems;
+		}		
+		
+		metadata def AttributeDefinition specializes DataType, Definition;		
+		
+		metadata def AttributeUsage specializes Usage {
+			derived attribute isReference : Boolean[1..1] redefines isReference;
+			
+			derived ref item attributeDefinition : DataType[0..*] ordered redefines definition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def BindingConnectorAsUsage specializes BindingConnector, ConnectorAsUsage;		
+		
+		metadata def CalculationDefinition specializes Function, ActionDefinition {
+			derived ref item calculation : CalculationUsage[0..*] ordered subsets 'action', expression subsets Metadata::metadataItems;
+		}		
+		
+		metadata def CalculationUsage specializes Expression, ActionUsage {
+			derived ref item calculationDefinition : Function[0..1] ordered redefines function, actionDefinition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def CaseDefinition specializes CalculationDefinition {
+			derived ref item objectiveRequirement : RequirementUsage[0..1] ordered subsets usage subsets Metadata::metadataItems;
+			derived ref item subjectParameter : Usage[1..1] subsets parameter, usage subsets Metadata::metadataItems;
+			derived ref item actorParameter : PartUsage[0..*] ordered subsets parameter, usage subsets Metadata::metadataItems;
+		}		
+		
+		metadata def CaseUsage specializes CalculationUsage {
+			derived ref item objectiveRequirement : RequirementUsage[0..1] ordered subsets usage subsets Metadata::metadataItems;
+			derived ref item caseDefinition : CaseDefinition[0..1] redefines calculationDefinition subsets Metadata::metadataItems;
+			derived ref item subjectParameter : Usage[1..1] subsets parameter, usage subsets Metadata::metadataItems;
+			derived ref item actorParameter : PartUsage[0..*] ordered subsets parameter, usage subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ConcernDefinition specializes RequirementDefinition;		
+		
+		metadata def ConcernUsage specializes RequirementUsage {
+			derived ref item concernDefinition : ConcernDefinition[0..1] redefines requirementDefinition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ConjugatedPortDefinition specializes PortDefinition {
+			derived ref item originalPortDefinition : PortDefinition[1..1] redefines owningNamespace subsets Metadata::metadataItems;
+			derived ref item ownedPortConjugator : PortConjugation[1..1] redefines ownedConjugator subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ConjugatedPortTyping specializes FeatureTyping {
+			ref item conjugatedPortDefinition : ConjugatedPortDefinition[1..1] redefines type subsets Metadata::metadataItems;
+			derived ref item portDefinition : PortDefinition[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ConnectionDefinition specializes AssociationStructure, PartDefinition {
+			attribute isSufficient : Boolean[1..1] redefines isSufficient;
+			
+			derived ref item connectionEnd : Usage[0..*] ordered redefines associationEnd subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ConnectionUsage specializes ConnectorAsUsage, PartUsage {
+			derived ref item connectionDefinition : AssociationStructure[0..*] ordered subsets itemDefinition redefines association subsets Metadata::metadataItems;
+		}		
+		
+		abstract metadata def ConnectorAsUsage specializes Usage, Connector;		
+		
+		metadata def ConstraintDefinition specializes OccurrenceDefinition, Predicate;		
+		
+		metadata def ConstraintUsage specializes BooleanExpression, OccurrenceUsage {
+			derived ref item constraintDefinition : Predicate[0..1] redefines predicate subsets Metadata::metadataItems;
+		}		
+		
+		abstract metadata def ControlNode specializes ActionUsage;		
+		
+		metadata def DecisionNode specializes ControlNode;		
+		
+		metadata def Definition specializes Classifier {
+			attribute isVariation : Boolean[1..1];
+			
+			derived ref item 'variant' : Usage[0..*] subsets ownedMember subsets Metadata::metadataItems;
+			derived item variantMembership : VariantMembership[0..*] subsets ownedMembership subsets Metadata::metadataItems;
+			derived ref item usage : Usage[0..*] ordered subsets feature subsets Metadata::metadataItems;
+			derived ref item directedUsage : Usage[0..*] ordered subsets directedFeature, usage subsets Metadata::metadataItems;
+			derived ref item ownedUsage : Usage[0..*] ordered subsets ownedFeature, usage subsets Metadata::metadataItems;
+			derived ref item ownedReference : ReferenceUsage[0..*] ordered subsets ownedUsage subsets Metadata::metadataItems;
+			derived ref item ownedAttribute : AttributeUsage[0..*] ordered subsets ownedUsage subsets Metadata::metadataItems;
+			derived ref item ownedEnumeration : EnumerationUsage[0..*] ordered subsets ownedAttribute subsets Metadata::metadataItems;
+			derived ref item ownedOccurrence : OccurrenceUsage[0..*] ordered subsets ownedUsage subsets Metadata::metadataItems;
+			derived ref item ownedItem : ItemUsage[0..*] ordered subsets ownedOccurrence subsets Metadata::metadataItems;
+			derived ref item ownedPart : PartUsage[0..*] ordered subsets ownedItem subsets Metadata::metadataItems;
+			derived ref item ownedPort : PortUsage[0..*] ordered subsets ownedUsage subsets Metadata::metadataItems;
+			derived ref item ownedConnection : ConnectorAsUsage[0..*] ordered subsets ownedUsage subsets Metadata::metadataItems;
+			derived ref item ownedFlow : FlowUsage[0..*] subsets ownedConnection subsets Metadata::metadataItems;
+			derived ref item ownedInterface : InterfaceUsage[0..*] ordered subsets ownedConnection subsets Metadata::metadataItems;
+			derived ref item ownedAllocation : AllocationUsage[0..*] ordered subsets ownedConnection subsets Metadata::metadataItems;
+			derived ref item ownedAction : ActionUsage[0..*] ordered subsets ownedOccurrence subsets Metadata::metadataItems;
+			derived ref item ownedState : StateUsage[0..*] ordered subsets ownedAction subsets Metadata::metadataItems;
+			derived ref item ownedTransition : TransitionUsage[0..*] subsets ownedUsage subsets Metadata::metadataItems;
+			derived ref item ownedCalculation : CalculationUsage[0..*] ordered subsets ownedAction subsets Metadata::metadataItems;
+			derived ref item ownedConstraint : ConstraintUsage[0..*] ordered subsets ownedOccurrence subsets Metadata::metadataItems;
+			derived ref item ownedRequirement : RequirementUsage[0..*] ordered subsets ownedConstraint subsets Metadata::metadataItems;
+			derived ref item ownedConcern : ConcernUsage[0..*] subsets ownedRequirement subsets Metadata::metadataItems;
+			derived ref item ownedCase : CaseUsage[0..*] ordered subsets ownedCalculation subsets Metadata::metadataItems;
+			derived ref item ownedAnalysisCase : AnalysisCaseUsage[0..*] ordered subsets ownedCase subsets Metadata::metadataItems;
+			derived ref item ownedVerificationCase : VerificationCaseUsage[0..*] ordered subsets ownedCase subsets Metadata::metadataItems;
+			derived ref item ownedUseCase : UseCaseUsage[0..*] ordered subsets ownedCase subsets Metadata::metadataItems;
+			derived ref item ownedView : ViewUsage[0..*] ordered subsets ownedPart subsets Metadata::metadataItems;
+			derived ref item ownedViewpoint : ViewpointUsage[0..*] ordered subsets ownedRequirement subsets Metadata::metadataItems;
+			derived ref item ownedRendering : RenderingUsage[0..*] ordered subsets ownedPart subsets Metadata::metadataItems;
+			derived ref item ownedMetadata : MetadataUsage[0..*] ordered subsets ownedItem subsets Metadata::metadataItems;
+		}		
+		
+		metadata def EnumerationDefinition specializes AttributeDefinition {
+			attribute isVariation : Boolean[1..1] redefines isVariation;
+			
+			derived ref item enumeratedValue : EnumerationUsage[0..*] ordered redefines 'variant' subsets Metadata::metadataItems;
+		}		
+		
+		metadata def EnumerationUsage specializes AttributeUsage {
+			derived ref item enumerationDefinition : EnumerationDefinition[1..1] redefines attributeDefinition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def EventOccurrenceUsage specializes OccurrenceUsage {
+			derived attribute isReference : Boolean[1..1] redefines isReference;
+			
+			derived ref item eventOccurrence : OccurrenceUsage[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ExhibitStateUsage specializes StateUsage, PerformActionUsage {
+			derived ref item exhibitedState : StateUsage[1..1] redefines performedAction subsets Metadata::metadataItems;
+		}		
+		
+		abstract metadata def Expose specializes Import {
+			attribute visibility : VisibilityKind[1..1] redefines visibility;
+			attribute isImportAll : Boolean[1..1] redefines isImportAll;
+		}		
+		
+		metadata def FlowDefinition specializes Interaction, ActionDefinition {
+			derived ref item flowEnd : Usage[0..*] redefines associationEnd subsets Metadata::metadataItems;
+		}		
+		
+		metadata def FlowUsage specializes ConnectorAsUsage, Flow, ActionUsage {
+			derived ref item flowDefinition : Interaction[0..*] ordered redefines actionDefinition, interaction subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ForLoopActionUsage specializes LoopActionUsage {
+			derived ref item seqArgument : Expression[1..1] subsets Metadata::metadataItems;
+			derived ref item loopVariable : ReferenceUsage[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ForkNode specializes ControlNode;		
+		
+		metadata def FramedConcernMembership specializes RequirementConstraintMembership {
+			attribute kind : RequirementConstraintKind[1..1] redefines kind;
+			
+			derived item ownedConcern : ConcernUsage[1..1] redefines ownedConstraint subsets Metadata::metadataItems;
+			derived ref item referencedConcern : ConcernUsage[1..1] redefines referencedConstraint subsets Metadata::metadataItems;
+		}		
+		
+		metadata def IfActionUsage specializes ActionUsage {
+			derived ref item elseAction : ActionUsage[0..1] subsets Metadata::metadataItems;
+			derived ref item thenAction : ActionUsage[1..1] subsets Metadata::metadataItems;
+			derived ref item ifArgument : Expression[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def IncludeUseCaseUsage specializes UseCaseUsage, PerformActionUsage {
+			derived ref item useCaseIncluded : UseCaseUsage[1..1] redefines performedAction subsets Metadata::metadataItems;
+		}		
+		
+		metadata def InterfaceDefinition specializes ConnectionDefinition {
+			derived ref item interfaceEnd : PortUsage[0..*] ordered redefines connectionEnd subsets Metadata::metadataItems;
+		}		
+		
+		metadata def InterfaceUsage specializes ConnectionUsage {
+			derived ref item interfaceDefinition : InterfaceDefinition[0..*] redefines connectionDefinition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ItemDefinition specializes Structure, OccurrenceDefinition;		
+		
+		metadata def ItemUsage specializes OccurrenceUsage {
+			derived ref item itemDefinition : Structure[0..*] ordered subsets occurrenceDefinition subsets Metadata::metadataItems subsets Metadata::metadataItems;
+		}		
+		
+		metadata def JoinNode specializes ControlNode;		
+		
+		abstract metadata def LoopActionUsage specializes ActionUsage {
+			derived ref item bodyAction : ActionUsage[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def MembershipExpose specializes MembershipImport, Expose;		
+		
+		metadata def MergeNode specializes ControlNode;		
+		
+		metadata def MetadataDefinition specializes ItemDefinition, Metaclass;		
+		
+		metadata def MetadataUsage specializes ItemUsage, MetadataFeature {
+			derived ref item metadataDefinition : Metaclass[0..1] redefines itemDefinition, metaclass subsets Metadata::metadataItems;
+		}		
+		
+		metadata def NamespaceExpose specializes Expose, NamespaceImport;		
+		
+		metadata def ObjectiveMembership specializes FeatureMembership {
+			derived item ownedObjectiveRequirement : RequirementUsage[1..1] redefines ownedMemberFeature subsets Metadata::metadataItems;
+		}		
+		
+		metadata def OccurrenceDefinition specializes Definition, Class {
+			attribute isIndividual : Boolean[1..1];
+		}		
+		
+		metadata def OccurrenceUsage specializes Usage {
+			attribute isIndividual : Boolean[1..1];
+			attribute portionKind : PortionKind[0..1];
+			
+			derived ref item occurrenceDefinition : Class[0..*] ordered redefines definition subsets Metadata::metadataItems;
+			derived ref item individualDefinition : OccurrenceDefinition[0..1] subsets occurrenceDefinition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def PartDefinition specializes ItemDefinition;		
+		
+		metadata def PartUsage specializes ItemUsage {
+			derived ref item partDefinition : PartDefinition[0..*] ordered subsets itemDefinition subsets Metadata::metadataItems;
+		}		
+		
+		metadata def PerformActionUsage specializes ActionUsage, EventOccurrenceUsage {
+			derived ref item performedAction : ActionUsage[1..1] redefines eventOccurrence subsets Metadata::metadataItems;
+		}		
+		
+		metadata def PortConjugation specializes Conjugation {
+			ref item originalPortDefinition : PortDefinition[1..1] redefines originalType subsets Metadata::metadataItems;
+			derived ref item conjugatedPortDefinition : ConjugatedPortDefinition[1..1] redefines owningType subsets Metadata::metadataItems;
+		}		
+		
+		metadata def PortDefinition specializes OccurrenceDefinition, Structure {
+			derived ref item conjugatedPortDefinition : ConjugatedPortDefinition[0..1] subsets ownedMember subsets Metadata::metadataItems;
+		}		
+		
+		metadata def PortUsage specializes OccurrenceUsage {
+			derived ref item portDefinition : PortDefinition[0..*] ordered redefines occurrenceDefinition subsets Metadata::metadataItems;
+		}		
+		
+		enum def PortionKind {
+			enum 'timeslice';
+			enum 'snapshot';
+		}
+		
+		metadata def ReferenceUsage specializes Usage {
+			derived attribute isReference : Boolean[1..1] redefines isReference;
+		}		
+		
+		metadata def RenderingDefinition specializes PartDefinition {
+			derived ref item 'rendering' : RenderingUsage[0..*] ordered subsets usage subsets Metadata::metadataItems;
+		}		
+		
+		metadata def RenderingUsage specializes PartUsage {
+			derived ref item renderingDefinition : RenderingDefinition[0..1] redefines partDefinition subsets Metadata::metadataItems;
+		}		
+		
+		enum def RequirementConstraintKind {
+			enum assumption;
+			enum 'requirement';
+		}
+		
+		metadata def RequirementConstraintMembership specializes FeatureMembership {
+			attribute kind : RequirementConstraintKind[1..1];
+			
+			derived item ownedConstraint : ConstraintUsage[1..1] redefines ownedMemberFeature subsets Metadata::metadataItems;
+			derived ref item referencedConstraint : ConstraintUsage[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def RequirementDefinition specializes ConstraintDefinition {
+			attribute reqId : String[0..1] redefines declaredShortName;
+			derived attribute text : String[0..*];
+			
+			derived ref item subjectParameter : Usage[1..1] subsets parameter, usage subsets Metadata::metadataItems;
+			derived ref item actorParameter : PartUsage[0..*] ordered subsets parameter, usage subsets Metadata::metadataItems;
+			derived ref item stakeholderParameter : PartUsage[0..*] ordered subsets parameter, usage subsets Metadata::metadataItems;
+			derived ref item assumedConstraint : ConstraintUsage[0..*] ordered subsets ownedFeature subsets Metadata::metadataItems;
+			derived ref item requiredConstraint : ConstraintUsage[0..*] ordered subsets ownedFeature subsets Metadata::metadataItems;
+			derived ref item framedConcern : ConcernUsage[0..*] ordered subsets requiredConstraint subsets Metadata::metadataItems;
+		}		
+		
+		metadata def RequirementUsage specializes ConstraintUsage {
+			attribute reqId : String[0..1] redefines declaredShortName;
+			derived attribute text : String[0..*];
+			
+			derived ref item requirementDefinition : RequirementDefinition[0..1] redefines constraintDefinition subsets Metadata::metadataItems;
+			derived ref item requiredConstraint : ConstraintUsage[0..*] ordered subsets ownedFeature subsets Metadata::metadataItems;
+			derived ref item assumedConstraint : ConstraintUsage[0..*] ordered subsets ownedFeature subsets Metadata::metadataItems;
+			derived ref item subjectParameter : Usage[1..1] subsets parameter, usage subsets Metadata::metadataItems;
+			derived ref item framedConcern : ConcernUsage[0..*] ordered subsets requiredConstraint subsets Metadata::metadataItems;
+			derived ref item actorParameter : PartUsage[0..*] ordered subsets parameter, usage subsets Metadata::metadataItems;
+			derived ref item stakeholderParameter : PartUsage[0..*] ordered subsets parameter, usage subsets Metadata::metadataItems;
+		}		
+		
+		metadata def RequirementVerificationMembership specializes RequirementConstraintMembership {
+			attribute kind : RequirementConstraintKind[1..1] redefines kind;
+			
+			derived item ownedRequirement : RequirementUsage[1..1] redefines ownedConstraint subsets Metadata::metadataItems;
+			derived ref item verifiedRequirement : RequirementUsage[1..1] redefines referencedConstraint subsets Metadata::metadataItems;
+		}		
+		
+		metadata def SatisfyRequirementUsage specializes RequirementUsage, AssertConstraintUsage {
+			derived ref item satisfiedRequirement : RequirementUsage[1..1] redefines assertedConstraint subsets Metadata::metadataItems;
+			derived ref item satisfyingFeature : Feature[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def SendActionUsage specializes ActionUsage {
+			derived ref item receiverArgument : Expression[0..1] subsets Metadata::metadataItems;
+			derived ref item payloadArgument : Expression[1..1] subsets Metadata::metadataItems;
+			derived ref item senderArgument : Expression[0..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def StakeholderMembership specializes ParameterMembership {
+			derived item ownedStakeholderParameter : PartUsage[1..1] redefines ownedMemberParameter subsets Metadata::metadataItems;
+		}		
+		
+		metadata def StateDefinition specializes ActionDefinition {
+			attribute isParallel : Boolean[1..1];
+			
+			derived ref item 'state' : StateUsage[0..*] ordered subsets 'action' subsets Metadata::metadataItems;
+			derived ref item entryAction : ActionUsage[0..1] subsets Metadata::metadataItems;
+			derived ref item doAction : ActionUsage[0..1] subsets Metadata::metadataItems;
+			derived ref item exitAction : ActionUsage[0..1] subsets Metadata::metadataItems;
+		}		
+		
+		enum def StateSubactionKind {
+			enum 'entry';
+			enum 'do';
+			enum 'exit';
+		}
+		
+		metadata def StateSubactionMembership specializes FeatureMembership {
+			attribute kind : StateSubactionKind[1..1];
+			
+			derived item 'action' : ActionUsage[1..1] redefines ownedMemberFeature subsets Metadata::metadataItems;
+		}		
+		
+		metadata def StateUsage specializes ActionUsage {
+			attribute isParallel : Boolean[1..1];
+			
+			derived ref item stateDefinition : Behavior[0..*] ordered redefines actionDefinition subsets Metadata::metadataItems;
+			derived ref item entryAction : ActionUsage[0..1] subsets Metadata::metadataItems;
+			derived ref item doAction : ActionUsage[0..1] subsets Metadata::metadataItems;
+			derived ref item exitAction : ActionUsage[0..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def SubjectMembership specializes ParameterMembership {
+			derived item ownedSubjectParameter : Usage[1..1] redefines ownedMemberParameter subsets Metadata::metadataItems;
+		}		
+		
+		metadata def SuccessionAsUsage specializes ConnectorAsUsage, Succession;		
+		
+		metadata def SuccessionFlowUsage specializes SuccessionFlow, FlowUsage;		
+		
+		metadata def TerminateActionUsage specializes ActionUsage {
+			derived ref item terminatedOccurrenceArgument : Expression[0..1] subsets Metadata::metadataItems;
+		}		
+		
+		enum def TransitionFeatureKind {
+			enum trigger;
+			enum guard;
+			enum effect;
+		}
+		
+		metadata def TransitionFeatureMembership specializes FeatureMembership {
+			attribute kind : TransitionFeatureKind[1..1];
+			
+			derived item transitionFeature : Step[1..1] redefines ownedMemberFeature subsets Metadata::metadataItems;
+		}		
+		
+		metadata def TransitionUsage specializes ActionUsage {
+			derived ref item source : ActionUsage[1..1] subsets Metadata::metadataItems;
+			derived ref item target : ActionUsage[1..1] subsets Metadata::metadataItems;
+			derived ref item triggerAction : AcceptActionUsage[0..*] subsets ownedFeature subsets Metadata::metadataItems;
+			derived ref item guardExpression : Expression[0..*] subsets ownedFeature subsets Metadata::metadataItems;
+			derived ref item effectAction : ActionUsage[0..*] subsets feature subsets Metadata::metadataItems;
+			derived ref item 'succession' : Succession[1..1] subsets ownedMember subsets Metadata::metadataItems;
+		}		
+		
+		metadata def TriggerInvocationExpression specializes InvocationExpression {
+			attribute kind : TriggerKind[1..1];
+		}		
+		
+		enum def TriggerKind {
+			enum 'when';
+			enum 'at';
+			enum 'after';
+		}
+		
+		metadata def Usage specializes Feature {
+			attribute isVariation : Boolean[1..1];
+			derived attribute mayTimeVary : Boolean[1..1] redefines isVariable;
+			derived attribute isReference : Boolean[1..1];
+			
+			derived ref item 'variant' : Usage[0..*] subsets ownedMember subsets Metadata::metadataItems;
+			derived item variantMembership : VariantMembership[0..*] subsets ownedMembership subsets Metadata::metadataItems;
+			derived ref item owningDefinition : Definition[0..1] subsets owningType subsets Metadata::metadataItems;
+			derived ref item owningUsage : Usage[0..1] subsets owningType subsets Metadata::metadataItems;
+			derived ref item definition : Classifier[0..*] ordered redefines type subsets Metadata::metadataItems;
+			derived ref item usage : Usage[0..*] ordered subsets feature subsets Metadata::metadataItems;
+			derived ref item directedUsage : Usage[0..*] ordered subsets directedFeature, usage subsets Metadata::metadataItems;
+			derived ref item nestedUsage : Usage[0..*] ordered subsets ownedFeature, usage subsets Metadata::metadataItems;
+			derived ref item nestedReference : ReferenceUsage[0..*] ordered subsets nestedUsage subsets Metadata::metadataItems;
+			derived ref item nestedAttribute : AttributeUsage[0..*] ordered subsets nestedUsage subsets Metadata::metadataItems;
+			derived ref item nestedEnumeration : EnumerationUsage[0..*] ordered subsets nestedAttribute subsets Metadata::metadataItems;
+			derived ref item nestedOccurrence : OccurrenceUsage[0..*] ordered subsets nestedUsage subsets Metadata::metadataItems;
+			derived ref item nestedItem : ItemUsage[0..*] ordered subsets nestedOccurrence subsets Metadata::metadataItems;
+			derived ref item nestedPart : PartUsage[0..*] ordered subsets nestedItem subsets Metadata::metadataItems;
+			derived ref item nestedPort : PortUsage[0..*] ordered subsets nestedUsage subsets Metadata::metadataItems;
+			derived ref item nestedConnection : ConnectorAsUsage[0..*] ordered subsets nestedUsage subsets Metadata::metadataItems;
+			derived ref item nestedFlow : FlowUsage[0..*] subsets nestedConnection subsets Metadata::metadataItems;
+			derived ref item nestedInterface : InterfaceUsage[0..*] ordered subsets nestedConnection subsets Metadata::metadataItems;
+			derived ref item nestedAllocation : AllocationUsage[0..*] ordered subsets nestedConnection subsets Metadata::metadataItems;
+			derived ref item nestedAction : ActionUsage[0..*] ordered subsets nestedOccurrence subsets Metadata::metadataItems;
+			derived ref item nestedState : StateUsage[0..*] ordered subsets nestedAction subsets Metadata::metadataItems;
+			derived ref item nestedTransition : TransitionUsage[0..*] subsets nestedUsage subsets Metadata::metadataItems;
+			derived ref item nestedCalculation : CalculationUsage[0..*] ordered subsets nestedAction subsets Metadata::metadataItems;
+			derived ref item nestedConstraint : ConstraintUsage[0..*] ordered subsets nestedOccurrence subsets Metadata::metadataItems;
+			derived ref item nestedRequirement : RequirementUsage[0..*] ordered subsets nestedConstraint subsets Metadata::metadataItems;
+			derived ref item nestedConcern : ConcernUsage[0..*] subsets nestedRequirement subsets Metadata::metadataItems;
+			derived ref item nestedCase : CaseUsage[0..*] ordered subsets nestedCalculation subsets Metadata::metadataItems;
+			derived ref item nestedAnalysisCase : AnalysisCaseUsage[0..*] ordered subsets nestedCase subsets Metadata::metadataItems;
+			derived ref item nestedVerificationCase : VerificationCaseUsage[0..*] ordered subsets nestedCase subsets Metadata::metadataItems;
+			derived ref item nestedUseCase : UseCaseUsage[0..*] ordered subsets nestedCase subsets Metadata::metadataItems;
+			derived ref item nestedView : ViewUsage[0..*] ordered subsets nestedPart subsets Metadata::metadataItems;
+			derived ref item nestedViewpoint : ViewpointUsage[0..*] ordered subsets nestedRequirement subsets Metadata::metadataItems;
+			derived ref item nestedRendering : RenderingUsage[0..*] ordered subsets nestedPart subsets Metadata::metadataItems;
+			derived ref item nestedMetadata : MetadataUsage[0..*] ordered subsets nestedItem subsets Metadata::metadataItems;
+		}		
+		
+		metadata def UseCaseDefinition specializes CaseDefinition {
+			derived ref item includedUseCase : UseCaseUsage[0..*] ordered subsets Metadata::metadataItems;
+		}		
+		
+		metadata def UseCaseUsage specializes CaseUsage {
+			derived ref item useCaseDefinition : UseCaseDefinition[0..1] redefines caseDefinition subsets Metadata::metadataItems;
+			derived ref item includedUseCase : UseCaseUsage[0..*] ordered subsets Metadata::metadataItems;
+		}		
+		
+		metadata def VariantMembership specializes OwningMembership {
+			derived item ownedVariantUsage : Usage[1..1] redefines ownedMemberElement subsets Metadata::metadataItems;
+		}		
+		
+		metadata def VerificationCaseDefinition specializes CaseDefinition {
+			derived ref item verifiedRequirement : RequirementUsage[0..*] ordered subsets Metadata::metadataItems;
+		}		
+		
+		metadata def VerificationCaseUsage specializes CaseUsage {
+			derived ref item verificationCaseDefinition : VerificationCaseDefinition[0..1] subsets caseDefinition subsets Metadata::metadataItems;
+			derived ref item verifiedRequirement : RequirementUsage[0..*] ordered subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ViewDefinition specializes PartDefinition {
+			derived ref item 'view' : ViewUsage[0..*] ordered subsets usage subsets Metadata::metadataItems;
+			derived ref item satisfiedViewpoint : ViewpointUsage[0..*] ordered subsets ownedRequirement subsets Metadata::metadataItems;
+			derived ref item viewRendering : RenderingUsage[0..1] subsets Metadata::metadataItems;
+			derived ref item viewCondition : Expression[0..*] ordered subsets ownedMember subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ViewRenderingMembership specializes FeatureMembership {
+			derived item ownedRendering : RenderingUsage[1..1] redefines ownedMemberFeature subsets Metadata::metadataItems;
+			derived ref item referencedRendering : RenderingUsage[1..1] subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ViewUsage specializes PartUsage {
+			derived ref item viewDefinition : ViewDefinition[0..1] redefines partDefinition subsets Metadata::metadataItems;
+			derived ref item satisfiedViewpoint : ViewpointUsage[0..*] ordered subsets nestedRequirement subsets Metadata::metadataItems;
+			derived ref item exposedElement : Element[0..*] ordered subsets member subsets Metadata::metadataItems;
+			derived ref item viewRendering : RenderingUsage[0..1] subsets Metadata::metadataItems;
+			derived ref item viewCondition : Expression[0..*] ordered subsets ownedMember subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ViewpointDefinition specializes RequirementDefinition {
+			derived ref item viewpointStakeholder : PartUsage[0..*] ordered subsets Metadata::metadataItems;
+		}		
+		
+		metadata def ViewpointUsage specializes RequirementUsage {
+			derived ref item viewpointDefinition : ViewpointDefinition[0..1] redefines requirementDefinition subsets Metadata::metadataItems;
+			derived ref item viewpointStakeholder : PartUsage[0..*] ordered subsets Metadata::metadataItems;
+		}		
+		
+		metadata def WhileLoopActionUsage specializes LoopActionUsage {
+			derived ref item whileArgument : Expression[1..1] subsets Metadata::metadataItems;
+			derived ref item untilArgument : Expression[0..1] subsets Metadata::metadataItems;
+		}		
+		
+	}
+	
+}

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Systems Library/UseCases.sysml

@@ -0,0 +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.
+		 */
+	}
+}