10.2.2011 PS – P2-0041 1/19

Izboljšanje uporabniške učinkovitosti z domensko specifičnim modelirnim jezikom v merilni tehniki

razvojno-raziskovalni prispevek Laboratorija za programirne metodologije

Tomaž Kosar

Delo je nastalo v sodelovanju s podjetjem DEWESoft v okviru razpisa agencije TIA “Mladi raziskovalci iz gospodarstva”

10.2.2011 PS – P2-0041 2/19

Kazalo

• Motivacija in sistemi za zajemanje podatkov

• Sequencer – DS(M)L integriran v produkt DEWESoft

• Rezultati (prednosti, slabosti)

• Zaključek in obeti za prihodnost

10.2.2011 PS – P2-0041 3/19

Motivacija (1/2)

• Merilni sistemi– Zajemanje podatkov– Uporaba

• Avtomobilska industrija

10.2.2011 PS – P2-0041 4/19

Motivacija (1/2)

• Merilni sistemi– Zajemanje podatkov– Uporaba

• Avtomobilska industrija, letalska industrija

10.2.2011 PS – P2-0041 5/19

Motivacija (2/2)

• Težave– Zahteven postopek (ponovitve, nastavitve, ipd.)– Testi (avtomatični, ročni)– Proizvajalci nudijo knjižnice – Povezovanje različnih strokovnjakov

• Vprašanje: Kako v merilni tehniki povečati učinkovitost proizvajalcev in uporabnikov?

• Odgovor: Razvoj domensko specifičnega (modelirnega) jezika

10.2.2011 PS – P2-0041 6/19

Sequencer

• Sequencer vsebuje DSL in DSML

• Jezika sta integrirana v sistem DEWESoft1

• Modeli/programi v Sequencer-ju zamenjujejo razvoj meritev z DCOM aplikacijami

1NASA je v letu 2009 DEWESoft nagradila z nagrado 'Product of the year'

10.2.2011 PS – P2-0041 7/19

Sorodna orodja

• VBOXTools, Corrsys-datron

• LabVIEW (G – grafični jezik)

• DSMLji razviti z metamodelirnimi orodji MetaEdit+, GME, GMF

10.2.2011 PS – P2-0041 8/19

Arhitektura Sequencer-ja

10.2.2011 PS – P2-0041 9/19

Razvoj Sequencer-ja

• Domenska analiza

• Razvoj jezika

• Implementacija modelirnega okolja

10.2.2011 PS – P2-0041 10/19

DSL: DLex specifikacije

10.2.2011 PS – P2-0041 11/19

DSML: Metamodel v GME

10.2.2011 PS – P2-0041 12/19

DSML: modelirno orodje

10.2.2011 PS – P2-0041 13/19

Pogled domenskega eksperta (DSL)

10.2.2011 PS – P2-0041 14/19

Pogled domenskega eksperta (DSML)

Konstrukti DSML program Spremenljivke

10.2.2011 PS – P2-0041 15/19

Pogled uporabnika

10.2.2011 PS – P2-0041 16/19

• Razvojni stroški– Leksikalna in sintaktična analiza

• 2787 vrstic kode (LOC)

– Semantika• 5102 LOC

– Skupaj: 7889 LOC

– Čas razvoja: 6 inženir/mesecev

• Podatki ne zajemajo novih funkcionalnosti in popravkov

Razvojni stroški

10.2.2011 PS – P2-0041 17/19

Prednosti (1/2)

• Primerjava testov v Sequencer-ju z DCOM aplikacijami

10.2.2011 PS – P2-0041 18/19

Prednosti (2/2)

• Dvig abstraktnega nivoja• Število uporabnikov s Sequencer-jem narašča• Podatki iz avtomobilske industrije:

• Povečanje produktivnosti• Zmanjšanje programskih napak• Povečanje kvalitete aplikacij

10.2.2011 PS – P2-0041 19/19

Zaključek• Sequencer• Lažji zapis meritvenih testov• Premik programiranja od programerjev k domenskim ekspertom• Prihodnje delo:

– Podporna modelirna orodja (šablone , avtomatsko testiranje, razhroščevalnik)

• Trenutni rezultati:– Konferenčne objave

• KOS, Tomaž, KOSAR, Tomaž, KNEZ, Jure, MERNIK, Marjan. Improving end-user productivity in measurement systems with a domain-specific (modeling) language sequencer. Advances in databases and information systems : 14th East European conference, ADBIS 2010, 2010 : proceedings, (Lecture notes in computer science, 6295).

• KOS, Tomaž, KOSAR, Tomaž, MERNIK, Marjan, KNEZ, Jure. Ladybird: Debugging Support in the Sequencer. WSEAS, 2011.

– Revijalne objave• KOS, Tomaž, KOSAR, Tomaž, MERNIK, Marjan. Sequence Construction of Car Tests with Domain-Specific

Modeling Language. Poslano v Computers in Industry (revija SCI) oktober 2010 • KOS, Tomaž, KOSAR, Tomaž, KNEZ, Jure, MERNIK, Marjan. Debugging support in the domain-specific

modeling language Sequencer integrated in the measurement system DEWESoft. Poslano v Software and System Modeling (revija SCI) november 2010

• KOS, Tomaž, KOSAR, Tomaž, KNEZ, Jure, MERNIK, Marjan. From DCOM interfaces to domain-specific modeling language: A case study on the Sequencer. Izbran članek iz konference ADBIS 2010, razširjena verzija poslana v Computer Science and Information System (revija SCI) december 2010