Šiame darbe siekiama padidinti informacijos sistemų kūrimo proceso automatizavimo laipsnį, taip palengvinant IS kūrėjų darbą. Darbe tobulinamas IS reikalavimų analizės ir transformavimo į projektą metodas EMDA (angl. Extended Model Driven Approach), kuris automatizuoja transformaciją iš reikalavimų į projekto modelį. Ši transformacija skirta paslaugų informacinėms sistemoms ir remiasi vienu pasiūlytu architektūriniu būsenų koordinatoriaus šablonu, pagal kurį atlieka transformaciją ir reikalavimų į projektą. Šiame darbe EMDA metodas tobulinamas, sukuriant transformaciją iš reikalavimų į projekto modelį, remiantis kitu informacinių sistemų kūrimo metodu RUP (angl. Rational Unified Process) bei MVC (angl. Model-View-Controller) architektūriniu šablonu. Darbe aprašomas siūlomas transformavimo algoritmas ir jo realizacija, panaudojant CASE įrankį MagicDraw. Sukurtas sistemos vedlys (angl. Wizard) leidžia išvengti klasių diagramos kūrimo rankiniu būdu, taip automatizuojant diagramos (ir jos elementų) kūrimą. / This work aims to increase the degree of automation of information system development process, thus facilitating the work of developers. Extended Model Driven Approach (EMDA) automates the transformation from the requirements to the design model, based on only one architectural pattern (State Coordinator) and performs the transformation using this pattern. The method proposed in this work was developed by creating a transformation of the requirements to the project model, based on other information systems development approach RUP (Rational Unified Process) and MVC (Model-View-Controller) architectural pattern. The proposed transformation algorithm was implemented in as an extension to CASE tool MagicDraw. Developed system wizard automates the creation of class diagram (and its elements).

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a program logic for it. I demonstrate the power of my program logic by verifying a series of examples. This includes both realistic patterns of higher-order imperative programming such as the subject-observer pattern, as well as examples demonstrating the use of higher-order logic to reason modularly about highly aliased data structures such as the union-find disjoint set algorithm.

Wireless Sensor Networks (WSNs) are typically used to monitor specific phenomena and gather the data to a gateway node, where the data is further processed. WSNs nodes have limited power resources, which require developing power efficient systems. Additionally, reaching the nodes after a deployment to correct any design flaws is very challenging due the distributed nature of the nodes. The current development of WSNs occurs at the coding layer, which prevent the design from going through a typical software design process. Designing and analyzing the software modules of a WSN system at a higher abstraction layer than at the coding level will enable the designer of a WSN to fix any design errors and improve the system for power consumption at an early design stage, before the actual deployment of the network. This thesis presents multiple Unified Modeling Language (UML) design patterns that enable the designer to capture the structure and the behavior of the design of a WSN at higher abstraction layers. The UML models are developed based on these design patterns that are capable of early validation of the functional requirements and the power consumption of the system hardware resources by leveraging animation and instrumentation of the UML diagrams. To support the analysis of power consumption of the communication components of a WSN node, the Avrora network simulator was integrated with the UML design environment such that designer is able to analyze the power consumption analysis of the communication process at the UML layer. The UML and the Avrora simulation integration is achieved through developing a code generator that produces the necessary configuration for Avrora simulator and through parsing the simulator results. The methodology presented in this thesis is evaluated by demonstrating the power analysis of a typical collector system.

Title from first page of PDF document. Includes bibliographical references (p. Xx-Xx).

Οι εφαρμογές παγκόσμιου ιστού προσφέρουν ολοένα και περισσότερες, με υψηλό βαθμό πολυπλοκότητας, υπηρεσίες σε σχέση με τους πρώτους ιστότοπους που χρησιμοποιούνταν απλά και μόνο για την προβολή πληροφοριών. Λόγω της ολοένα αυξανόμενης πολυπλοκότητας των εφαρμογών αυτών, ο σχεδιασμός, η ανάπτυξη κι η συντηρησιμότητα μιας εφαρμογής παγκόσμιου ιστού προβάλλει ως μία από τις μεγαλύτερες προκλήσεις που καλείται να αντιμετωπίσει ο σχεδιαστής της. Η ερευνητική κοινότητα προκειμένου να αντιμετωπίσει την αυξανόμενη πολυπλοκότητα του σχεδιασμού εφαρμογών παγκόσμιου ιστού έχει προτείνει ένα πλήθος προσεγγίσεων και μεθόδων βασισμένων σε μοντέλα. Η δουλειά του σχεδιαστή εφαρμογών παγκόσμιου ιστού μπορεί να απλοποιηθεί ακόμα περισσότερο με την επαναχρησιμοποίηση της εμπειρίας άλλων σχεδιαστών εφαρμογών παγκόσμιου ιστού. Η επαναχρησιμοποίηση της εμπειρίας αυτής γίνεται με τη χρήση σχεδιαστικών προτύπων που ορίζονται από πεπειραμένους σχεδιαστές. Αν κατά το σχεδιασμό μιας εφαρμογής χρησιμοποιηθεί κάποια μέθοδος μοντελοποίησης σε συνδυασμό με ένα σύνολο σχεδιαστικών προτύπων, η τελική εφαρμογή θα είναι πιο αποδοτική και ποιοτική. Πολλές φορές όμως, κατά το σχεδιασμό και την ανάπτυξη μιας εφαρμογής παγκόσμιου ιστού δε λαμβάνεται υπόψη κάποια συγκεκριμένη μεθοδολογία μοντελοποίησης και ανάπτυξης. Ένα πλήθος μεθόδων αντίστροφης μηχανίκευσης έχει αναπτυχθεί για την ανάλυση, κατανόηση και μοντελοποίηση των αρχιτεκτονικών τέτοιου είδους εφαρμογών. Κατά τη μοντελοποίηση της αρχιτεκτονικής παραδοσιακών συστημάτων λογισμικού δεν εμφανίζεται η εσωτερική δομή του λειτουργικού συστήματος και του συστήματος παραθύρων (windowing system). Αντίστοιχα και στο πεδίο εφαρμογών παγκόσμιου ιστού δεν εμφανίζεται η εσωτερική δομή του εξυπηρετητή παγκόσμιου ιστού και του φυλλομετρητή. Τα αρχιτεκτονικά διαγράμματα των εφαρμογών παγκόσμιου ιστού πρέπει να δείχνουν τα κύρια συστατικά μιας εφαρμογής τα οποία συνδέονται μεταξύ τους για να υλοποιήσουν μεγάλες και σύνθετες εφαρμογές. Κύρια συστατικά μιας εφαρμογής θεωρούνται τα αντικείμενα του παγκόσμιου ιστού, οι πίνακες της βάσης δεδομένων και τα πολυμεσικά αντικείμενα. Στα πλαίσια αυτής της διπλωματικής εργασίας, αναλύσαμε το πιο δημοφιλές σύστημα διαχείρισης περιεχομένου (Content Management Systems – CMS) ανοιχτού κώδικα, το Joomla!. Συγκεκριμένα, εφαρμόσαμε αντίστροφη μηχανίκευση σε αυτό, ώστε να μπορέσουμε να μοντελοποιήσουμε την αρχιτεκτονική του. Για αυτό το σκοπό, αναπτύξαμε μια εφαρμογή που ερευνά τον HTML κώδικα όλων των σελίδων ενός ιστότοπου φτιαγμένου σε Joomla!, προκειμένου να γίνει αυτόματη εξαγωγή του μοντέλου του και όχι με το χέρι. Βασικός στόχος είναι να μπορέσουμε να αξιολογήσουμε το σχεδιασμό του μοντέλου του, αλλά και να παρέχουμε έναν αυτοματοποιημένο τρόπο για αξιολόγηση. Έτσι, θα μπορούν να προταθούν τρόποι αναδιάταξης, με στόχο τόσο την ευχρηστία όσο και την αποδοτικότητα χρήσης του συγκεκριμένου συστήματος διαχείρισης περιεχομένου. / Web Applications provide many services and they are not used just to display content, as it was the case for the first web sites. Due to the growing complexity, the design, development and maintenance of these applications has become one of the major challenges that the developer has to face. In an attempt to face this growing complexity, the research community has proposed a number of model based approaches and methods. The task of the hypertext architect may be further facilitated by reusing the experience of other hypertext architects. This reuse is achieved by means of design patterns that have been defined by experts. If, we make use of a modeling method in combination with design patterns when designing a web application, the final result will be more efficient and qualitative. Usually, due to the pressing market demands, the modeling methods or techniques are not applied during the degin and development of the web applications. A number of reverse engineering methods and tools have been proposed in order to analyze, comprehend and model the architectures of such applications. When the architecture of traditional software systems is modeled, the internal structure of the operating and windowing system does not appear. Similarly, in the field of web applications, the internal structure of the web server and browser does not appear. The architectural diagrams of web applications need to show the main components of an application, which are linked together in order to create large and complex applications. The main components of an application are the objects of the Web, the database tables and the multimedia objects. In this thesis, we analyzed the most popular open source Content Management System (CMS), Joomla!. More specifically, we applied reverse engineering to it, so that we could model its architecture. For this purpose, we developed an application which explores the HTML code of all web pages of a web site created by Joomla!, so that the extraction of its model will be done automatically and not manually. The main goal is to manage to evaluate the design of its model and to provide an automatic way for evaluation, as well. Thus, we can recommend ways to redeploy the system, so that usability and efficiency will be achieved, in the use of this content management system.

This research focuses on pushing forward the understanding of mental disorders portrayals in games, more specifically social anxiety, which still lies as a marginalized topic in this medium. In order to understand honest manifestations of social anxiety in games, the first step is to conduct a close reading of games made by people who suffer from this mental disorder. A collection of five indie games, all of autobiographical nature and featuring social anxiety as an important part of their text, was put together for this analysis. This was done embracing the need to address the representational complexity, in order to tap into such a nuanced and elusive topic as social anxiety, not to identify rights or wrongs, but to engage in a discussion of how experiences are represented in games by people directly affected by this mental disorder. Individual experiences also contribute to expand interpretations and to identify additional keys of social anxiety representation. This is done by reaching informants, people living with a comorbid mental illnesses or disorders, that face or had faced social anxiety, and assess their perspectives through an experiential workshop. This work intends to further explore the practice of game design as mediator of experiences, contributing to both deepen the knowledge of game design and explore nuances of individual experiences present in autobiographical games and how this relates to perspectives of other people living with social anxiety. By combining the games and informants perspectives it is possible to structure a debate about game design patterns based on the findings of the game analysis and further elaborated with the nuanced perceptions gathered from informants. The knowledge acquired through this work is a step towards understanding of how games can represent, in an honest and non-stereotypical way, mental disorders, starting with social anxiety and, hopefully, contribute to spark other studies to broaden the spectrum of how the complexity of adverse mental conditions can be more respectfully addressed in games.

Les modèles à événements discrets sont, souvent, réalisés afin d’être simulés et par conséquent exécutés sur ordinateur.Certains codeurs de simulation optent pour une programmation impérative pour implémenter les comportements décrits par leurs machines à états.D’autres codeurs optent plutôt pour une programmation orientée objet.Ce paradigme de programmation, basé sur la notion d’objet, décline une nouvelle façon de voir un programme et son architectureToutes les solutions proposées manquent de clarté.Elles sont extrêmement coûteuses en terme de maintenabilité du code implémenté.L’utilisation exclusive des instructions conditionnelles rend toute correction au niveau du code difficile à réaliser, voire impossible dans certains cas. Aussi, elles souffrent au niveau de la réutilisabilité d’une partie du code. En effet, l’utilisation de telles instructions produit un code compacte, avec une forte cohésion entre les variables et fonctions du modèle implémenté. Par conséquent, le concepteur pourra réutiliser ce code qu’en un seul bloc.Toute dislocation du code est impossiblePour toutes ces raisons, nous proposons une nouvelle conception des modèles à événements discrets afin d’améliorer les qualités du code produit. Cette solution est basée sur le paradigme objet pour exploiter pleinement ses avantages tout en contournant ses limites. A cet effet, la solution proposée et détaillée dans cette thèse est un nouveau patron. Dans ce patron, les états et les événements sont réifiés pour avoir plus d’abstraction et de clarté. La réification permettra aux événements d’encapsuler des données et des comportements. Ainsi, nous pouvons déléguer aux événements de nouvelles responsabilités / Discrete event systems (State machine or Discrete Event system Specification) are often modeled in order to be simulated and therefore executed on a computer. Some simulation designers choose for imperative programming to implement the behaviors described by their state machines and others. Whereas, few of them choose for object-oriented programming: this paradigm of computer programming, based on the notion of object, declines a new way of seeing a program and its architecture.All of the proposed solutions found in the litterature lack clarity. They are extremely expensive in terms of debugging, reusing and changing the implemented model. The exclusive use of conditional statements if-else or switch case makes any code correction difficult to perform, even impossible in some cases. They also suffer from the reusability of some parts of the code. Indeed, the use of such instructions produces a compact code, with a strong cohesion (coupling) between the variables and functions of the implemented model. Therefore, the designer can reuse the corresponding code only in one block. Any extraction of a a piece of code which corresponds to a piece of behavior is impossible.For all these reasons, we propose a new design of discrete event systems, from the state machine to the DEVS, in order to improve the producted code qualities. This solution is based on the object paradigm to fully exploit its advantages while circumventing its limits. To this end, the solution proposed and detailed in this thesis is a new State-Event Design Pattern and its variants. Thus, the designer of simulation models will have a library of patterns to choose in order to satisfy his design requirements.

Made available in DSpace on 2014-06-12T15:58:29Z (GMT). No. of bitstreams: 2 arquivo4579_1.pdf: 1011460 bytes, checksum: 01e8646fc6f336c9eb54adf769b7baf0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / A criação de uma linguagem de programação pode ser comparada ao desenvolvimento de um sistema computacional. Sendo assim, o projeto e a implementação da linguagem devem atender a um conjunto de requisitos. Alguns deles estão relacionados às propriedades que a linguagem desenvolvida deve apresentar, como expressividade, capacidade de aprendizagem e produtividade. Outro grupo de requisitos compreende aqueles comuns ao desenvolvimento da maioria dos softwares, como extensibilidade, modularidade e reuso de código. Este segundo grupo de requisitos pode ser obtido através do uso de técnicas modernas de engenharia de software. Neste trabalho, apresentamos o desenvolvimento de uma linguagem multiparadigma modular que faz uso de programação Orientada a Objetos, design patterns e um paradigma de programação mais recente chamado Programação Orientada a Aspectos. A linguagem, que também pode ser vista como um conjunto de linguagens, é desenvolvida de maneira incremental, partindo de uma simples linguagem de expressões até linguagens mais complexas representando alguns dos mais representativos paradigmas de programação, finalizando com o desenvolvimento de linguagens multiparadigmas. Esta família de linguagens é criada através da integração de componentes que representam conceitos de programação. A modularidade obtida através do design proposto possibilita o reuso destes componentes na criação de diferentes linguagens, mesmo que pertencentes a diferentes paradigmas. Adicionalmente, é possível a evolução ortogonal das linguagens, já que a inclusão de novos conceitos é obtida através da simples inclusão dos componentes correspondentes, sem comprometer o funcionamento dos componentes já utilizados. A abordagem proposta para o design e implementação da linguagem também se mostrou bastante útil no ensino de conceitos de programação, já que oferece um ambiente uniforme e extensível para a prática e exploração dos conceitos pelos estudantes. Dessa forma, os estudantes não precisam lidar com diferentes notações e ambientes de desenvolvimento ao abordarem conceitos relacionados a diversos paradigmas

Orientadores: Marcos Lordello Chaim, Eliane Martins / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-10T17:57:17Z (GMT). No. of bitstreams: 1 Moura_AndreToledoPizade_M.pdf: 1281133 bytes, checksum: 77e24a926c93bfe938f8d72bdd3140c6 (MD5) Previous issue date: 2006 / Resumo: Refatoração é o ato de modificar o código fonte de um programa de computador sem, contudo, modificar seu comportamento observável. Em outras palavras, é alterar a estrutura de um sistema de software sem que isso provoque qualquer efeito no resultado final de suas funcionalidades. As modificações são feitas visando deixar o código mais fácil de ser entendido por terceiros que venham a modificá-lo e, conseqüentemente, diminuir os custos de sua manutenção. Entretanto, esta atividade é complexa e sujeita a erros, uma vez que normalmente é realizada de forma manual e depende das habilidades e da obediência a padrões do mantenedor que está analisando o código. Os pontos do software onde refatorações devem ser aplicadas constituem oportunidades de refatoração. A construção de sistemas automáticos para a detecção de oportunidades de refatoração requer a implementação de ambientes para análise de código e de tratamento regras para identificação de padrões no código fonte. Este trabalho apresenta o SOCRATES ¿ Sistema Orientado a objetos para CaRacterização de refaToraçõES ¿ cujo objetivo é fornecer auxílio automático para a identificação dos pontos candidatos a serem refatorados, isto é, oportunidades de refatoração. Para atingir este objetivo, SOCRATES utiliza uma arquitetura leve. Essa arquitetura é baseada em ferramentas livres e disponíveis e requer pouca codificação adicional. A codificação adicional é utilizada para que as ferramentas trabalhem em conjunto e para que os algoritmos de identificação das oportunidades de refatoração sejam implementados de forma eficiente. A presente versão do SOCRATES identifica de maneira automática a oportunidade de refatoração parâmetro obsoleto e mostra que os conceitos arquiteturais utilizados são válidos / Abstract: Refactoring is the activity of modifying a computer program¿s source code without changing its external behavior. In other words, it consists of changing a software system¿s structure without affecting its functionalities. The changes are done in order to let the code more understandable for humans that might work on it. In this sense, its goal is to lower maintenance costs. Nevertheless, this activity is complex and error prone since it is usually carried out manually and is dependent on the maintainer¿s abilities and on his/her obedience to coding standards. The points of the software where refactorings should be applied are called refactoring opportunities. Building automatic systems to detect refactoring opportunities requires the implementation of environments which include source code analyzers and the treatment of rules to detect related patterns and standards. This work introduces SOCRATES ¿ Sistema Orientado a objetos para CaRacterização de refaToraçõES (Object Oriented System for Characterization of Refactorings) ¿ its main purpose is to automatically detect points to be refactored in the software, i.e., refactoring opportunities. To achieve this objective, SOCRATES is built upon a lightweight architecture. This architecture is based on open source tools and requires few additional coding. The additional coding was done to make the tools work together so that refactoring opportunities searcher algorithms could effectively work. The present version of SOCRATES identifies the obsolete parameter refactoring opportunity and shows that the architecture fundamentals used are valid / Mestrado / Engenharia de Computação / Mestre em Computação