| =DONE= |
| ==ModelElements== |
| * (Conform) 1_general_is_viewpoint |
| * (Conform) 2_specific_is_view |
| * (Expose) 1_client_is_view |
| * (Stakeholder) 1_not_association ?? |
| * (View) 1_single_viewpoint |
| * (Viewpoint) 2_create_view_operation |
| ==Blocks== |
| * (BindingConnector) 1_compatible_types |
| * (Block) 1_associations_binary |
| * (Block) 2_connectors_binary |
| * (Block) 6_valueproperties_composite |
| * (Block) 8_specializations_are_blocks |
| * (BoundReference) 1_bindingconnector_end |
| * (BoundReference) 2_opposite_bindingconnector_end |
| * (BoundReference) 3_navigable |
| * (BoundReference) 4_propertypath_consistency |
| * (BoundReference) 5_reference_or_valueproperty |
| * (BoundReference) 6_ordered_nonunique |
| * (BoundReference) 7_cannot_redefine_boundreference |
| * (BoundReference) 8_notbounded_to_itslef |
| * (ClassifierBehaviorProperty) 1_owner_classifierbehavior |
| * (ClassifierBehaviorProperty) 2_composite |
| * (ClassifierBehaviorProperty) 3_typed_by_classifierbehavior |
| * (ConnectorProperty) 1_block_property |
| * (ConnectorProperty) 2_owned_or_inherited |
| * (ConnectorProperty) 3_composite |
| * (ConnectorProperty) 4_typed_by_associationblock |
| * (ConnectorProperty) 5_same_name |
| * (DirectedRelationshipPropertyPath) 1_sourcecontext_iif_property |
| * (DirectedRelationshipPropertyPath) 2_targetcontext_iif_property |
| * (DirectedRelationshipPropertyPath) 3_sourcepropertypath_implies_property |
| * (DirectedRelationshipPropertyPath) 4_targetpropertypath_implies_property |
| * (DirectedRelationshipPropertyPath) 5_sourcecontext_owns_sourcepath_first |
| * (DirectedRelationshipPropertyPath) 6_targetcontext_owns_targetpath_first |
| * (DirectedRelationshipPropertyPath) 8_sourcepath_last_type_owns_source |
| * (DirectedRelationshipPropertyPath) 9_targetpath_last_type_owns_target |
| * (DistributedProperty) 1_block_or_valuetype |
| * (ElementPropertyPath) 1_path_consistency |
| * (EndPathMultiplicity) 1_redefinition |
| * (EndPathMultiplicity) 2_non_negative |
| * (NestedConnectorEnd) 1_propertypath_first_owned_by_connector_owner |
| * (NestedConnectorEnd) 2_propertypath_last_type_owns_role |
| * (ParticipantProperty) 1_associationblock |
| * (ParticipantProperty) 2_memberend |
| * (ParticipantProperty) 3_aggregationkind_none |
| * (ParticipantProperty) 4_end_owner |
| * (ParticipantProperty) 5_same_type |
| * (ParticipantProperty) 6_multiplicity_1 |
| * (PropertySpecificType) 1_only_one_property |
| * (ValueType) 1_specializations_are_valuetypes |
| * (ValueType) 2_unit |
| * (ValueType) 3_quantitykind |
| ==PortsAndFlows== |
| * (AcceptChangeStructuralFeatureEventAction) 1_one_trigger |
| * (AcceptChangeStructuralFeatureEventAction) 2_two_resultpins |
| * (AcceptChangeStructuralFeatureEventAction) 3_context_owns_structuralfeature |
| * (AcceptChangeStructuralFeatureEventAction) 4_can_access_structuralfeature |
| * (AddFlowPropertyValueOnNestedPortAction) 1_feature_flowproperty |
| * (AddFlowPropertyValueOnNestedPortAction) 2_onnestedport_first_owned_by_target_type |
| * (AddFlowPropertyValueOnNestedPortAction) 3_path_consistency |
| * (AddFlowPropertyValueOnNestedPortAction) 4_onnestedport_last_type_owns_invocation_onPort |
| * (ChangeStructuralFeatureEvent) 1_not_static |
| * (ChangeStructuralFeatureEvent) 2_one_featuringclassifier |
| * (DirectedFeature) 1_behavioralfeature_or_not_flowproperty |
| * (FlowProperty) 1_restricted_types |
| * (FullPort) 1_not_proxy |
| * (FullPort) 2_not_bound_to_fullport |
| * (FullPort) 3_not_behavioral |
| * (InterfaceBlock) 1_no_behavior |
| * (InterfaceBlock) 3_interfaceblock_typed_ports |
| * (InterfaceBlock) isconjugated_not_used |
| * (InvocationOnNestedPortAction) 1_onPort_defined |
| * (InvocationOnNestedPortAction) 2_onnestedport_first_owned_by_target_type |
| * (InvocationOnNestedPortAction) 3_path_consistency |
| * (InvocationOnNestedPortAction) 4_onnestedport_last_type_owns_invocation_onPort |
| * (ItemFlow) 2_type_restricted |
| * (ItemFlow) 4_association_xor_itemproperty |
| * (ItemFlow) 5_same_type |
| * (ItemFlow) 6_same_name |
| * (ProxyPort) 1_not_fullport |
| * (ProxyPort) 2_interfaceblock |
| * (ProxyPort) 3_subports_are_proxyports |
| * (TriggerOnNestedPort) 1_single_proxyport |
| * (TriggerOnNestedPort) 2_no_fullport |
| * (TriggerOnNestedPort) 3_onnestedport_first_owned_by_context |
| * (TriggerOnNestedPort) 4_path_consistency |
| * (~InterfaceBlock) enforced_name |
| ==ConstraintBlocks== |
| * (ConstraintBlock) 3_composite |
| ==Activities== |
| * (ControlOperator) 1_one_parameter_controlvalue |
| * (ControlOperator) 2_controloperator_operation_method |
| * (Discrete) 1_not_continuous |
| * (NoBuffer) 1_not_overwrite |
| * (Overwrite) 1_not_nobuffer |
| * (Optional) 1_lower_is_0 |
| * (Probability) 1_source_decisionnode_or_objectnode |
| * (Probability) 2_all_outgoing_edges |
| * (Probability) 3_all_parametersets |
| * (Probability) 4_all_outputparameter_in_parametersets |
| * (Rate) 1_streaming |
| * (Rate) 2_edges_rates |
| ==Allocations== |
| * (Allocate) 2_binary |
| * (AllocateActivityPartition) 1_actions_on_client_ends |
| ==Requirements== |
| * (Copy) 1_source_and_taget_are_requirements |
| * (Copy) 2_same_text |
| * (DeriveReqt) 1_supplier_is_requirement |
| * (DeriveReqt) 2_client_is_requirement |
| * (Refine) 2_binary |
| * (Requirement) 1_no_operation |
| * (Requirement) 2_no_attribute |
| * (Requirement) 3_no_association |
| * (Requirement) 4_no_generalization |
| * (Requirement) 5_nestedclassifiers_are_requirements |
| * (Requirement) 6_not_a_type |
| * (TestCase) 1_return_verdictkind |
| * (Satisfy) 1_supplier_is_requirement |
| * (Trace) 2_binary |
| * (Verify) 1_supplier_is_requirement |
| |
| =TODO= |
| ==ModelElements== |
| * (View) 2_viewpoint_derived_from_conform |
| * (View) 3_stakeholder_derived_from_conform |
| * (Viewpoint) 1_method_derived_from_create_operations |
| ==Blocks== |
| * (AdjunctProperty) 1_principal_kind |
| * (AdjunctProperty) 2_same_name |
| * (AdjunctProperty) 3_connector_and_callaction_composite |
| * (AdjunctProperty) 4_same_owner |
| * (AdjunctProperty) 5_compatible_type |
| * (AdjunctProperty) 6_connector_principal_associationblock |
| * (AdjunctProperty) 7_adjunctproperty_connectorproperty_consistent |
| * (AdjunctProperty) 8_callAction_composite_and_consitent_type |
| * (AdjunctProperty) 9_objectnode_multiplicity |
| * (AdjunctProperty) 10_multiplicity_same_or_less_restrictive |
| * (AdjunctProperty) 11_submachine_and_interactionuse_composite_and |
| * (Block) 5_uml_connector_constraint_removed => remove an uml constraint |
| * (Block) 7_composition_acyclic => inconsistency between ocl rule and text |
| * (Block) 9_uml constraint_removed => remove an uml constraint |
| * (DirectedRelationshipPropertyPath) 7_path_and_owners_consistency |
| ==PortsAndFlows== |
| * (AcceptChangeStructuralFeatureEventAction) 5_uml_constraint_removed |
| * (DirectedFeature) 2_method_if_provided => it seems that this constraint is conflicting with the (DirectedFeature) 1_behavioralfeature_or_not_flowproperty constraint |
| * (InterfaceBlock) 2_no_part => change since 1.4 but it seems that the definition is not consistent with the OCL expression |
| * (ItemFlow) 1_source_and_target_linked |
| * (ItemFlow) 3_itemproperty_common_owner |
| * (TriggerOnNestedPort) 5_onnestedport_last_type_owns_trigger_port |
| * (~InterfaceBlock) inverted_features |
| ==ConstraintBlocks== |
| * (ConstraintBlock) 1_constraintparameters_only |
| ==Activities== |
| ==Allocations== |
| * (AllocateActivityPartition) 2_not_uml_semantics |
| ==Requirements== |
