Exakt specificering av systemkomponentgränssnitt möjliggör analys av komponentens beteende och kontroll av överensstämmelse av en implementation med gränssnittsspecifikationen. Mycket ofta komponentgränssnitt definieras endast av deras signatur och utan en formell beskrivning av godtagbara beteende- och timingantaganden. I detta dokument presenterar vi ett ramverk som heter ComMA (Komponentmodellering och analys) som stöder modellbaserad konstruktion (MBE) av högteknologiska system genom att formalisera gränssnittsspecifikationer. ComMA tillhandahåller en familj av domänspecifika språk som integrerar befintliga tekniker från formell beteende- och tidsmodellering och är lätt extensible. Den innehåller verktyg som stöder olika faser i utvecklingsprocessen och kan integreras i det industriella arbetssättet. Ramverket tillämpas inom ramen för familjen av interventionella röntgenapparater som utvecklats av Philips.
Arbetet av Kurtev REF ) används i röntgenmaskinen, det gav en familj av domänspecifika språk som integrerar befintliga tekniker från formella beteende och tid modellering.
Integrating Interface Modeling and Analysis in an Industrial Setting
{'venue': 'MODELSWARD', 'journal': None, 'mag_field_of_study': ['Computer Science']}