AI Chat AI Image Generator AI Video Text to Speech

Z Specification for the W3C Editor's Draft Core SHACL Semantics

11/02/2015

∙

by Arthur Ryman, et al.

∙

∙

This article provides a formalization of the W3C Draft Core SHACL Semantics specification using Z notation. This formalization exercise has identified a number of quality issues in the draft. It has also established that the recursive definitions in the draft are well-founded. Further formal validation of the draft will require the use of an executable specification technology.

page 1

page 2

page 3

page 4

research

∙ 11/20/2018

Formal FocusST Specification of CAN

This paper presents a formal specification of the Controller Area Networ...

0 Maria Spichkova, et al. ∙

research

∙ 09/07/2011

Conceptual Knowledge Markup Language: The central core

The conceptual knowledge framework OML/CKML needs several components for...

0 Robert E. Kent, et al. ∙

research

∙ 06/05/2019

An Overview of GSMA's M2M Remote Provisioning Specification

M2M devices are ubiquitous, and there is a growing tendency to connect s...

0 Maxime Meyer, et al. ∙

research

∙ 12/07/2021

A Specification for Typed Template Haskell

Multi-stage programming is a proven technique that provides predictable ...

0 Matthew Pickering, et al. ∙

research

∙ 07/24/2023

Formal description of ML models for unambiguous implementation

Implementing deep neural networks in safety critical systems, in particu...

0 Adrien Gauffriau, et al. ∙

research

∙ 11/11/2020

Petr4: Formal Foundations for P4 Data Planes

P4 is a domain-specific language for programming and specifying packet-p...

0 Ryan Doenges, et al. ∙

research

∙ 07/31/2019

Aquarium Technical Report Preprint

In this technical report, we present the core calculi for two of the dom...

0 Ming Kawaguchi, et al. ∙