search

eclipse-uprotocol / up-spec

uProtocol Specifications
Apache License 2.0
32 stars 25 forks source link

Make UUri specification more formal #142

Closed sophokles73 closed 4 months ago

sophokles73 commented 4 months ago

The UUri specification has been lacking many details that are relevant for correctly implementing the data model in client libraries.

A lot of the specification's textual content has been transformed into formal requirements based on invariants and predicates expressed using the Object Constraint Language.

Last but not least, the content model of UUri has been drastically simplified, thus removing all ambiguity around serialization and validation. This should make implementation of the object model much easier and improve general interoperability.

Addresses #115 et al

sophokles73 commented 4 months ago

closing again in favor of #121