The primary aim of this research project was to investigate techniques to replace the complicated process of testing embedded systems in automotive domain. The multi-component domain was composed of different hardware to be used in testing procedure which increased the level of difficulty in testing for an operator. As a result, an existing semi-automated testing procedure was replaced by more simpler and efficient framework (ViBATA). A key step taken in this scenario was the replacement of manual GUI interface with the scriptable one to enhance the automation. This was achieved by building a Domain-specific language which allowed test definition in the form of human readable scripts which could be stored for later use. A DSL is a scripting language defined for a particular domain with compact expressiveness. In this case the domain is testing embedded systems in general and automotive systems in particular. The final product was a test case specification document in the form of XML as an output of generated code from this DSL which will be input to ViBATA to make test specification component automated. In this research a comparative analysis of existing DSLs for alternative domains and investigation of their applicability to the presented domain was also performed. The technologies used in this project are Xtext to define the DSL grammar, Xtend to generate code in Java and Simple framework to generate output in XML. The stages involved in DSL development and how these stages were implemented is covered in this thesis. The developed DSL for this domain is tested for automotive and calculator systems in this thesis which proved that this is more general and flexible. The DSL is consistent, efficient and automated test specification component of testing framework in embedded systems.

Att hitta ett komplement till stora XML-filer kan vara svårt, men kan också vara nödvändigt. På IdaInfront använder man sig idag utav XML-filer för att sätta upp konfigurationerna på hur man ska bygga upp ett projekt i deras program iipax. Dessa blir ofta väldigt stora och oöverskådliga samt att det inte finns någon smidig grafisk representation på hur de olika typerna hör ihop för att få en enkel överblick, det är här mitt examensarbete kommer in. Jag har skapat en prototyp på hur man med ett domän specifikt språk (DSL) kan ersätta XML syntaxen och på så sätt få det mera läsbart och samtidigt göra en grafisk representation på hur de olika noderna är kopplade till varandra. Jag använde mig av ett verktyg som heter XText för att ta fram mitt DSL då det gav en bra grund samt att man får olika hjälpverktyg så som auto-complete förslag, färgkodning, validering mm. För att få fram en grafisk editor använde jag mig av ett verktyg som heter Eugenia som är en del av Epsilon som utveklar verktyg för olika typer av hantering av EMF modeller i Eclipse. Det gav en smidig koppling mellan den DSL jag utformade i XText med en grafisk editor som Eugenia automatiskt genererade på omkring 600 filer utifrån två filer med inställningar som jag modifierade. Jag fick fram ett bra resultat för en prototyp i mindre skala. Dock använder sig IdaInfront av så många noder per projekt så det blir ganska snabbt svårt att se helheten i den grafiska editorn. Det hade varit smidigt om man kunde extrahera olika grupperingar i editorn men det hade jag tyvärr inte tid med att försöka konfigurera ihop.

<p>Извршено је моделирање и имплементација&nbsp;софтверског система за каталогизацију по MARC 21&nbsp;формату. За реализацију система коришћен је&nbsp;обједињени процес за развој софтвера, развој заснован&nbsp;на моделу и развој заснован на софтверским&nbsp;компонентама. Моделирање је извршено у CASE алату<br />235&nbsp;MagicDraw верзија 16.0 који подржава UML 2.0.&nbsp;Имплементација је реализована коришћењем Eclipse&nbsp;plug-in технологије и програмског језика Јава.</p><p>У софтверском алату Xtext специфицирана је граматика&nbsp;за опис модела МАRC 21 записа. На основу ове&nbsp;граматике генерисан је основни едитор и EMF модел.&nbsp;Основни едитор је проширен додатним&nbsp;спецификацијама над EMF моделом. То су следеће&nbsp;спецификације: ограничења на структуру и садржај&nbsp;библиографских записа коришћењем језика Check;&nbsp;темплејти за трансформацију записа у форму&nbsp;каталошког листића коришћењем језика Xpand; понуда&nbsp;предефинисаног скупа података за унос у језику Xtend.&nbsp;</p><p><span style="font-size: 12px;">Извршено је проширење основног едитора додатним&nbsp;</span><span style="font-size: 12px;">функционалностима система за каталогизацију: приказ&nbsp;</span><span style="font-size: 12px;">података о библиографском формату, унос локацијских&nbsp;</span><span style="font-size: 12px;">података, експорт и импорт записа, приказ каталошких&nbsp;</span><span style="font-size: 12px;">листића и библиотечко окружење.&nbsp;</span></p><p>Коришћењем RCP технологије генерисана је&nbsp;софтверска компонента за каталогизацију која се може&nbsp;користити у различитим библиотечким&nbsp;информационим системима.</p> / <p>Izvršeno je modeliranje i implementacija&nbsp;softverskog sistema za katalogizaciju po MARC 21&nbsp;formatu. Za realizaciju sistema korišćen je&nbsp;objedinjeni proces za razvoj softvera, razvoj zasnovan&nbsp;na modelu i razvoj zasnovan na softverskim&nbsp;komponentama. Modeliranje je izvršeno u CASE alatu<br />235&nbsp;MagicDraw verzija 16.0 koji podržava UML 2.0.&nbsp;Implementacija je realizovana korišćenjem Eclipse&nbsp;plug-in tehnologije i programskog jezika Java.</p><p>U softverskom alatu Xtext specificirana je gramatika&nbsp;za opis modela MARC 21 zapisa. Na osnovu ove&nbsp;gramatike generisan je osnovni editor i EMF model.&nbsp;Osnovni editor je proširen dodatnim&nbsp;specifikacijama nad EMF modelom. To su sledeće&nbsp;specifikacije: ograničenja na strukturu i sadržaj&nbsp;bibliografskih zapisa korišćenjem jezika Check;&nbsp;templejti za transformaciju zapisa u formu&nbsp;kataloškog listića korišćenjem jezika Xpand; ponuda&nbsp;predefinisanog skupa podataka za unos u jeziku Xtend.&nbsp;</p><p><span style="font-size: 12px;">Izvršeno je proširenje osnovnog editora dodatnim&nbsp;</span><span style="font-size: 12px;">funkcionalnostima sistema za katalogizaciju: prikaz&nbsp;</span><span style="font-size: 12px;">podataka o bibliografskom formatu, unos lokacijskih&nbsp;</span><span style="font-size: 12px;">podataka, eksport i import zapisa, prikaz kataloških&nbsp;</span><span style="font-size: 12px;">listića i bibliotečko okruženje.&nbsp;</span></p><p>Korišćenjem RCP tehnologije generisana je&nbsp;softverska komponenta za katalogizaciju koja se može&nbsp;koristiti u različitim bibliotečkim&nbsp;informacionim sistemima.</p> / <p> Modelling and implementation of software system for MARC 21 cataloguing have been done. Unified software development process is used as well as model-driven software development and component-based software development. System modelling is done in CASE tool MagicDraw (version 16.0) which supports UML 2.0. System implementation is realised using Eclipse plug-in technology and Java programming languages. Software tool Xtext is used for specification of MARC 21 record grammar. On the basis of this grammar the basic editor and its EMF model have been generated. The basic editor is extended with additional specifications on generated EMF model. Those specifications are: constraints on structure and content of bibliographic record written in Check language; Xpand templates for transforming records into cataloguing cards; content assist extensions written in Xtend. Addition functionalities of cataloguing system are also added to basic editor, and those are: showing data about MARC 21 format, entering holdings data, export and import of records, showing cataloguing cards and librarian environment. At the end, RCP technology is used for generating software component for cataloguing that can be used in different library information systems.</p>

導引精靈(wizard)是一種用來收集用戶端資料的互動式使用者介面應用程式，常被廣泛的使用在軟體系統裡，也是大多數應用程式常見的功能之一。導引精靈的使用不僅簡化了複雜的資料收集過程，也可以避免資料的遺漏以確保收集資料的完整性；此外在資料收集的過程中導引精靈所提供的適當提示與即時資料驗證，還可以提高資料收集的正確性，所以導引精靈對於應用程式的資料收集是相當有用的。 本研究的目標是開發一個模型驅動的導引精靈開發系統，希望能在相同或不相同的時間裡快速建構多平台導引精靈程式。我們提出的系統稱為MoDWiz，它實現了應用「模型驅動架構(MDA)」於多平台導引精靈開發的所有工具支援。為了讓使用者建構自己的(平台無關)導引精靈模型，MoDWiz不僅提供了用以規範導引精靈的超模型，還制定一個特定領域語言WDL以作為此超模型的具體語法。此外，由於WDL的制定，我們得以提供專屬的編輯器以輔助使用者進行導引精靈模型的編輯。目前MoDWiz支援三種執行平台的導引精靈開發，分別為網頁應用程式、Eclipse與Java。而根據MDA理論，我們必須制定的三種平台超模型均已內含於MoDWiz。除此之外，MoDWiz的工具鏈還包括用來將平台無關導引精靈模型轉換成符合每一個特定平台導引精靈模型的M2M工具，以及將每一個特定平台導引精靈模型轉換成相對應實作的M2T工具。所有MoDWiz的工具與WDL編輯器程式均實作為Eclipse 外掛程式，因此能夠與Eclipse平台高度整合。當利用WDL編輯器完成導引精靈模型的製作之後，使用者只需透過簡單的滑鼠點擊就可以完成導引精靈程式的實作。 / A wizard is an interactive user interface program used to collect data from the user. It is widely used in software systems and is a common part of most applications. Not only does the use of wizards modularize and simplify complex data collection process, but it can also avoid data missing and ensure data integrity. Furthermore, during the process of data collection, since a wizard can provide tips and instant data validation it can also improve the correctness of collected data. As a conclusion, it is very beneficial to use wizards in an application. The goal of this research is the development of a model-driven wizard generation system (MoDWiz) that can be used to help rapid construction of multi-platform wizards to be developed at different or the same time. MoDWiz is our solution to the problem of applying OMG's model-driven architecture (MDA) to the development of multi-platform wizards. In order for the user to construct his (platform independent) wizard model, MoDWiz provides not only a wizard metamodel but also a domain specific language (DSL) called WDL as a concrete syntax of the metamodel. Owing to the availability of WDL, we are able to provide also a friendly editor to help the user to edit his wizard models. MoDWiz supports at present three platforms: eclipse platform, web application platform and plain Java platform. Accordingly metamodels of wizards for these platforms have to be defined and indeed have been provided in MoDWiz. Apart from these, MoDWiz's tool chain includes also M2M tools, which could transform every platform independent wizard model into a corresponding PSM model for each platform, as well as M2T tools, which could transform every platform specific wizard model into a corresponding implementation. All of MoDWiz's tools and wizard editor are implemented as eclipse plug-ins and thus are highly integrated with eclipse. As a result it is very easy to get a wizard implementation by simple mouse clicks once its model has been constructed using MoDWiz.

In the thesis I am presenting a plugin in the integrated development environment Eclipse. Plugin is designed to support writing code in JCL programming language. In the first part of the thesis I am focusing on the mainframe platform from the IBM corporation on which the JCL language is used. I also focus on the z/OS operating system and it`s components required for adequate runtime environment for JCL language. In the next section I am discussing the Eclipse environment which is used as runtime platform for the plugin. As a base for the plugin is used an Xtext framework. The framework is specifically designed for development of custom domain specific languages.

Das System Getaviz der Forschungsgruppe \textit{Visual Software Analytics} des Instituts für Wirtschaftsinformatik der Universität Leipzig stellt mehrere Werkzeuge zur Erzeugung und Analyse von Softwarevisualisierungen bereit. Da sich der Einsatz des Frameworks Xtext zur Generierung einer Visualisierung bezüglich Flexibilität und Speicherperformance als problematisch herausgestellt hat, wurde untersucht wie eine Ablösung dieser Technologie in Zukunft erreicht werden kann.\\ Zu diesem Zweck wurde ein Datenmodell entwickelt, welches es ermöglicht, Softwarevisualisierungsartefakte mittels Neo4j in einer Datenbank abzulegen und von dort wieder abzurufen. Der Entwurf dieses Datenmodells basiert auf einer vorangegangenen Analyse der bisher genutzten Modelle für die Metaphern City und Recursive Disk, um deren Bestandteile auf die neuen Modelle abzubilden. Um mögliche Auswirkungen einer Migration auf die Performance und Flexibilität des Transformationsprozesses untersuchen zu können, wurde anschließend das Datenmodell und der Zugriff auf die Datenbank innerhalb des Generators in Form von zusätzlichen Komponenten implementiert. Dadurch konnte erreicht werden, Transformationen ohne den Einsatz von Xtext durchzuführen. Als Eingabemodell wird ein von jQAssistant generierter Graph verwendet, der die Struktur des Softwaresystems abbildet.

Smart contracts are software systems that monitor and control the execution of legal contracts to ensure compliance with the contracts' terms and conditions. They often exploit Internet-of-Things technologies to support their monitoring functions, and blockchain technology to ensure the integrity of their data. Ethereum and business blockchain platforms, such as Hyperledger Fabric, are among the most popular choices for smart contract development. However, there is a substantial gap in the knowledge of smart contracts between developers and legal experts. Symboleo is a formal specification language for legal contracts that was introduced to address this issue. Symboleo specifications directly encode legal concepts such as parties, obligations, and powers. This thesis proposes a tool-supported method for translating Symboleo specifications into smart contracts. Its contributions include extensions to the existing Symboleo IDE, the implementation of the ontology and semantics of Symboleo into a reusable library, and the Symboleo2SC tool that generates Hyperledger Fabric code exploiting this library. Symboleo2SC was evaluated with three sample contracts. Experimentation with Symboleo2SC shows that legal contract specifications in Symboleo can be fully converted to smart contracts for monitoring purposes. Moreover, Symboleo2SC helps simplify the smart contract development process, saves development effort, and helps reduce risks of coding errors.

Made available in DSpace on 2014-12-17T15:47:59Z (GMT). No. of bitstreams: 1 KeivilanyJLC_DISSERT.pdf: 3136956 bytes, checksum: 58f2931b21ff1ab0cd5e4e065e0d1aa4 (MD5) Previous issue date: 2012-02-06 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAF? Quality Model / O rastreamento entre modelos das atividades de requisitos e arquitetura ? uma estrat?gia que busca evitar a perda de informa??es, reduzindo o gap entre essas duas atividades iniciais do ciclo de vida do software. No contexto das Linhas de Produto de Software (LPS), ? importante que haja um suporte a esse rastreamento, que permita a correspond?ncia entre as duas atividades, com um gerenciamento satisfat?rio das variabilidades. Buscando atender a essa quest?o, este trabalho apresenta um processo de mapeamento bi-direcional, definindo regras de transforma??o entre elementos de modelo de requisitos orientado a objetivos (descrito em PL-AOVgraph) e elementos de descri??o arquitetural (definida em PL-AspectualACME). Essas regras de mapeamento s?o avaliadas em um estudo de caso: a LPS Ginga ForAll. Para automatizar essa transforma??o, implementamos a ferramenta MaRiPLA (Mapping Requirements to Product Line Architecture), atrav?s de t?cnicas do desenvolvimento dirigido a modelos (Model-driven Development MDD), incluindo a linguagem de transforma??es entre modelos Atlas Transformation Language (ATL) com especifica??o de metamodelos do tipo Ecore em conjunto com os frameworks Xtext, de defini??o DSL, e Acceleo, de gera??o de c?digo, em ambiente Eclipse. Por fim, os modelos gerados s?o avaliados, com base em atributos de qualidade como variabilidade, derivabilidade, reusabilidade, corretude, rastreabilidade, completude, evolutibilidade e manutenibilidade, extra?dos do Modelo de Qualidade CAF?

The domain-specific language allows for describing problems of a concrete domain, for which the language is created. This fact implies that a number of languages of this kind grows with a number of problem domains. The use of domain-specific languages brings a necessity to pretty-print these languages, where the concept of pretty-printing consists of code formatting and syntax highlighting. One of tools that allow for creating domain-specific languages is the Xtext framework, which offers only a limited range of tools that are able to define a configuration for pretty-printing. Moreover, these tools are hardly understandable because they are confusing and requires knowledge of Xtext's internals. Thus this thesis introduces a new way of pretty-printing domain-specific languages. The way is based on declarative definition of formatting rules. Furthermore, this thesis helps a user to create formatting rules by utilizing nontrivial heuristics.

Testing is an important part of software development. It ensures that the developed product is of high standard and quality. Tieto frequently develops large complex systems which require comprehensive testing. Testing employs manually designed test cases. According to recent development within software testing it has been shown that design of test cases can be simplified with domain specific test languages (DSTL).     The thesis project is a research and development study in the field of software testing and has been performed at Tieto office in Karlstad. The project concerns the development of a DSTL and a suitable development environment based on the Eclipse Platform. The project evaluates the development of a domain specific test language using the tools Eclipse JDT, developed by Eclipse Foundation, and Xtext, developed by itemis AG. The experiment was evaluated by its functionality and integrability.     The project has shown promise in using a domain specific test language with a suitable development environment. The result and evaluation have shown that the subject shows promise, but needs further development if it is to be adapted within Tieto´s organization.