Mod?isation de l'Adaptation S?antique Entre Mod?es de Calcul

Ce travail traite de la mod?lisation de syst?mes complexes constitu?s de plusieurs composants impliquant des domaines techniques diff?rents. Il se place dans le contexte de la mod?lisation h?t?rog?ne hi?rarchique, selon l'approche ? base de mod?les de calcul. Chaque composant faisant appel ? un domaine technique particulier, son comportement peut ?tre mod?lis? selon un paradigme de mod?lisation appropri?, avec une s?mantique diff?rente de celle des autres composants. La mod?lisation du syst?me global, qui int?gre les mod?les h?t?rog?nes de ces composants, n?cessite donc une adaptation s?mantique permettant l'?change entre les divers sous-mod?les. Ce travail propose une approche de mod?lisation de l'adaptation s?mantique o? les s?mantiques du temps et du contr?le sont explicitement sp?cifi?es par le concepteur en d?finissant des relations sur les occurrences d'?v?nements d'une part et sur les ?tiquettes temporelles de ces occurrences d'autre part. Cette approche est int?gr?e dans la plateforme ModHel'X et test?e sur un cas d'?tude: un mod?le de l?ve-vitre ?lectrique.

Author: Dogui-A

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 96 pages

Binding: Paperback or Softback

ISBN-10: 3838172981

ISBN-13: 9783838172989