nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix typo

This commit is contained in:
Nicolas Méric 2022-04-26 09:03:19 +02:00
parent fbf34f9a35
commit 8b1b7736ee
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/scholarly_paper/2021-ITP-PMTI/paper.thy
View File

@ -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. 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 In another case, Mendil et al. @{cite "MendilASMP21"} propose an Event-B framework for formalising standard
conformance through formal modelling of standards as ontologies. 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 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. but do not explicitly deal with the formalisation of rules/invariants defined in ontologies.
The question of ontology-mappings is not addressed. The question of ontology-mappings is not addressed.