doktorska disertacija
Ines Čeh (Avtor), Marjan Mernik (Mentor)

Povzetek

Domensko specifični jeziki so računalniški (programski, modelirni, specifikacijski) jeziki, namenjeni reševanju problemov v določeni domeni. Razvoj domensko specifičnega jezika obsega naslednje faze: odločitev, analizo, načrtovanje, implementacijo, namestitev, testiranje in vzdrževanje. Faze razvoja domensko specifičnih jezikov niso enakomerno raziskane. Največ pozornosti je bilo v preteklosti namenjene fazi implementacije, fazi analize in načrtovanja pa spadata med najmanj raziskane faze. Za izvedbo domenske analize sicer obstajajo številne formalne metodologije, ki pa so se izkazale kot prezahtevne, zato v praksi niso pogosto uporabljene. Prav tako pa ne obstajajo navodila, ki bi določala, kako uporabiti informacije, pridobljene v fazi analize, pri načrtovanju domensko specifičnega jezika. V doktorski disertaciji predstavimo nov formalni pristop za razvoj domensko specifičnih jezikov. Namesto razvoja nove, manj kompleksne metodologije za izvedbo domenske analize predlagamo uvedbo ontološke domenske analize. V fazi ontološke domenske analize poiščemo primerno obstoječo ontologijo za razvoj domensko specifičnega jezika oziroma po potrebi razvijemo novo ontologijo, ki opisuje ciljno domeno. Če domensko specifični jezik razvijemo na podlagi obstoječe ontologije, lahko eno razvojno fazo domensko specifičnega jezika izpustimo. Posledično se zniža cena razvoja domensko specifičnega jezika, ki sicer predstavlja najtehtnejši protiargument za njihov razvoj. V doktorski disertaciji prav tako izpeljemo pravila, ki nam povedo, kako informacije, pridobljene iz ontologije - izhoda faze ontološke domenske analize -, uporabiti v fazi načrtovanja domensko specifičnih jezikov. Predlagan pristop implementiramo v okviru ogrodja Ontology2DSL. Ogrodje, ki ga podrobno predstavimo, na vhodu sprejme ontologijo OWL, zapisano v sintaksi RDF/XML. Izhod iz ogrodja predstavljajo gramatika domensko specifičnega jezika in programi. V doktorski disertaciji se dotaknemo tudi problematike izbire primerne ontologije za razvoj domensko specifičnih jezikov. Uporabnost predlaganega pristopa prikažemo na praktičnih primerih.

Ključne besede

domensko specifični jeziki;načrtovanje;ontologije;domenska analiza;kontekstno neodvisna gramatika;

Podatki

Jezik: Slovenski jezik
Leto izida:
Tipologija: 2.08 - Doktorska disertacija
Organizacija: UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Založnik: [I. Čeh]
UDK: 004.43:004.855.2(043.3)
COBISS: 266519040 Povezava se bo odprla v novem oknu
Št. ogledov: 1777
Št. prenosov: 123
Ocena: 0 (0 glasov)
Metapodatki: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Ostali podatki

Sekundarni jezik: Angleški jezik
Sekundarni naslov: Domain-specific language development from OWL ontologies
Sekundarni povzetek: Domain-specific languages are computer (programming, modeling, specification) languages devoted to solving problems in a specific domain. The DSL development process encompasses the following phases: decision, analysis, design, implementation, testing, deployment and maintenance. Domain-specific language development phases are not equally investigated. While the implementation phase has attracted a lot of researchers, the analysis and design phases are less known and have not been as closely examined. Various formal methodologies for domain analysis have been developed. Often, formal methodologies are not used due to complexity. There are not any clear guidelines on how the output from domain analysis can be used in a language design process. This thesis presents a new formal approach for the development of domain specific languages. Instead of developing a less complex domain analysis methodology, we propose ontology domain analysis. During ontological domain analysis we find and use a suitable existing ontology for the development of a domain specific language and, if necessary, develop a new ontology that describes the target domain. A pre-existing ontology, which contains all the domain information required for DSL development, renders the phase of domain analysis unnecessary. Consequently, this reduces the price of a domain-specific language development process. Expense is a major counter argument to the development of domain-specific languages. By reducing it, this argument loses its weight. The thesis also deduces the rules that tell us how information derived from ontologies can be used in the design stage of domain-specific language. The proposed approach has been implemented within the Ontology2DSL framework. As input, the framework, which is presented in detail in the thesis, accepts an OWL ontology in RDF/XML syntax and outputs the DSL grammar as well as sample programs. The thesis also addresses the problem of choosing a suitable ontology for the development of domain specific languages. The applicability of the proposed approach is illustrated in practical examples.
Sekundarne ključne besede: domain specific language;ontology;domain analysis;domain specific language design;context free grammar;Računalniški programski jeziki;Disertacije;
URN: URN:SI:UM:
Vrsta dela (COBISS): Doktorska disertacija
Komentar na gradivo: Univ. v Mariboru, Fak. za elektrotehniko, računalništvo in informatiko
Strani: XXIV, 178 str.
ID: 8726071