Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains

Annotation of programs using embedded Domain-Specific Languages (embedded DSLs), such as the program annotation facility for the Java programming language, is a well-known practice in computer science. In this paper we argue for and propose a specialized approach for the usage of embedded Domain-Specific Modelling Languages (embedded DSMLs) in Model-Driven Engineering (MDE) processes that in particular supports automated many-step model transformation chains. It can happen that information defined at some point, using an embedded DSML, is not required in the next immediate transformation step, but in a later one. We propose a new approach of model annotation enabling flexible many-step transformation chains. The approach utilizes a combination of embedded DSMLs, trace models and a megamodel. We demonstrate our approach based on an example MDE process and an industrial case study.

Embedding Languages Without Breaking Tools

Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts of an application related to specialized domains. Unfortunately, such language extensions typically do not integrate well with the development tools of the host language. Editors, compilers and debuggers are either unaware of the extensions, or must be adapted at a non-trivial cost. We present a novel approach to embed DSLs into an existing host language by leveraging the underlying representation of the host language used by these tools. Helvetia is an extensible system that intercepts the compilation pipeline of the Smalltalk host language to seamlessly integrate language extensions. We validate our approach by case studies that demonstrate three fundamentally different ways to extend or adapt the host language syntax and semantics.

Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

Domain Globalization: Using Languages to Support Technical and Social Coordination

When a project is realized in a globalized environment, multiple stakeholders from different organizations work on the same system. Depending on the stakeholders and their organizations, various (possibly overlapping) concerns are raised in the development of the system. In this context a Domain Specific Language (DSL) supports the work of a group of stakeholders who are responsible for addressing a specific set of concerns. This chapter identifies the open challenges arising from the coordination of globalized domain-specific languages. We identify two types of coordination: technical coordination and social coordination. After presenting an overview of the current state of the art, we discuss first the open challenges arising from the composition of multiple DSLs, and then the open challenges associated to the collaboration in a globalized environment.

A comparative study of translation strategies applied in dealing with role languages. : A translation analysis of the video game Final Fantasy XIV

Localisation is the process of taking a product and adapting it to fit the culture in question. This usually involves making it both linguistically and culturally appropriate for the target audience. While there are many areas in video game translations where localisation holds a factor, this study will focus on localisation changes in the personalities of fictional characters between the original Japanese version and the English localised version of the video game Final Fantasy XIV: A Realm Reborn and its expansion Heavensward for PC, PS3 and PS4. With this in mind, specific examples are examined using Satoshi Kinsui's work on yakuwarigo, role language as the main framework for this study. Five non-playable characters were profiled and had each of their dialogues transcribed for a comparative analysis. This included the original Japanese text, the officially localised English text and a translation of the original Japanese text done by myself. Each character were also given a short summary and a reasoned speculation on why these localisation changes might have occurred. The result shows that there were instances where some translations had been deliberately adjusted to ensure that the content did not cause any problematic issues to players overseas. This could be reasoned out that some of the Japanese role languages displayed by characters in this game could potentially cause dispute among the western audience. In conclusion, the study shows that localisation can be a difficult process that not only requires a translator's knowledge of the source and target language, but also display some creativity in writing ability to ensure that players will have a comparable experience without causing a rift in the fanbase.

Talking About Time in Russian and Finnish

In this study I look at what people want to express when they talk about time in Russian and Finnish, and why they use the means they use. The material consists of expressions of time: 1087 from Russian and 1141 from Finnish. They have been collected from dictionaries, usage guides, corpora, and the Internet. An expression means here an idiomatic set of words in a preset form, a collocation or construction. They are studied as lexical entities, without a context, and analysed and categorized according to various features. The theoretical background for the study includes two completely different approaches. Functional Syntax is used in order to find out what general meanings the speaker wishes to convey when talking about time and how these meanings are expressed in specific languages. Conceptual metaphor theory is used for explaining why the expressions are as they are, i.e. what kind of conceptual metaphors (transfers from one conceptual domain to another) they include. The study has resulted in a grammatically glossed list of time expressions in Russian and Finnish, a list of 56 general meanings involved in these time expressions and an account of the means (constructions) that these languages have for expressing the general meanings defined. It also includes an analysis of conceptual metaphors behind the expressions. The general meanings involved turned out to revolve around expressing duration, point in time, period of time, frequency, sequence, passing of time, suitable time and the right time, life as time, limitedness of time, and some other notions having less obvious semantic relations to the others. Conceptual metaphor analysis of the material has shown that time is conceptualized in Russian and Finnish according to the metaphors Time Is Space (Time Is Container, Time Has Direction, Time Is Cycle, and the Time Line Metaphor), Time Is Resource (and its submapping Time Is Substance), Time Is Actor; and some characteristics are added to these conceptualizations with the help of the secondary metaphors Time Is Nature and Time Is Life. The limits between different conceptual metaphors and the connections these metaphors have with one another are looked at with the help of the theory of conceptual integration (the blending theory) and its schemas. The results of the study show that although Russian and Finnish are typologically different, they are very similar both in the needs of expression their speakers have concerning time, and in the conceptualizations behind expressing time. This study introduces both theoretical and methodological novelties in the nature of material used, in developing empirical methodology for conceptual metaphor studies, in the exactness of defining the limits of different conceptual metaphors, and in seeking unity among the different facets of time. Keywords: time, metaphor, time expression, idiom, conceptual metaphor theory, functional syntax, blending theory

Teoria geral da gramaticalização: introdução ao jogo e a suas regras

Esta tese de doutorado parte da perspectiva inicial de que a gramaticalização se restringe a tratado sobre itens lexicais ou discursivos que se tornam itens gramaticais (o que a enquadraria dentro da Teoria da Variação, inserta esta dentro da Pesquisa Sociolinguística), mas segue em direção a um salto epistemológico que remodele aquela perspectiva, ampliando-a a patamar do qual ela pode ser observada como teoria autônoma, investigativa de fenômenos limítrofes e nem sempre discretos entre linguagem e língua, discurso e texto, descrição e prescrição, oralidade e escrita, léxico e gramática. Desse modo, propugna-se pela visão epistemológica do tema, conduzido, até aqui, de modo puramente ontológico, circunscrito a um (e apenas um) dos muitos espectros que se podem alcançar com a aludida ampliação àquele que vem sendo perquirido como tratado, porém que, segundo se pretende demonstrar, pode e deve ser expandido à malha de uma teoria geral, qual seja a Teoria Geral da Gramaticalização: trata-se, aqui, de seu objetivo geral. Para esse propósito, vale-se a tese de filósofos da linguagem que atuaram sobre essa faculdade ou capacidade humana de forma direta ou indireta desde os seus primórdios ocidentais (como Sócrates, Platão e Aristóteles), passando pelos pensadores mais incisivamente preocupados com os aspectos cognitivos e interativos da linguagem e da língua (como Hegel, Husserl, Saussure, Sapir, Bloomfield, Wittgenstein, Derrida, Chomsky, Labov, Charaudeau, Maingueneau, Ducrot, Coseriu), além de ser necessária a incursão à Gramaticografia mais estrita (como a empreendida por Dionísio da Trácia, Varrão, Arnault e Lancelot, Nebrija, Jerônimo Soares Barbosa, Eduardo Carlos Pereira, Said Ali, Bechara), e, naturalmente, a contribuição filosófica dos pesquisadores sobre a gramaticalização (como Meillet, Vendryès, Bréal, Kurilowicz, Traugott, Heine, Hopper, Lehmann). Uma vez que se tenha mostrado ser verossímil aceitar-se a gramaticalização como teoria autônoma, esta tese pretende legar-lhe o papel instrumental de metodologia auxiliar a muitas entre as que ora se empreendem quando se trata de pesquisas em campos cuja ocupação é a linguagem e a língua: trata-se, aqui, de seu objetivo específico. Para essa duplicidade de metas ou objetivos, será necessário compreender conceitos, categorias e protótipos oriundos da Filosofia da Ciência (Epistemologia), do contraste entre ciências da linguagem e outros ramos do saber, da imersão em Gramaticologia e Gramaticografia (e, em alguns aspectos, em Gramatização e Gramatologia) referentes à Língua Portuguesa, da defesa, enfim, de que o ensino da Gramática Formal (ou Normativa) do idioma privilegia a acepção reflexiva e ativa (plena) dos usos ou atos a que a linguagem só pode chegar por meio do domínio da língua em toda a sua tessitura epistemológica, que gera comunicação e expressividade, raciocínio e emotividade, indo da concretude do discurso ou da oralidade à abstração da entidade pouco ou nada material, que, por sua vez, é mais nitidamente representada pela escrita, seu estágio por assim dizer de forma ainda mais pura, conquanto não excludente da substancialidade com que dialoga de modo incessante no seu constante e dialético passado-futuro ou diversidade-homogeneidade (tese e antítese) de onde emerge o seu presente ou a sua unidade (síntese)

The Sensor Network Workbench: Towards Functional Specification, Verification and Deployment of Constrained Distributed Systems

As the commoditization of sensing, actuation and communication hardware increases, so does the potential for dynamically tasked sense and respond networked systems (i.e., Sensor Networks or SNs) to replace existing disjoint and inflexible special-purpose deployments (closed-circuit security video, anti-theft sensors, etc.). While various solutions have emerged to many individual SN-centric challenges (e.g., power management, communication protocols, role assignment), perhaps the largest remaining obstacle to widespread SN deployment is that those who wish to deploy, utilize, and maintain a programmable Sensor Network lack the programming and systems expertise to do so. The contributions of this thesis centers on the design, development and deployment of the SN Workbench (snBench). snBench embodies an accessible, modular programming platform coupled with a flexible and extensible run-time system that, together, support the entire life-cycle of distributed sensory services. As it is impossible to find a one-size-fits-all programming interface, this work advocates the use of tiered layers of abstraction that enable a variety of high-level, domain specific languages to be compiled to a common (thin-waist) tasking language; this common tasking language is statically verified and can be subsequently re-translated, if needed, for execution on a wide variety of hardware platforms. snBench provides: (1) a common sensory tasking language (Instruction Set Architecture) powerful enough to express complex SN services, yet simple enough to be executed by highly constrained resources with soft, real-time constraints, (2) a prototype high-level language (and corresponding compiler) to illustrate the utility of the common tasking language and the tiered programming approach in this domain, (3) an execution environment and a run-time support infrastructure that abstract a collection of heterogeneous resources into a single virtual Sensor Network, tasked via this common tasking language, and (4) novel formal methods (i.e., static analysis techniques) that verify safety properties and infer implicit resource constraints to facilitate resource allocation for new services. This thesis presents these components in detail, as well as two specific case-studies: the use of snBench to integrate physical and wireless network security, and the use of snBench as the foundation for semester-long student projects in a graduate-level Software Engineering course.

Rigorous Specification and Low-Latency Implementation of Technical Market Indicators

Technical market indicators are tools used by technical an- alysts to understand trends in trading markets. Technical (market) indicators are often calculated in real-time, as trading progresses. This paper presents a mathematically- founded framework for calculating technical indicators. Our framework consists of a domain specific language for the un- ambiguous specification of technical indicators, and a run- time system based on Click, for computing the indicators. We argue that our solution enhances the ease of program- ming due to aligning our domain-specific language to the mathematical description of technical indicators, and that it enables executing programs in kernel space for decreased latency, without exposing the system to users’ programming errors.

Cooperação, motivação e tecnologias : processo de aprendizagem em Oficina de Expressão Plástica, 7.º ano

Relatório da Prática de Ensino Supervisionada, Ensino de Artes Visuais, Universidade de Lisboa, 2013

Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo

Ce mémoire vise à recenser les avantages et les inconvénients de l'utilisation du langage de programmation fonctionnel dynamique Scheme pour le développement de jeux vidéo. Pour ce faire, la méthode utilisée est d'abord basée sur une approche plus théorique. En effet, une étude des besoins au niveau de la programmation exprimés par ce type de développement, ainsi qu'une description détaillant les fonctionnalités du langage Scheme pertinentes au développement de jeux vidéo sont données afin de bien mettre en contexte le sujet. Par la suite, une approche pratique est utilisée en effectuant le développement de deux jeux vidéo de complexités croissantes: Space Invaders et Lode Runner. Le développement de ces jeux vidéo a mené à l'extension du langage Scheme par plusieurs langages spécifiques au domaine et bibliothèques, dont notamment un système de programmation orienté objets et un système de coroutines. L'expérience acquise par le développement de ces jeux est finalement comparée à celle d'autres développeurs de jeux vidéo de l'industrie qui ont utilisé Scheme pour la création de titres commerciaux. En résumé, l'utilisation de ce langage a permis d'atteindre un haut niveau d'abstraction favorisant la modularité des jeux développés sans affecter les performances de ces derniers.

Combates entre la memoria y la historia de Chile : Conflictos sobre el pasado reciente

The reestablishment of democracy in Chile has seen an intense debate about the events of the recent past, especially on the issue of human rights. From the very beginning, the Concertacion Government has been determined to discover the truth of the repression carried out by the national security forces with a series of commissions that have gathered the testimonies of victims and their relatives. These efforts have been resisted by conservative sectors linked to the dictatorship and the Armed Forces. There has been intense conflict in the media during the past 20 years about events that occurred during the rule of Salvador Allende and the Military Regime. In this regard, a great diversity of information has been produced which, together with the debate evoked, has enabled historians not only to rigorously and thoroughly reconstruct the operation of the state terror but also to explain how a significant sector of Chile’s civil society allowed that situation. This article presents, on one hand, different methodological tools in order to study the recent past and, on the other hand, the social discussion on how to do it.

Análisis crítico del libro ¡Vale 6! : Basado en los estilos de aprendizaje de Dunn & Dunn

En la actualidad, las escuelas suecas donde se enseña el español como lengua extranjera tienen la dificultad de que lo que los alumnos aprenden en clase es olvidado con mucha facilidad en corto tiempo. Para que el aprendizaje de los alumnos sea más efectivo, es necesario que estos aprendan esta nueva lengua con la ayuda de ejercicios que estimulen sus sentidos, de tal modo que la enseñanza favorezca a todos los tipos de aprendientes, según la teoría de los estilos de aprendizaje de Dunn & Dunn. El objetivo de este trabajo ha sido el de investigar la presencia de dicha teoría en el libro ¡Vale 6!, si los ejercicios presentes en este libro favorecen a algunos aprendientes más que a otros y qué aprendientes se benefician más con ellos. Para ello se realizó un estudio cuantitativo del contenido del libro. El resultado de este trabajo muestra que solamente ciertos aprendientes (visuales y auditivos) se benefician más con los ejercicios propuestos en ¡Vale6!, lo cual resulta en la necesidad de completar este material con ejercicios adicionales, enfocados en los estilos de aprendizaje rezagados (el kinésico y el táctil), para de este modo poder cumplir con los objetivos planteados por Skolverket.

Un estudio sociolingüístico sobre el catalán : Los efectos de la inmersión lingüística

This thesis analyzes the current state of the language immersion program in Catalonia after its implementation 30 years ago, and after the immigration wave of the last decade. The language immersion is a method of teaching a second language using a language of instruction different than the students’ mother tongue. The Catalan authorities use this as a method for preserving Catalan in the society.The aim of this study is to examine the use of Catalan at school and outside of school by students who have followed the language immersion program. Language attitudes play an important role for the maintenance of a minority language, as Catalan. Therefore, in this study, the informants’ attitudes towards Catalan have also been measured. The method applied is a quantitative method where the informants have answered a written questionnaire. The results show a high level of knowledge of Catalan and its frequent use in the classroom. In contrast, outside of school the Castilian language is more often used. The informants seem to have a positive attitude towards Catalan.The conclusion is that the language immersion works satisfactory in a school context but often fails outside of school.