Cikk az ICSE 2018 konferencián

Nagy örömmel adjuk hírül, hogy kutatócsoportunk munkatársai, Semeráth Oszkár, Nagy András Szabolcs és Varró Dániel által írt „A Graph Solver for the Automated Generation of Consistent Domain-Specific Models” című cikket elfogadták az ICSE 2018 konferenciára. 

Az IEEE International Conference on Software Engineering (ICSE) a szoftvertechnológia legrangosabb és kiemelten kompetitív nemzetközi konferenciája, ahol a kutatási teljes területet érintő legfontosabb gyakorlati és elméleti eredmények kerülnek bemutatásra. 2018-ban már a 40. alkalommal kerül megrendezésre Göteborgban, Svédországban. Magyarországi szerzőktől legutóbb 22 éve fogadtak el cikket...

A cikkben egy olyan (a VIATRA Query és VIATRA-DSE technológiákra építő) algoritmust mutatunk be, amely egy bemenetként kapott modellezési nyelvhez logikai következtetés alapján képes helyes, azaz jólformáltsági kényszereknek megfelelő, gráfmodellek automatikus előállítására. Megoldásunk a modellgenerálás feladátában (a modellek méretét tekintve) közel két nagyságrenddel hagyja le a népszerű Alloy (MIT) és Z3 (Microsoft Research) hasonló eszközeit. A modellgenerátor felhasználható modellezőeszközök szisztematikus tesztelésére (lásd pl. korábbi Trans-IMA repülőgépipari projektben kifejlesztett tervezőeszközt), kiberfizikai rendszerekhez tesztkontextusok előállítására (autonóm robotok tesztelésére lásd a R3-COP és R5-COP kutatási projektekben), illetve akár kémiai gráfok szintézisére is. 

A cikk mögötti kutatómunkát az MTA-BME Lendület Kiberfizikai Rendszerek Kutatócsoport támogatta.