This thesis presents an in-depth investigation into the practical use of 3D for software visualisation. This work presents the first comprehensive user-centred study which examines the software engineering tasks users undertake currently, the issues that 3D addresses and a measure of benefit of the 3D solution compared to traditional approaches. This thesis also presents a mechanism for creating 3D software visualisations, a refined evaluation methodology and visualisation heuristics that together provide a valuable resource for further research into this area. The research results have been structured so they are directly applicable to industry and as such are already undergoing industrial adoption. This has been achieved through the following: Firstly the research augments current and accepted software visualisation approaches by basing the visual notation on the Unified Modelling Language (UML). This has enabled the current visual software engineering tasks to be studied and for representative user tasks to be captured and quantified. The 3D visualisations then complement the current working practices by solving

This thesis presents an in-depth investigation into the practical use of 3D for software visualisation. This work presents the first comprehensive user-centred study which examines the software engineering tasks users undertake currently, the issues that 3D addresses and a measure of benefit of the 3D solution compared to traditional approaches. This thesis also presents a mechanism for creating 3D software visualisations, a refined evaluation methodology and visualisation heuristics that together provide a valuable resource for further research into this area. The research results have been structured so they are directly applicable to industry and as such are already undergoing industrial adoption. This has been achieved through the following: Firstly the research augments current and accepted software visualisation approaches by basing the visual notation on the Unified Modelling Language (UML). This has enabled the current visual software engineering tasks to be studied and for representative user tasks to be captured and quantified. The 3D visualisations then complement the current working practices by solving

Zugl.: Bremen, Univ., Diss., 2007

The subject of the master thesis Process driven organization is using UML language and BPMN methodology to model business processes of the selected organization, followed by using obtained diagrams organization for upgrade any of modeled diagram existing business processes leading to prosperity of the selected organization.

This thesis presents an automated software design synthesis framework known as Project Calliope. This framework aligns with Harel's automated software development process as it addresses the aspect of automating design and implementation. Project Calliope is based on a Statecharts synthesis approach in the literature. The main goal of Project Calliope is to automatically generate testable Unified Modeling Language (UML) Statecharts that are deterministic, visually manageable and UML compliant. In order to minimise design errors in the generated UML Statecharts, Project Calliope supports model checking through Statecharts execution. In addition, executable code is automatically generated based on the synthesised UML Statecharts. This framework seeks to provide a pragmatic design framework that can be readily incorporated into software development methodologies that leverage UML. In this thesis, Project Calliope is applied to three simple applications from Whittle and Schumann's examples and a case study based on a commercial application. They are automatic teller machine, coffee dispenser, an agent application, and a groupware application respectively.

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-08-03T19:57:54Z No. of bitstreams: 1 DissBC.pdf: 2204728 bytes, checksum: d6f6478009c1aa1b7990a8bbfc71eaa8 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-08-08T19:03:08Z (GMT) No. of bitstreams: 1 DissBC.pdf: 2204728 bytes, checksum: d6f6478009c1aa1b7990a8bbfc71eaa8 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-08-08T19:03:15Z (GMT) No. of bitstreams: 1 DissBC.pdf: 2204728 bytes, checksum: d6f6478009c1aa1b7990a8bbfc71eaa8 (MD5) / Made available in DSpace on 2017-08-08T19:08:45Z (GMT). No. of bitstreams: 1 DissBC.pdf: 2204728 bytes, checksum: d6f6478009c1aa1b7990a8bbfc71eaa8 (MD5) Previous issue date: 2016-03-08 / Não recebi financiamento / Context: Operating in different contexts and segments, embedded systems (ESs) are increasingly present in everyday society. The ESs usually operate invisibly to the user but, even so, possible software failures cease to pose risks, causing serious material and financial damage. Taking into consideration the safety of users of ESs, government entities and institutions around the world have studied and created standards development and SEs test to ensure systems that are more robust and free from defects that may cause faults that may endanger the user. However, standards are usually applied at the level of code, which increases substantially the resources to be used if there are defects in the SE. Objective: To present the UL/ME Strategy that addresses the shortcomings described in SEs certification standard, UL 1998 level modeling, more specifically, in the model of Statechart states. The purpose is to anticipate the identification of defects, to generate code that has more chance to meet the standard requirements, preventing rework and therefore improving quality. Methodology: The study was conducted in three stages: first stage identified the defects treated by the standard UL 1998, tabulating these defects, and then, link them to the SEs components. In the second stage were designed generic models for each component and also the ESs models that represents the tests required by the standard for each components, and in the third step, it was created two proposed for use UL/ME Strategy, one for ESs already implemented and other for ESs in development. These proposals were used for evaluation of the strategy using two real ESs, one already implemented and other in development. Results: According to the requirements of UL 1998 standard, the use of Strategy UL/ME helped to correct the defects of the first ES and evaluated the development of the second ES. Conclusion: the use of Strategy UL/ME assisted in the correction of an SE already implemented and modeling of an ES in development. / Contexto: Operando em diferentes contextos e segmentos, os sistemas embarcados (SEs) estão cada vez mais presentes no cotidiano da sociedade. Os SEs geralmente operam de forma invisível ao usuário mas, nem por isso, possíveis falhas de software deixam de oferecer riscos, ocasionando sérios danos materiais e financeiros. Levando em consideração a segurança dos usuários de SEs, entidades governamentais e instituições pelo mundo têm estudado e criado normas de desenvolvimento e de teste de SEs que garantam sistemas mais robustos e livres de defeitos que possam gerar falhas que ponham em risco o usuário. Contudo, as normas são habitualmente aplicadas no nível de código, o que aumenta, substancialmente, os recursos a serem empregados caso haja defeitos no SE. Objetivo: Apresentar a estratégia UL/ME que trata os defeitos descritos na norma de certificação de SEs, a UL 1998, no nível de modelagem, mais especificamente, no modelo de estados Statechart. O propósito é antecipar a identificação dos defeitos, de forma a gerar código com mais chance de atender aos requisitos da norma, evitando retrabalho e, consequentemente, melhorando a qualidade. Método: O trabalho foi realizado em três etapas: na primeira identificaram-se os defeitos tratados pela norma UL 1998, tabulando esses defeitos de forma a associá-los aos componentes de SEs; na segunda etapa foram desenhados modelos genéricos para cada componente e também os modelos de componentes de SEs que representam os testes requeridos pela norma e na terceira etapa, criaram-se duas proposta para utilização da Estratégia UL/ME, uma para SEs já implementados e outra para SEs em desenvolvimento. Essas propostas serviram para avaliação da estratégia utilizando dois SEs reais, um já implementado e outro em desenvolvimento. Resultados: De acordo com os requisitos da norma UL 1998, o uso da Estratégia UL/ME auxiliou a correção dos defeitos do primeiro SE avaliado o desenvolvimento do segundo SE. Conclusão: o uso da Estratégia UL/ME auxiliou na correção de um SE já implementado e na modelagem de um SE em desenvolvimento.

Software tools are being used by experts in a variety of domains. There are numerous software modeling environments tailored to a specific domain expertise. However, there is no consistent approach to generically synthesize a product line of such modeling environments that also take into account the user interaction and experience adapted to the domain. The focus of my thesis is the proposal of a solution to explicitly model user interfaces and interaction of modeling environments so that they can be tailored to the habits and preferences of domain experts. We extend current model-driven engineering techniques that synthesize graphical modeling environments to also take interaction models into account. The formal semantics of our language framework is based on statecharts. We define a development process for generating such modeling environments to maximize reuse through a novel statechart refinement technique. / Les outils logiciels sont utilisés par des experts dans une variété de domaines. Il existe de nombreux environnements de modélisation logicielle adaptés á une expertise spécifique. Cependant, il n’existe pas d’approche cohérente pour synthétiser génériquement une ligne de produits de tels environnements de modélisation qui prennent également en compte l’interaction et l’expérience utilisateur adaptées au domaine. L’objectif de ma thése est la proposition d’une solution pour modéliser explicitement les interfaces utilisateur et l’interaction des environnements de modélisation afin qu’ils puissent étre adaptés aux habitudes et aux préférences des experts du domaine. Nous étendons les techniques d’ingénierie actuelles pilotées par un modéle qui synthétisent des environnements de modélisation graphique pour prendre également en compte les modèles d’interaction. La sémantique formelle de notre cadre linguistique est basée sur des statecharts. Nous définissons un processus de développement pour générer de tels environnements de modélisation afin de maximiser la réutilisation à travers une nouveau technique de raffinement de statecharts.