Making explicit domain knowledge in formal system development

Aït‐Ameur, Yamine; Méry, Dominique

doi:10.1016/j.scico.2015.12.004

Cited by 31 publications

(29 citation statements)

References 46 publications

(78 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• I claim that [1] provides an answer to the claim in both [2,3] that ⋄ ⋄ "The contexts of the systems in these cases are treated as second-class citizens . .…”

Section: Discussionmentioning

confidence: 99%

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Laleau

Méry

Nakajima

et al. 2018

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

“…• I claim that [1] provides an answer to the claim in both [2,3] that ⋄ ⋄ "The contexts of the systems in these cases are treated as second-class citizens . .…”

Section: Discussionmentioning

confidence: 99%

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Laleau

Méry

Nakajima

et al. 2018

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

“…A single and shared modeling language for the description of both ontologies, design models and annotations is used in this work. Furthermore, the engineering application domain uses modeling languages with classical semantics using closed world assumption (CWA) [7].…”

Section: Some Remarksmentioning

confidence: 99%

Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach

Hacid

Aït‐Ameur

2016

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Self Cite

View full text Add to dashboard Cite

Critical systems are running in heterogeneous domains. This heterogeneity is rarely considered explicitly when describing and validating processes. Handling explicitly such domain knowledge increases design models robustness due to the expression and validation of new properties mined from the domain models. This paper proposes a stepwise approach to enrich design models describing complex information systems with domain knowledge. We use ontologies to model such domain knowledge. Design models are annotated by references to domain ontologies. The resulting annotated models are checked. It becomes possible to verify domain-related properties and obtain strengthened models. The approach is deployed for two design model development approaches: a Model Driven Engineering (MDE) approach and a correct by construction formal modeling one based on refinement and proof using Event-B method. A case study illustrates both approaches (This work is partially supported by the French ANR-IMPEX project.).

show abstract

“…It is highly desirable to define the domain knowledge with a system in an explicit way to improve the quality of the development process and to accommodate the new changes in the system requirements by restructuring the formal model [1]. To consider the domain knowledge in the software engineering practices has been considered an important step in the area of system modelling and analysis.…”

Section: Introductionmentioning

confidence: 99%

Formal Ontology Driven Model Refactoring

Singh

Aït‐Ameur

Méry

2018

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)

Self Cite

View full text Add to dashboard Cite

Refactoring, successfully used in the field of programming, can be used in maintenance and restructuring of the large and complex models. In this paper, we present a novel approach for model refactoring and a set of modelling patterns that are applicable for refinement-based formal development. In order to carry out this study, we investigate the previously developed large and complex model and required ontology to develop a domain model and a refactored system model. Further, we use the Rodin tools to check the internal consistency with respect to the desired functional behaviour and the required safety properties. Our main contributions are: to develop a refactoring technique related to the correct by construction approach; to use the domain specific knowledge in a system model explicitly; to define a set of modelling patterns; and to define a restructuring mechanism in the formal development. Finally, this proposed approach is evaluated through a complex medical case study: ECG clinical assessment protocol.

show abstract

Making explicit domain knowledge in formal system development

Cited by 31 publications

References 46 publications

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach

Formal Ontology Driven Model Refactoring

Contact Info

Product

Resources

About