Languages of games and play: A systematic mapping study

Digital games are a powerful means for creating enticing, beautiful, educational, and often highly addictive interactive experiences that impact the lives of billions of players worldwide. We explore what informs the design and construction of good games to learn how to speed-up game development. In particular, we study to what extent languages, notations, patterns, and tools, can offer experts theoretical foundations, systematic techniques, and practical solutions they need to raise their productivity and improve the quality of games and play. Despite the growing number of publications on this topic there is currently no overview describing the state-of-the-art that relates research areas, goals, and applications. As a result, efforts and successes are often one-off, lessons learned go overlooked, language reuse remains minimal, and opportunities for collaboration and synergy are lost. We present a systematic map that identifies relevant publications and gives an overview of research areas and publication venues. In addition, we categorize research perspectives along common objectives, techniques, and approaches, illustrated by summaries of selected languages. Finally, we distill challenges and opportunities for future research and development

Towards Language-Oriented Modeling

In this habilitation à diriger des recherches (HDR), I review a decade of research work in the fields of Model-Driven Engineering (MDE) and Software Language Engineering (SLE). I propose contributions to support a language-oriented modeling, with the particular focus on enabling early validation & verification (V&V) of software-intensive systems. I first present foundational concepts and engineering facilities which help to capture the core domain knowledge into the various heterogeneous concerns of DSMLs (aka. metamodeling in the small), with a particular focus on executable DSMLs to automate the development of dynamic V&V tools. Then, I propose structural and behavioral DSML interfaces, and associated composition operators to reuse and integrate multiple DSMLs (aka. metamodeling in the large).In these research activities I explore various breakthroughs in terms of modularity and reusability of DSMLs. I also propose an original approach which bridges the gap between the concurrency theory and the algorithm theory, to integrate a formal concurrency model into the execution semantics of DSMLs. All the contributions have been implemented in software platforms — the language workbench Melange and the GEMOC studio – and experienced in real-world case studies to assess their validity. In this context, I also founded the GEMOC initiative, an attempt to federate the community on the grand challenge of the globalization of modeling languages

Honors College 2015 APR Self-Study & Documents

UNM Honors College APR self-study report, review team report, and initial action plan for Fall 2015, fulfilling requirements of the Higher Learning Commission

DRAFT-What you always wanted to know but could not find about block-based environments

Block-based environments are visual programming environments, which are becoming more and more popular because of their ease of use. The ease of use comes thanks to their intuitive graphical representation and structural metaphors (jigsaw-like puzzles) to display valid combinations of language constructs to the users. Part of the current popularity of block-based environments is thanks to Scratch. As a result they are often associated with tools for children or young learners. However, it is unclear how these types of programming environments are developed and used in general. So we conducted a systematic literature review on block-based environments by studying 152 papers published between 2014 and 2020, and a non-systematic tool review of 32 block-based environments. In particular, we provide a helpful inventory of block-based editors for end-users on different topics and domains. Likewise, we focused on identifying the main components of block-based environments, how they are engineered, and how they are used. This survey should be equally helpful for language engineering researchers and language engineers alike

Avoiding Unnecessary Information Loss: Correct and Efficient Model Synchronization Based on Triple Graph Grammars

Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple Graph Grammars (TGGs) specify model consistency by means of rules that describe how to create consistent pairs of models. These rules can be used to automatically derive further rules, which describe how to propagate changes from one model to the other or how to change one model in such a way that propagation is guaranteed to be possible. Restricting model synchronization to these derived rules, however, may lead to unnecessary deletion and recreation of model elements during change propagation. This is inefficient and may cause unnecessary information loss, i.e., when deleted elements contain information that is not represented in the second model, this information cannot be recovered easily. Short-cut rules have recently been developed to avoid unnecessary information loss by reusing existing model elements. In this paper, we show how to automatically derive (short-cut) repair rules from short-cut rules to propagate changes such that information loss is avoided and model synchronization is accelerated. The key ingredients of our rule-based model synchronization process are these repair rules and an incremental pattern matcher informing about suitable applications of them. We prove the termination and the correctness of this synchronization process and discuss its completeness. As a proof of concept, we have implemented this synchronization process in eMoflon, a state-of-the-art model transformation tool with inherent support of bidirectionality. Our evaluation shows that repair processes based on (short-cut) repair rules have considerably decreased information loss and improved performance compared to former model synchronization processes based on TGGs.Comment: 33 pages, 20 figures, 3 table

Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure

Verifying the metatheory of a formal system in Coq involves a lot of tedious "infrastructural" reasoning about variable binders. We present Tealeaves, a generic framework for first-order representations of variable binding that can be used to develop this sort of infrastructure once and for all. Given a particular strategy for representing binders concretely, such as locally nameless or de Bruijn indices, Tealeaves allows developers to implement modules of generic infrastructure called backends that end users can simply instantiate to their own syntax. Our framework rests on a novel abstraction of first-order abstract syntax called a decorated traversable monad (DTM) whose equational theory provides reasoning principles that replace tedious induction on terms. To evaluate Tealeaves, we have implemented a multisorted locally nameless backend providing generic versions of the lemmas generated by LNgen. We discuss case studies where we instantiate this generic infrastructure to simply-typed and polymorphic lambda calculi, comparing our approach to other utilities

Personal Learning Environments for Inquiry-Based Learning

Personal Learning Environments have recently emerged as a novel approach to learning, putting learners in the spotlight and providing them with the tools for building their own learning environments according to their specific learning needs and aspirations. This approach enables learners to take complete control over their learning, thus becoming self-regulated and independent. This paper introduces a new European initiative for supporting and enhancing inquiry-based learning through Personal Learning Environments consisting of personal and social inquiry tools. This approach aims at supporting students in developing their self-regulated learning skills by conducting their scientific inquiries in collaboration with their peers

Multiculturalism, Migration, Mathematics Education and Language - Teachers' Needs and Teaching Materials

The multicultural nature of modern society constitutes one of the most significant changes to have influenced schools in many European countries, especially at primary and middle school level. The teacher’s job is all the more difficult because he/she is usually not sufficiently prepared to deal with the new classroom context with pupils having a migrant background, coming from countries with different cultures and different languages. The teacher is seldom aware of the need to rethink and if necessary modify his/her methodological and pedagogical approach. This attitude is even more evident in maths teachers who often consider their subject universal and culture-free. Little has been done in Europe as far as maths teaching in multicultural contexts is concerned. The different languages and cultures present in the classroom make the teaching/learning process even more arduous than it already is, especially for pupils from minority cultures and/or with a migrant background or for Roma pupils. This project envisages the design and piloting of materials for both the initial and in-service training of middle school maths teachers who constitute the project’s primary target group. The secondary target group is their pupils, in particular those from other cultures. The materials have been produced after careful analysis of the video recordings of teaching activities. Their focus was also on the role of language in the communication of mathematical concepts and their aim was to stimulate the maths teacher’s awareness of the need to find a satisfactory balance between mathematical language and classroom language, especially when dealing with pupils with a different culture and language. The project’s training proposals aimed at promoting maths teaching strategies which are relevant to activities and problems taken from everyday life including that of different cultures in order to highlight their positive aspects

The relationship between strategic leadership, organizational climate and quality management practices in Egypt public universities

Egypt’s Higher Education Vision was launched with a commitment to improving quality and sustainability in higher education. The quality management literature commonly cites the significance of leadership in higher education. However, the blending approach to quality management progress occurs at a slow pace in Egypt’s higher education and that requires a continuous effort of strategic leadership and a positive climate to implement quality management. Thus, this study aimed to identify the influence of strategic leadership (SL) and organizational climate (OC) on quality management practices (QMPs) in Egypt’s public university. In addition, the influence of organizational climate variable as mediator in the relationship between strategic leadership and quality improvement practices was also examined. The cross-sectional survey method was applied in the data collection process. A total of 429 respondents involving academic staff from Egypt’s public universities took part in this study. Quantitative data were analyzed using Statistical Package for Social Science (SPSS) and SMART PLS software. The study established the validity of the survey for the measures through confirmatory factor analysis. The findings of the study indicated that strategic leadership had no significant impact on quality management practices. However, organizational climate had a direct impact on quality management practices, and strategic leadership impacted organizational climate significantly. This study also revealed that organizational climate had a comprehensive mediating influence on the relationship between strategic leadership and quality management practices. In conclusion, this study provides a new understanding of the importance of organizational climate to quality management practices. The study also contributes theoretical insights on organizational climate as one mechanism in which strategic leadership may associate with quality management practices. In addition, this study could contribute to visionary practices to enhance strategic leadership thereby creating a climate and quality management practices in the context of Egypt higher education