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

231 lines
11 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.Text;
using System.Threading.Tasks;
using Opc.Ua;
using Opc.Ua.Scales;
using Opc.Ua.Scales.Server;
using Opc.Ua.Scales.Server.Builders;
using Opc.Ua.Scales.Server.Hosting;
using Opc.Ua.Scales.Server.Runtime;
namespace ScalesSample
{
/// <summary>
/// Builds the sample's weighing equipment: a packing line (a scale system
/// with a checkweigher, its infeed feeder and label printer) and four
/// stand-alone scales showing the other scale types.
/// </summary>
internal sealed class PackingLine
{
public ScaleSystemHandle Line { get; private set; } = null!;
public ScaleHandle Checkweigher => Line.Scales[0];
public ScaleHandle Laboratory { get; private set; } = null!;
public ScaleHandle PieceCounter { get; private set; } = null!;
public ScaleHandle Weighbridge { get; private set; } = null!;
public ScaleHandle Batching { get; private set; } = null!;
/// <summary>
/// Completes once every scale exists, which the simulation waits for.
/// </summary>
public Task Ready => m_ready.Task;
public async ValueTask ConfigureAsync(IScalesSetupContext context)
{
ScalesNodeManager manager = context.Manager;
QualifiedName Name(string name) => new(name, manager.InstanceNamespaceIndex);
Line = await manager.CreateScaleSystemAsync(
Name("PackingLine1"),
system => system
.WithIdentification(Identity("Contoso Weighing", "PL-0001", "PackingLine"))
.WithProcessState("Ready", new LocalizedText("Ready for production"))
.WithProductionOutput()
.WithPackMLState()
.WithMachineryBuildingBlocks()
.AddScale("Checkweigher1", ScaleKind.Checkweigher, scale => scale
.WithIdentification(Identity("Contoso Weighing", "CW-0100", "CW-600"))
.WithWeighingRange(new WeighingRangeDefinition(0, 0.6, 0.0001, 0.0002))
.WithUnit(ScaleUnits.Kilogram)
.WithWeightDetails()
.WithZeroAndTare()
.WithRegisterWeight()
.WithPackMLState()
.WithTypeFeatures()
.WithProductionPreset(preset => preset
.AllowSelection()
.AllowManagement()
.WithLocking()
.AddProduct("CEREAL-500", new LocalizedText("Cereal 500 g"), NominalWeight(0.5))
.AddProduct("CEREAL-375", new LocalizedText("Cereal 375 g"), NominalWeight(0.375))
.Select("CEREAL-500"))
.WithProductionOutput()
.AddFeederModule("Infeed", feeder => feeder
.WithIdentification(Identity("Contoso Conveyors", "CV-7", "Belt"))
.WithMachineryBuildingBlocks()
.WithFeederSpeed(0.2, 1.5, MetrePerSecond, 0.8))
.AddPrinterModule("Labeler", printer => printer
.WithIdentification(Identity("Contoso Print", "LP-3", "Thermal"))
.WithLabel("L-100x60", 100, 60, Millimetre))),
context.CancellationToken).ConfigureAwait(false);
Laboratory = await manager.CreateScaleAsync(
Name("AnalyticalBalance"),
ScaleKind.Laboratory,
scale => scale
.WithIdentification(Identity("Contoso Lab", "AB-220", "XP-220"))
.WithWeighingRange(new WeighingRangeDefinition(0, 0.22, 0.0000001, 0.000001))
.WithUnit(ScaleUnits.Kilogram)
.WithAllowedEngineeringUnits(ScaleUnits.Kilogram, ScaleUnits.Gram, ScaleUnits.Milligram)
.WithLegalForTrade()
.WithWeightDetails()
.WithZeroAndTare()
.WithRegisterWeight()
.WithTypeFeatures(),
context.CancellationToken).ConfigureAwait(false);
PieceCounter = await manager.CreateScaleAsync(
Name("CountingScale"),
ScaleKind.PieceCounting,
scale => scale
.WithIdentification(Identity("Contoso Weighing", "PC-15", "Count-15"))
.WithWeighingRange(new WeighingRangeDefinition(0, 15, 0.0005, 0.005))
.WithAllowedEngineeringUnits(ScaleUnits.Kilogram, ScaleUnits.Gram)
.WithWeightDetails()
.WithZeroAndTare()
.WithTypeFeatures()
.WithProductionPreset(preset => preset
.AllowSelection()
.AddProduct("M4-SCREW", new LocalizedText("M4 x 10 screw"))
.Select("M4-SCREW")),
context.CancellationToken).ConfigureAwait(false);
Weighbridge = await manager.CreateScaleAsync(
Name("Weighbridge"),
ScaleKind.Vehicle,
scale => scale
.WithIdentification(Identity("Contoso Weighing", "WB-60", "Bridge-60t"))
.WithWeighingRange(new WeighingRangeDefinition(0, 60000, 20, 20))
.WithWeightDetails()
.WithRegisterWeight()
.WithTypeFeatures()
.WithProductionPreset(preset => preset
.AddProduct("TRUCK-17", new LocalizedText("Truck 17"), (ctx, product) =>
{
var vehicle = (VehicleProductState)product;
vehicle.AddTare(ctx);
vehicle.Tare!.WrappedValue = Variant.From(14200.0);
vehicle.AddGetVehicleInformation(ctx);
})),
context.CancellationToken).ConfigureAwait(false);
Weighbridge.ProductionPreset!.VehicleInformationProvider = vehicleId => vehicleId == "TRUCK-17"
? new VehicleInformation
{
Tare = 14200,
CarrierId = "CARRIER-4",
DriverDisplayName = new LocalizedText("J. Doe"),
Destination = new LocalizedText("Depot North")
}
: null;
Batching = await manager.CreateScaleAsync(
Name("BatchingScale"),
ScaleKind.Recipe,
scale => scale
.WithIdentification(Identity("Contoso Weighing", "RB-300", "Batch-300"))
.WithWeighingRange(new WeighingRangeDefinition(0, 300, 0.05, 0.1))
.WithWeightDetails()
.WithZeroAndTare()
.WithPackMLState()
.WithTypeFeatures()
.WithRecipeFiles()
.WithProductionPreset(preset => preset
.AllowSelection()
.AddProduct("DOUGH", new LocalizedText("Bread dough"), (ctx, product) =>
((RecipeProductState)product).AddReportFile(ctx))
.Select("DOUGH")),
context.CancellationToken).ConfigureAwait(false);
// A two-branch recipe: flour and water are weighed in parallel,
// then the dough rests.
RecipeController recipes = Batching.Recipes!;
RecipeState bread = recipes.AddRecipe("BREAD", new LocalizedText("Bread"));
ushort ns = manager.NamespaceIndices.Scales;
RecipeElementState flour = recipes.AddRecipeElement(bread, new NodeId(Opc.Ua.Scales.ObjectTypes.WeighingType, ns), "Flour", bread.NodeId);
RecipeElementState water = recipes.AddRecipeElement(bread, new NodeId(Opc.Ua.Scales.ObjectTypes.WeighingType, ns), "Water", bread.NodeId);
recipes.AddRecipeElement(bread, new NodeId(Opc.Ua.Scales.ObjectTypes.TimerType, ns), "Rest", flour.NodeId, water.NodeId);
// The vendor recipe format of this sample is one element name per line.
recipes.RecipeFileHandler = (recipe, bytes) =>
Encoding.UTF8.GetString(bytes.ToArray()).Trim().Length > 0
? ServiceResult.Good
: ServiceResult.Create(StatusCodes.BadDecodingError, "The recipe file is empty.");
m_ready.TrySetResult(true);
}
private readonly TaskCompletionSource<bool> m_ready = new(TaskCreationOptions.RunContinuationsAsynchronously);
private static ScaleIdentification Identity(string manufacturer, string serial, string model)
{
return new ScaleIdentification
{
Manufacturer = new LocalizedText(manufacturer),
SerialNumber = serial,
ProductInstanceUri = "urn:contoso:weighing:" + serial,
Model = new LocalizedText(model),
YearOfConstruction = 2026,
Location = "Hall 3"
};
}
private static Action<Opc.Ua.ISystemContext, ProductState> NominalWeight(double kilograms)
{
return (context, product) =>
{
TargetItemState nominal = ((CheckweigherProductState)product).NominalWeight!;
nominal.WrappedValue = Variant.From(kilograms);
if (nominal.EngineeringUnits != null)
{
nominal.EngineeringUnits.Value = ScaleUnits.Kilogram;
}
};
}
internal static EUInformation MetrePerSecond { get; } = ScaleUnits.Create("MTS", "m/s", "metre per second");
internal static EUInformation Millimetre { get; } = ScaleUnits.Create("MMT", "mm", "millimetre");
}
}