From 8b1b7736ee8d3754bca70ba276076f4721075f0c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= Date: Tue, 26 Apr 2022 09:03:19 +0200 Subject: [PATCH] Fix typo --- examples/scholarly_paper/2021-ITP-PMTI/paper.thy | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/examples/scholarly_paper/2021-ITP-PMTI/paper.thy b/examples/scholarly_paper/2021-ITP-PMTI/paper.thy index 26e5696..7c11dac 100644 --- a/examples/scholarly_paper/2021-ITP-PMTI/paper.thy +++ b/examples/scholarly_paper/2021-ITP-PMTI/paper.thy @@ -1166,7 +1166,8 @@ in which requirements are specified using SysML/KAOS goal diagrams. The latter w Event-B, where domain-specific properties were specified by ontologies. In another case, Mendil et al. @{cite "MendilASMP21"} propose an Event-B framework for formalising standard conformance through formal modelling of standards as ontologies. -The proposed approach was exemplified on ARINC 661 standard im the ntext of a weather radar system application. +The proposed approach was exemplified on ARINC 661 standard +in the context of a weather radar system application. These works are essentially interested in expressing ontological concepts in a formal method but do not explicitly deal with the formalisation of rules/invariants defined in ontologies. The question of ontology-mappings is not addressed.