131 |
在Eclipse平台上發展的一套編輯環境生成系統 / A Generating System of Editing Environments On the Eclipse Platform黃立昇, Huang, Li-Sheng Unknown Date (has links)
編輯器針對標的語言提供的編輯輔助,能夠幫助使用者縮短輸入的過程,並且避免輸入的錯誤。然而此種編輯器開發不易,因此大多數特定領域語言(Domain Specific Language)並無提供編輯輔助的專屬編輯器。Eclipse為一套普遍使用的開發環境與工具整合平台,提供了文字編輯器程式框架使建造此種編輯器成為可能,然而大多數的開發者仍然無法透過此複雜的框架開發少數人使用的編輯器。基於此種因素,我們實做EGOE這一套編輯器生成系統,以標的語言的定義為基礎,使用MDA模型驅動的方式在Eclipse平台上自動生成編輯器,使之為標的語言提供結構化編輯與純文字編輯等不同的編輯方式,並且於文字編輯時提供醒目提示、內容輔助與文字喜好設定等編輯相關的輔助功能。 / An editor with special editing aids for a language can increase efficiency and reduce errors while editing sources of the target language. Although of great use, this kind of editors were difficult to create as witnessed by the lack of a language-specific editor (LSE) for most domain specific languages. As the release of Eclipse, however, the situation is changing. Eclipse is an integrated development environment (IDE) firstly published in late 2001 but quickly emerged as a most used IDE. It is indeed also a tool integration platform providing, besides others, a text editor framework, thus making the development of LSEs on Eclipse possible. However, due to the complication of the platform and, especially, the editor framework, it is not easy at all to develop an LSE directly on the framework without any help. We thus in this thesis propose alternatively a generating system of editing environments on the Eclipse platform, which, when given an editing-related specification of the target language, can apply the model-driven approach as suggested by OMG's MDA to generate an editing environment for the target language on Eclipse. The generated editor provides both structured and text editing capabilities. For text editing, we add among its functionalities those such as syntax highlight, content assist and preferences setting for the target language.
|
132 |
Engineering of safety-related and embedded real-time systemsLu, Shourong January 2009 (has links)
Zugl.: Hagen, Fernuniv., Diss., 2009
|
133 |
Improving Modeling with UML by Stereotype-based Language CustomizationStaron, Miroslaw January 2005 (has links)
Graphical modeling is becoming an increasingly important part of software engineering as it provides means of increasing productivity by raising the level of abstraction in software devel-opment. One of the most widely adopted modeling notations is the Unified Modeling Language (UML) which has gained popularity due to its generality and broad applicability. Despite its advantages, this general purpose notation is burdened with the lack of purpose specific model-ing abstractions. The modeling abstractions in the language lack specialized properties and thus models might not precisely express the intentions of the modeler. In consequence, this leads to ineffectiveness of using models in UML. This thesis presents research aimed at improving modeling with UML. By exploiting the language customization mechanisms inherent in UML – stereotypes and profiles – the research presented in the thesis explores such aspects of improving modeling as creating language cus-tomizations or using a customized modeling language. The context, in which the modeling is considered, is delineated by the principles of model driven software development (MDD). The principles recognize the usage of models as the primary artefacts in software development thus providing a solid foundation for considering the use of models in software development. One of the contributions in the thesis is the identification and definition of factors determin-ing the successful realization of MDD in industry. These factors provide means of positioning language customization in the forefront of MDD. Another contribution in the thesis is eliciting and prioritizing a set of criteria for choosing between language customization mechanisms, which is a result of another industrial case study. A series of experiments in academic and industrial environments showed the magnitude of improvements to be expected after replacing a standard modeling language with a customized modeling notation. This series of experiments provided a basis for experimenting with stereo-types and software inspections which indicated a considerable increase in effectiveness of the reading techniques used in software inspections after replacing a standard notation with a cus-tomized one. The results from all empirical studies affected the development of quality assessment crite-ria for stereotypes. The criteria and the exploration of several existing profiles led to the devel-opment of guidelines for creating “good” stereotypes by analyzing existing UML profiles. An additional contribution in the thesis is exploring the usage of an alternative mechanism to stereo-types – model libraries – for adaptation of a modeling language. The way in which model librar-ies can be created in an efficient way is studied by creating a method for extracting knowledge from ontologies into UML domain models. The results of the research presented in the thesis show how to improve modeling with UML by customizing the language with stereotypes. The main contribution is the exploration and evaluation of issues related to creating language customizations and using the customized language.
|
134 |
Konceptualiųjų apribojimų transformacija į SQL kodą / Transformation of conceptual constraints to SQL codeArmonas, Andrius 24 May 2005 (has links)
In this paper, the method is proposed for transforming UML class diagrams with OCL constraints to relational database schemas, having advantages over “UML Profile for Databases” models. The proposed method consists of two phases supplementing each other: metamodel based transformations and pattern-based transformations. All transformations are based on OMG official standards or RFPs (Request for Proposals) and are prepared for use in MDA (Model Driven Architecture) context. This means, that resulting models, created using the described method, are long-lasting, independent from platform and abstract enough to be independent from technology.
This work covers analysis of the field of object – relational transformations, analysis of support of OCL in currently used UML tools, transformation rule sets of metamodel transformations and pattern-based transformations, a lot of examples illustrating every transformation. Metamodel transformations are designed to transform object models written in UML language to corresponding relational models: types, classes, attributes, association classes, associations to tables, columns, foreign keys and other concepts. Pattern-based transformations are designed for generating static relational concepts such as check constraints, views, stored procedures and triggers. Using the two described transformation types and the whole method described, one can generate full-fledged relational database schemas, have precise UML models and keep much more... [to full text]
|
135 |
Objektinių modelių transformacijų realizavimas / Implementing object model transformationsAbdrachimovas, Ruslanas 31 May 2004 (has links)
Presented work covers one of the most important areas of OMG’s model driven architecture (MDA) – problems of object model transformations. Based on research of OMG specifications and other sources, author analyzes transformation process, states importance of modeling and metamodeling for designing of UML like modeling languages. Research work describes designed metamodels of experimental modeling languages: “Entity – process”, Java metamodel and relational metamodel. Author gives a short overview of model editors for these languages, created using EMF framework tools. Based on analysis, author describes very flexible architecture of model transformation implementation, based on filter and pipes architectural pattern. Usage of this architecture gives flexibility to transformation implementation and allows easy and straightforward decomposition of transformation to separate stages. Designed filter and pipes transformation architecture was used for experimental transformation implementation. Research work presents quality and quantity based results of experimental transformations.
|
136 |
African Traditional Culture and modernity in Zakes Mda's The heart of redness.Birama, Prosper Ndayi. January 2008 (has links)
<p>  / </p>
<p>  / </p>
<p align="left">In my thesis entitled &lsquo / African Tradition and Modernity in Zakes Mda&rsquo / s <i><font face="Times New Roman" size="3"><font face="Times New Roman" size="3">The Heart of Redness&rsquo / </font></font><font face="Times New Roman" size="3"><font face="Times New Roman" size="3">, I analyze the way Western modernity and African traditions interact in Mda&rsquo / s novel. I suggest that both modernity and tradition interact to produce a hybrid culture. This will become apparent in my analysis of the way Mda depicts the cattlekilling episode and the effects of Nongqawuse&rsquo / s prophecy, and also in the novel&rsquo / s contemporary characters. Mda shows the development of an African modernity through the semi-autobiographical figure of Camagu who is not slavishly indebted to Western ideas of progress, but is a hybrid of African values and a modern identity.</font></font></i></p>
<p align="left">  / </p>
|
137 |
Modeliavimu grindžiamas J2EE platformos trijų sluoksnių informacinių sistemų kūrimas / Model-driven development of 3-tier JEE platform applicationsMikuckas, Modestas 20 June 2012 (has links)
Viena iš technologinių sričių, kur galima pritaikyti modeliavimu grindžiamą architektūrą (MGA) yra Java Enterprise Edition (J2EE) informacinių sistemų kūrimas. Nors generuoti pilną programinį kodą taikant MGA metodus nėra įprasta, tačiau egzistuoja abstraktūs metodai, bei daliniai sprendimai leidžiantys daryti prielaidą, kad tai yra įmanoma. Remiantis egzistuojančiais abstrakčiais metodais ir daliniais sprendimais buvo sukurtas MGA metodas ir kodo generatorius, leidžiantis sugeneruoti visą programinį kodą pagal modelio duomenis. Sukurtas metodas buvo išbandytas su realia informacine MagicTest žinių testavimo sistema. Bandymas su realia sistema parodė, kad pasiūlytas MGA metodas gali būti sėkmingai taikomas JEE platformos informacinių sistemų kūrimui. / One of the technological areas where can be used model driven architecture (MDA) is Java Enterprise Edition (J2EE) development of information systems. Although to generate a complete program using MDA is not common, but there are some abstract methods, and partial solutions suggesting that this is possible. Based on existing methods of abstract and partial solutions new MDA method and code generator was created. Generator allows to generate software code based on the model data. The method and generator was tested with the real information MagicTest knowledge testing system. The test of the real system showed that the proposed MDA method can be successfully applied to J2EE platform for developing information systems.
|
138 |
Preventing Toxic Behaviour through Game MechanicsFahlström, Josefine, Matson, Emma January 2014 (has links)
Toxic Behaviour, the phenomena where a person behaves in a way meant to intimidate or belittle another person, is an influential issue spreading across the virtual spaces that is online gaming communities. In this thesis we explore the possible correlations between Toxic Behaviour and game mechanics in online multi-player games by analyzing League of Legends (Riot Games, 2009), one of the most prominent online games currently dominating the market (Statista, 2014). We have analysed the game using a contemporary design framework used in the game industry accompanied by an ethnographical field study of the regular player base of League of Legends we have determined the most common reasons behind why these players tend to engage in Toxic Behaviour and if those reasons are connected to the game’s mechanics. Finally, we conceptualize plausible solutions based on our findings that hypothetically could decrease the amount of toxic player’s continuing engagement in Toxic Behaviour.
|
139 |
Veiklos žinių baze išplėstos modeliais grindžiamos architektūros taikymo informacijos sistemų inžinerijoje metodas / Enterprise model based MDA information systems engineering methodAmbraziūnas, Martas 11 November 2014 (has links)
Šiuolaikiniai IS inžinerijos metodai yra nuolat vystomi ir tobulinami, tačiau iš esmės jie yra grindžiami empiriniais procesais. Empiriškai išgautų žinių kokybė gali būti nepakankama sėkmingam projekto įgyvendinimui, nes netikslus vartotojo reikalavimų specifikavimas neigiamai įtakoja visus programinės įrangos kūrimo etapus, o tai didina projekto įgyvendinimo riziką. Disertacinis darbas skirtas sukurti IS inžinerijos metodą, kuris įgalintų empiriniais būdais surinktas dalykinės srities žinias patikrinti formalių kriterijų atžvilgiu. Metodui sukurti buvo apjungti žiniomis grindžiamos ir modeliais grindžiamos IS inžinerijos principai. Šiuo tikslu klasikinis MDA procesas buvo papildytas pagrindiniu žiniomis grindžiamos IS inžinerijos komponentu – veiklos modeliu. Darbo metu buvo sukurtas žiniomis grindžiamo MDA metodo dalykinės programos prototipas, kuris iš dalies automatizuoja siūlomo metodo procesą. Žiniomis grindžiamo MDA metodo efektyvumas buvo patikrintas jį taikant eksperimentinio tyrimo atlikimui, kurio metu buvo sukurta pašto siuntų stebėjimo programėlė. Tyrimo metu nustatyta, kad tikslinga taikyti žiniomis grindžiamą MDA metodą PĮ kūrime nes: 1) detaliau dokumentuojami vartotojo reikalavimai (tikrinami formalių kriterijų atžvilgiu); 2) sumažinama loginių trūkių atsiradimo galimybė (tarp programinės įrangos kūrimo dalyvių); 3) daugiaplatforminiuose sprendimuose sumažinamos projekto įgyvendinimo laiko sąnaudos (dėka automatinio kodo generavimo iš patikrintų modelių). / Although new methods of information systems engineering are being researched and developed, they are empirical in nature. The problem domain knowledge acquisition process relies heavily on the system analyst and user; therefore it is not clear whether the knowledge of the problem domain is comprehensive. This may lead to occurrence of logical gaps, misinterpretation of system requirements, thus causing issues for project. The research work is meant to develop new IS engineering method that will allow validation of the problem domain knowledge against formal criteria. In order to create such method basic principles of Knowledge Based ISE and Model Driven ISE were combined. By combining the two approaches Knowledge Based MDA method was created that extends traditional MDA with Enterprise Model. During the research Knowledge Based MDA tool’s prototype, that is capable of partly automating Knowledge Based MDA process, was created. The efficiency of Knowledge Based MDA method was validated by creating real life application for mobile devices. During the empirical research it was established that by using developed method software requirements quality is improved and comprehensive documentation is created (due to Enterprise Model based validation), occurrence of logical gaps between software development stakeholders is reduced, time consumption needed for creation of application for multiplatform systems is reduced (due to automated code generation and shorter testing stage).
|
140 |
Enterprise model based MDA information systems engineering method / Veiklos žinių baze išplėstos modeliais grindžiamos architektūros taikymo informacijos sistemų inžinerijoje metodasAmbraziūnas, Martas 11 November 2014 (has links)
Although new methods of information systems engineering are being researched and developed, they are empirical in nature. The problem domain knowledge acquisition process relies heavily on the system analyst and user; therefore it is not clear whether the knowledge of the problem domain is comprehensive. This may lead to occurrence of logical gaps, misinterpretation of system requirements, thus causing issues for project. The research work is meant to develop new IS engineering method that will allow validation of the problem domain knowledge against formal criteria. In order to create such method basic principles of Knowledge Based ISE and Model Driven ISE were combined. By combining the two approaches Knowledge Based MDA method was created that extends traditional MDA with Enterprise Model. During the research Knowledge Based MDA tool’s prototype, that is capable of partly automating Knowledge Based MDA process, was created. The efficiency of Knowledge Based MDA method was validated by creating real life application for mobile devices. During the empirical research it was established that by using developed method software requirements quality is improved and comprehensive documentation is created (due to Enterprise Model based validation), occurrence of logical gaps between software development stakeholders is reduced, time consumption needed for creation of application for multiplatform systems is reduced (due to automated code generation and shorter testing stage). / Šiuolaikiniai IS inžinerijos metodai yra nuolat vystomi ir tobulinami, tačiau iš esmės jie yra grindžiami empiriniais procesais. Empiriškai išgautų žinių kokybė gali būti nepakankama sėkmingam projekto įgyvendinimui, nes netikslus vartotojo reikalavimų specifikavimas neigiamai įtakoja visus programinės įrangos kūrimo etapus, o tai didina projekto įgyvendinimo riziką. Disertacinis darbas skirtas sukurti IS inžinerijos metodą, kuris įgalintų empiriniais būdais surinktas dalykinės srities žinias patikrinti formalių kriterijų atžvilgiu. Metodui sukurti buvo apjungti žiniomis grindžiamos ir modeliais grindžiamos IS inžinerijos principai. Šiuo tikslu klasikinis MDA procesas buvo papildytas pagrindiniu žiniomis grindžiamos IS inžinerijos komponentu – veiklos modeliu. Darbo metu buvo sukurtas žiniomis grindžiamo MDA metodo dalykinės programos prototipas, kuris iš dalies automatizuoja siūlomo metodo procesą. Žiniomis grindžiamo MDA metodo efektyvumas buvo patikrintas jį taikant eksperimentinio tyrimo atlikimui, kurio metu buvo sukurta pašto siuntų stebėjimo programėlė. Tyrimo metu nustatyta, kad tikslinga taikyti žiniomis grindžiamą MDA metodą PĮ kūrime nes: 1) detaliau dokumentuojami vartotojo reikalavimai (tikrinami formalių kriterijų atžvilgiu); 2) sumažinama loginių trūkių atsiradimo galimybė (tarp programinės įrangos kūrimo dalyvių); 3) daugiaplatforminiuose sprendimuose sumažinamos projekto įgyvendinimo laiko sąnaudos (dėka automatinio kodo generavimo iš patikrintų modelių).
|
Page generated in 0.0632 seconds