Changes between Version 4 and Version 5 of sysmlumlparser


Ignore:
Timestamp:
05/18/21 14:41:56 (5 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • sysmlumlparser

    v4 v5  
    33The SysML/UML parser is a set of post-processing rules for the xmi parser (xmlrev). It takes XML prolog predicates as input and produces a list of SysML and UML prolog predicates as output. These rules have been automatically generated by UML2LMP, another LMP tool that processes UML metamodels.[[BR]]
    44
    5 Current version of the SysML/UML parser complies with UML 2.5.1, SysML 1.5 and MagicDraw(tm) extensions.
     5Current version of the SysML/UML parser complies with UML 2.5.1, SysML 1.5 and !MagicDraw(tm) extensions.
    66
    77This page describes the SysML/UML prolog API that can be used to create processing tools with [wiki:LMP LMP] or [wiki:lamp LAMP]
    … …  
    99=== SysML predicates ===
    1010
    11 isSysmlValueType(ParentId,InstId,XmiId,Base_datatype,Unit,Quantitykind).
    12 isSysmlDistributedProperty(ParentId,InstId,XmiId,Base_property).
    13 isSysmlConnectorProperty(ParentId,InstId,XmiId,Base_property,Connector).
    14 isSysmlParticipantProperty(ParentId,InstId,XmiId,Base_property,End).
    15 isSysmlBindingConnector(ParentId,InstId,XmiId,Base_connector).
    16 isSysmlBlock(ParentId,InstId,XmiId,Base_class,Isencapsulated).
    17 isSysmlPropertySpecificType(ParentId,InstId,XmiId,Base_classifier).
    18 isSysmlNestedConnectorEnd(ParentId,InstId,XmiId,Base_connectorend).
    19     isSysmlElementPropertyPath(ParentId,InstId,XmiId,Base_element,Propertypath).
    20 isSysmlDirectedRelationshipPropertyPath(ParentId,InstId,XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
    21 isSysmlElementPropertyPath(ParentId,InstId,XmiId,Base_element,Propertypath).
    22 isSysmlEndPathMultiplicity(ParentId,InstId,XmiId,Base_property,Lower,Upper).
    23     isSysmlEndPathMultiplicity(ParentId,InstId,XmiId,Base_property,Lower,Upper).
    24 isSysmlBoundReference(ParentId,InstId,XmiId,Boundend,Bindingpath).
    25 isSysmlAdjunctProperty(ParentId,InstId,XmiId,Base_property,Principal).
    26 isSysmlClassifierBehaviorProperty(ParentId,InstId,XmiId,Base_property).
    27 isSysmlItemFlow(ParentId,InstId,XmiId,Base_informationflow,Itemproperty).
    28 isSysmlFlowProperty(ParentId,InstId,XmiId,Base_property,Direction).
    29 isSysmlFullPort(ParentId,InstId,XmiId,Base_port).
    30 isSysmlInterfaceBlock(ParentId,InstId,XmiId).
    31     isSysmlBlock(ParentId,InstId,XmiId,Base_class,Isencapsulated).
    32 isSysmlProxyPort(ParentId,InstId,XmiId,Base_port).
    33 isSysmlAcceptChangeStructuralFeatureEventAction(ParentId,InstId,XmiId,Base_accepteventaction).
    34 isSysmlChangeStructuralFeatureEvent(ParentId,InstId,XmiId,Base_changeevent,Structuralfeature).
    35 isSysmlDirectedFeature(ParentId,InstId,XmiId,Base_feature,Featuredirection).
    36 isSysmlInvocationOnNestedPortAction(ParentId,InstId,XmiId,Base_invocationaction,Onnestedport).
    37     isSysmlElementPropertyPath(ParentId,InstId,XmiId,Base_element,Propertypath).
    38 isSysmlTriggerOnNestedPort(ParentId,InstId,XmiId,Base_trigger,Onnestedport).
    39     isSysmlElementPropertyPath(ParentId,InstId,XmiId,Base_element,Propertypath).
    40 isSysmlOverwrite(ParentId,InstId,XmiId,Base_objectnode).
    41 isSysmlControlOperator(ParentId,InstId,XmiId,Base_behavior,Base_operation).
    42 isSysmlRate(ParentId,InstId,XmiId,Rate,Base_activityedge,Base_objectnode,Base_parameter).
    43 isSysmlNoBuffer(ParentId,InstId,XmiId,Base_objectnode).
    44 isSysmlDiscrete(ParentId,InstId,XmiId).
    45     isSysmlRate(ParentId,InstId,XmiId,Rate,Base_activityedge,Base_objectnode,Base_parameter).
    46 isSysmlContinuous(ParentId,InstId,XmiId).
    47     isSysmlRate(ParentId,InstId,XmiId,Rate,Base_activityedge,Base_objectnode,Base_parameter).
    48 isSysmlProbability(ParentId,InstId,XmiId,Base_activityedge,Base_parameterset,Probability).
    49 isSysmlOptional(ParentId,InstId,XmiId,Base_parameter).
    50 isSysmlRationale(ParentId,InstId,XmiId,Base_comment).
    51 isSysmlView(ParentId,InstId,XmiId,Base_package,Viewpoint,Stakeholder,Base_class).
    52 isSysmlConform(ParentId,InstId,XmiId,Base_dependency,Base_generalization).
    53 isSysmlProblem(ParentId,InstId,XmiId,Base_comment).
    54 isSysmlViewpoint(ParentId,InstId,XmiId,Base_class,Stakeholder,Purpose,Concernlist,Language,Method,Presentation,Concern).
    55 isSysmlStakeholder(ParentId,InstId,XmiId,Base_classifier,Concern,Concernlist).
    56 isSysmlExpose(ParentId,InstId,XmiId,Base_dependency).
    57 isSysmlElementGroup(ParentId,InstId,XmiId,Base_comment,Name,Criterion,Size,Member,Orderedmember).
    58 isSysmlConstraintBlock(ParentId,InstId,XmiId,Base_class).
    59     isSysmlBlock(ParentId,InstId,XmiId,Base_class,Isencapsulated).
    60 isSysmlAllocateActivityPartition(ParentId,InstId,XmiId,Base_activitypartition).
    61 isSysmlAllocate(ParentId,InstId,XmiId,Base_abstraction).
    62     isSysmlDirectedRelationshipPropertyPath(ParentId,InstId,XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
    63 isSysmlDeriveReqt(ParentId,InstId,XmiId).
    64     isSysmlDirectedRelationshipPropertyPath(ParentId,InstId,XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
    65     isSysmlTrace(ParentId,InstId,XmiId,Base_abstraction).
    66 isSysmlCopy(ParentId,InstId,XmiId).
    67     isSysmlDirectedRelationshipPropertyPath(ParentId,InstId,XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
    68     isSysmlTrace(ParentId,InstId,XmiId,Base_abstraction).
    69 isSysmlSatisfy(ParentId,InstId,XmiId).
    70     isSysmlDirectedRelationshipPropertyPath(ParentId,InstId,XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
    71     isSysmlTrace(ParentId,InstId,XmiId,Base_abstraction).
    72 isSysmlTestCase(ParentId,InstId,XmiId,Base_operation,Base_behavior).
    73 isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    74     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    75 isSysmlVerify(ParentId,InstId,XmiId).
    76     isSysmlDirectedRelationshipPropertyPath(ParentId,InstId,XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
    77     isSysmlTrace(ParentId,InstId,XmiId,Base_abstraction).
    78 isSysmlTrace(ParentId,InstId,XmiId,Base_abstraction).
    79     isSysmlDirectedRelationshipPropertyPath(ParentId,InstId,XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
    80 isSysmlRefine(ParentId,InstId,XmiId,Base_abstraction).
    81     isSysmlDirectedRelationshipPropertyPath(ParentId,InstId,XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
    82 isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    83 isSysmlFlowPort(ParentId,InstId,XmiId,Base_port,Direction,Isatomic).
    84 isSysmlFlowSpecification(ParentId,InstId,XmiId,Base_interface).
    85 isSysmlAllocated(ParentId,InstId,XmiId,Base_namedelement,Allocatedfrom,Allocatedto).
    86 isSysmlRequirementRelated(ParentId,InstId,XmiId,Base_namedelement,Tracedfrom,Satisfies,Refines,Verifies).
    87 isSysmlSystem(ParentId,InstId,XmiId,Base_class).
    88     isSysmlBlock(ParentId,InstId,XmiId,Base_class,Isencapsulated).
    89 isSysmlDomain(ParentId,InstId,XmiId,Base_class).*/
    90     isSysmlBlock(ParentId,InstId,XmiId,Base_class,Isencapsulated).
    91 isSysmlSystem_context(ParentId,InstId,XmiId,Base_class).
    92     isSysmlBlock(ParentId,InstId,XmiId,Base_class,Isencapsulated).
    93 isSysmlSubsystem(ParentId,InstId,XmiId,Base_class).
    94     isSysmlBlock(ParentId,InstId,XmiId,Base_class,Isencapsulated).
    95 isSysmlExternal(ParentId,InstId,XmiId,Base_class).
    96     isSysmlBlock(ParentId,InstId,XmiId,Base_class,Isencapsulated).
    97 isSysmlfunctionalRequirement(ParentId,InstId,XmiId,Base_class).
    98     isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    99     isSysmlextendedRequirement(ParentId,InstId,XmiId,Base_class,Source,Risk,Verifymethod).
    100     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    101 isSysmlperformanceRequirement(ParentId,InstId,XmiId,Base_class).
    102     isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    103     isSysmlextendedRequirement(ParentId,InstId,XmiId,Base_class,Source,Risk,Verifymethod).
    104     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    105 isSysmlextendedRequirement(ParentId,InstId,XmiId,Base_class,Source,Risk,Verifymethod).
    106     isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    107     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    108 isSysmlusabilityRequirement(ParentId,InstId,XmiId,Base_class).
    109     isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    110     isSysmlextendedRequirement(ParentId,InstId,XmiId,Base_class,Source,Risk,Verifymethod).
    111     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    112 isSysmldesignConstraint(ParentId,InstId,XmiId,Base_class).
    113     isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    114     isSysmlextendedRequirement(ParentId,InstId,XmiId,Base_class,Source,Risk,Verifymethod).
    115     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    116 isSysmlinterfaceRequirement(ParentId,InstId,XmiId,Base_class).
    117     isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    118     isSysmlextendedRequirement(ParentId,InstId,XmiId,Base_class,Source,Risk,Verifymethod).
    119     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    120 isSysmlphysicalRequirement(ParentId,InstId,XmiId,Base_class).
    121     isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    122     isSysmlextendedRequirement(ParentId,InstId,XmiId,Base_class,Source,Risk,Verifymethod).
    123     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    124 isSysmlbusinessRequirement(ParentId,InstId,XmiId,Base_class).
    125     isSysmlRequirement(ParentId,InstId,XmiId,Base_class).
    126     isSysmlextendedRequirement(ParentId,InstId,XmiId,Base_class,Source,Risk,Verifymethod).
    127     isSysmlAbstractRequirement(ParentId,InstId,XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).
    128 isSysmlExternal_system(ParentId,InstId,XmiId,Base_actor).
    129 isSysmlSensor(ParentId,InstId,XmiId,Base_actor).
    130     isSysmlExternal_system(ParentId,InstId,XmiId,Base_actor).
    131 isSysmlBoundary_system(ParentId,InstId,XmiId,Base_actor).
    132     isSysmlExternal_system(ParentId,InstId,XmiId,Base_actor).
    133 isSysmlEnvironmental_effect(ParentId,InstId,XmiId,Base_actor).
    134 isSysmlUser_system(ParentId,InstId,XmiId,Base_actor).
    135     isSysmlExternal_system(ParentId,InstId,XmiId,Base_actor).
    136 isSysmlActuator(ParentId,InstId,XmiId,Base_actor).
    137     isSysmlExternal_system(ParentId,InstId,XmiId,Base_actor).
    138 isSysmlUniform(ParentId,InstId,XmiId,Base_property).
    139     isSysmlDistributedProperty(ParentId,InstId,XmiId,Base_property).
    140     isSysmlBasicInterval(ParentId,InstId,XmiId,Base_property,Min,Max).
    141 isSysmlNormal(ParentId,InstId,XmiId,Base_property,Mean,Standarddeviation).
    142     isSysmlDistributedProperty(ParentId,InstId,XmiId,Base_property).
    143 isSysmlBasicInterval(ParentId,InstId,XmiId,Base_property,Min,Max).
    144     isSysmlDistributedProperty(ParentId,InstId,XmiId,Base_property).
    145 isSysmlInterval(ParentId,InstId,XmiId,Base_property).
    146     isSysmlDistributedProperty(ParentId,InstId,XmiId,Base_property).
    147     isSysmlBasicInterval(ParentId,InstId,XmiId,Base_property,Min,Max).
    148 isSysmlBlockHierarchy(ParentId,InstId,XmiId,Base_diagram).
    149 isSysmlDiagram_Description(ParentId,InstId,XmiId,Base_diagram,Version,Description,Completion_status,Reference).
    150 isSysmlSwimLaneDiagram(ParentId,InstId,XmiId,Base_diagram).
    151 isSysmldiagramUsage(ParentId,InstId,XmiId,Base_diagram).
    152 isSysmlContextDiagram(ParentId,InstId,XmiId,Base_diagram).
    153 isSysmlmoe(ParentId,InstId,XmiId,Base_property).
    154 isSysmlobjectiveFunction(ParentId,InstId,XmiId,Base_class,Base_property).
    155 isSysmlnonStreaming(ParentId,InstId,XmiId,Base_activity).
    156 isSysmlstreaming(ParentId,InstId,XmiId,Base_activity).
    157 isSysmlEssential(ParentId,InstId,XmiId,Base_activity).
    158 isSysmleffbd(ParentId,InstId,XmiId,Base_activity).
    159 isSysmlSystem_process(ParentId,InstId,XmiId,Base_activity,Base_usecase).
    160 isSysmlUnit(ParentId,InstId,XmiId,Name,Symbol,Description,Definitionuri,Quantitykind).
    161 isSysmlQuantityKind(ParentId,InstId,XmiId,Scale,Name,Symbol,Description,Definitionuri).
    162 isSysmlScaleValueDefinition(ParentId,InstId,XmiId,Description,Value).
    163 isSysmlScale(ParentId,InstId,XmiId,Valuedefinition,Unit).
     11**isSysmlValueType**(!ParentId,!InstId,!XmiId,Base_datatype,Unit,Quantitykind).\\
     12
     13**isSysmlDistributedProperty**(!ParentId,!InstId,!XmiId,Base_property).\\
     14
     15**isSysmlConnectorProperty**(!ParentId,!InstId,!XmiId,Base_property,Connector).\\
     16
     17**isSysmlParticipantProperty**(!ParentId,!InstId,!XmiId,Base_property,End).\\
     18
     19**isSysmlBindingConnector**(!ParentId,!InstId,!XmiId,Base_connector).\\
     20
     21**isSysmlBlock**(!ParentId,!InstId,!XmiId,Base_class,Isencapsulated).\\
     22
     23**isSysmlPropertySpecificType**(!ParentId,!InstId,!XmiId,Base_classifier).\\
     24
     25**isSysmlNestedConnectorEnd**(!ParentId,!InstId,!XmiId,Base_connectorend).
     26    ''isSysmlElementPropertyPath''(!ParentId,!InstId,!XmiId,Base_element,Propertypath).\\
     27
     28**isSysmlDirectedRelationshipPropertyPath**(!ParentId,!InstId,!XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).\\
     29
     30**isSysmlElementPropertyPath**(!ParentId,!InstId,!XmiId,Base_element,Propertypath).\\
     31
     32**isSysmlEndPathMultiplicity**(!ParentId,!InstId,!XmiId,Base_property,Lower,Upper).
     33    ''isSysmlEndPathMultiplicity''(!ParentId,!InstId,!XmiId,Base_property,Lower,Upper).\\
     34
     35**isSysmlBoundReference**(!ParentId,!InstId,!XmiId,Boundend,Bindingpath).\\
     36
     37**isSysmlAdjunctProperty**(!ParentId,!InstId,!XmiId,Base_property,Principal).\\
     38
     39**isSysmlClassifierBehaviorProperty**(!ParentId,!InstId,!XmiId,Base_property).\\
     40
     41**isSysmlItemFlow**(!ParentId,!InstId,!XmiId,Base_informationflow,Itemproperty).\\
     42
     43**isSysmlFlowProperty**(!ParentId,!InstId,!XmiId,Base_property,Direction).\\
     44
     45**isSysmlFullPort**(!ParentId,!InstId,!XmiId,Base_port).\\
     46
     47**isSysmlInterfaceBlock**(!ParentId,!InstId,!XmiId).
     48    ''isSysmlBlock''(!ParentId,!InstId,!XmiId,Base_class,Isencapsulated).\\
     49
     50**isSysmlProxyPort**(!ParentId,!InstId,!XmiId,Base_port).\\
     51
     52**isSysmlAcceptChangeStructuralFeatureEventAction**(!ParentId,!InstId,!XmiId,Base_accepteventaction).\\
     53
     54**isSysmlChangeStructuralFeatureEvent**(!ParentId,!InstId,!XmiId,Base_changeevent,Structuralfeature).\\
     55
     56**isSysmlDirectedFeature**(!ParentId,!InstId,!XmiId,Base_feature,Featuredirection).\\
     57
     58**isSysmlInvocationOnNestedPortAction**(!ParentId,!InstId,!XmiId,Base_invocationaction,Onnestedport).
     59    ''isSysmlElementPropertyPath''(!ParentId,!InstId,!XmiId,Base_element,Propertypath).\\
     60
     61**isSysmlTriggerOnNestedPort**(!ParentId,!InstId,!XmiId,Base_trigger,Onnestedport).
     62    ''isSysmlElementPropertyPath''(!ParentId,!InstId,!XmiId,Base_element,Propertypath).\\
     63
     64**isSysmlOverwrite**(!ParentId,!InstId,!XmiId,Base_objectnode).\\
     65
     66**isSysmlControlOperator**(!ParentId,!InstId,!XmiId,Base_behavior,Base_operation).\\
     67
     68**isSysmlRate**(!ParentId,!InstId,!XmiId,Rate,Base_activityedge,Base_objectnode,Base_parameter).\\
     69
     70**isSysmlNoBuffer**(!ParentId,!InstId,!XmiId,Base_objectnode).\\
     71
     72**isSysmlDiscrete**(!ParentId,!InstId,!XmiId).
     73    ''isSysmlRate''(!ParentId,!InstId,!XmiId,Rate,Base_activityedge,Base_objectnode,Base_parameter).\\
     74
     75**isSysmlContinuous**(!ParentId,!InstId,!XmiId).
     76    ''isSysmlRate''(!ParentId,!InstId,!XmiId,Rate,Base_activityedge,Base_objectnode,Base_parameter).\\
     77
     78**isSysmlProbability**(!ParentId,!InstId,!XmiId,Base_activityedge,Base_parameterset,Probability).\\
     79
     80**isSysmlOptional**(!ParentId,!InstId,!XmiId,Base_parameter).\\
     81
     82**isSysmlRationale**(!ParentId,!InstId,!XmiId,Base_comment).\\
     83
     84**isSysmlView**(!ParentId,!InstId,!XmiId,Base_package,Viewpoint,Stakeholder,Base_class).\\
     85
     86**isSysmlConform**(!ParentId,!InstId,!XmiId,Base_dependency,Base_generalization).\\
     87
     88**isSysmlProblem**(!ParentId,!InstId,!XmiId,Base_comment).\\
     89
     90**isSysmlViewpoint**(!ParentId,!InstId,!XmiId,Base_class,Stakeholder,Purpose,Concernlist,Language,Method,Presentation,Concern).\\
     91
     92**isSysmlStakeholder**(!ParentId,!InstId,!XmiId,Base_classifier,Concern,Concernlist).\\
     93
     94**isSysmlExpose**(!ParentId,!InstId,!XmiId,Base_dependency).\\
     95
     96**isSysmlElementGroup**(!ParentId,!InstId,!XmiId,Base_comment,Name,Criterion,Size,Member,Orderedmember).\\
     97
     98**isSysmlConstraintBlock**(!ParentId,!InstId,!XmiId,Base_class).
     99    ''isSysmlBlock''(!ParentId,!InstId,!XmiId,Base_class,Isencapsulated).\\
     100
     101**isSysmlAllocateActivityPartition**(!ParentId,!InstId,!XmiId,Base_activitypartition).\\
     102
     103**isSysmlAllocate**(!ParentId,!InstId,!XmiId,Base_abstraction).
     104    ''isSysmlDirectedRelationshipPropertyPath''(!ParentId,!InstId,!XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).\\
     105
     106**isSysmlDeriveReqt**!ParentId,!InstId,!XmiId).
     107    ''isSysmlDirectedRelationshipPropertyPath''(!ParentId,!InstId,!XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
     108    ''isSysmlTrace''(!ParentId,!InstId,!XmiId,Base_abstraction).\\
     109
     110**isSysmlCopy**(ParentId,InstId,XmiId).
     111    ''isSysmlDirectedRelationshipPropertyPath''(!ParentId,!InstId,!XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
     112    ''isSysmlTrace''(!ParentId,!InstId,!XmiId,Base_abstraction).\\
     113
     114**isSysmlSatisfy**(!ParentId,!InstId,!XmiId).
     115    ''isSysmlDirectedRelationshipPropertyPath''(!ParentId,!InstId,!XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
     116    ''isSysmlTrace''(!ParentId,!InstId,!XmiId,Base_abstraction).\\
     117
     118**isSysmlTestCase**(!ParentId,!InstId,!XmiId,Base_operation,Base_behavior).\\
     119
     120**isSysmlRequirement**(!ParentId,!InstId,!XmiId,Base_class).
     121    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     122
     123**isSysmlVerify**(!ParentId,!InstId,!XmiId).
     124    ''isSysmlDirectedRelationshipPropertyPath''(!ParentId,!InstId,!XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).
     125    ''isSysmlTrace''(!ParentId,!InstId,!XmiId,Base_abstraction).\\
     126
     127**isSysmlTrace**(!ParentId,!InstId,!XmiId,Base_abstraction).
     128    ''isSysmlDirectedRelationshipPropertyPath''(!ParentId,!InstId,!XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).\\
     129
     130**isSysmlRefine**(!ParentId,!InstId,!XmiId,Base_abstraction).
     131    ''isSysmlDirectedRelationshipPropertyPath''(!ParentId,!InstId,!XmiId,Base_directedrelationship,Sourcepropertypath,Targetpropertypath,Sourcecontext,Targetcontext).\\
     132
     133**isSysmlAbstractRequirement**(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     134
     135**isSysmlFlowPort**(!ParentId,!InstId,!XmiId,Base_port,Direction,Isatomic).\\
     136
     137**isSysmlFlowSpecification**(!ParentId,!InstId,!XmiId,Base_interface).\\
     138
     139**isSysmlAllocated**(!ParentId,!InstId,!XmiId,Base_namedelement,Allocatedfrom,Allocatedto).\\
     140
     141**isSysmlRequirementRelated**(!ParentId,!InstId,!XmiId,Base_namedelement,Tracedfrom,Satisfies,Refines,Verifies).\\
     142
     143**isSysmlSystem**(!ParentId,!InstId,!XmiId,Base_class).
     144    ''isSysmlBlock''(!ParentId,!InstId,!XmiId,Base_class,Isencapsulated).\\
     145
     146**isSysmlDomain**(!ParentId,!InstId,!XmiId,Base_class).*/
     147    ''isSysmlBlock''(!ParentId,!InstId,!XmiId,Base_class,Isencapsulated).\\
     148
     149**isSysmlSystem_context**(!ParentId,!InstId,!XmiId,Base_class).
     150    ''isSysmlBlock''(!ParentId,!InstId,!XmiId,Base_class,Isencapsulated).\\
     151
     152**isSysmlSubsystem**(!ParentId,!InstId,!XmiId,Base_class).
     153    ''isSysmlBlock''(!ParentId,!InstId,!XmiId,Base_class,Isencapsulated).\\
     154
     155**isSysmlExternal**(!ParentId,!InstId,!XmiId,Base_class).
     156    ''isSysmlBlock''(!ParentId,!InstId,!XmiId,Base_class,Isencapsulated).\\
     157
     158**isSysmlfunctionalRequirement**(!ParentId,!InstId,!XmiId,Base_class).
     159    ''isSysmlRequirement''(!ParentId,!InstId,!XmiId,Base_class).
     160    ''isSysmlextendedRequirement''(!ParentId,!InstId,!XmiId,Base_class,Source,Risk,Verifymethod).
     161    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     162
     163**isSysmlperformanceRequirement**(!ParentId,!InstId,!XmiId,Base_class).
     164    ''isSysmlRequirement''(!ParentId,!InstId,!XmiId,Base_class).
     165    ''isSysmlextendedRequirement''(!ParentId,!InstId,!XmiId,Base_class,Source,Risk,Verifymethod).
     166    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     167
     168**isSysmlextendedRequirement**(!ParentId,!InstId,!XmiId,Base_class,Source,Risk,Verifymethod).
     169    ''isSysmlRequirement''(!ParentId,!InstId,!XmiId,Base_class).
     170    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     171
     172**isSysmlusabilityRequirement**(!ParentId,!InstId,!XmiId,Base_class).
     173    ''isSysmlRequirement''(!ParentId,!InstId,!XmiId,Base_class).
     174    ''isSysmlextendedRequirement''(!ParentId,!InstId,!XmiId,Base_class,Source,Risk,Verifymethod).
     175    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     176
     177**isSysmldesignConstraint**(!ParentId,!InstId,!XmiId,Base_class).
     178    ''isSysmlRequirement''(!ParentId,!InstId,!XmiId,Base_class).
     179    ''isSysmlextendedRequirement''(!ParentId,!InstId,!XmiId,Base_class,Source,Risk,Verifymethod).
     180    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     181
     182**isSysmlinterfaceRequirement**(!ParentId,!InstId,!XmiId,Base_class).
     183    ''isSysmlRequirement''(!ParentId,!InstId,!XmiId,Base_class).
     184    ''isSysmlextendedRequirement''(!ParentId,!InstId,!XmiId,Base_class,Source,Risk,Verifymethod).
     185    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     186
     187**isSysmlphysicalRequirement**(!ParentId,!InstId,!XmiId,Base_class).
     188    ''isSysmlRequirement''(!ParentId,!InstId,!XmiId,Base_class).
     189    ''isSysmlextendedRequirement''(!ParentId,!InstId,!XmiId,Base_class,Source,Risk,Verifymethod).
     190    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     191
     192**isSysmlbusinessRequirement**(!ParentId,!InstId,!XmiId,Base_class).
     193    ''isSysmlRequirement''(!ParentId,!InstId,!XmiId,Base_class).
     194    ''isSysmlextendedRequirement''(!ParentId,!InstId,!XmiId,Base_class,Source,Risk,Verifymethod).
     195    ''isSysmlAbstractRequirement''(!ParentId,!InstId,!XmiId,Base_namedelement,Text,Id,Derived,Derivedfrom,Satisfiedby,Refinedby,Tracedto,Verifiedby,Master).\\
     196
     197**isSysmlExternal_system**(!ParentId,!InstId,!XmiId,Base_actor).\\
     198
     199**isSysmlSensor**(!ParentId,!InstId,!XmiId,Base_actor).
     200    ''isSysmlExternal_system''(!ParentId,!InstId,!XmiId,Base_actor).\\
     201
     202**isSysmlBoundary_system**(!ParentId,!InstId,!XmiId,Base_actor).
     203    ''isSysmlExternal_system''(!ParentId,!InstId,!XmiId,Base_actor).\\
     204
     205**isSysmlEnvironmental_effect**(!ParentId,!InstId,!XmiId,Base_actor).\\
     206
     207**isSysmlUser_system**(!ParentId,!InstId,!XmiId,Base_actor).
     208    ''isSysmlExternal_system''(!ParentId,!InstId,!XmiId,Base_actor).\\
     209
     210**isSysmlActuator**(!ParentId,!InstId,!XmiId,Base_actor).
     211    ''isSysmlExternal_system''(!ParentId,!InstId,!XmiId,Base_actor).\\
     212
     213**isSysmlUniform**(!ParentId,!InstId,!XmiId,Base_property).
     214    ''isSysmlDistributedProperty''(!ParentId,!InstId,!XmiId,Base_property).
     215    ''isSysmlBasicInterval''(!ParentId,!InstId,!XmiId,Base_property,Min,Max).\\
     216
     217**isSysmlNormal**(!ParentId,!InstId,!XmiId,Base_property,Mean,Standarddeviation).
     218    ''isSysmlDistributedProperty''(!ParentId,!InstId,!XmiId,Base_property).\\
     219
     220**isSysmlBasicInterval**(!ParentId,!InstId,!XmiId,Base_property,Min,Max).
     221    ''isSysmlDistributedProperty''(!ParentId,!InstId,!XmiId,Base_property).\\
     222
     223**isSysmlInterval**(!ParentId,!InstId,!XmiId,Base_property).
     224    ''isSysmlDistributedProperty''(!ParentId,!InstId,!XmiId,Base_property).
     225    ''isSysmlBasicInterval''(!ParentId,!InstId,!XmiId,Base_property,Min,Max).\\
     226
     227**isSysmlBlockHierarchy**(!ParentId,!InstId,!XmiId,Base_diagram).\\
     228
     229**isSysmlDiagram_Description**(!ParentId,!InstId,!XmiId,Base_diagram,Version,Description,Completion_status,Reference).\\
     230
     231**isSysmlSwimLaneDiagram**(!ParentId,!InstId,!XmiId,Base_diagram).\\
     232
     233**isSysmldiagramUsage**(!ParentId,!InstId,!XmiId,Base_diagram).\\
     234
     235**isSysmlContextDiagram**(!ParentId,!InstId,!XmiId,Base_diagram).\\
     236
     237**isSysmlmoe**(!ParentId,!InstId,!XmiId,Base_property).\\
     238
     239**isSysmlobjectiveFunction**(!ParentId,!InstId,!XmiId,Base_class,Base_property).\\
     240
     241**isSysmlnonStreaming**(!ParentId,!InstId,!XmiId,Base_activity).\\
     242
     243**isSysmlstreaming**(!ParentId,!InstId,!XmiId,Base_activity).\\
     244
     245**isSysmlEssential**(!ParentId,!InstId,!XmiId,Base_activity).\\
     246
     247**isSysmleffbd**(!ParentId,!InstId,!XmiId,Base_activity).\\
     248
     249**isSysmlSystem_process**(!ParentId,!InstId,!XmiId,Base_activity,Base_usecase).\\
     250
     251**isSysmlUnit**(!ParentId,!InstId,!XmiId,Name,Symbol,Description,Definitionuri,Quantitykind).\\
     252
     253**isSysmlQuantityKind**(!ParentId,!InstId,!XmiId,Scale,Name,Symbol,Description,Definitionuri).\\
     254
     255**isSysmlScaleValueDefinition**(!ParentId,!InstId,!XmiId,Description,Value).\\
     256
     257**isSysmlScale**(!ParentId,!InstId,!XmiId,Valuedefinition,Unit).\\
     258
    164259
    165260=== UML predicates ===