Model Transformation Testing and Debugging: A Survey

Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state of the art. This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This paper presents a survey on testing and debugging model transformations based on the analysis of \nPapers~papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorise the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community.This work is partially supported by the European Commission (FEDER) and Junta de Andalucia under projects APOLO (US-1264651) and EKIPMENT-PLUS (P18-FR-2895), by the Spanish Government (FEDER/Ministerio de Ciencia e Innovación – Agencia Estatal de Investigación) under projects HORATIO (RTI2018-101204-B-C21), COSCA (PGC2018-094905-B-I00) and LOCOSS (PID2020-114615RB-I00), by the Austrian Science Fund (P 28519-N31, P 30525-N31), and by the Austrian Federal Ministry for Digital and Economic Affairs and the National Foundation for Research, Technology and Development (CDG

Advanced risk management in offshore terminals and marine ports

This research aims to propose a Risk Management (RM) framework and develop a generic risk-based model for dealing with potential hazards and risk factors associated with offshore terminals' and marine ports' operations and management. Hazard identification was conducted through an appropriate literature review of major risk factors of these logistic infrastructures. As a result in the first phase of this research a Fuzzy Analytical Hierarchal Process (FAHP) method was used for determining the relative weights of the risk factors identified via the literature review. This has led to the development of a generic risk -based model which can help related industrial professionals and risk managers assess the risk factors and develop appropriate strategies to take preventive/corrective actions for mitigation purposes, with a view of maintaining efficient offshore terminals' and marine ports' operations and management. In the second phase of the research the developed risk-based model incorporating Fuzzy Set Theory (FST), an Evidential Reasoning (ER) approach and the IDS software were used to evaluate the risk levels of different ports in real situations using a case study. The IDS software based on an ER approach was used to aggregate the previously determined relative weights of the risk factors with the new evaluation results of risk levels for the real ports. The third phase of the research made use of the Cause and Consequence Analysis (CCA) including the Fault Tree Analysis (FTA) and Event Tree Analysis (ETA) under a fuzzy environment, to analyse in detail the most significant risk factors determined from the first phase of the research, using appropriate case-studies. In the fourth phase of the research an individual RM strategy was tailored and implemented on the most significant risk factor identified previously. In the last phase of the research and in order to complete the RM cycle, the best mitigation strategies were introduced and evaluated in the form of ideal solutions for mitigating the identified risk factors. All methods used in this research have quantitative and qualitative nature. Expert judgements carried out for gathering the required information accounted for the majority of data collected. The proposed RM framework can be a useful method for managers and auditors when conducting their RM programmes in the offshore and marine industries. The novelty of this research can help the Quality, Health, Safety, Environment and Security (QHSES) managers, insurers and risk managers in the offshore and marine industries investigate the potential hazards more appropriately if there is uncertainty of data sources. In this research with considering strategic management approaches to RM development the proposed RM framework and risk based model contribute to knowledge by developing and evaluating an effective methodology for future use of the RM professionals

From Texts to Prerequisites. Identifying and Annotating Propaedeutic Relations in Educational Textual Resources

openPrerequisite Relations (PRs) are dependency relations established between two distinct concepts expressing which piece(s) of information a student has to learn first in order to understand a certain target concept. Such relations are one of the most fundamental in Education, playing a crucial role not only for what concerns new knowledge acquisition, but also in the novel applications of Artificial Intelligence to distant and e-learning. Indeed, resources annotated with such information could be used to develop automatic systems able to acquire and organize the knowledge embodied in educational resources, possibly fostering educational applications personalized, e.g., on students' needs and prior knowledge. The present thesis discusses the issues and challenges of identifying PRs in educational textual materials with the purpose of building a shared understanding of the relation among the research community. To this aim, we present a methodology for dealing with prerequisite relations as established in educational textual resources which aims at providing a systematic approach for uncovering PRs in textual materials, both when manually annotating and automatically extracting the PRs. The fundamental principles of our methodology guided the development of a novel framework for PR identification which comprises three components, each tackling a different task: (i) an annotation protocol (PREAP), reporting the set of guidelines and recommendations for building PR-annotated resources; (ii) an annotation tool (PRET), supporting the creation of manually annotated datasets reflecting the principles of PREAP; (iii) an automatic PR learning method based on machine learning (PREL). The main novelty of our methodology and framework lies in the fact that we propose to uncover PRs from textual resources relying solely on the content of the instructional material: differently from other works, rather than creating de-contextualised PRs, we acknowledge the presence of a PR between two concepts only if emerging from the way they are presented in the text. By doing so, we anchor relations to the text while modelling the knowledge structure entailed in the resource. As an original contribution of this work, we explore whether linguistic complexity of the text influences the task of manual identification of PRs. To this aim, we investigate the interplay between text and content in educational texts through a crowd-sourcing experiment on concept sequencing. Our methodology values the content of educational materials as it incorporates the evidence acquired from such investigation which suggests that PR recognition is highly influenced by the way in which concepts are introduced in the resource and by the complexity of the texts. The thesis reports a case study dealing with every component of the PR framework which produced a novel manually-labelled PR-annotated dataset.openXXXIII CICLO - DIGITAL HUMANITIES. TECNOLOGIE DIGITALI, ARTI, LINGUE, CULTURE E COMUNICAZIONE - Lingue, culture e tecnologie digitaliAlzetta, Chiar

Innovating the Development of Work Focussed Learning in Higher Education

This thesis presents my practice as an action researcher in higher education (HE) over a ten-year period, developing courses for students who were unable to take advantage of the existing provision in the institutions in which I worked. The knowledge I gained and practices that I developed contributed to a series of cycles of action research and the conclusions I draw at the end of the thesis are used to propose a further cycle. The curricula that I developed and delivered were designed for students who had a strong commitment to their work and wanted to improve it, but at the same time wanted to gain academic qualifications; the central premise behind this work being that, ‘work can form the basis for learning, which can then be accredited by higher education’. Although study was based around the work that a student did, their employer had no formal relationship with the university offering the courses. Students were attracted to a package that offered personalised and flexible learning at a cost that was affordable to them. The contributions to knowledge that I make relate to the organisation of teaching, the nature of the innovative curriculum design and the collaborative curriculum change processes carried out. Using this approach, learners make improvements in their work context to gain academic credit from the scholarly practices they have applied to inform and evaluate their activities. The findings suggest that a curriculum design using a teaching and learning strategy based on action-inquiry, delivered entirely online, can be successful in enabling students to work full-time and gain academic credit at a full time rate. However, the results also revealed that there are significant institutional barriers that need to be overcome to implement such a curriculum design that is radically different in having a non-traditional curriculum and unique ways of working. The key recommendation from this body of work is that radical curriculum innovations in HE are more likely to be successful if a separate business unit is established with control over its own capability development. By having control over processes, staffing, and a technical systems infrastructure, a separate business unit is able to respond to the new and different demands placed on it, developing its own culture and identity that fit with a new business model

John Gural and Joyce Green v. Goodman-Gable-Gould Company, Inc. and Allstate Insurance Company

Supreme Court of Virginiahttps://scholarlycommons.law.wlu.edu/va-supreme-court-records-vol258/1006/thumbnail.jp