Jesteś tutaj

Clafer: Prosty język modelowania struktury i zachowań systemów konfigurowalnych

Streszczenie: 
Paulius Juodisius (ITU) Raghava Rao Mukkamala (ITU) Michał Antkiewicz (Waterloo) Krzysztof Czarnecki (Waterloo) Andrzej Wąsowski (Waterloo) W ostatnich czasach zauważamy konwergencję systemów sterowania i systemów przetwarzania danych. Tradycyjne systemy osadzone coraz częściej opierają się na analizie skomplikowanych, wielowymiarowych i ustrukturalizowanych danych (np. w robotyce). Jednocześnie aplikacje biznesowe wychodzą poza duże serwery i funkcjonują na małych urządzeniach elektronicznych (platformy mobilne, Internet Rzeczy). W rezultacie specyfikacja systemów coraz częściej wymaga modelowania zarówno struktury jak i zachowania systemów. Niestety, istniejące języki modelowanie nie integrują dobrze tych dwu perspektyw systemowych, faworyzując jedną ponad drugą, lub postrzegając je jako oddzielne, luźno połączone aspekty (np. UML). Tradycyjnie, języki modelowania systemów osadzonych faworyzują sterowanie dyskretne (np. Simulink) a modelowanie aplikacji biznesowych modelowanie strukturalne (diagramy ER, czy diagramy klas). W tym wykładzie, zaprezentuję Clafer, niewielki język modelowania podejmujący to wyzwanie. Clafer zawiera zarówno rozbudowane konstrukcje do definicji struktur jak i ekspresywny formalizm modelowania dynamiki (dyskretnej). Pokażę, jak Clafer przy wykorzystaniu jednolitej składni i semantyki, pozwala wyrażać tak rożne modele jak specyfikacje konfiguracji cech (ang. feature models), modele komponentów (component models), dyskretne automaty skończenie-stanowe. Clafer pozwala również naturalnie wpleść konfigurowalność do wszystkich tych języków. Język oparty jest na logice pierwszego rzędu (używanej do modelowania struktur) zintegrowanej z linową logiką temporalną LTL (do modelowania dynamiki). Na tej prostej podstawie semantycznej, zbudowana jest prosta składnia i kilka rozszerzeń, które ułatwiają modelowanie systemów hierarchicznych, asocjacji, automatów, scenariuszy, czy zachowań według wzorców właściwości Dwyer'a.
Prelegent (spoza ISI): 
prof. Andrzej Wąsowski, IT University of Copenhagen
Rodzaj seminarium: 
Data: 
czwartek, Czerwiec 1, 2017 - 14:00