DeepAI AI Chat
Log In Sign Up

Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences

by   J. Keppens, et al.

The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting components of a system and translates it into a useful mathematical model. This paper presents a novel compositional modelling approach aimed at building model repositories. It furthers the field in two respects. Firstly, it expands the application domain of compositional modelling to systems that can not be easily described in terms of interacting functional components, such as ecological systems. Secondly, it enables the incorporation of user preferences into the model selection process. These features are achieved by casting the compositional modelling problem as an activity-based dynamic preference constraint satisfaction problem, where the dynamic constraints describe the restrictions imposed over the composition of partial models and the preferences correspond to those of the user of the automated modeller. In addition, the preference levels are represented through the use of symbolic values that differ in orders of magnitude.


page 1

page 2

page 3

page 4


Modelling and Analysis of Temporal Preference Drifts Using A Component-Based Factorised Latent Approach

The changes in user preferences can originate from substantial reasons, ...

Conjure Revisited: Towards Automated Constraint Modelling

Automating the constraint modelling process is one of the key challenges...

Representing and Reasoning with Qualitative Preferences for Compositional Systems

Many applications, e.g., Web service composition, complex system design,...

Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems

Component-based design paradigm is of paramount importance due to prolif...

Specifying and Reasoning about Contextual Preferences in the Goal-oriented Requirements Modelling

Goal-oriented requirements variability modelling has established the und...

Compositional Verification in Rewriting Logic

In previous work, summarized in this paper, we proposed an operation of ...

Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis

This paper presents a structured power and energy-flow-based qualitative...