Today it is realized by industry that automation of software development leads to increased productivity, maintainability and higher quality. Model-Driven Development (MDD) aims to replace manual software development methods by automated methods using Domain-Specific Languages (DSLs) to express domain concepts effectively. Main actors in software industry, Microsoft and IBM have recognized the need to provide technologies and tools to allow building DSLs to support MDD. On the one hand, Microsoft is building DSL Tools integrated in Visual Studio 2005; on the other hand IBM is contributing to the development of Eclipse Modeling Frameworks (EMF/GEF/GMF), both tools aim to make development and deployment of DSLs easier. Software practitioners seek for guidelines regarding how to adopt these tools. In this thesis, the author presents the current state-of-the-art in MDD standards and Domain-Specific Modeling (DSM). Furthermore, the author presents current state-of-the-tools for DSM and performs a comparison of Microsoft DSL Tools and Eclipse EMF/GEF/GMF Frameworks based on a set of evaluation criteria. For the purpose of comparison the author developed two DSL designers (one by using each DSM tool). Based on the experiences gained in development of these DSL designers, the author prepared guidelines regarding how to adopt these tools to existing development environments as well as their advantages and drawbacks.

Model Driven Development (MDD) is considered as a powerful emerging paradigm for developing system software and services. MDD relies heavily on the models to generate part of the code for implementation. It is virtually inevitable that changes at the model level result in breaking the compatibility with the existing code base. The study presented in this thesis is performed in an industrial setting. Our industrial partner is involved in MDD and has experienced compatibility problems described above. The aim of this thesis is to identify the changes that can be made to UML class diagram and investigate what kind of negative impact they pose on the compatibility with already existing Java implementations. Apart from identifying possible model changes and assessing their negative impact the thesis provides suggestions and guidelines of how to perform such modifications so that their negative impact will be minimized. / +46 455-395070

Model-Driven Development can improve the development process, but it needs tools for model transformation. For industrial companies, the most important aspect is that the transformation tools should scale well, so that they can be used with huge models. There are some open-source model transformation tools on the market, and this report aims to investigate the scalability of open source tools for model transformation. For the investigation, Eclipse Modeling Framework is used. This report identifies four open-source model transformation tools (ATL, QVT Operational, QVT Declarative, SmartQVT) and identifies the variables needed for a tool to be evaluated within the bounds of an experiment. The only tool which could be benchmarked was ATL, which scaled linearly in both terms of transformation time and memory consumption.

DCU2 (Drive Control Unit 2) is an important control system used in applications for train systems that are configured by a set of parameters. Traditionally, parameterization is conducted by using an excel workbook during the software development. The parameters are set up and further export the parameters to the compilation step. Such approach has a number of disadvantages, e.g., delays on the validation and verification steps, system configuration overhead, and suboptimal system reliability generated by the parameter configurations. To improve the parameterization process, this thesis implements a model-based software architecture approach and automotive industry standards via rapid prototyping by using scrum methodology. We do this by using Matlab/Simulink, TDL (Time Description Language) and UML (Unified Modeling Language) architectural description languages to enable different views of the software architecture. We then develop different prototypes that implement ASAM (Association for Standardization of Automation and Measuring Systems) standards like XCP protocol over Ethernet (code ASAM MCD-1 XCP V1.1.0) and ASAP2 (code ASAM MCD-2 MC) in every scrum sprint. An evaluation then shows that the thesis successfully implements previously defined standards that use commercial tools from e.g., Vector, proving that the parameter‟s unit control can be handled via online calibration and measurement, leading to a significant improvement in Bombardier‟s software development process in a distributed development environment.

Component-based software engineering (CBSE) and model-driven development (MDD) are two approaches for handling software development complexity. In essence, while CBSE focuses on the construction of systems from existing software modules called components; MDD promotes the usage of system models which after a series of transformations result with an implementation of the desired system. Even though they are different, MDD and CBSE are not mutually exclusive. However, there has not been any substantial research about what their similarities and differences are and how they can be combined. In this respect, the main goal of this thesis is to summarize the theoretical background of MDD and CBSE, and to propose and apply a systematic method for their comparison. The method takes into account the different effects that these development paradigms have on a wide range of development aspects. The comparison results are then summarized and analyzed. The thesis also enriches the theoretical discussion with a practical case study comparing CBSE and MDD with respect to ProCom, a component model designed for the development of component-based embedded systems in the vehicular-, automation- and telecommunication domains. The aforementioned comparison method is refined and applied for this purpose. The comparison results are again summarized, analyzed and proposals about future work on ProCom are made.

In software development it is often crucial that the system implementationfollows the architecture dened through design patterns and a constraint set.In Model-Driven development most artefacts are created using models, butthe architectural design rules is one area where no standard to model therules exists. ArCon, Architecture Conformance Checker, is a tool to checkconformance of architectural design rules on a system model, dened in UML,that implements the system or application. The architectural design rules aredened in a UML model but with a specic meaning, dierent from standardUML, proposed by the authors of ArCon. Within this thesis ArCon wasextended to be able to check models created by the Open-Source modelingtool Papyrus, and integrated as a plugin on the Eclipse platform. The methodused by ArCon, to dene architectural rules, was also given a short evaluationduring the project to get a hint of its potential and future use. The case-studyshowed some problems and potential improvements of the used implementationof ArCon and its supported method.

Dubai’s rapid double-digit economic growth was severely challenged by the global financial crisis of 2007, which raised many concerns questioning the sustainability of the Dubai model of economic development and the viability of the emirate’s economic managerial practices. Although the economic landscape of Dubai has experienced a significant transformation over the last two decades, from a basic traditional economy of US $17.9 billion in 2001 to a diversified non-oil dependent economy of US $ 86.7 billion in 2012, there are few convincing empirical academic studies to assess and explain the Dubai model of economic development. This doctoral research provides a crucial assessment of the Dubai model in light of its political and socio-cultural contexts. For this purpose, a multidisciplinary theoretical framework that stems from the literature of economic geography, cultural economy and managerialism, has been designed in order to critically interpret the mechanism of the emirate’s economic practices in today’s global capitalism. This involves a methodological approach based on the study of narratives and performance to explain Dubai’s narratives and macro-economic performance. The multidisciplinary theoretical framework adopted is useful in analysing the Dubai model as an alternative to the discipline of mainstream economics, which ignores cultural and social dimensions and conditions that not only influence but also shape a given economic landscape. The research was undertaken by analysing a wide range of data, including intensive macro-economic statistics, financial and economic reports, international and local press, as well as conducting empirical in-depth elite interviews with fifty-six key stakeholders in the economy of Dubai: senior government officials, representatives of financial institutions, senior managers in the private non-financial sector, and academics. The research findings reveal that although the political and socio-cultural contexts naturally support Dubai's economic model, institutional and managerial problems were also exposed following the global financial crisis and the property shock of 2007. Dubai represents a financialized economy in which the government has adopted a hybrid model of government-driven developments and corporate managerial features within an environment that encourages commercial liberalism and market capitalism. However, despite this financialized economy, tensions remain in Dubai's pursuit of these goals. Finally, the research stresses the need for appropriate government mechanisms to foster oversight over economic performance and long-term sustainable economic development.

Dans cette thèse, nous proposons une approche rigoureuse pour la conception et le développement de systèmes à base de composants hiérarchiques distribués. L’idée de base du travail présenté est de combiner les techniques de conception de logiciels dirigées par les modèles, bien connues des programmeurs, avec des méthodes de vérification formelles puissantes, capables d’assurer les propriétés fonctionnelles d’un système distribué et de détecter les erreurs dès le stade de la conception. Tout d’abord, nous introduisons un formalisme graphique basé sur UML pour l’architecture et le comportement des composants hiérarchiques de modélisation. Deuxièmement, nous spécifions formellement un ensemble de contraintes qui assurent la correction de la composition des composants, en mettant l’accent sur la séparation entre les aspects fonctionnels et non-fonctionnels. Troisièmement, nous expliquons comment nos modèles graphiques peuvent être traduits automatiquement dans le formalisme d’entrée d’un model-checker. Nous nous concentrons ensuite sur le codage des fonctionnalités avancées de composants distribués, comme communications de 1 vers N, la reconfiguration et les communications asynchrones basées sur les appels de procédures distants. Enfin, nous mettons en oeuvre cette approche dans une plateforme intégrée orienté modèle qui comprend un ensemble d’éditeurs graphiques, un module de validation de la décision correcte de l’architecture statique, un module traduisant le modèle conceptuel dans une entrée pour la plateforme de vérification CADP, et enfin un générateur de code exécutable / In this thesis we introduce an approach for rigorous design and development of distributed hierarchical component-based systems. The core idea of the presented work is to combine the well-known among the programmers techniques for modeldriven software design and the powerful formal verification methods able to ensure the functional properties of a distributed system and to detect errors at the early design stage. First, we introduce a UML-based graphical formalism for modelling architecture and behaviour of hierarchical components. Second, we formally specify a set of constraints that ensure the correct components composition with a focus on separation between the functional and non-functional aspects. Third, we explain how the graphical models can be automatically translated into an input for a model-checker. For this aim, we rely on a formally specified intermediate structure encoding the semantics of components behaviour as a network of synchronised parametrised label transition systems. We focus here on encoding the advanced features of distributed components such as one-to-many communications, reconfiguration, and asynchronous communications based on request-reply. Finally, we implement the approach in an integrated model-driven environment which comprises a set of graphical editors, an architecture static correctness validation plug-in, a plug-in translating the conceptual model into an input for a verification toolsuite CADP, and a generator of the implementation code

This thesis presents our method to integrate formal methods with model-driven engineering. Although a large amount of literature exists with the goal of facilitating the adoption of formal methods for educational and industrial practice, yet the adoption of formal methods in academia and industry is poor. The goal of this research is to improve the adoption of formal methods by automating the generation of formal methods code while maintaining scalability and bridging the gaps between formal analysis and actual implementation of the complete system. Our approach is based on generating formal representations of software abstractions expressed in a textual language, called Umple, which is derived from UML. Software abstractions of interest include class models and state machines. For state machines, we address concerns such as composite and concurrent states separately. The resulting systems are analyzable by back-end analysis engines such as Alloy and nuXmv or NuSMV for model checking. To ensure correctness of our approach, we have adopted simulation, empirical studies and rigorous test-driven development (TDD) methodologies. To guarantee correctness of state machine systems under analysis (SSUAs), we present methods to automatically generate specifications to analyze domain-independent properties such as non-determinism and reachability analysis. We apply these methods in various case studies; certify their conformance with sets of requirements and uncover certain flaws. Our contributions include a) The overall approach, involving having the developer write the system in Umple and generating both the formal system for analysis and the final code from the same model; b) a novel approach to encode SSUAs even in the presence of and-cross transitions; c) a fully automated approach to certify an SSUA to be free from nondeterminism even in the presence of unbounded domains and multiple and-cross transitions within the same enclosing orthogonal state; d) an empirical study of the impact of abstraction on some performance parameters; and e) a translator from Umple to Alloy and SMV.

This thesis analyzes the situation in the area of Business Intelligence at O2 Czech Republic. It focuses on identifying key issues and finding solutions to the overall improvement of the service within the company. It can be a guide for managers on how to proceed in the analysis of the BI environment, finding opportunities for improving organization setup and technical aspects, especially in the data warehouse solution. Here one can also find recommendations on how to proceed with the definition of development methodologies and how to effectively set the tools and processes associated with the development of the data warehouse. This approach results in an efficient, clearly documented and sustainable development concept of the data warehouse in a large company.