A UML/OCL framework for the analysis of graph transformation rules

In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, together with the properties of interest (like rule applicability, conflicts or independence). The intermediate representation serves three purposes: (1) it allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking the meta-model and its OCL constraints (i.e. well-formedness rules) into account when verifying the correctness of the rules; (2) it permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (3) it makes available a plethora of OCL tools to actually perform the rule analysis. This approach is especially useful to analyse the operational semantics of Domain Specific Visual Languages. We have automated these ideas by providing designers with tools for the graphical specification and analysis of graph transformation rules, including a back-annotation mechanism that presents the analysis results in terms of the original language notation.     

Modelling the vibration response of a gas turbine using machine learning

This work deals with modelling the vibration response of a gas turbine obtained during the start-up process until reaching the nominal speed for power generation. Analysing the vibrations of a complex systems like a gas turbine is useful for the diagnostic of faults or damages in the internal mechanical components of the different stages that integrate a turbine. This work focuses on the study of the shaft vibrations of the bearing radial type mounted between the shaft and the bearing compressor associated with the speed of the turbine. This relationship is studied using experimental data collected from a particular gas turbine model. In particular, we propose a methodology to synthesize a computational model following a supervised learning approach implemented through different machine learning techniques, including a multi-layers perceptron network, support vector machine (SVM), random forest (RF) and genetic programming (GP) with local search. Results show that SVM, RF and GP perform very well in this task, producing accurate predictive models. Moreover, there are some interesting trade-offs between the methods, regarding generalization error, overfitting and model interpretability that are relevant for future applications and research.     

Recommender systems in model-driven engineering

Software and Systems Modeling - Recommender systems are information filtering systems used in many online applications like music and video broadcasting and e-commerce platforms. They are also...     

Visual specification of measurements and redesigns for domain specific visual languages

Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven software development. Tool support for measurements and redesigns becomes essential to help developers improve the quality of their models. However, developing such helper tools for the wide variety of (frequently domain specific) visual notations used by software engineers is a hard and repetitive task that does not take advantage from previous developments, thus being frequently forgotten.In this paper we present our approach for the visual specification of measurements and redesigns for Domain Specific Visual Languages (DSVLs). With this purpose, we introduce a novel DSVL called SLAMMER that contains generalisations of some of the more used types of internal product measurements and redesigns. The goal is to facilitate the task of defining measurements and redesigns for any DSVL, as well as the generation of tools from such specification reducing or eliminating the necessity of coding. We rely on the use of visual patterns for the specification of the relevant elements for each measurement and redesign type. In addition, SLAMMER allows the specification of redesigns either procedurally or by means of graph transformation rules. These redesigns can be triggered when the measurements reach a certain threshold.These concepts have been implemented in the meta-modelling tool AToM³. In this way, when a DSVL is designed, it is possible to specify measurements and redesigns that will become available in the final modelling environment generated for the language. As an example, we show a case study in the web modelling domain.     

Meta-modelling and graph grammars for multi-paradigm modelling in AToM<Superscript>3</Superscript>

This paper presents the combined use of meta-modelling and graph grammars for the generation of visual modelling tools for simulation formalisms. In meta-modelling, formalisms are described at a meta-level. This information is used by a meta-model processor to generate modelling tools for the described formalisms. We combine meta-modelling with graph grammars to extend the model manipulation capabilities of the generated modelling tools: edit, simulate, transform into another formalism, optimize and generate code. We store all (meta-)models as graphs, and thus, express model manipulations as graph grammars.We present the design and implementation of these concepts in AToM³ (A_To_ol for M_ulti-formalism, M_eta-M_odelling). AToM³ supports modelling of complex systems using different formalisms, all meta-modelled in their own right. Models in different formalisms may be transformed into a single common formalism for further processing. These transformations are specified by graph grammars. Mosterman and Vangheluwe [18] introduced the term multi-paradigm modelling to denote the combination of multiple formalisms, multiple abstraction levels, and meta-modelling. As an example of multi-paradigm modelling we present a meta-model for the Object-Oriented Continuous Simulation Language OOCSMP, in which we combine ideas from UML class diagrams (to express the OOCSMP model structure), Causal Block Diagrams (CBDs), and Statecharts (to specify the methods of the OOCSMP classes). A graph grammar is able to generate OOCSMP code, and then a compiler for this language (C-OOL) generates Java applets for the simulation execution.     

Modeling collaboration protocols for collaborative modeling tools: Experiences and applications

Over the last two decades, Collaborative Systems have become increasingly popular thanks to the many advances made in networks, communications and software tools. Within this field, Collaborative Modeling Systems apply the collaborative paradigm to the construction of (often visual) models, where users build diagrams from building blocks and the relationships between them. In these kinds of applications, the work is usually arranged into sessions, with the definition of some kind of time organization between those sessions. This organization is known as a collaboration protocol. Unfortunately, it is not usually easy to define these protocols, and many applications do not allow users to make any use of them.In an effort to overcome these difficulties, in this paper we propose a visual language for defining collaboration protocols for these systems. As such, in our language, sessions, artifacts and the transformations between them can be specified visually, and different coordination relationships (such as fork and join) can be defined. The visual language is included in a development method for collaborative systems that take advantage of the Eclipse platform in order to develop model-driven graphical editors that are enhanced with collaboration capabilities.     

Expert system for problem solving in distance university education: The successful case of the subject “operations management”

Acquiring the skills needed to solve certain types of problems is one of the main challenges of distance university education, demanding extra motivation from students to tackle it. New technology should be one of our great allies in addressing these problems. This article proposes an expert system with a web‐based problem‐solving simulator for a multidevice environment in order to allow students to access an unlimited number of problems with their corresponding solutions, immediately, anytime and anywhere. The types of problems that can be used are those based on quantitative methods with a fixed methodology to be followed. A successful case study was carried out for the subject Operations Management at the Distance University of Madrid (UDIMA), with three different problem simulators having been developed. The results were very satisfactory compared with previous academic years in terms of motivation. A decrease in students that did not sit the final examination was observed, as was an increase in the number of visits to the Moodle classroom. Students also responded positively in their assessments of the initiative.     

SIMULATING STRUCTURAL CHANGE IN ADAPTIVE ORGANIZATIONS

This paper presents an agent-based model of an organization. The model is made of a social network—composed of the different organization workers—and a knowledge network. Workers are assigned tasks, for which they have to use information in the knowledge network. We have modeled the quality of the information by assigning each information item a probability of being wrong. Agents can interact with other agents, who can recommend to them new information items in the knowledge network for the task to be performed. Workers are assigned different information-seeking behavior (passive, active, and learning), governing the way in which they interact with each other. Moreover, indirect interaction is also possible, as a publicly accessible knowledge base contains each agent's preferred information items.

The model was implemented in SDML, and its simulation shows that agents quickly learn to discern the better information items for the given task. However, group formation (agents' collaborating by exchanging information) takes longer to stabilize. Additionally, when the quality of items is changed, agents can quickly select the better new knowledge items, and organization performance improves again to a maximum that is only randomly disturbed.     

A method for outlier detection based on cluster analysis and visual expert criteria

Outlier detection is an important problem occurring in a wide range of areas. Outliers are the outcome of fraudulent behaviour, mechanical faults, human error, or simply natural deviations. Many data mining applications perform outlier detection, often as a preliminary step in order to filter out outliers and build more representative models. In this paper, we propose an outlier detection method based on a clustering process. The aim behind the proposal outlined in this paper is to overcome the specificity of many existing outlier detection techniques that fail to take into account the inherent dispersion of domain objects. The outlier detection method is based on four criteria designed to represent how human beings (experts in each domain) visually identify outliers within a set of objects after analysing the clusters. This has an advantage over other clustering-based outlier detection techniques that are founded on a purely numerical analysis of clusters. Our proposal has been evaluated, with satisfactory results, on data (particularly time series) from two different domains: stabilometry, a branch of medicine studying balance-related functions in human beings and electroencephalography (EEG), a neurological exploration used to diagnose nervous system disorders. To validate the proposed method, we studied method outlier detection and efficiency in terms of runtime. The results of regression analyses confirm that our proposal is useful for detecting outlier data in different domains, with a false positive rate of less than 2% and a reliability greater than 99%.     

Culture-based artefacts to inform ICT design: foundations and practice

AI & SOCIETY - Cultural aspects frame our perception of the world and direct the many different ways people interact with things in it. For this reason, these aspects should be considered when...