Formal modelling provides valuable intellectual tools which can be applied to the problem of analysis and optimisation of systems. In this paper we present a novel software tool which provides a graphical approach to modelling of Collective Adaptive Systems (CAS) with constrained movement. The graphical description is translated into a model that can be analysed to understand the dynamic behavi...

Business process modelling is an integral component of Business Process Management and is, by nature, a collaborative act that involves many stakeholders. Process modelling initiatives, while not able dependent on technology, are often supported by one or more dedicated commercial software tools. However, while a broad range of process modelling aspects have been researched, little is known abo...

With the increased interest in refactoring, UML tool vendors seek ways to support software developers in applying a (sequence of) refactoring(s). The problem with such tools is that the UML metamodel – on which their repository is based – is inadequate to maintain the consistency between the model and the code while one of them gets refactored. Therefore, we propose a set of minimal extensions ...

This paper describes the usage of linked models for assessment of water quality in a river basin. River water quality model QUAL2K and the Wennerblom (Älvsborg) diffused pollution model were simultaneously applied for water quality and land-based pollution estimations. A software tool was developed to control the data flow between these models and databases. This tool provides automatic formati...

There are two basic ways to deploy wireless LAN access points in an indoor scenario: manual deployment using a site survey based on empirical measurements or planning using a software tool with built-in signal propagation models. In this paper advantages and disadvantages of both ways are discussed. The planning based on propagation modeling is recognized as a highly preferable approach for des...

A wide range of software tools provide software engineers with different views (static and dynamic) of software systems. Much recent work has focused on software information model exchange. However, most software tools lack support for exchange of information about visualisation notations (both definitions of notations and instances of them). Some basic converters have been developed to support...

Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for logistic systems. Existing object-oriented simulation frameworks form an adequate basis for agent-based modelling where general simulation functionality can be reused. Extensions are required in view of the main aspect...

An automated change impact analysis and management approach is vital to handle the complexity of adapting software during its evolution. Such an approach reduces the maintenance cost and provides for adequate decision making when confronted with the choice of accepting or ignoring changes. This paper presents a change impact management approach between UML models. It verifies the consistency an...

ABSTRACT: Building maintenance is the responsibility of its owner which must use, whenever appropriate, a technician to perform the inspection. A good maintenance depends on the analysis of the anomalies detected during the inspection of the site. Building Information Models (BIM) have revealed themselves as a good tool when it comes to supporting maintenance actions, due to their ability to st...

Computational design is a powerful tool for conceiving and constructing physical artifacts. As researchers invested in making design tools for young people, we believe that the combination of computational design and craft can be highly relevant for young designers interested in aesthetics and making. Youth engagement in these endeavors requires the development of accessible computational tools...