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

06/30/2011
by   J. Keppens, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/27/2018

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

The changes in user preferences can originate from substantial reasons, ...
research
09/08/2011

Conjure Revisited: Towards Automated Constraint Modelling

Automating the constraint modelling process is one of the key challenges...
research
01/16/2014

Representing and Reasoning with Qualitative Preferences for Compositional Systems

Many applications, e.g., Web service composition, complex system design,...
research
05/29/2022

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

Component-based design paradigm is of paramount importance due to prolif...
research
05/15/2019

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

Goal-oriented requirements variability modelling has established the und...
research
07/31/2023

Compositional Verification in Rewriting Logic

In previous work, summarized in this paper, we proposed an operation of ...
research
02/04/2014

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

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

Please sign up or login with your details

Forgot password? Click here to reset