This article introduces a formal model to specify, model and validate hierarchical complex systems described at different levels of analysis. It relies on concepts that have been developed in the multi-agentbased simulation (MABS) literature: level, influence and reaction. One application of such model is the specification of hierarchical complex systems, in which decisional capacities are dyna...

the existing works considering the flow-based discount factor in the hub and spoke problems, assume that increasing the amount of flow passing through each edge of network continuously decreases the unit flow transportation cost. although a higher volume of flow allows for using wider links and consequently cheaper transportation, but the unit of flow enjoys more discounts, quite like replacing...

This research uses generative and reflective mapping processes in designerly explorations of the food system consumption waste problem. Mapping was used to aid problem articulation identification leverage points for design by using Geels' (2002) multi-level perspective (MLP) conjunction with social practice theory (SPT) (DT). Blending these theories informed use canvases map different aspects s...

We present a methodology for the automatic verification of multi-agent systems against temporal-epistemic specifications derived from higher-level languages defined over convergent equational theories. We introduce a modality called rewriting knowledge that operates on local equalities. We discuss the conditions under which its interpretation can be approximated by a second modality that we int...

This article investigates transitions at the level of societal functions (e.g. transport, communication, housing). Societal functions are fulfilled by socio-technical systems, which consist of a cluster of aligned elements, e.g. artefacts, knowledge, user practices and markets, regulation, cultural meaning, infrastructure, maintenance networks and supply networks. To understand how transitions ...

Aspect mining aims at identifying, analysing, and refactoring crosscutting concerns throughout a legacy system for the purpose of improving software modularisation. This paper presents our investigation into raising the benefits of aspect mining to high-level domain-specific models. A key contribution is the capability to identify crosscutting concerns early in development, which will assist in...