2021
DOI: 10.1007/978-3-030-91265-9_3
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: Formal system modelling languages lack explicit constructs to model domain knowledge, hindering clear separation of this knowledge from system design models. Indeed, in many cases, this knowledge is hardcoded in the system formal specification or is simply overlooked. Providing explicit domain knowledge constructs and properties would yield a significant improvement in the robustness and confidence of the system design models. Therefore, it speeds up formal verification of safety properties and advances system… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2024
2024

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 39 publications
0
1
0
Order By: Relevance
“…In particular, the theory plugin [3], [17] enables to extend the core concepts of Event-B by defining new data types, theories, and operators that can be used in Event-B models. In addition to the classical theories for lists, trees, graphs and reals, several other theories have been developed to support complex constructs like continuous features [21], [22] or domain knowledge ontologies [33], [34].…”
Section: Introductionmentioning
confidence: 99%
“…In particular, the theory plugin [3], [17] enables to extend the core concepts of Event-B by defining new data types, theories, and operators that can be used in Event-B models. In addition to the classical theories for lists, trees, graphs and reals, several other theories have been developed to support complex constructs like continuous features [21], [22] or domain knowledge ontologies [33], [34].…”
Section: Introductionmentioning
confidence: 99%