Multi-Object Reasoning with Constrained Goal Models

01/27/2016
by   Chi Mai Nguyen, et al.
0

Goal models have been widely used in Computer Science to represent software requirements, business objectives, and design qualities. Existing goal modelling techniques, however, have shown limitations of expressiveness and/or tractability in coping with complex real-world problems. In this work, we exploit advances in automated reasoning technologies, notably Satisfiability and Optimization Modulo Theories (SMT/OMT), and we propose and formalize: (i) an extended modelling language for goals, namely the Constrained Goal Model (CGM), which makes explicit the notion of goal refinement and of domain assumption, allows for expressing preferences between goals and refinements, and allows for associating numerical attributes to goals and refinements for defining constraints and optimization goals over multiple objective functions, refinements and their numerical attributes; (ii) a novel set of automated reasoning functionalities over CGMs, allowing for automatically generating suitable refinements of input CGMs, under user-specified assumptions and constraints, that also maximize preferences and optimize given objective functions. We have implemented these modelling and reasoning functionalities in a tool, named CGM-Tool, using the OMT solver OptiMathSAT as automated reasoning backend. Moreover, we have conducted an experimental evaluation on large CGMs to support the claim that our proposal scales well for goal models with thousands of elements.

READ FULL TEXT
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
03/23/2023

Preference-Aware Constrained Multi-Objective Bayesian Optimization

This paper addresses the problem of constrained multi-objective optimiza...
research
02/04/2017

Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving

Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports im...
research
12/03/2019

From MiniZinc to Optimization Modulo Theories, and Back (Extended Version)

Optimization Modulo Theories (OMT) is an extension of SMT that allows fo...
research
05/07/2014

Structured Learning Modulo Theories

Modelling problems containing a mixture of Boolean and numerical variabl...
research
06/03/2021

Semi-Empirical Objective Functions for MCMC Proposal Optimization

We introduce and demonstrate a semi-empirical procedure for determining ...
research
04/14/2023

Designing a Framework for Solving Multiobjective Simulation Optimization Problems

Multiobjective simulation optimization (MOSO) problems are optimization ...

Please sign up or login with your details

Forgot password? Click here to reset