ST6RI-934 Abstract syntax metamodel for KerML 1.1/SysML 2.1 Beta 1 (revised)

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/AcceptActionUsage.java

@@ -11,7 +11,7 @@
  * <!-- begin-model-doc -->
  * <p>An <code>AcceptActionUsage</code> is an <code>ActionUsage</code> that specifies the acceptance of an <em><code>incomingTransfer</code></em> from the <code><em>Occurrence</em></code> given by the result of its <code>receiverArgument</code> Expression. (If no <code>receiverArgument</code> is provided, the default is the <em><code>this</code></em> context of the AcceptActionUsage.) The payload of the accepted <em><code>Transfer</em></code> is output on its <code>payloadParameter</code>. Which <em><code>Transfers</em></code> may be accepted is determined by conformance to the typing and (potentially) binding of the <code>payloadParameter</code>.</p>
  * 
- * inputParameters()->size() >= 2
+ * inputParameters()->notEmpty()
  * receiverArgument = argument(2)
  * payloadArgument = argument(1)
  * payloadParameter = 

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/AssertConstraintUsage.java

@@ -21,7 +21,7 @@
  * else
  *     specializesFromLibrary('Constraints::assertedConstraintChecks')
  * endif
- * referencedFeaureTarget() <> null implies
+ * referencedFeatureTarget() <> null implies
  *     referencedFeatureTarget().oclIsKindOf(ConstraintUsage)
  * <!-- end-model-doc -->
  *

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/AssignmentActionUsage.java

@@ -16,33 +16,35 @@
  * targetParameter <> null and
  * targetParameter.ownedFeature->notEmpty() and
  * targetParameter.ownedFeature->first().
- *     redefines('AssignmentAction::target::startingAt')
+ *     redefinesFromLibrary('AssignmentAction::target::startingAt')
  * valueExpression = argument(2)
  * targetArgument = argument(1)
  * isSubactionUsage() implies
  *     specializesFromLibrary('Actions::Action::assignments')
  * let targetParameter : Feature = inputParameter(1) in
  * targetParameter <> null and
  * targetParameter.ownedFeature->notEmpty() and
- * targetParameter->first().ownedFeature->notEmpty() and
- * targetParameter->first().ownedFeature->first().
- *     redefines('AssigmentAction::target::startingAt::accessedFeature')
+ * targetParameter.ownedFeature->first().ownedFeature->notEmpty() and
+ * targetParameter.ownedFeature->first().ownedFeature->first().
+ *     redefinesFromLibrary('AssigmentAction::target::startingAt::accessedFeature')
  * let targetParameter : Feature = inputParameter(1) in
  * targetParameter <> null and
  * targetParameter.ownedFeature->notEmpty() and
- * targetParameter->first().ownedFeature->notEmpty() and
- * targetParameter->first().ownedFeature->first().redefines(referent)
+ * targetParameter.ownedFeature->first().ownedFeature->notEmpty() and
+ * targetParameter.ownedFeature->first().ownedFeature->first().redefines(referent)
  * referent =
  *     let unownedFeatures : Sequence(Feature) = ownedMembership->
  *         reject(oclIsKindOf(FeatureMembership)).memberElement->
- *         selectByKind(Feature) in
+ *         select(oclIsKindOf(Feature) and 
+ *                not oclIsKindOf(MetadataFeature)) in
  *     if unownedFeatures->isEmpty() then null
  *     else unownedFeatures->first().oclAsType(Feature)
  *     endif
  * ownedMembership->exists(
  *     not oclIsKindOf(OwningMembership) and 
- *     memberElement.oclIsKindOf(Feature))
- * referent <> null implies referent.featureTarget.mayTimeVary
+ *     memberElement.oclIsKindOf(Feature) and
+ *     not memberElement.oclIsKindOf(MetadataFeature))
+ * referent <> null implies referent.featureTarget.isVariable
  * <!-- end-model-doc -->
  *
  * <p>

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/ConnectionDefinition.java

@@ -13,7 +13,7 @@
  * <p>A <code>ConnectionDefinition</code> is a <code>PartDefinition</code> that is also an <code>AssociationStructure</code>. The end <code>Features</code> of a <code>ConnectionDefinition</code> must be <code>Usages</code>.</p>
  * specializesFromLibrary('Connections::Connection')
  * ownedEndFeature->size() = 2 implies
- *     specializesFromLibrary('Connections::BinaryConnections')
+ *     specializesFromLibrary('Connections::BinaryConnection')
  * isSufficient
  * <!-- end-model-doc -->
  *

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/ConnectorAsUsage.java

@@ -9,7 +9,7 @@
  * <!-- end-user-doc -->
  *
  * <!-- begin-model-doc -->
- * <p>A <code>ConnectorAsUsage</code> is both a <code>Connector</code> and a <code>Usage</code>. <code>ConnectorAsUsage</code> cannot itself be instantiated in a SysML model, but it is a base class for the concrete classes <code>BindingConnectorAsUsage</code>, <code>SuccessionAsUsage</code>, <code>ConnectionUsage</code> and <code>FlowConnectionUsage</code>.</p>
+ * <p>A <code>ConnectorAsUsage</code> is both a <code>Connector</code> and a <code>Usage</code>. <code>ConnectorAsUsage</code> cannot itself be instantiated in a SysML model, but it is a base class for the concrete classes <code>BindingConnectorAsUsage</code>, <code>SuccessionAsUsage</code>, <code>ConnectionUsage</code> and <code>FlowUsage</code>.</p>
  * <!-- end-model-doc -->
  *
  *

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/ConstraintUsage.java

@@ -10,6 +10,7 @@
  *
  * <!-- begin-model-doc -->
  * <p>A <code>ConstraintUsage</code> is an <code>OccurrenceUsage</code> that is also a <code>BooleanExpression</code>, and, so, is typed by a <code>Predicate</code>. Nominally, if the type is a <code>ConstraintDefinition</code>, a <code>ConstraintUsage</code> is a <code>Usage</code> of that <code>ConstraintDefinition</code>. However, other kinds of kernel <code>Predicates</code> are also allowed, to permit use of <code>Predicates</code> from the Kernel Model Libraries.</p>
+ * isComposite and
  * owningFeatureMembership <> null and
  * owningFeatureMembership.oclIsKindOf(RequirementConstraintMembership) implies
  *     if owningFeatureMembership.oclAsType(RequirementConstraintMembership).kind = 

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/DecisionNode.java

@@ -18,7 +18,7 @@
  * specializesFromLibrary('Actions::Action::decisions')
  * sourceConnector->selectByKind(Succession)->
  *     forAll(subsetsChain(self, 
- *         resolveGlobal('ControlPerformances::MergePerformance::outgoingHBLink')))
+ *         resolveGlobal('ControlPerformances::DecisionPerformance::outgoingHBLink')))
  * <!-- end-model-doc -->
  *
  *

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/Definition.java

@@ -34,7 +34,7 @@
  * ownedPart = ownedUsage->selectByKind(PartUsage)
  * ownedPort = ownedUsage->selectByKind(PortUsage)
  * ownedConnection = ownedUsage->selectByKind(ConnectorAsUsage)
- * ownedFlow = ownedUsage->selectByKind(FlowConnectionUsage)
+ * ownedFlow = ownedUsage->selectByKind(FlowUsage)
  * ownedInterface = ownedUsage->selectByKind(ReferenceUsage)
  * ownedAllocation = ownedUsage->selectByKind(AllocationUsage)
  * ownedAction = ownedUsage->selectByKind(ActionUsage)
@@ -51,7 +51,7 @@
  * ownedView = ownedUsage->selectByKind(ViewUsage)
  * ownedViewpoint = ownedUsage->selectByKind(ViewpointUsage)
  * ownedRendering = ownedUsage->selectByKind(RenderingUsage)
- * ownedMetadata = ownedUsage->selectByKind(MetadataUsage)
+ * ownedMetadata = ownedMember->selectByKind(MetadataUsage)
  * isVariation implies isAbstract
  * <!-- end-model-doc -->
  *
@@ -834,7 +834,7 @@ public interface Definition extends Classifier {
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * <!-- begin-model-doc -->
-	 * <p>The <code>MetadataUsages</code> that are <code>ownedUsages</code> of this <code>Definition</code>.</p>
+	 * <p>The <code>MetadataUsages</code> that are <code>ownedMembers</code> of this <code>Definition</code>.</p>
 	 * <!-- end-model-doc -->
 	 * @return the value of the '<em>Owned Metadata</em>' reference list.
 	 * @see org.omg.sysml.lang.sysml.SysMLPackage#getDefinition_OwnedMetadata()

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/Feature.java

@@ -78,31 +78,33 @@
  *         (i = 1 implies 
  *             redefinesFromLibrary('Transfers::Transfer::source::sourceOutput')) and
  *         (i = 2 implies
- *             redefinesFromLibrary('Transfers::Transfer::source::targetInput'))
+ *             redefinesFromLibrary('Transfers::Transfer::target::targetInput'))
  *                  
  * owningType <> null and
- * not owningFeatureMembership.
- *     oclIsKindOf(ReturnParameterMembership) and
  * (owningType.oclIsKindOf(Behavior) or
  *  owningType.oclIsKindOf(Step) and
  *     (owningType.oclIsKindOf(InvocationExpression) implies
- *       not ownedRedefinition->exists(not isImplied)) 
+ *         not ownedRedefinition->exists(not isImplied)))
  * implies
- *     let i : Integer =
+ *     let ownerParameters : Sequence(Feature) =
  *         owningType.ownedFeature->select(direction <> null)->
  *             reject(owningFeatureMembership.
- *                 oclIsKindOf(ReturnParameterMembership))->
- *             indexOf(self) in
- *     owningType.ownedSpecialization.general->
- *         forAll(supertype |
- *             let ownedParameters : Sequence(Feature) =
- *                 supertype.ownedFeature->select(direction <> null)->
- *                      reject(owningFeatureMembership.
- *                          oclIsKindOf(ReturnParameterMembership)) in
- *             ownedParameters->size() >= i implies
- *                 redefines(ownedParameters->at(i))
+ *                 oclIsKindOf(ReturnParameterMembership)) in
+ *     ownerParameters->includes(self) implies
+ *         let i : Integer = ownerParameters.indexof(self) in
+ *         owningType.ownedSpecialization.general->
+ *             forAll(supertype |
+ *                 supertype.oclIsKindOf(Behavior) or 
+ *                     supertype.oclIsKindOf(Step) 
+ *                 implies
+ *                     let ownedParameters : Sequence(Feature) =
+ *                         supertype.ownedFeature->select(direction <> null)->
+ *                             reject(owningFeatureMembership.
+ *                                 oclIsKindOf(ReturnParameterMembership)) in
+ *                     ownedParameters->size() >= i implies
+ *                         redefines(ownedParameters->at(i)))
  * ownedTyping.type->exists(selectByKind(Structure)) implies
- *     specializesFromLibary('Objects::objects')
+ *     specializesFromLibrary('Objects::objects')
  * owningType <> null and
  * (owningType.oclIsKindOf(Function) and
  *     self = owningType.oclAsType(Function).result or
@@ -121,7 +123,7 @@
  *     select(fi | fi.featureInverted = self)
  * featuringType =
  *     let featuringTypes : OrderedSet(Type) = 
- *         featuring.type->asOrderedSet() in
+ *         typeFeaturing.type->asOrderedSet() in
  *     if chainingFeature->isEmpty() then featuringTypes
  *     else
  *         featuringTypes->

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/FeatureChainExpression.java

@@ -10,10 +10,10 @@
  *
  * <!-- begin-model-doc -->
  * <p>A <code>FeatureChainExpression</code> is an <code>OperatorExpression</code> whose operator is <code>"."</code>, which resolves to the <code>Function</code> <em><code>ControlFunctions::'.'</code></em> from the Kernel Functions Library. It evaluates to the result of chaining the <code>result</code> <code>Feature</code> of its single <code>argument</code> <code>Expression</code> with its <code>targetFeature</code>.</p>
- * let sourceParameter : Feature = sourceTargetFeature() in
+ * let sourceTargetFeature : Feature = sourceTargetFeature() in
  * sourceTargetFeature <> null and
  * sourceTargetFeature.redefinesFromLibrary('ControlFunctions::\'.\'::source::target')
- * let sourceParameter : Feature = sourceTargetFeature() in
+ * let sourceTargetFeature : Feature = sourceTargetFeature() in
  * sourceTargetFeature <> null and
  * sourceTargetFeature.redefines(targetFeature)
  * targetFeature =

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/ItemUsage.java

@@ -10,7 +10,7 @@
  * <!-- end-user-doc -->
  *
  * <!-- begin-model-doc -->
- * <p>An <code>ItemUsage</code> is a <code>ItemUsage</code> whose <code>definition</code> is a <code>Structure</code>. Nominally, if the <code>definition</code> is an <code>ItemDefinition</code>, an <code>ItemUsage</code> is a <code>ItemUsage</code> of that <code>ItemDefinition</code> within a system. However, other kinds of Kernel <code>Structures</code> are also allowed, to permit use of <code>Structures</code> from the Kernel Model Libraries.</p>
+ * <p>An <code>ItemUsage</code> is an <code>OccurrenceUsage</code> whose <code>definition</code> is a <code>Structure</code>. Nominally, if the <code>definition</code> is an <code>ItemDefinition</code>, an <code>ItemUsage</code> is a <code>ItemUsage</code> of that <code>ItemDefinition</code> within a system. However, other kinds of Kernel <code>Structures</code> are also allowed, to permit use of <code>Structures</code> from the Kernel Model Libraries.</p>
  * itemDefinition = occurrenceDefinition->selectByKind(Structure)
  * specializesFromLibrary('Items::items')
  * isComposite and owningType <> null and

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/Multiplicity.java

@@ -17,9 +17,9 @@
  * 
  * <p><code>Multiplicity</code> co-domains (in models) can be specified by <code>Expression</code> that might vary in their results. If the <code>typeWithMultiplicity</code> is a <code>Classifier</code>, the domain of the <code>Multiplicity</code> shall be <em><code>Base::Anything</code></em>.  If the <code>typeWithMultiplicity</code> is a <code>Feature</code>,  the <code>Multiplicity</code> shall have the same domain as the <code>typeWithMultiplicity</code>.</p>
  * 
- * if owningType <> null and owningType.oclIsKindOf(Feature) then
+ * if owningNamespace <> null and owningNamespace.oclIsKindOf(Feature) then
  *     featuringType = 
- *         owningType.oclAsType(Feature).featuringType
+ *         owningNamespace.oclAsType(Feature).featuringType
  * else
  *     featuringType->isEmpty()
  * endif

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/Namespace.java

@@ -329,7 +329,7 @@ public interface Namespace extends Element {
 	 *     let memberships : Membership = membership->
 	 *         select(memberShortName = name or memberName = name) in
 	 *     if memberships->notEmpty() then memberships->first()
-	 *     else owningNamspace.resolveLocal(name)
+	 *     else owningNamespace.resolveLocal(name)
 	 *     endif
 	 * endif
 	 * <!-- end-model-doc -->

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/PortDefinition.java

@@ -53,7 +53,7 @@ public interface PortDefinition extends OccurrenceDefinition, Structure {
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * <!-- begin-model-doc -->
-	 * <p>The <codeConjugatedPortDefinition</code> that is conjugate to this <code>PortDefinition</code>.</p>
+	 * <p>The <code>ConjugatedPortDefinition</code> that is conjugate to this <code>PortDefinition</code>.</p>
 	 * <!-- end-model-doc -->
 	 * @return the value of the '<em>Conjugated Port Definition</em>' reference.
 	 * @see #setConjugatedPortDefinition(ConjugatedPortDefinition)

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/RequirementDefinition.java

@@ -183,7 +183,7 @@ public interface RequirementDefinition extends ConstraintDefinition {
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * <!-- begin-model-doc -->
-	 * <p>The <code>parameters</code> of this <code>RequirementDefinition</code> that represent stakeholders for th requirement.</p>
+	 * <p>The <code>parameters</code> of this <code>RequirementDefinition</code> that represent stakeholders for the requirement.</p>
 	 * <!-- end-model-doc -->
 	 * @return the value of the '<em>Stakeholder Parameter</em>' reference list.
 	 * @see org.omg.sysml.lang.sysml.SysMLPackage#getRequirementDefinition_StakeholderParameter()

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/RequirementUsage.java

@@ -49,8 +49,10 @@
  *     owningType.ownedSpecialization.general->forAll(gen |
  *         (gen.oclIsKindOf(CaseDefinition) implies
  *             redefines(gen.oclAsType(CaseDefinition).objectiveRequirement)) and
- *         (gen.oclIsKindOf(CaseUsage) implies
- *             redefines(gen.oclAsType(CaseUsage).objectiveRequirement))
+ *         (gen.oclIsKindOf(Feature) and 
+ *          gen.oclAsType(Feature).featureTarget.oclIsKindOf(CaseUsage) implies
+ *             redefines(gen.oclAsType(Feature).featureTarget.
+ *                         oclAsType(CaseUsage).objectiveRequirement))
  * owningFeatureMembership <> null and
  * owningFeatureMembership.oclIsKindOf(RequirementVerificationMembership) implies
  *     specializesFromLibrary('VerificationCases::VerificationCase::obj::requirementVerifications')

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/SatisfyRequirementUsage.java

@@ -15,7 +15,7 @@
  *         selectByKind(BindingConnector)->
  *         select(b | b.relatedElement->includes(subjectParameter)) in
  *     if bindings->isEmpty() or 
- *        bindings->first().relatedElement->exits(r | r <> subjectParameter) 
+ *        not bindings->first().relatedElement->exits(r | r <> subjectParameter) 
  *     then null
  *     else bindings->first().relatedElement->any(r | r <> subjectParameter)
  *     endif

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/SendActionUsage.java

@@ -13,7 +13,10 @@
  * 
  * senderArgument = argument(2)
  * payloadArgument = argument(1)
- * inputParameters()->size() >= 3
+ * owningFeatureMembership <> null and
+ * (owningFeatureMembership.oclIsKindOf(StateSubactionMembership) or
+ *  owningFeatureMembership.oclIsKindOf(TransitionFeatureMembership)) implies
+ *     payloadArgument <> null
  * receiverArgument = argument(3)
  * isSubactionUsage() implies
  *     specializesFromLibrary('Actions::Action::acceptSubactions')
@@ -73,7 +76,7 @@ public interface SendActionUsage extends ActionUsage {
 	 * @return the value of the '<em>Payload Argument</em>' reference.
 	 * @see #setPayloadArgument(Expression)
 	 * @see org.omg.sysml.lang.sysml.SysMLPackage#getSendActionUsage_PayloadArgument()
-	 * @model required="true" transient="true" volatile="true" derived="true" ordered="false"
+	 * @model transient="true" volatile="true" derived="true" ordered="false"
 	 *        annotation="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName body='sendingActionUsage'"
 	 *        annotation="http://www.omg.org/spec/SysML"
 	 * @generated

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/Usage.java

@@ -40,7 +40,7 @@
  * nestedConnection = nestedUsage->selectByKind(ConnectorAsUsage)
  * nestedConstraint = nestedUsage->selectByKind(ConstraintUsage)
  * ownedNested = nestedUsage->selectByKind(EnumerationUsage)
- * nestedFlow = nestedUsage->selectByKind(FlowConnectionUsage)
+ * nestedFlow = nestedUsage->selectByKind(FlowUsage)
  * nestedInterface = nestedUsage->selectByKind(ReferenceUsage)
  * nestedItem = nestedUsage->selectByKind(ItemUsage)
  * nestedMetadata = nestedUsage->selectByKind(MetadataUsage)
@@ -583,7 +583,7 @@ public interface Usage extends Feature {
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * <!-- begin-model-doc -->
-	 * <p>The <code>ConnectorAsUsages</code> that are <code>nestedUsages</code> of this <code>Usage</code>. Note that this list includes <code>BindingConnectorAsUsages</code>, <code>SuccessionAsUsages</code>, and <code>FlowConnectionUsages</code> because these are <code>ConnectorAsUsages</code> even though they are not <code>ConnectionUsages</code>.</p>
+	 * <p>The <code>ConnectorAsUsages</code> that are <code>nestedUsages</code> of this <code>Usage</code>. Note that this list includes <code>BindingConnectorAsUsages</code>, <code>SuccessionAsUsages</code>, and <code>FlowUsages</code> because these are <code>ConnectorAsUsages</code> even though they are not <code>ConnectionUsages</code>.</p>
 	 * <!-- end-model-doc -->
 	 * @return the value of the '<em>Nested Connection</em>' reference list.
 	 * @see org.omg.sysml.lang.sysml.SysMLPackage#getUsage_NestedConnection()
@@ -1029,7 +1029,7 @@ public interface Usage extends Feature {
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * <!-- begin-model-doc -->
-	 * <p>The <code>MetadataUsages</code> that are <code>nestedUsages</code> of this of this <code>Usage</code>.</p>
+	 * <p>The <code>MetadataUsages</code> that are <code>ownedMembers</code> of this of this <code>Usage</code>.</p>
 	 * <!-- end-model-doc -->
 	 * @return the value of the '<em>Nested Metadata</em>' reference list.
 	 * @see org.omg.sysml.lang.sysml.SysMLPackage#getUsage_NestedMetadata()

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/ViewpointDefinition.java

@@ -14,7 +14,7 @@
  * viewpointStakeholder = framedConcern.featureMemberhsip->
  *     selectByKind(StakeholderMembership).
  *     ownedStakeholderParameter
- * specializesFromLibrary('Views::Viewpoint')
+ * specializesFromLibrary('Views::ViewpointCheck')
  * <!-- end-model-doc -->
  *
  * <p>

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/ViewpointUsage.java

@@ -16,7 +16,7 @@
  * viewpointStakeholder = framedConcern.featureMemberhsip->
  *     selectByKind(StakeholderMembership).
  *     ownedStakeholderParameter
- * specializesFromLibrary('Views::viewpoints')
+ * specializesFromLibrary('Views::viewpointChecks')
  * isComposite and owningType <> null and
  * (owningType.oclIsKindOf(ViewDefinition) or
  *  owningType.oclIsKindOf(ViewUsage)) implies

org.omg.sysml.model/src/main/java/org/omg/sysml/lang/sysml/impl/NamespaceImpl.java

@@ -19,7 +19,6 @@
 
 import org.eclipse.emf.ecore.util.EObjectContainmentWithInverseEList;
 import org.eclipse.emf.ecore.util.InternalEList;
-
 import org.omg.sysml.lang.sysml.util.DerivedUnionEObjectEList;
 import org.omg.sysml.lang.sysml.Element;
 import org.omg.sysml.lang.sysml.Import;