Unified Modeling Language (UML) diagraming is commonly used in introductory Computer Science to teach basic object-oriented design, but there appears to be a lack of suitable software to support this task well. Many of the available programs focus on developing code and not on enhancing learning. Those that were designed for educational use sometimes have poor interfaces or are missing common and important features, such as multiple selection and undo/redo. There is a need for software that is tailored to an instructional environment and has all the useful and needed functionality for that specific task. This is the purpose of minimUML. It provides a minimum amount of UML, just what is commonly used in beginning programming classes, while providing a simple, usable interface. In particular, minimUML was designed to support abstract design while supplying features for exploratory learning and error avoidance. Some of the functionality supported includes multiple selection, undo/redo, flexible printing, cut and paste, and drag and drop. In addition, it allows for the annotation of diagrams, through text or freeform drawings, so students can receive feedback on their work. To test minimUML's ease of use, it was run through a small usability study. While a number of issues were raised, the tool generally received positive evaluations that lead us to believe that we have reached our goal. / Master of Science

Unified Modeling Language (UML) is recognized as a de facto standard for modeling various typesof systems. However, its lack of formal semantics hinders the ability to perform formal verification, which is crucial to ensure the correctness of the models throughout the modeling process. Rebeca isan actor-based modeling language designed to formally verify reactive concurrent systems. Previous work has attempted to bridge the gap and provide a translation to take advantage of both UML and Rebeca’s benefits. These methods either require multiple UML diagrams and an understanding of Rebeca, or lack implementation solutions. We conducted experiments to explore the potential of zero-shot and few-shot learning with ChatGPT-4 as a tool for automating the translation from UML state diagrams to Rebeca code. The results indicated that the translation from UML state diagrams to Rebeca code can be partially made and they are not sufficient to derive correct Rebeca models. To mitigate this, we augment state diagrams with metadata, which resulted in the generated code having minor errors and requiring slight adjustments to be able to be compiled in the Rebeca model checking tool, Afra. The conclusion is that ChatGPT-4 can potentially facilitate the process of transforming UML state diagrams into executable Rebeca code with minimal additional information. We provide a translation procedure of Rebeca code to UML state diagrams, a conceptual mapping of them in reverse, and a dataset that can be used for further research. The dataset and the results are published in the GitHub repositoryof our project

No description available.

Nous présentons dans ce travail de thèse des approches pour la spécification et la vérificationdes systèmes temporisés. La première partie concerne une méthode de spécification enutilisant les diagrammes états-transitions pour modéliser un système donné en partant d’unedescription textuelle. Cette méthode guide l’utilisateur pour le développement de la modélisation.Elle comporte plusieurs étapes et utilise des observateurs d’états et des événements afind’engendrer le diagramme états-transitions. Un outil qui implémente les différentes étapes de laméthode de spécification pour une application semi-automatique est présenté. La seconde partieconcerne une traduction des diagrammes états-transitions vers les réseaux de Petri colorés, cequi permet d’utiliser les méthodes de vérification. Nous prenons en considération dans cette traductionun ensemble important des éléments syntaxiques des diagrammes états-transitions, telsque la concurrence, la hiérarchie, etc. Un outil qui implémente la traduction pour un passageautomatique des diagrammes états-transitions vers les réseaux de Petri colorés est en cours de développement.La dernière partie concerne l’intégration des contraintes temporelles dans les deuxapproches précédentes. Nous définissons des annotations pour les diagrammes états-transitionsdont nous fournissons la syntaxe et la sémantique. Ces annotations seront ensuite utilisées dansla méthode de spécification et la traduction. Le but est de proposer des annotations faciles àcomprendre et à utiliser avec une syntaxe qui prend en compte des contraintes parmi les plusutilisées. / In order to specify and verify timed systems, we present in this thesis approaches using UMLstate machines and coloured Petri nets. Our first approach is a specification method that takesinto account a textual description of the system and generates the corresponding state machinediagram. This method helps a non-expert user to model a system in a structural way. We presenta tool that implements the specification method. Our second approach is the translation of UMLstate machine diagrams to coloured Petri nets diagrams. In this approach we take into account animportant set of UML state machine elements that allows the modelling of concurrent systems,etc. A tool that implements the approach and allows us to automate the translation is beingdeveloped. Finally, the last approach is the integration of time constraints in our specificationmethod and in our translation. We propose a set of annotations to model time in state machinediagrams, and we define the corresponding syntax and semantics.

Com o aumento do uso das atividades de modelagem em processos de desenvolvimento de software, a participação de pessoas com deficiência visual em tais processos requer esforços dedicados para que os modelos sejam passíveis de entendimento, caso contrário essa participação fica comprometida. Os modelos são em sua maioria visuais e, portanto, seu processo de construção requer o posicionamento de elementos no espaço do documento por meio de um dispositivo de apontar, como o mouse, e sua leitura requer o uso da visão, uma vez que os diagramas são compostos não apenas por textos, mas também por elementos visuais como retângulos e arcos conectando-os. Neste contexto, o objetivo deste projeto foi desenvolver uma técnica textual para representação e interação com diagramas que possibilite que pessoas com deficiência visual sejam capazes de colaborar em projetos de software, tanto utilizando uma abordagem de desenvolvimento orientado a modelos, quanto em uma abordagem de desenvolvimento tradicional. Para atingir o objetivo proposto foi desenvolvido um protótipo de uma ferramenta Web, a AWMo (lê-se letra a letra: A-W-M-O), a partir da qual a edição de modelos pode ser realizada por meio de duas visões equivalentes: uma visão gráfica, na qual o engenheiro de software poderá inserir novos elementos no diagrama, posicioná-los e definir suas propriedades de modo visual; e uma visão textual, na qual o engenheiro de software pode inserir novos elementos, propriedades e relacioná-los utilizando uma gramática textual. Um estudo de caso foi conduzido para avaliar sua eficácia e os resultados mostraram que a linguagem textual desenvolvida não representa uma barreira para a utilização da abordagem proposta pela AWMo. Os resultados sugerem que a AWMo é uma opção viável para facilitar o acesso de deficientes visuais a modelos de software, ajudando a promover a colaboração e comunicação efetiva e de maneira independente entre usuários com e sem visão para atividades de modelagem de software / With the growth of modeling activities in software development processes, the participation of visually impaired users requires dedicated efforts so that the models are capable to be understood, otherwise this participation is compromised. The models are mostly visuals and, therefore, their construction process requires the positioning of elements in the document space with a pointing device, like the mouse, and their reading requires the use of vision, since the diagrams are composed not only by text, but also by visual elements such as rectangles and arcs connecting them. In this context, the goal of this project was to develop a textual technique to represent and interact with diagrams to allow visually disabled people to collaborate in software development projects, either using an model driven development approach or a tradicional development approach. To achieve the proposed goal, a prototype Web tool called AWMo was developed. The prototype allows the edition of models to be done in two distinct views: a graphical view, where the software engineer is able to insert new elements and define their position in a visual and traditional way; and a textual view, where the software engineer is able to insert new elements, their properties and relationships using a textual grammar. A case study was conducted to evaluate the efficacy of the approach and the results show that the textual language developed did not posed itself as a barrier to the use of the AWMo. The results suggest that AWMo is a viable option to allow the access of the visually impaired to software models, promoting collaboration and effective communication between sighted and blind users in software modeling activities, but most importantly, in an independent way

Made available in DSpace on 2016-04-29T14:23:06Z (GMT). No. of bitstreams: 1 Luciano Gaspar.pdf: 1342989 bytes, checksum: 2adb8081f31a71914dc0e2627497482b (MD5) Previous issue date: 2012-05-10 / The aspects that affect the complexity in the development of systems are, also, barriers to the teaching and learning process of software modeling. Many techniques, tools and processes are adopted in this specific kind of teaching, although, one of the greatest issues found in this task is to create conditions in order to make the student experiment such a complexity in the classroom. The adoption of criteria for software quality analysis is an option that, into the architectural prospect, can reveal that, even the algorithm with few code lines are fragile and, along their life cycle, may present problems of scalability, maintenance and reuse. In this aspect, the purpose of this research is to evaluate if the codes produced by the student, supported by the concepts and techniques of the State Model, will express the initial characteristics of a modularized structure. A tool which extends the functions of the BlueJ teaching environment was developed and it is presented in this paper. That tool, associated with the BlueJ native resources and the State Machines learning make it possible for the student to accomplish software model descriptions according to the structural and environmental code prospects / Os aspectos que afetam a complexidade no desenvolvimento de sistemas também são barreiras para o processo de ensino-aprendizagem de modelagem de software. Muitas técnicas, ferramentas e processos são adotados nesse tipo específico de ensino, porém, uma das dificuldades encontradas é criar condições para que o aluno vivencie tal complexidade em sala de aula. Como alternativa, a adoção de critérios de análise da qualidade de software, sob a perspectiva arquitetural, pode revelar que mesmo os algorítmos com poucas linhas de código são frágeis e ao longo do seu ciclo de vida apresentam problemas de escalabilidade, manutenção e reuso. Nesse sentido, o propósito desta pesquisa é avaliar se o código produzido pelo aluno, apoiado nos conceitos e técnicas do Modelo de Estados, manifestará características iniciais de uma estrutura modularizada. Uma ferramenta que estende as funcionalidades do ambiente de ensino BlueJ foi desenvolvida e é apresentada neste trabalho. Esta ferramenta, associada aos recursos nativos do BlueJ e aos conhecimentos de Máquina de Estados, permite que o aluno elabore descrições de modelos de software dentro das perspectivas estrutural e comportamental do código

Les systèmes embarqués, y compris les dispositifs, l’intergiciel et le logiciel pour la création de sous-systèmes intelligents capables de gérer le contrôle d’appareils électroniques, font de plus en plus partie de nos vies quotidiennes : ils sont intégrés dans des infrastructures de base, (par exemple dans la gestion des routes et des chemins de fer) et sont désormais utilisés en tant que technologies-clés par des millions d'applications logicielles chaque jour. En outre, l'évolution rapide et continue des systèmes embarqués modernes a provoqué de nouveaux défis. Par exemple, la conception des processus complexes qui causent des retards dans le temps de commercialisation et la conséquente augmentation des coûts globaux. Ces systèmes sont plus enclins aux erreurs et par conséquence il devient prioritaire de fournir aux concepteurs des outils effectifs et efficaces pour les aider à surmonter les difficultés liées à la conception des systèmes globales, pour la vérification et pour la validation. Cette thèse est la définition et le développement d'une méthodologie de modélisation basée sur le profil de MARTE et sur le profil de SysML dans un contexte avionique, et orientée à la réutilisation des composantes logicielles et à leur vérification. Cette thèse vise à discuter et illustrer aussi l'efficacité d’une stratégie basée sur la combinaison d’UML, MARTE (Modeling and Analysis of Real Type and Embedded Systems) et des langages SysML sur des étapes différentes de la modélisation d'un système embarqué / Embedded Systems, including devices, middleware and software for the creation of intelligent sub-systems able of monitoring and controlling appliances, are more and more part of our world everyday lives; they are included in the basic infrastructure of society such as roads and railways and are key technologies used by millions of people every day. Moreover the continuous rapid evolution of modern embedded systems has given rise to new challenges: such as increasingly complex design processes that cause delays in time to market and cause escalation of overall design costs. Additionally, these systems are more prone to containing errors, and it becomes more relevant to provide designers with effective tools to aid them in overcoming the difficulties related to the overall system design, verification and validation. This thesis contributes to the definition and to the development of a model based methodology grounded on the OMG’s MARTE profile (Modeling and Analysis of Real Type and Embedded Systems) and on SysML profile to model requirements targeting an avionic case study, with a particular attention to the reuse of the modelled components and to the benefits of their verification. This thesis aims at discussing and illustrating the effectiveness of using a combination of UML, MARTE and SysML languages at the different steps of the embedded system modelling efforts and to provide within this thesis a set of methodological guidelines/steps and an approach to create design model, stores and verify them

Der Große Beleg dokumentiert die Entwicklung eines Java Code-Generators für Dresden OCL2 for Eclipse. Schwerpunkt der Arbeit liegt dabei auf der Abbildung der Object Constraint Language auf die Programmiersprache Java mit Hilfe von AspectJ.

Mūsų dienomis informacinės sistemos tampa vis sudėtingesnės ir verslo procesams aprašyti seniai nebeužtenka paprastų tekstų ar schemų. Kompiuterizuotų IS reikalavimams aprašyti ir modeliuoti geriausiai tinka specialiai tam skirti modeliai. Modeliavimas tapo būtinas kuriant dideles, sudėtingas ar su kitomis sistemomis sąveikaujančias informacines sistemas, nors daugelis programuotojų siekia minimizuoti modeliavimo pastangas. Modeliuojami ne tik vartotojo poreikiai, dalykinė sritis, programinė įranga, bet ir organizacijos veikla - pastaraisiais metais ši modeliavimo fazė tapo daugelio projektavimo procesų dalimi. Todėl specialūs kompiuterizuoti modeliavimo įrankiai tapo neatskiriama sudėtingų IS kūrimo ir projektavimo dalimi. Modernėjant technologijoms vis labiau orientuojamasi į reikalavimų specifikavimo fazę IS kūrimo projektuose – reikalavimai turi lemiamą reikšmę projektuojant modernias ir sudėtingas informacines sistemas. Todėl vis didėja projektavimo įrankių įtaka IS kūrimo procese, jų pagalba kartais generuojant ir kodą. Taigi, kad tinkamai būtų sukurta ir vystoma nauja sistema, būtina tinkamai apsibrėžti viziją, veiklos modelį ir tiksliai specifikuoti reikalavimus. Šis procesas, bei veiklos modelio transformavimas į vartotojo reikalavimų sistemai modelį aptariamas šiame darbe. / In nowadays information systems are becoming more and more sophisticated and for business process definition it is not enough to use simple schemas and text. For information systems requirements there are created special models. Systems modeling became a must for creating big, sophisticated, difficult systems. User’s requirements, subject matter and specialty domain, software architecture and even organizations activities are being modeled in modern software development companies during systems design process. Special modeling tools are used to create information systems. During last few years software and business developers are focusing more to requirements specification phase. In information systems development projects strict and simply understandable requirements have critical meaning creating big sophisticated information systems. So usage of design and modeling tools is more and more popular. Using such tools sometimes program code is generated to. To develop stable system is crucial to have a vision, make good activity model and specify requirements for future system. This work covers the method of the formation of transformation between activity and use-case models. This transformation is based developing business vision and requirements to future system. The algorithm of transformation described is this work, formally defines the described models elements relations between each other. Solution, based on described algorithm was made on MagicDraw UML tool platform... [to full text]

Darbo tikslas – sukurti specializuotą modeliavimo aplinką, skirtą organizacijos struktūros specifikavimui. Tipinė organizacija yra suskirstyta į padalinius, kuriuose dirba darbuotojai, kuriems priskirta viena ar kita pareigybė ir atlieka įvairius vaidmenis organizacijos projektuose. Analitinė modeliavimo kalbų ir įrankių apžvalga parodė, kad vieningo būdo specifikuoti organizacijos struktūrą nėra. Daugeliu atveju organizacijos struktūra modeliuojama neformaliomis diagramomis, kurias sudėtinga analizuoti ir atnaujinti. Darbe siūlomas nesudėtingas organizacijos struktūros meta modelis bei jo realizacija UML profiliu. Naudojantis MagicDraw UML įrankio funkcinėmis savybėmis – stereotipų adaptavimu, validavimo taisyklėmis bei ataskaitų generavimu – sukurta specializuota organizacijų struktūros modeliavimo aplinka. Praktinė sukurtos aplinkos vertė pademonstruota taikant ją konkrečios organizacijos UAB “Baltijos programinė įranga” struktūros modeliavimui. / The goal of this thesis is to create a specialized modeling environment for defining organization structures. A typical organization defines some organization units, has a number of employees that are assigned to a specific organization unit, play a specific role in an organization and may be involved in projects to play different roles. The research of modeling tools and languages shows that there is no single dominant approach to modeling organization structure, and in most cases it is modeled informally, which makes it difficult to analyze and maintain. This thesis proposes a simple meta-model covering the most important organization structure concepts and their mappings to UML profile. A specialized environment for modeling organization structures is created using MagicDraw UML tool features – stereotype customizations, validation rules, and report generation. For demonstrating the practical value of the created environment, modeling the structure of a real organization Baltijos programine iranga is presented.