The Rodin platform for Event-B formal modelling is based on a bespoke model repository. While this approach has some advantages it also means that the platform does not benefit from the host of emerging technologies and supporting packages that are freely available for open source modelling frameworks. The Eclipse Modelling Framework (EMF) has emerged as the de-facto standard package upon which...

Morphological analysis (MA) is a method to analyze and design complex systems. MA fosters generation of a large number of solution/system design alternatives, yet it requires a considerable amount of manual effort. Therefore, a number of software tools have been developed to automate the construction of consistent design alternatives and support the exploration of the derived design space. Howe...

The aim of this work is to use formal games as foundation for a design tool which provides support for the exploration and evaluation of software design in UML. The designer sets up a game on the basis of a UML model and repeatedly plays a game with the tool to detect flaws or incompleteness in the design. During a play the game definition including the underlying UML model may be incremented. ...

This paper describes a study conducted to determine the paths digital reference services take through a general process model of asynchronous digital reference. A survey based on the general process model was conducted; each decision point in this model provided the basis for at least one question. Common, uncommon, and wished-for practices are identified, as well as correlations between charac...

Increasing availability of high quality 3D printing devices and services now enable ordinary people to create, edit and repair products for their custom needs. However, an effective use of current 3D modeling and design software is still a challenge for most novice users. In this work, we introduce a new computational method to automatically generate an organic interface structure that allows e...

The topic of UML model consistency is becoming increasingly important. Having a tool that checks the consistency of UML models is very useful. Using the XMI standard, the consistent models can be transferred from the checker tool to any other UML tool. By means of practical examples, this paper shows that using a framework based on OCL is a valuable approach when checking UML models. The result...

The design of today’s complex control systems involves many views from different disciplines. Generic CASE tools offer wide applicability at the expense of depth. Singlepurpose, domain-specific tools provide the needed analytical power but yield diminishing returns outside of their domain. Alternatively, model driven tools based on meta-models, that is, explicit characterizations of the domain ...

We introduce EDM Vis, an information visualization software tool for exploring, navigating and understanding student data logs. EDM Vis loads student logs, entire classes, hundreds of students, at a time, and displays the student behavior of those students as they solved problems using a software tutor. The visualization uses a tree structure to provide an overview of class performance, and int...

Lighting has a crucial impact on the appearance of 3D objects and on the ability of an image to communicate information about a 3D scene to a human observer. This work presents a new automatic lighting design approach for comprehensible rendering of 3D objects. Given a geometric model of a 3D object or scene, the material properties of the surfaces in the model, and the desired viewing paramete...

The modeling and simulation of physical systems is of key importance in many areas of science and engineering, and thus can benefit from high-quality software tools. In previous research we have demonstrated how functional programming can form the basis of an expressive language for causal hybrid modeling and simulation. There is a growing realization, however, that a move toward non-causal mod...