Files
Klaus Landsdorf dadd609ec0 Scales: the OPC 40200 companion SDK with the OPC 30050 PackML model (#4580)
> Tracking issue #4576. #4577, #4578 and #4579 are merged, so this
branch is
> rebased onto `master` and contains only the Scales and PackML commits.

## Summary

Last of the four PRs of #4576. Adds OPC 40200 Weighing Technology 2.00
as a
model package plus a server and a client SDK, and the OPC 30050 PackML
model
it composes.

| Package | Content |
|---|---|
| `Opc.Ua.PackML` | OPC 30050 PackML 1.01, plus
`PackMLStateMachineController`, which drives a base state machine
together with its nested machine and execute state machines (activation
and deactivation of the sub-state machines, the PackML methods with an
`Executable` attribute that follows the state, acting states left
automatically or by the equipment) |
| `Opc.Ua.Scales` | OPC 40200 2.00
(`http://opcfoundation.org/UA/Scales/V2/`), generated from the
unmodified UA-Nodeset publication, plus the contracts client and server
share |
| `Opc.Ua.Scales.Server` | `AddScales()` / `ConfigureScales(...)`; all
fourteen scale kinds and scale systems below `DeviceSet` and `Machines`;
a runtime that does the weighing arithmetic (ranges, rounding to d or e,
zero band, overload/underload, zero, tare, preset tare, registration),
production presets with DI locking, statistics, recipes and recipe
files, Annex C events and alarms over a `HasNotifier` hierarchy, and the
methods of every scale type |
| `Opc.Ua.Scales.Client` | discovery, weight reads and streaming,
zero/tare/register, products, PackML state and commands, type-specific
methods, events and alarms, snapshots |

`docs/Scales.md` includes a conformance matrix against the 21 OPC 40200
server
facets with test evidence, the places where the specification and the
NodeSet disagree, and known limitations.

## Review follow-ups

Separate commits after the docs/samples commit, each with a test that
fails without it where the defect can be observed.

- Copilot review: `CurrentProductsChanged` fires only when the set of
  current products changes; the new public collection APIs
  (`ScalesServerOptions.AdditionalNamespaceUris`,
  `ScaleNamespaceIndices.SearchOrder`, `ScalesModel.AllKinds`) are
  `ArrayOf<T>`.
- Own review with the rubric in `.github/copilot-instructions.md`:
  - PackML raises `StateChanged` after its lock is released (queued, in
    order), reads `StartParameters` under the lock, and reports the
    handler's status when an acting state cannot complete.
- Scales: concurrent first creations share one runtime (the lock service
    refused a second attach); two creations of the same name cannot both
publish; a removed product id stays reserved until its node is gone; the
    zone, target-count and vehicle handlers change products under the
preset lock; the product factory and `configure` delegate run outside
    it; the recipe upload reads `ActiveRecipe` under the lock; resetting
    the statistics also resets the tolerance percentage.
- The client lets a failed browse call propagate instead of reading it
as
    "no children".

## Testing

- `tests/Opc.Ua.Scales.Tests`: 115 tests on net8 and net10 and with the
netstandard2.1 libraries, including the PackML runtime; the
client/server
  tests connect a real session over `opc.tcp` to a hosted
  `ScalesNodeManager`.
- `UA.slnx` builds for net472, net48, netstandard2.0/2.1 and net8/9/10
with
  SDK 10.0.401 and no new warnings.
- Changed-line coverage of this layer (`check-coverage.ps1`): 94.59 %
(4585 of 4847 changed lines, against `master`).
- Fork CI, full PR matrix incl. macOS: in progress, [run
36676067489](https://github.com/biancode/UA-.NETStandard/actions/runs/36676067489);
CodeQL: in progress, [run
36676070427](https://github.com/biancode/UA-.NETStandard/actions/runs/36676070427).
- On the current `master` (with Pumps merged), `UA.slnx` builds for
every target
  framework and the Scales and Pumps tests pass.
- Beyond the in-repo tests the implementation has been validated end to
end
  against a separate, non-public OPC UA client and server.

## Reviewing

Commits: PackML → Scales model → server → client → tests → docs and
samples
→ review follow-ups.
2026-09-30 10:54:48 +02:00

239 lines
9.1 KiB
C#

/* ========================================================================
* Copyright (c) 2005-2026 The OPC Foundation, Inc. All rights reserved.
*
* OPC Foundation MIT License 1.00
*
* Permission is hereby granted, free of charge, to any person
* obtaining a copy of this software and associated documentation
* files (the "Software"), to deal in the Software without
* restriction, including without limitation the rights to use,
* copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the
* Software is furnished to do so, subject to the following
* conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
* OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
* HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
* WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
* OTHER DEALINGS IN THE SOFTWARE.
*
* The complete license agreement can be found here:
* http://opcfoundation.org/License/MIT/1.00/
* ======================================================================*/
using System;
using System.Collections.Generic;
using System.Globalization;
using System.Runtime.CompilerServices;
using System.Threading;
using System.Threading.Tasks;
using Microsoft.Extensions.Logging;
using Opc.Ua;
using Opc.Ua.Client;
using Opc.Ua.PackML;
using Opc.Ua.Scales;
using Opc.Ua.Scales.Client;
using ScalesSample.Client;
ScalesClientOptions options = ScalesClientOptions.Parse(args);
ITelemetryContext telemetry = DefaultTelemetry.Create(
logging => logging.AddConsole().SetMinimumLevel(LogLevel.Warning));
using var cancellation = new CancellationTokenSource();
Console.CancelKeyPress += (_, eventArgs) =>
{
eventArgs.Cancel = true;
cancellation.Cancel();
};
CancellationToken ct = cancellation.Token;
SampleSession connection = await SampleSession.ConnectAsync(options, telemetry, ct).ConfigureAwait(false);
await using ConfiguredAsyncDisposable _ = connection.ConfigureAwait(false);
// session.Scales(...) also teaches the session the OPC 40200 structures, so
// WeightType and PrintableWeightType decode into their generated types.
ScalesClient scales = connection.Session.Scales(telemetry);
if (!scales.IsSupported)
{
Console.Error.WriteLine("The server does not publish the OPC 40200 Scales namespace.");
return 1;
}
// Discovery looks in the DI DeviceSet and the Machinery Machines folder and
// returns each scale once; a scale system's scales are below its SubDevices.
var all = new List<ScaleEntry>();
ArrayOf<ScaleEntry> discovered = await scales.DiscoverScalesAsync(ct).ConfigureAwait(false);
for (int ii = 0; ii < discovered.Count; ii++)
{
ScaleEntry entry = discovered[ii];
all.Add(entry);
if (entry.IsScaleSystem)
{
await foreach (ScaleEntry member in scales.EnumerateSystemScalesAsync(entry.NodeId, ct).ConfigureAwait(false))
{
all.Add(member);
}
}
}
ScaleEntry? firstScale = null;
foreach (ScaleEntry entry in all)
{
if (entry.IsScaleSystem)
{
ScaleIdentification system = await scales.ReadIdentificationAsync(entry.NodeId, ct).ConfigureAwait(false);
uint? systemState = await scales.ReadPackMLStateAsync(entry.NodeId, ct).ConfigureAwait(false);
Console.WriteLine($"Scale system {entry.DisplayName.Text} ({system.Manufacturer.Text} {system.SerialNumber}), PackML {StateName(systemState)}");
continue;
}
firstScale ??= entry;
ScaleSnapshot snapshot = await scales.ReadSnapshotAsync(entry, ct).ConfigureAwait(false);
PrintScale(snapshot);
}
if (firstScale == null)
{
Console.Error.WriteLine("The server publishes no scales.");
return 1;
}
// Drive the first scale: tare, register a weight and switch the product.
NodeId scaleId = firstScale.NodeId;
Console.WriteLine();
Console.WriteLine($"Driving {firstScale.DisplayName.Text}:");
await TryAsync("SetTare", () => scales.SetTareAsync(scaleId, ct)).ConfigureAwait(false);
await TryAsync("ClearTare", () => scales.ClearTareAsync(scaleId, ct)).ConfigureAwait(false);
await TryAsync("RegisterWeight", async () =>
{
ScaleReading? registered = await scales.RegisterWeightAsync(scaleId, ct).ConfigureAwait(false);
Console.WriteLine($" registered {Format(registered)}");
}).ConfigureAwait(false);
ArrayOf<ScaleProductInfo> products = await scales.ReadProductsAsync(scaleId, ct).ConfigureAwait(false);
if (products.Count > 1)
{
await TryAsync($"SwitchProduct {products[1].ProductId}", () => scales.SwitchProductAsync(scaleId, products[1].ProductId, ct))
.ConfigureAwait(false);
ArrayOf<string> current = await scales.ReadCurrentProductsAsync(scaleId, ct).ConfigureAwait(false);
Console.WriteLine($" current products: {string.Join(", ", current.ToList())}");
}
if (options.WatchSeconds > 0)
{
Console.WriteLine();
Console.WriteLine($"Streaming weights and notifications of {firstScale.DisplayName.Text} for {options.WatchSeconds} s ...");
using var watch = CancellationTokenSource.CreateLinkedTokenSource(ct);
watch.CancelAfter(TimeSpan.FromSeconds(options.WatchSeconds));
Task weights = PrintAsync(scales.ObserveWeightAsync(scaleId, cancellationToken: watch.Token), r => $" weight {Format(r)}");
Task notifications = PrintAsync(
scales.ObserveNotificationsAsync(scaleId, cancellationToken: watch.Token),
n => $" {(n.IsAlarm ? (n.Active == true ? "ALARM" : "cleared") : "event")} {n.NotificationId} {n.Category}: {n.Message.Text}");
await Task.WhenAll(weights, notifications).ConfigureAwait(false);
}
return 0;
static void PrintScale(ScaleSnapshot scale)
{
Console.WriteLine();
Console.WriteLine($"{scale.Scale.DisplayName.Text} - {scale.Scale.Kind} scale");
Console.WriteLine($" {scale.Identification.Manufacturer.Text} {scale.Identification.Model.Text}, serial {scale.Identification.SerialNumber}");
foreach (WeighingRangeDefinition range in scale.WeighingRanges)
{
Console.WriteLine(FormattableString.Invariant(
$" range {range.Low} .. {range.High}, d = {range.ActualScaleInterval}, e = {range.VerificationScaleInterval}"));
}
Console.WriteLine($" current {Format(scale.CurrentWeight)}");
if (scale.RegisteredWeight != null)
{
Console.WriteLine($" registered {Format(scale.RegisteredWeight)}");
}
if (scale.Products.Count > 0)
{
string names = string.Join(", ", ProductNames(scale.Products));
string current = string.Join(", ", scale.CurrentProducts.ToList());
Console.WriteLine($" products {names}; in processing: {current}");
}
if (scale.PackMLState.HasValue)
{
Console.WriteLine($" PackML {StateName(scale.PackMLState)}");
}
}
static IEnumerable<string> ProductNames(ArrayOf<ScaleProductInfo> products)
{
for (int ii = 0; ii < products.Count; ii++)
{
ScaleProductInfo product = products[ii];
yield return $"{product.ProductId} ({product.ProductName.Text})";
}
}
static string Format(ScaleReading? reading)
{
if (reading == null)
{
return "-";
}
if (double.IsNaN(reading.Gross) && double.IsNaN(reading.Net) && double.IsNaN(reading.Tare))
{
// The variable is published but has no value yet (nothing registered).
return "none yet";
}
// A streamed reading carries no units; only a full read has them.
string unit = reading.EngineeringUnits is { } units ? " " + units.DisplayName.Text : string.Empty;
string flags = (reading.Overload ? " OVERLOAD" : string.Empty) +
(reading.Underload ? " UNDERLOAD" : string.Empty) +
(reading.Stable == false ? " unstable" : string.Empty);
return FormattableString.Invariant(
$"gross {reading.Gross}{unit}, net {reading.Net}, tare {reading.Tare} ({reading.TareMode}){flags}");
}
static string StateName(uint? state)
{
return state switch
{
null => "n/a",
PackMLStateNumbers.Idle => "Idle",
PackMLStateNumbers.Execute => "Execute",
PackMLStateNumbers.Stopped => "Stopped",
PackMLStateNumbers.Held => "Held",
PackMLStateNumbers.Aborted => "Aborted",
PackMLStateNumbers.Complete => "Complete",
_ => state.Value.ToString(CultureInfo.InvariantCulture)
};
}
static async Task TryAsync(string what, Func<ValueTask> action)
{
try
{
await action().ConfigureAwait(false);
Console.WriteLine($" {what}: done");
}
catch (ServiceResultException ex)
{
Console.WriteLine($" {what}: {ex.StatusCode}");
}
}
static async Task PrintAsync<T>(IAsyncEnumerable<T> stream, Func<T, string> format)
{
try
{
await foreach (T item in stream.ConfigureAwait(false))
{
Console.WriteLine(format(item));
}
}
catch (OperationCanceledException)
{
// The watch period ended.
}
}