| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju

Opcije:
  Ponastavi


1 - 2 / 2
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
1.
Metodologija razvoja programske opreme za vodenje industrijskih procesov
Tomaž Lukman, 2012, doktorska disertacija

Opis: Osrednja tema doktorske disertacije je programsko inženirstvo v domeni vodenja industrijskih procesov. Praksa razvoja programske opreme za vodenje industrijskih procesov je, gledano s stališča sodobnih pristopov k razvoju programske opreme, nezrela in ne izpolnjuje potreb trga po vedno obsežnejši in bolj kakovostni programski opremi, po skrajšanjih razvojnih ciklih ter po učinkovitem razvoju. Predlagani sodobni razvojni pristopi pa niso sprejeti s strani praktikov in gospodarstva, ker so nedodelani in ker ne rešujejo najpomembnejših težav domene vodenja, ki jih navaja literatura. V okviru doktorske disertacije smo razvili sodobno metodologijo za razvoj programske opreme za vodenje procesov. Razvoj je temeljil na sistematični uporabi nekaterih idej iz področij modelno usmerjenega inženirstva, domensko specifičnih modelirnih jezikov in programskih produktnih linij. Te ideje so bile uporabljene na tak način, da metodologija rešuje najpomembnejše težave domene vodenja procesov in nima slabosti obstoječih sodobnih razvojnih pristopov. Metodologija je sestavljena iz dveh nivojev: nivoja razvoja infrastrukture in nivoja razvoja aplikacij. Na prvem nivoju se sistematično razvija infrastruktura, ki je sestavljena iz definicije aplikacijskega razvojnega procesa in razvojnih smernic zanj, formalnega domensko specifičnega modelirnega jezika, definicije transformacij modelov in podpornih programskih orodij. Podporna programska orodja, ki omogočajo delno avtomatizacijo aplikacijskega razvoja v naši metodologiji, so sestavljena iz urejevalnika modelov, repozitorija modelov in generatorja kode. V okviru doktorske disertacije sta bila razvita tudi laboratorijski prototip in industrijski prototip podpornih orodij. Slednji odpravlja pomanjkljivosti laboratorijskega prototipa in je primeren za razvoj realne programske opreme za vodenje procesov. Na drugem nivoju razvoja se z uporabo infrastrukture izvaja modelno usmerjeni razvoj programske opreme za vodenje procesov. Z dobro definiranim aplikacijskim razvojnim procesom se izdela model programske opreme, iz katerega se na koncu avtomatsko generira koda za programirljive logične krmilnike. Evalvacija metodologije je bila izvedena na empirični način, in sicer s študijo primera, v katero so bili vključeni razvijalci iz slovenskega podjetja. V študiji primera je bilo prikazano, da je metodologija uporabna za razvoj programske opreme za vodenje realnih procesov. Pokazali smo tudi, da metodologija v primerjavi z razvojnim pristopom, ki se uporablja v praksi, izboljšuje učinkovitost razvoja programske opreme v smislu izboljšanja produktivnosti in kakovosti.
Ključne besede: Programsko inženirstvo, modelno usmerjeno inženirstvo, domensko specifični modelirni jeziki, programske produktne linije, avtomatsko generiranje kode, vodenje industrijskih procesov, študija primera
Objavljeno v DKUM: 28.01.2013; Ogledov: 2515; Prenosov: 235
.pdf Celotno besedilo (8,16 MB)

2.
Model transformations require formal semantics
Yu Sun, Zekai Demirezen, Tomaž Lukman, Marjan Mernik, Jeffrey G. Gray, 2008, objavljeni znanstveni prispevek na konferenci

Opis: Despite the increasing interest in model-driven engineering, there are many open issues that need to be addressed to advance the technology and promote its adoption. This position paper outlines several current limitations of model transformation, with a specific emphasis on model optimization. A primary shortcoming that can be found in many model transformation approaches and tools is the lack of formal semantics to define the meaning of a modeling abstraction. This inadequacy is the source of many problems surrounding the practice of model engineering.
Ključne besede: domain-specific languages, program transformation, model transformation, model-driven engineering, modeling language
Objavljeno v DKUM: 31.05.2012; Ogledov: 2175; Prenosov: 41
URL Povezava na celotno besedilo

Iskanje izvedeno v 7.39 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici