Vývojové prostředí založené na zásadách visuálního programování a metamodelování

RNDr. Jaroslav ŽÁČEK

Doctoral thesis

Development environment based on visual programming and metamodeling

Abstract:

Tato disertac?ni? pra?ce se zaby?va? na?vrhem modelovaci?ho na?stroje, ktery? je zaloz?eny? na za?sada?ch visua?lni?ho programova?ni? a metamodelova?ni? a je schopen pr?i vytva?r?eni? spustitelne?ho modelu vyuz?i?t jiz? dr?i?ve vytvor?eny?ch komponent v podobe? zkompilovane? tr?i?dy programovaci?ho jazyka. Podmi?nka visua?lni?ho programova?ni? na?vrhu zabezpec?uje, z?e c?love?k neznaly? programovaci?ho jazyka je schopen pouze se znalosti? dane? dome?ny vytvor?it a me?nit spustitelny? model dane?ho proble?mu. Pr?i vyuz?iti? existuji?ci?ch komponent je potr?eba naji?t mechanismus pro jeho nac?teni?, pra?ci sni?m a uz?ivatelske? rozs?i?r?eni?. Koncept metamodelova?ni? je pro tuto c?innost vhodny? a spolu s na?vrhem rozs?i?r?eni? metamodelu pomoci? anotaci? definovany?ch v te?to pra?ci tvor?i? potr?ebny? na?stroj pro podporu be?hu modelu. Pr?i tvorbe? spustitelne?ho modelu navrz?eny? na?stroj zi?ska?va? informace zrozs?i?r?ene?ho metamodelu a os?etr?uje tak napr?. problematiku na?vrhovy?ch vzoru?. Pro samotny? be?h modelu pra?ce navrhuje dva pr?i?stupy a to sekvenc?ni? a paralelni? zpracova?ni?. Pro sekvenc?ni? pr?i?stup byly identifikova?ny kli?c?ove? atributy a byla vytvor?ena s?ablona XSD, ktera? tvor?i? metamodel pro XML soubory vyuz?itelne? pro r?i?zeni? modelu. Pro paralelni? zpracova?ni? byl definova?n novy? formalismus Objektove?-hodnotovy?ch Petriho si?ti?, ktery? je zaloz?en na teorii P/T Petriho si?ti?. Po definova?ni? nove?ho formalismu jsou za?roven? specifikova?ny i za?kladni? vlastnosti, ktere? vycha?zeji? zP/T Petriho si?te?. Objektove?- hodnotove? Petriho si?te? jsou da?le rozs?i?r?eny o moz?nost tvorby hierarchicky?ch si?ti? pro podporu zme?ny abstrakce spustitelne?ho modelu. V oblasti podporuji?ci? visua?lni? programova?ni? byla vytvor?ena take? vlastni? forma?lne? definovana? graficka? notace. Vlastni? notace vycha?zi? z UML tr?i?dni?ho diagramu a jeji? definice se skla?da? z metamodelu, konkre?tni? syntax a se?mantiky. Souc?a?sti? se?mantiky jsou transformac?ni? pravidla, ktera? grafickou notaci transformuji? na Objektove?-hodnotovou Petriho si?t?. V za?ve?ru pra?ce je pak naznac?ena podoba navrz?ene? graficke? notace vzhledem krea?lne?mu modelu. Pro integraci existuji?ci?ch komponent softwaru LFLC 2000 do visua?lni?ho na?stroje byla vytvor?ena a popsa?na univerza?lni? metodika. Pr?i pouz?iti? te?to metodiky lze integrovat obecnou komponentu vytvor?enou v jazyce C c?i C++ do na?stroje vytvor?eny?m na platforme? Java za pouz?iti? JNI. Pro ove?r?eni? teoreticke?ho za?kladu byly vytvor?eny dve? implementace ? MetaRead a ExModel v programovaci?m jazyce Java, ktere? jsou pr?iloz?eny na CD vc?etne? zdrojovy?ch ko?du?. Souc?a?sti? pra?ce je take? res?ers?e souc?asne?ho stavu v oblasti modelova?ni? se zame?r?eni?m na vymezeni? te?matu pra?ce. Jsou zastoupeny jak modelovaci? pr?i?stupy, tak samotny? software z oblasti? pr?i?buzny?ch te?matu pra?ce. Kaz?da? z di?lc?i?ch oblasti? modelova?ni? a software podporuji?ci?ho modelova?ni? je kriticky zhodnocena a ze zmi?ne?ny?ch oblasti? jsou definova?ny samotne? poz?adavky pro na?vrh na?stroje.

Abstract:

This dissertation thesis designs a new modelling tool based on visual programming and metamodelling. This tool is able to integrate and use components as modelling elements. These components are compiled classes with no source code. Visual programming ensures that user knowing a specific domain can create executable model with no programming capabilities. Using compiled components requires a specific mechanism for read work and display user extensions of component metamodel. Metamodel concept is suitable and together with annotations creates a complementary pair. This thesis designs annotation metamodel extensions to support model execution. Proposed tool gains information from extended metamodel during creation of model with execution ability. This approach solves issues with Design patterns in component architecture. The dissertation thesis proposes two approaches to model processing, sequence and parallel. A key attributes have been identified and XSD template has been created to support sequence processing model approach. XSD template is a metamodel for XML files used for a model processing description. Thesis introduces a new formalism for parallel processing ? Object-valued Petri Net. New formalism is based on P/T Petri Net theory. A part of the definition of the new formalism is redefining its basic properties according to P/T Petri Net properties. Object-valued Petri Nets are extended with capability of hierarchic nets to support change level of model abstraction. A new formal definition of graphic notation has been created in the area of visual programming as well. This notation is based on UML Class diagram notation and formal definition consists of metamodel, concrete syntax and semantic. Transformation rules are part of semantic definition. These rules describe transformation of graphical notation to Object-valued Petri Net. A part of the graphic notation definition is the example of the model created on the principles of the proposed graphic notation according to the real model. A universal methodology has been created to integrate existing components of the LFLC 2000 software to visual tool design. By using this methodology any component created with C or C++ programming language can be integrated to propose visual tool based on Java platform by using JNI. To prove a theoretical basis of this thesis two implementations in Java programming language have been created ? MetaRead and ExModel. Both programs are attached on CD including source codes. A part of the dissertation thesis is the state of the art of the modelling tools and approaches related to this topic of the dissertation thesis. There are modelling approaches such as MDA, Executable UML and software from related areas of the topic. Each sub-area of the modelling approaches or software includes critical evaluation. Defined requirements to visual tool design are based on these areas.

Keywords

Visua?lni? programova?ni?, metamodelova?ni?, Petriho si?t?e?, UML, reflexe, anotace, graficka? notace, paralelni? zpracova?ni?, synchronizace

Language used: Czech

Date on which the thesis was submitted / produced: 6. 3. 2012

Accessible from:: 6. 3. 2012

Thesis defence

• Supervisor: Doc. Ing. František Huňka, CSc.

University of Ostrava

Faculty of Science

Doctoral programme / field:
Information Science / Information Systems