# Description
This PR fixes a bug audit of the source generation projects
(`tools/Opc.Ua.SourceGeneration*`: model loading, NodeSet import, all
emitters, the Roslyn hosts and packaging). It also fixes a max-effort
code review of those fixes, and a check of every spec-relevant change
against the OPC UA 1.05 text.
- **Scope:** about 85 audit findings, 48 review findings and 32
spec-grounding items were addressed. Each fix has a regression test that
fails without it.
- **Wire change:** it includes one deliberate, stack-wide wire change:
**structure-field matrices now follow OPC 10000-6 5.2.5 Table 28**.
Most changes are internal correctness fixes. The sections below list
every change a user can observe: wire formats, generated code and API,
generated address-space content, diagnostics and runtime behaviour.
## Behaviour / user-facing changes
### Wire format (encoders)
- **Binary inline matrices** (OPC 10000-6 5.2.5 Table 28).
- **Layout:** a multi-dimensional *structure field* is encoded as
`Int32[] Dimensions`, then the values **without a length prefix**, with
at least 2 dimensions.
- **Empty and null:** any dimension <= 0 means no values follow, and a
null matrix is `-1`. An empty matrix is written as `[0,0]`.
- **Compatibility:** this is **not compatible with earlier builds of
this SDK** for matrix fields. It applies to generated types,
`[DataType]` types, `Structure`, client ComplexTypes and
`WriteEncodeableMatrix`.
- **Unchanged:** Variant matrices (5.2.2.16) keep their old encoding.
- **Declared rank decides matrix vs array.** A 1-D `MatrixOf<T>` in an
array field or a Variable value is written as an array again.
Matrix-declared fields go through the new public
`EncoderExtensions.WriteInlineMatrixValue`, which generated code also
uses. A non-empty 1-D value in a matrix field throws `BadEncodingError`.
- **Decoder hardening:**
- Before allocating, the decoder bounds all matrix dimensions against
overflow, `MaxArrayLength` and the remaining message length.
- The decoder rejects:
- a matrix with fewer than 2 dimensions;
- a populated matrix whose rank differs from the field's declared rank;
- a union SwitchField greater than the number of fields;
- an EncodingMask with unassigned bits set.
- **Encoder `MaxArrayLength`:** the encoder enforces `MaxArrayLength`
for inline matrices, as it already did for arrays.
- **XML structure fields** (5.3.1, 5.3.4, 5.3.5).
- **Fields:** `Structure` and client ComplexTypes write fields like
typed fields (`<A>1</A>`, array elements directly) instead of a Variant
body.
- **Matrix fields:** `Dimensions` and `Elements` go directly inside the
field element, with no `<Matrix>` wrapper.
- **Empty matrices:** written as nil, because XML dimensions must be
greater than 0.
- **Compatibility:** decoders still accept the old shapes.
- **Enum fixes:** enum array elements with value 0 are no longer
dropped, and enum array element names are fixed.
- **Other encoding fixes:**
- A null `DiagnosticInfo` structure field writes `0x00` instead of
nothing.
- A null scalar field in a runtime `Structure` is written as its default
instead of zero bytes, which used to shift every following field.
- A Variant holding an empty matrix encodes as an empty array instead of
throwing.
- `Variant.Copy` keeps the matrix identity of null and empty matrices.
- **NodeSet export and the DataContract surrogate** write Variable
values with the Variant rules again. A null or empty `MatrixOf` variable
no longer produces invalid XML or unreadable NodeSets.
- **`JsonEncoder.CanOmitFields`** is `true` only for Compact encoding.
Verbose and RawData JSON include default-valued fields.
### `[DataType]` source-generated types
- **Default-value handling** (OPC 10000-6 5.4.1, Table 1).
- **Encode:** a field is omitted only when its value *and* its declared
default are the type's default (0, false, null). Fields with a
non-default initializer or constructor default, and empty strings, are
always written, so configuration files get slightly larger.
- **JSON decode:** a field missing from JSON decodes to the type
default.
- **XML decode:** a field missing from XML keeps its declared default,
which older configuration files rely on.
- **Why:** this fixes silent round-trip loss, for example
`SamplingInterval = 0` read back as `-1`.
- **Nested `[DataType]` types:** they are now generated inside their
containing types. Without an explicit id, their default TypeId and
XmlName are qualified (e.g. `s=Outer.Foo`); **wire identity change** for
nested types. Colliding activator names get a `_2` suffix.
- **Activators:** they are `internal` when the type, or any containing
type, is not public (was CS0060).
- **Matrix properties:**
- `MatrixOf<T>` properties use the inline matrix encoding.
- Matrices of non-sealed structures, or with
`StructureHandling.ExtensionObject`, are written as ExtensionObjects.
- Their published ValueRank is 2, because the rank can't be known from
`MatrixOf<T>`.
- **Published StructureDefinitions:**
- They include base-class fields.
- Nullable properties are no longer marked optional.
- Inline structure fields name their concrete type.
- **`[Flags]` enums:** they are published as plain enumerations with
their member values, which matches how they are encoded.
- **Other generated code:**
- `Clone` deep-copies arrays and matrices of structures, Variants,
ExtensionObjects and DataValues.
- `IsEqual` and `GetHashCode` are consistent: EncodingMask, active union
member and NaN handling agree.
- Pooled `Reuse()` restores the freshly constructed state through the
new `protected virtual ResetForReuse()`, and returns an instance to its
runtime type's pool.
- **Enum capture:** enum member values are captured culture-invariantly.
Negative values were lost on cultures that use U+2212 as the minus sign.
### Model-driven generator: generated code, API and file names
- **Removed API:** generated `*_Placeholder` proxy accessors (e.g.
`PowerTrainTypeClient.GetMotorIdentifier_PlaceholderAsync`) and fluent
`X_Placeholder()` accessors are removed; they could never resolve
anything.
- Proxy accessors now look children up by BrowseName with the right
namespace.
- `RoboticsClient` finds motors and gears by type and drives via
`IsDrivenBy`. Its topology snapshots used to be empty.
- **Renamed files:** generated files for a bound `[NodeManager]` are now
named `{Namespace}.{Class}.NodeManager.g.cs` (also `.Factory` and
`.FluentBuilders`).
- **Generated NodeState code:**
- Attributes are set through `baseState`/`nodeState` locals, so children
named like base attributes (e.g. `DataType`, `EventNotifier`) compile.
- Children that hide base members are declared `public new`, using names
reflected from the runtime.
- `global::` qualification is used throughout.
- **Proxies and fluent builders:** a proxy whose supertype is excluded
(e.g. Draft) derives from the nearest emitted ancestor. Fluent wrappers
and NodeState factories fall back the same way; they used to fail with
CS0246.
- **Derived structures:**
- The optional-field `EncodingMask` continues across inheritance.
- A derived structure over a base type from another model no longer
relies on `base.ResetForReuse`.
- **Default values:**
- NodeId, QualifiedName and ExpandedNodeId defaults resolve by namespace
URI (`context.NamespaceUris.GetIndexOrAppend`) and server URI.
- StatusCode, negative enum, `double`/`float` (shortest round-trip
literal) and escaped string defaults now compile.
- **Event records:**
- Vendor event records have `Decoder.GetStandardFields(NamespaceTable)`,
and their browse paths use the model's namespace.
- A field whose namespace is unknown to the session no longer matches a
namespace-0 field.
- Companion `StandardFields` is `[Obsolete]`.
- Vendor simple subtypes such as `Percent : Double` map to their
built-in type.
- **Other fixes:**
- `MethodState.CallAsync` passes the real `objectId` to synchronous
`OnCallMethod2` handlers; it used to pass `NodeId.Null`.
- Enumeration fields with an explicit `Identifier` keep it, instead of
taking a trailing `_<digits>`.
- Explicit NumericIds are no longer reused by automatic numbering.
- Dependencies are loaded in topological order.
### Generated address-space content
- **Arguments:**
- Methods without arguments no longer get empty
`InputArguments`/`OutputArguments` properties (OPC 10000-3 5.7).
- About 2,660 automatically assigned namespace-0 NodeIds of 15000 and
above shift. Every NodeId in `StandardTypes.csv` is unchanged.
- **Permissions:** type nodes and method declarations on types now carry
the model's `RolePermissions`/`AccessRestrictions`.
- **Restored nodes:** NodeSet import keeps nodes that were silently
dropped before:
- `NamespaceMetadata` objects and the NodeSet's own TypeDictionary
variables;
- ISA95 placeholders linked only non-hierarchically;
- instances whose parent is in another namespace.
- **Import details:**
- ValueRank > 1 without ArrayDimensions keeps its rank.
- `svr=` indexes map correctly.
- Invalid MinimumSamplingInterval values import as -1, not 0.
- Localized texts prefer the invariant or English translation.
- **StructureDefinitions:**
- They include inherited fields, including for subtypes without their
own fields (e.g. `AnonymousIdentityToken` now publishes PolicyId).
- The StructureType kind covers inherited AllowSubTypes fields.
- Unions ignore IsOptional.
- StructureFields never publish ValueRank 0; a OneOrMoreDimensions field
without dimensions becomes rank 2.
- Fields with ValueRank -2/-3 are published as scalar BaseDataType,
which is what is on the wire.
- **OptionSets:**
- Implicit fields get the next free bit.
- `OptionSetValues` uses null for undefined bits instead of "Reserved",
and structure OptionSets publish all their bits (no 32/96-bit cap).
- Numeric OptionSets are limited to their base type's width, and UInt64
bit 63 works.
- **Schemas:**
- Structures with inline-matrix fields are left out of the `.bsd`
(5.2.5).
- In the BSD, Variant-encoded and non-structure subtyped fields are
described as `ua:Variant`.
- In the `.xsd`, matrix fields are typed `ua:Matrix` with
`Dimensions`/`Elements`, and `EncodingMask` is required.
### NodeSet / model input handling
- **Model selection:**
- The newest NodeSet of a model is chosen by `ModelVersion` (SemVer 2.0
precedence), then PublicationDate. The `Version` attribute, which Annex
F says is not for comparison, is only a tie-break.
- The order is total and does not depend on input order; referenced
assemblies use the same rule.
- **Default names:**
- Invalid default Name/Prefix values are repaired (`201301ISA95` becomes
`_201301ISA95`, `class` becomes `class_`).
- Valid names are unchanged.
- Sanitising no longer depends on the OS.
- **`ModelUri` metadata** that doesn't match the NodeSet raises a
warning instead of silently losing the model.
- **Input detection:**
- Only XML files whose root is `ModelDesign` or `UANodeSet` are treated
as models.
- A malformed NodeSet stays a NodeSet input, so it no longer breaks the
ModelDesign pass.
- **`IdentifierFile` paths:** they are normalized (`./`, `../`), and the
suffix match requires a folder boundary.
- **Dependency payloads** (`ModelDependencyV1`) carry field IsOptional,
AllowSubTypes, ArrayDimensions and the producer's namespace tables in
skippable trailers, so old and new readers stay compatible.
### Roslyn host, diagnostics, packaging
- **New diagnostics:**
- MODELGEN036: `[NodeManager]` target not supported (nested, generic,
file-local or global namespace).
- MODELGEN037: `[DataType]` target not supported (struct, generic,
abstract, file-local or global namespace).
- MODELGEN038: the definition of an encodeable base type can't be found.
- **New validator errors:**
- a structure with both optional and subtyped fields (OPC 10000-6 F.13);
- multi-bit or duplicate OptionSet masks.
- **Diagnostic locations:** `[DataType]`/`[NodeManager]` diagnostics
point at real source locations again, so `#pragma` and `.editorconfig`
apply. MODELGEN010 is the exception.
- **Incremental caching:** pipeline values compare by value, so
unrelated edits no longer regenerate the whole model or all
`[DataType]`s.
- **`ModelSourceGeneratorIgnore`** on a ModelDesign input is honoured;
the design still resolves as a dependency.
- **Cancellation:** a cancelled generation run propagates
`OperationCanceledException` instead of reporting a MODELGEN003 error.
- **Stack package:** the `Stack` NuGet package now ships
`build/OPCFoundation.NetStandard.Opc.Ua.SourceGeneration.Stack.props`,
so `StackSourceGeneratorMode` and `StackSourceGeneratorExclude` reach
the compiler.
## Related Issues
- No tracking issue. The audit, review and spec-grounding reports are
available on request. Contains the matrix wire-format change discussed
for D-5 (OPC 10000-6 5.2.5 Table 28).
## Checklist
- [ ] I have signed the
[CLA](https://opcfoundation.org/license/cla/ContributorLicenseAgreementv1.0.pdf)
and read the
[CONTRIBUTING](https://github.com/OPCFoundation/UA-.NETStandard/blob/master/CONTRIBUTING.md)
doc.
- [x] I have added tests that prove my fix is effective or that my
feature works and increased code coverage.
- [x] I have added all necessary documentation.
(`docs/SourceGeneratedDataTypes.md`, `docs/NodeManagers.md`, generator
readme)
- [x] I have verified that my changes do not introduce (new) build or
analyzer warnings. (`UA.slnx` 0 warnings / 0 errors on net48 and
net10.0)
- [ ] I ran **all** tests locally using the **UA.slnx** solution against
at least .net **framework** and .net **10**, and all passed. The
affected suites were run on net10.0: SourceGeneration Core/Roslyn/Stack,
Types, Core.Encoders, Encoders.Fuzz, Client, Client.ComplexTypes,
PubSub, Core, Server, GDS, Configuration, Di, Robotics, ISA95,
Positioning, OpenUsd, XRegistry. net48 was built; its test legs, and the
post-rebase verification, run in CI.
- [ ] I fixed **all** failing and flaky tests in the CI pipelines and
**all** CodeQL warnings.
- [ ] I have addressed **all** PR feedback received.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
---------
Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
OPC UA Model Design File Schema Documentation
Overview
The UA Model Design Schema is a proprietary schema that supports a more visual modelling experience defining OPC UA types and instances. This definition is used by the model compiler and source generator to generate code, documentation, and validate model consistency.
The schema allows modellers to:
- Define Types (ObjectType, VariableType, DataType, ReferenceType)
- Define Instances (Object, Variable, Method, Property)
- Organize entities within Namespaces
- Manage Permissions and Access Restrictions
- Create References between nodes
- Specify Default Values and Parameters
Note: This schema is not part of the official OPC UA specification. The official definition of nodes and references is in the form of .Nodeset2.xml whose schema is defined in OPC UA Part 6 - Annex F. This code is used internally to convert .Nodeset2.xml files to this schema format.
Table of Contents
Document Structure
A valid ModelDesign XML document must:
- Start with a
<ModelDesign>root element - Include a
TargetNamespaceattribute (required) - Optionally define
<Namespaces>and<PermissionSets> - Contain zero or more type and instance declarations
- Optionally include
<Extensions>for custom metadata
Example Model Structure
<?xml version="1.0" encoding="utf-8"?>
<ModelDesign
TargetNamespace="http://example.com/MyModel"
TargetVersion="1.0"
TargetXmlNamespace="http://example.com/MyModel/Types.xsd"
DefaultLocale="en">
<Namespaces>
<Namespace Name="MyNamespace"
Prefix="Example.MyModel">
http://example.com/MyModel
</Namespace>
</Namespaces>
<ObjectType SymbolicName="MyObjectType">
<!-- Type definition -->
</ObjectType>
</ModelDesign>
{
"TargetNamespace": "http://example.com/MyModel",
"TargetVersion": "1.0",
"TargetXmlNamespace": "http://example.com/MyModel/Types.xsd",
"DefaultLocale": "en",
"Namespaces": [
{
"Name": "MyNamespace",
"Prefix": "Example.MyModel",
"Content": "http://example.com/MyModel"
}
],
"ObjectTypes": [
{
"SymbolicName": "MyObjectType"
}
]
}
Core Components
1. Root Element: ModelDesign
The <ModelDesign> element is the container for all model definitions.
Attributes:
TargetNamespace(required) - The URI identifying the namespaceTargetVersion(optional) - Version of the modelTargetPublicationDate(optional) - Publication date (ISO 8601)TargetXmlNamespace(optional) - XML namespace URI (if different from TargetNamespace)DefaultLocale(optional, default: "en") - Default language locale
See also: Namespaces, Permission Management, Extensions
2. Namespace Organization
Namespaces organize OPC UA entities and create numeric indices for browse paths.
<Namespaces>
<Namespace Name="Core"
Prefix="Opc.Ua"
InternalPrefix="Opc.Ua.Server"
XmlNamespace="http://opcfoundation.org/UA/2008/02/Types.xsd"
FilePath="Opc.Ua.Types.xml">
http://opcfoundation.org/UA/
</Namespace>
</Namespaces>
{
"Namespaces": [
{
"Name": "Core",
"Prefix": "Opc.Ua",
"InternalPrefix": "Opc.Ua.Server",
"XmlNamespace": "http://opcfoundation.org/UA/2008/02/Types.xsd",
"FilePath": "Opc.Ua.Types.xml",
"Content": "http://opcfoundation.org/UA/"
}
]
}
Namespace Attributes:
Name- Symbolic identifier for the namespacePrefix- C# namespace for generated classesInternalPrefix- C# namespace for server-only typesXmlNamespace- XML namespace URI (if different from content)XmlPrefix- XML namespace prefixFilePath- Path to separate design fileVersion- Namespace versionPublicationDate- Publication date
3. Permission Management
Permission Management controls access and security for nodes.
Permission Sets (Global)
Define reusable permission configurations at the model level.
<PermissionSets>
<PermissionSet Name="AdminPermissions">
<RolePermission Role="Administrator">
<Permission>All</Permission>
</RolePermission>
<RolePermission Role="Guest">
<Permission>Browse</Permission>
<Permission>Read</Permission>
</RolePermission>
</PermissionSet>
</PermissionSets>
{
"PermissionSets": [
{
"Name": "AdminPermissions",
"RolePermissions": [
{
"Role": "Administrator",
"Permissions": ["All"]
},
{
"Role": "Guest",
"Permissions": ["Browse", "Read"]
}
]
}
]
}
Role-Based Permissions
Each node can have role-specific permissions. Available permissions include:
- Browse - Browse the node
- Read - Read the node value
- Write - Write the node value
- ReadHistory - Read node history
- InsertHistory, ModifyHistory, DeleteHistory
- ReceiveEvents - Subscribe to node events
- Call - Invoke methods
- AddReference, RemoveReference
- DeleteNode, AddNode
- All, AllRead, None
See also: Role-Based Access, Access Restrictions
Type System
The schema defines four main type categories through a type hierarchy:
graph TD
A["NodeDesign<br/>(Base)"] --> B["TypeDesign"]
A --> C["InstanceDesign"]
B --> B1["ObjectTypeDesign"]
B --> B2["VariableTypeDesign"]
B --> B3["DataTypeDesign"]
B --> B4["ReferenceTypeDesign"]
C --> C1["ObjectDesign"]
C --> C2["VariableDesign"]
C --> C3["MethodDesign"]
C --> C4["ViewDesign"]
C2 --> C2a["PropertyDesign"]
B1 --> B1a["EncodingDesign"]
C2 --> C2b["DictionaryDesign"]
3.1 Type Designs (Inherits from TypeDesign)
Type designs define the structure and behavior of types in the information model.
ObjectTypeDesign
Defines the structure of objects in the information model. See Instance Designs for related ObjectDesign.
<ObjectType SymbolicName="MyObjectType"
BaseType="ua:BaseObjectType"
IsAbstract="false"
SupportsEvents="true">
<DisplayName>My Custom Object</DisplayName>
<Description>Describes an instance of MyObjectType</Description>
<Children>
<Variable SymbolicName="Status" TypeDefinition="ua:BaseVariableType" />
<Method SymbolicName="Initialize" />
</Children>
</ObjectType>
{
"ObjectType": {
"SymbolicName": "MyObjectType",
"BaseType": "ua:BaseObjectType",
"IsAbstract": false,
"SupportsEvents": true,
"DisplayName": "My Custom Object",
"Description": "Describes an instance of MyObjectType",
"Children": [
{
"Variable": {
"SymbolicName": "Status",
"TypeDefinition": "ua:BaseVariableType"
}
},
{
"Method": {
"SymbolicName": "Initialize"
}
}
]
}
}
Key Attributes:
BaseType- Parent type (default: BaseObjectType)IsAbstract- Cannot instantiate if trueSupportsEvents- Generates eventsNoClassGeneration- Skip code generation
VariableTypeDesign
Defines the structure of variables in the information model. See Instance Designs for related VariableDesign.
<VariableType SymbolicName="TemperatureType"
DataType="xs:double"
ValueRank="Scalar"
AccessLevel="ReadWrite">
<DefaultValue>
<Double>20.5</Double>
</DefaultValue>
</VariableType>
{
"VariableType": {
"SymbolicName": "TemperatureType",
"DataType": "xs:double",
"ValueRank": "Scalar",
"AccessLevel": "ReadWrite",
"DefaultValue": {
"Double": 20.5
}
}
}
Key Attributes:
DataType- The data type of the variableValueRank- Scalar, Array, ScalarOrArray, OneOrMoreDimensions, ScalarOrOneDimension, AnyArrayDimensions- Dimensions specificationAccessLevel- Read, Write, ReadWrite, HistoryRead, HistoryWrite, HistoryReadWriteMinimumSamplingInterval- Sampling rate in millisecondsHistorizing- Supports historical dataExposesItsChildren- Children are exposed in address space
DataTypeDesign
Defines the structure of data types (complex types). See Complex Types for detailed examples.
<DataType SymbolicName="MyStructure"
IsAbstract="false"
IsOptionSet="false"
IsUnion="false">
<Fields>
<Field Name="Field1" DataType="xs:int" />
<Field Name="Field2" DataType="xs:string" IsOptional="true" />
</Fields>
<Encodings>
<Encoding SymbolicName="MyStructureEncoding">
<!-- Encoding specification -->
</Encoding>
</Encodings>
</DataType>
{
"DataType": {
"SymbolicName": "MyStructure",
"IsAbstract": false,
"IsOptionSet": false,
"IsUnion": false,
"Fields": [
{
"Name": "Field1",
"DataType": "xs:int"
},
{
"Name": "Field2",
"DataType": "xs:string",
"IsOptional": true
}
],
"Encodings": [
{
"SymbolicName": "MyStructureEncoding"
}
]
}
}
Key Attributes:
IsOptionSet- Structure is an option set (bitmask)IsUnion- Structure is a union typeNoArraysAllowed- Instances cannot be arraysForceEnumValues- Force numeric values for enumsNoEncodings- Skip encoding generation
Special Cases:
- OptionSet: Represents a set of flags combined with bitwise operations
- Union: Only one field is active at a time
See also: DataType with Fields, DataType with Encodings
ReferenceTypeDesign
Defines typed References between nodes.
<ReferenceType SymbolicName="MyReference"
BaseType="ua:References"
Symmetric="false">
<InverseName>IsReferencedBy</InverseName>
</ReferenceType>
{
"ReferenceType": {
"SymbolicName": "MyReference",
"BaseType": "ua:References",
"Symmetric": false,
"InverseName": "IsReferencedBy"
}
}
Attributes:
Symmetric- Same reference type applies in both directions
3.2 Instance Designs (Inherits from InstanceDesign)
Instance designs represent actual instances of types in the OPC UA address space. See Type Designs for the corresponding type definitions.
ObjectDesign
Represents an object instance in the address space. Instances of ObjectTypeDesign.
<Object SymbolicName="MyObject"
TypeDefinition="MyObjectType"
ModellingRule="Mandatory"
SupportsEvents="true">
<DisplayName>My Object Instance</DisplayName>
<Children>
<Variable SymbolicName="Status" />
</Children>
</Object>
{
"Object": {
"SymbolicName": "MyObject",
"TypeDefinition": "MyObjectType",
"ModellingRule": "Mandatory",
"SupportsEvents": true,
"DisplayName": "My Object Instance",
"Children": [
{
"Variable": {
"SymbolicName": "Status"
}
}
]
}
}
VariableDesign
Represents a variable instance in the address space. Instances of VariableTypeDesign.
<Variable SymbolicName="Temperature"
TypeDefinition="TemperatureType"
DataType="xs:double"
AccessLevel="Read"
ModellingRule="Mandatory">
<DefaultValue>
<Double>20.0</Double>
</DefaultValue>
</Variable>
{
"Variable": {
"SymbolicName": "Temperature",
"TypeDefinition": "TemperatureType",
"DataType": "xs:double",
"AccessLevel": "Read",
"ModellingRule": "Mandatory",
"DefaultValue": {
"Double": 20.0
}
}
}
PropertyDesign
A specialized VariableDesign used for node properties.
<Property SymbolicName="SerialNumber"
DataType="xs:string"
AccessLevel="Read"
ModellingRule="Mandatory" />
{
"Property": {
"SymbolicName": "SerialNumber",
"DataType": "xs:string",
"AccessLevel": "Read",
"ModellingRule": "Mandatory"
}
}
MethodDesign
Represents a method (callable operation).
<Method SymbolicName="Initialize"
ModellingRule="Mandatory"
NonExecutable="false">
<InputArguments>
<Argument Name="Parameter1" DataType="xs:int" />
</InputArguments>
<OutputArguments>
<Argument Name="Result" DataType="xs:string" />
</OutputArguments>
</Method>
{
"Method": {
"SymbolicName": "Initialize",
"ModellingRule": "Mandatory",
"NonExecutable": false,
"InputArguments": [
{
"Name": "Parameter1",
"DataType": "xs:int"
}
],
"OutputArguments": [
{
"Name": "Result",
"DataType": "xs:string"
}
]
}
}
ViewDesign
Represents a view in the address space.
<View SymbolicName="MyView"
ContainsNoLoops="true"
SupportsEvents="false" />
{
"View": {
"SymbolicName": "MyView",
"ContainsNoLoops": true,
"SupportsEvents": false
}
}
Common Patterns
Node Design Pattern
All nodes share common attributes and child elements:
graph LR
A["NodeDesign"] --> B["Attributes"]
A --> C["Child Elements"]
B --> B1["SymbolicName"]
B --> B2["SymbolicId"]
B --> B3["NumericId/StringId"]
B --> B4["WriteAccess"]
B --> B5["ReleaseStatus"]
B --> B6["Purpose"]
C --> C1["BrowseName"]
C --> C2["DisplayName"]
C --> C3["Description"]
C --> C4["Children"]
C --> C5["References"]
C --> C6["RolePermissions"]
C --> C7["AccessRestrictions"]
Key Attributes (on all nodes):
SymbolicName- Local identifier (required)SymbolicId- Globally unique identifier (auto-generated if not specified)NumericId- UA numeric node IDStringId- UA string node ID (alternative to NumericId)IsDeclaration- Node is declared elsewhere (no code generation)WriteAccess- Bitmask of writable attributesPartNo- Which part of specification defines itCategory- Comma-separated categoriesReleaseStatus- See Release StatusPurpose- See PurposeIsDynamic- Node value may change during runtime
See also: Instance Design Pattern, Validation Indicators
Instance Design Pattern
Instances (Object, Variable, Method) inherit from InstanceDesign:
<Object SymbolicName="MyInstance"
Declaration="ua:BaseObjectType"
TypeDefinition="MyObjectType"
ModellingRule="Mandatory"
MinCardinality="0"
MaxCardinality="0"
PreserveDefaultAttributes="false"
DesignToolOnly="false">
<!-- Content -->
</Object>
{
"Object": {
"SymbolicName": "MyInstance",
"Declaration": "ua:BaseObjectType",
"TypeDefinition": "MyObjectType",
"ModellingRule": "Mandatory",
"MinCardinality": 0,
"MaxCardinality": 0,
"PreserveDefaultAttributes": false,
"DesignToolOnly": false
}
}
Modelling Rules:
None- Not constrainedMandatory- Must be present in instancesOptional- May be presentMandatoryShared- Shared mandatory instanceOptionalPlaceholder- Optional placeholderMandatoryPlaceholder- Mandatory placeholderExposesItsArray- Array elements exposed separatelyCardinalityRestriction- Cardinality is restricted
See also: Node Design Pattern
Reference Pattern
References create semantic relationships between nodes. See ReferenceTypeDesign for type definitions.
<References>
<Reference IsInverse="false" IsOneWay="false">
<ReferenceType>ua:HasComponent</ReferenceType>
<TargetId>MyTargetNode</TargetId>
</Reference>
</References>
{
"References": [
{
"IsInverse": false,
"IsOneWay": false,
"ReferenceType": "ua:HasComponent",
"TargetId": "MyTargetNode"
}
]
}
Attributes:
IsInverse- Reference direction is invertedIsOneWay- Only forward reference exists
Access Control
Access Restrictions
Nodes can specify security requirements:
<AccessRestrictions>SigningRequired</AccessRestrictions>
<AccessRestrictions>EncryptionRequired</AccessRestrictions>
{
"AccessRestrictions": [
"SigningRequired",
"EncryptionRequired"
]
}
Available Restrictions:
SigningRequired- Messages must be signedEncryptionRequired- Messages must be encryptedSessionRequired- Active session requiredSessionWithSigningRequired- Session + signingSessionWithEncryptionRequired- Session + encryption- (AndApplyToBrowse variants) - Restrictions apply to browse operations
See also: Role-Based Access, Permission Management
Role-Based Access
Assign permissions to roles using RolePermissions. See Role-Based Permissions for available permission types.
<RolePermissions Name="MyPermissions" DoNotInheirit="false">
<RolePermission Role="Administrator">
<Permission>All</Permission>
</RolePermission>
<RolePermission Role="User">
<Permission>Browse</Permission>
<Permission>Read</Permission>
</RolePermission>
</RolePermissions>
{
"RolePermissions": {
"Name": "MyPermissions",
"DoNotInherit": false,
"RolePermissions": [
{
"Role": "Administrator",
"Permissions": ["All"]
},
{
"Role": "User",
"Permissions": ["Browse", "Read"]
}
]
}
}
See also: Permission Management, Access Restrictions
Complex Types
DataType with Fields
Fields define the structure of complex DataType definitions.
<DataType SymbolicName="UserIdentity">
<Fields>
<Field Name="UserId" DataType="xs:int" Identifier="1" />
<Field Name="UserName" DataType="xs:string" Identifier="2" />
<Field Name="Email" DataType="xs:string" Identifier="3" IsOptional="true" />
<Field Name="Permissions" DataType="xs:unsignedInt" BitMask="Permissions" />
</Fields>
</DataType>
{
"DataType": {
"SymbolicName": "UserIdentity",
"Fields": [
{
"Name": "UserId",
"DataType": "xs:int",
"Identifier": 1
},
{
"Name": "UserName",
"DataType": "xs:string",
"Identifier": 2
},
{
"Name": "Email",
"DataType": "xs:string",
"Identifier": 3,
"IsOptional": true
},
{
"Name": "Permissions",
"DataType": "xs:unsignedInt",
"BitMask": "Permissions"
}
]
}
}
Field Attributes:
Name- Field identifierDataType- Type of the fieldIdentifier- Unique numeric identifierValueRank- Scalar or ArrayArrayDimensions- Dimensions if arrayBitMask- Named bitmask for flag fieldsAllowSubTypes- Subtypes allowedIsOptional- Field is optional
See also: DataType with Encodings
DataType with Encodings
Encodings define how DataType instances are serialized.
<DataType SymbolicName="MyStructure">
<Encodings>
<Encoding SymbolicName="MyStructureXml"
TypeDefinition="ua:DataTypeEncodingType">
<DisplayName>XML Encoding</DisplayName>
</Encoding>
<Encoding SymbolicName="MyStructureBinary"
TypeDefinition="ua:DataTypeEncodingType">
<DisplayName>Binary Encoding</DisplayName>
</Encoding>
</Encodings>
</DataType>
{
"DataType": {
"SymbolicName": "MyStructure",
"Encodings": [
{
"SymbolicName": "MyStructureXml",
"TypeDefinition": "ua:DataTypeEncodingType",
"DisplayName": "XML Encoding"
},
{
"SymbolicName": "MyStructureBinary",
"TypeDefinition": "ua:DataTypeEncodingType",
"DisplayName": "Binary Encoding"
}
]
}
}
See also: DataType with Fields
Hierarchical Structure
Complete Example with Hierarchy
Demonstrates how ObjectType, Property, Variable, and Method definitions create a complete hierarchy.
<ObjectType SymbolicName="DeviceType">
<DisplayName>Device</DisplayName>
<Children>
<Property SymbolicName="SerialNumber" DataType="xs:string" />
<Variable SymbolicName="Status" DataType="xs:string" />
<Method SymbolicName="Start" />
<Method SymbolicName="Stop" />
<Object SymbolicName="Parameters" TypeDefinition="ParameterGroupType">
<Children>
<Property SymbolicName="Timeout" DataType="xs:int" />
<Property SymbolicName="RetryCount" DataType="xs:int" />
</Children>
</Object>
</Children>
</ObjectType>
{
"ObjectType": {
"SymbolicName": "DeviceType",
"DisplayName": "Device",
"Children": [
{
"Property": {
"SymbolicName": "SerialNumber",
"DataType": "xs:string"
}
},
{
"Variable": {
"SymbolicName": "Status",
"DataType": "xs:string"
}
},
{
"Method": {
"SymbolicName": "Start"
}
},
{
"Method": {
"SymbolicName": "Stop"
}
},
{
"Object": {
"SymbolicName": "Parameters",
"TypeDefinition": "ParameterGroupType",
"Children": [
{
"Property": {
"SymbolicName": "Timeout",
"DataType": "xs:int"
}
},
{
"Property": {
"SymbolicName": "RetryCount",
"DataType": "xs:int"
}
}
]
}
}
]
}
}
Processing Workflow
graph TD
A["XML Design File"] --> B["Validator"]
B --> C["Assigns Numeric IDs"]
B --> D["Generates BrowseNames"]
B --> E["Generates DisplayNames"]
B --> F["Generates Descriptions"]
C --> G["Code Generator"]
D --> G
E --> G
F --> G
G --> H["Generated Code"]
G --> I["Generated Documentation"]
The workflow:
- Design - Model is authored in XML
- Validation - Validator checks consistency (see Schema Validation)
- Augmentation - Auto-generate missing attributes
- Generation - Create code and documentation
- Output - Type classes, instances, constants
Best Practices
Naming Conventions
- SymbolicName: Use PascalCase (e.g.,
TemperatureType,MyObject) - BrowseName: Same as SymbolicName (auto-generated)
- DisplayName: Human-readable label
- ClassName: For types, remove 'Type' suffix (auto-generated)
Type Hierarchy
<!-- ✓ Good: Proper inheritance -->
<VariableType SymbolicName="AnalogItemType"
BaseType="ua:VariableType" />
<VariableType SymbolicName="TemperatureType"
BaseType="AnalogItemType" />
<!-- ✗ Avoid: Unnecessary abstraction levels -->
{
"comment": "Good: Proper inheritance",
"VariableTypes": [
{
"SymbolicName": "AnalogItemType",
"BaseType": "ua:VariableType"
},
{
"SymbolicName": "TemperatureType",
"BaseType": "AnalogItemType"
}
]
}
See also: Type System
Validation Indicators
- Always specify
SymbolicName(see Node Design Pattern) - Use
IsDeclaration="true"for external references - Include descriptions for public types
- Assign unique
NumericIdvalues - Use
ModellingRuleconsistently (see Instance Design Pattern)
Release Status and Purpose
Release Status
Controls visibility and stability of nodes. Used in Node Design Pattern:
<ObjectType SymbolicName="ExperimentalType"
ReleaseStatus="Draft">
<!-- Type under development -->
</ObjectType>
<ObjectType SymbolicName="StableType"
ReleaseStatus="Released">
<!-- Production-ready type -->
</ObjectType>
{
"ObjectTypes": [
{
"SymbolicName": "ExperimentalType",
"ReleaseStatus": "Draft"
},
{
"SymbolicName": "StableType",
"ReleaseStatus": "Released"
}
]
}
Purpose
Indicates intended usage. Used in Node Design Pattern:
<DataType SymbolicName="RequestType" Purpose="ServicesOnly">
<!-- Used only in service definitions -->
</DataType>
<DataType SymbolicName="TempStruct" Purpose="Testing">
<!-- Used for testing only -->
</DataType>
{
"DataTypes": [
{
"SymbolicName": "RequestType",
"Purpose": "ServicesOnly"
},
{
"SymbolicName": "TempStruct",
"Purpose": "Testing"
}
]
}
Schema Validation
The validator performs these checks on ModelDesign documents:
✓ Consistency - All References are valid
✓ Uniqueness - No duplicate SymbolicIds
✓ Completeness - All required attributes present
✓ Type Safety - DataTypes match References
✓ Circular References - No invalid cycles
Extensions
Custom Extensions can be added for tool-specific metadata:
<ModelDesign TargetNamespace="..." >
<!-- Standard content -->
<Extensions>
<Extension>
<CustomMetadata>
<Property Name="Author">John Doe</Property>
<Property Name="Version">1.0</Property>
</CustomMetadata>
</Extension>
</Extensions>
</ModelDesign>
{
"TargetNamespace": "...",
"Extensions": [
{
"CustomMetadata": {
"Author": "John Doe",
"Version": "1.0"
}
}
]
}
See also: Root Element: ModelDesign