Modelling by Patterns for Correct-by-Construction Process.

Dominique Méry 1, 2, 3, 4
Abstract : Patterns have greatly improved the development of programs and software by identifying practices that could be replayed and reused in different software projects. Moreover, they help to communicate new and robust solutions for software development; it is clear that design patterns are a set of recipes that are improving the production of software. When developing models of systems, we are waiting for adequate patterns for building models and later for translating models into programs or even software. In this paper, we review several patterns that we have used and identified, when teaching and when developing case studies using the Event-B modelling language. The modelling process includes the use of formal techniques and the use of refinement, a key notion for managing abstractions and complexity of proofs. We have classified patterns in classes called paradigms and we illustrate three paradigms: the inductive paradigm, the call-as-event paradigm and the service-as-event paradigm. Several case studies are given for illustrating our methodology.
Type de document :
Communication dans un congrès
ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. Springer, 11244, pp.399-423, 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. 〈https://link.springer.com/chapter/10.1007%2F978-3-030-03418-4_24〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01933971
Contributeur : Dominique Méry <>
Soumis le : samedi 24 novembre 2018 - 23:17:36
Dernière modification le : mardi 27 novembre 2018 - 15:35:46

Identifiants

  • HAL Id : hal-01933971, version 1

Collections

Citation

Dominique Méry. Modelling by Patterns for Correct-by-Construction Process.. ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. Springer, 11244, pp.399-423, 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. 〈https://link.springer.com/chapter/10.1007%2F978-3-030-03418-4_24〉. 〈hal-01933971〉

Partager

Métriques

Consultations de la notice

28