Compare ADMs

Purpose

In WebCyPhy it will be important to identify changes in a design-space (can be described using the adm-format) when storing configurations and results.

Attributes and Containment

Containers

Starting from the RootContainer, all Containers must have the same Name and xsi:type (Compound, Alternative or Optional). Further they must have matching Containers, ComponentInstances, Properties, Connectors and Formulas.

Attributes:

• Name
• xsi:type

Containment:

• Container
• ComponentInstance
• Property
• Connector
• Formula

ComponentInstances ###

Attributes:

• Name
• ComponentID

Containment:

• PrimitivePropertyInstance
• ConnectorInstance

Properties ###

Attributes:

• Name

Relations:

• ValueFlowCompositions

Connectors ###

Attributes:

• Name

Containment:

• Role

Relations:

• ConnectorComposition

Formulas ###

The attribute xsi:type determines if the formula is a SimpleFormula or CustomFormula. Containment does not need to be checked for Formulas - instead they will checked as ends in ValueFlowCompositions.

SimpleFormulas

Attributes:

• Operation

Each Operand in Operands (divided by path) must have the same ValueFlowComposition end.

CustomFormulas

Attributes:

• Expression

Each Operand must have the same ValueFlowComposition end.

PrimitivePropertyInstances ###

Attributes:

• IDInComponentModel

Relations:

• ValueFlowCompositions

ConnectorInstances ###

Attributes:

• IDInComponentModel

Relations:

• ConnectorComposition

Roles ###

Roles correspond to DomainConnectors inside Connectors.

The attribute xmlns:q1 determines if the port is a modelica- or cad-port. (A perhaps better way to check the category is to see if the Role has the attribute Class.)

Modelica

Attributes:

• Class

CAD

Attributes:

• xsi:type

ConnectorCompositions ###

The direct ends of a ConnectorComposition must match. Two different types of ends:

• ConnectorInstance - Identifier is the attribute IDInComponentModel concatenated with the Name of ComponentInstance.
• Connector - Identifier is the attribute Name of the connector concatenated with the Names of all its Containers.

ValueFlowCompositions ###

The elaborated ends of a ValueFlowCompositions must match. By elaboration is meant that whenever a Value is of type DerivedValue the value flow must be followed.

• Property/Value/ValueExpression is FixedValue - Identifier is the Value of this ValueExpression.
• Property/Value/ValueExpression is ParametricValue - Is end when ValueExpression/AssignedValue is FixedValue- Identifier is the Value of this AssignedValue.
• Formula - see definition.