Afficher la notice abrégée

On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B

hal.structure.identifierAssistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
hal.structure.identifierInstitut National Polytechnique (Toulouse) [Toulouse INP]
dc.contributor.authorAÏT-AMEUR, Yamine
hal.structure.identifierLaboratoire de Recherche en Informatique [LRI]
dc.contributor.authorAIT-SADOUNE, Idir
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorCASTÉRAN, Pierre
hal.structure.identifierDépartement Informatique [TSP - INF]
hal.structure.identifierMéthodes et modèles pour les réseaux [METHODES-SAMOVAR]
hal.structure.identifierCentre National de la Recherche Scientifique [CNRS]
dc.contributor.authorGIBSON, John Paul
hal.structure.identifierSystèmes Multi-Agents Coopératifs [IRIT-SMAC]
dc.contributor.authorHACID, Kahina
hal.structure.identifierProof-oriented development of computer-based systems [MOSEL]
dc.contributor.authorKHERROUBI, Souad
hal.structure.identifierModeling and Verification of Distributed Algorithms and Systems [VERIDIS]
hal.structure.identifierProof-oriented development of computer-based systems [MOSEL]
hal.structure.identifierUniversité de Lorraine [UL]
hal.structure.identifierTELECOM Nancy
dc.contributor.authorMÉRY, Dominique
hal.structure.identifierLaboratoire de Recherche en Informatique [LRI]
dc.contributor.authorMOHAND OUSSAID, Linda
hal.structure.identifierAssistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
hal.structure.identifierInstitut National Polytechnique (Toulouse) [Toulouse INP]
dc.contributor.authorSINGH, Neeraj Kumar
hal.structure.identifierSysterel
dc.contributor.authorVOISIN, Laurent
dc.contributor.editorMichael Butler
dc.contributor.editorAlexander Raschke
dc.contributor.editorThai Son Hoang
dc.contributor.editorKlaus Reichl
dc.date.accessioned2024-04-15T09:56:29Z
dc.date.available2024-04-15T09:56:29Z
dc.date.issued2018
dc.date.conference2018-06-05
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198839
dc.description.abstractEnAlthough several authors like P. Zave and M. Jackson, D. Bjorner, A. Van Lamsweerde have drawn the attention of system designers on the ne- cessity to handle domain knowledge, while designing systems, it is still a major concern nowadays. The IMPEX project, funded by the French ANR national research agency, addresses the problem of making explicit domain knowledge in formal system developments using refinement and proof based formal methods. It advocates the use and formalisation of ontologies as models for domain knowl- edge. The Event-B modelling technique has shown its usefulness to support the various developments. In this paper, we briefly describe the approach and the case studies developed in the context of this project.
dc.description.sponsorshipIntégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.
dc.language.isoen
dc.publisherSpringer
dc.title.enOn the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
dc.typeCommunication dans un congrès
dc.identifier.doi10.1007/978-3-319-91271-4_35
dc.subject.halInformatique [cs]/Modélisation et simulation
bordeaux.page425--430
bordeaux.volume10817
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.title6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018)
bordeaux.countryGB
bordeaux.conference.citySouthampton
bordeaux.peerReviewedoui
hal.identifierhal-01797538
hal.version1
hal.invitednon
hal.proceedingsoui
hal.conference.end2018-06-08
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-01797538v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2018&rft.volume=10817&rft.spage=425--430&rft.epage=425--430&rft.au=A%C3%8FT-AMEUR,%20Yamine&AIT-SADOUNE,%20Idir&CAST%C3%89RAN,%20Pierre&GIBSON,%20John%20Paul&HACID,%20Kahina&rft.genre=unknown


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée