Partial models: Towards modeling and reasoning with uncertainty

@article{Famelis2012PartialMT,
  title={Partial models: Towards modeling and reasoning with uncertainty},
  author={Michalis Famelis and Rick Salay and Marsha Chechik},
  journal={2012 34th International Conference on Software Engineering (ICSE)},
  year={2012},
  pages={573-583}
}
Models are good at expressing information about software but not as good at expressing modelers' uncertainty about it. The highly incremental and iterative nature of software development nonetheless requires the ability to express uncertainty and reason with models containing it. In this paper, we build on our earlier work on expressing uncertainty using partial models, by elaborating an approach to reasoning with such models. We evaluate our approach by experimentally comparing it to… 

Figures and Tables from this paper

Managing requirements uncertainty with partial models
TLDR
This paper addresses the problem of specifying uncertainty within a requirements model, refining a model as uncertainty reduces, providing meaning to traceability relations between models containing uncertainty, and propagating uncertainty-reducing changes between related models.
Comparing the effectiveness of reasoning formalisms for partial models
TLDR
This paper presents a strategy for encoding partial models into different reasoning formalisms and conducts an empirical study aimed to compare the effectiveness of these formalisms for checking properties of partial models.
Veri cation of Uncertainty Reducing Model Transformations
TLDR
This paper develops an automated method for verifying that a partial model transformation is uncertainty reducing, and presents a general approach for precisely expressing uncertainty within models and formal conditions for uncertainty reduction between models.
Transformation of Models Containing Uncertainty
TLDR
It is shown how to adapt graph rewrite-based model transformations to correctly operate on May uncertainty, a technique that allows explicit uncertainty to be expressed in any modeling language.
A Methodology for Verifying Refinements of Partial Models
TLDR
This paper defines formal conditions for uncertainty reducing refinement between individual models and within model transformations and describes tooling for automating the verification of these conditions within transformations and its application to example transformations.
Partial models: a position paper
TLDR
Aiming to set up a research agenda for a systematic and robust treatment of uncertainty in MDE, this work discusses how uncertainty can be captured by partial models, and how these models can be validated and correctly refined.
Expressing Confidence in Models and in Model Transformation Elements
TLDR
This contribution focuses on the expression of one kind of uncertainty, namely the confidence on the model elements, and on how such an uncertainty can be managed and propagated through model transformations, whose rules can also be subject to uncertainty.
Modeling and Reasoning about Software Systems Containing Uncertainty and Variability
  • M. Chechik
  • Computer Science
    2015 International Symposium on Theoretical Aspects of Software Engineering
  • 2015
TLDR
This talk will survey approaches to representing, reasoning with and transforming models with uncertainty and variability, separately, as well as discuss current work on trying to combine the two approaches.
A Generalized Formal Framework for Partial Modeling
TLDR
It is found that while MAVO expresses uncertainty at the model level, it is often more natural to do so for the entire submodels.
An Empirical Study Of Alternative Syntaxes For Expressing Model Uncertainty
TLDR
An assessment of the effectiveness of the existing notation based on criteria outlined in the literature and a new, graphical notation following the same criteria are performed to evaluate both notations.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 35 REFERENCES
Managing requirements uncertainty with partial models
TLDR
This paper addresses the problem of specifying uncertainty within a requirements model, refining a model as uncertainty reduces, providing meaning to traceability relations between models containing uncertainty, and propagating uncertainty-reducing changes between related models.
Towards a Methodology for Verifying Partial Model Refinements
TLDR
This paper uses a general approach for defining partial model semantics using a first order logic encoding to formally define the conditions for partial model refinement in the manner of the refinement of algebraic specifications.
Partial models: a position paper
TLDR
Aiming to set up a research agenda for a systematic and robust treatment of uncertainty in MDE, this work discusses how uncertainty can be captured by partial models, and how these models can be validated and correctly refined.
Language Independent Refinement Using Partial Modeling
TLDR
A number of partiality types can be defined in a modeling language-independent way, and a formal framework for doing so is proposed, which provides a basis for reasoning as well as a framework for generic tooling support.
The semantics of partial model transformations
TLDR
The notion of correct lifting of transformations so that they can be applied to partial models is defined and encoded as transfer predicates and the mechanics of applying transformations using logic are described.
Incremental Resolution of Model Inconsistencies
TLDR
An iterative inconsistency resolution process that exploits the mechanism of critical pair analysis to analyse dependencies and conflicts between inconsistencies and resolutions, to detect resolution cycles and to analyse the completeness of resolutions.
Merging partial behavioural models
TLDR
This paper formally defines model merging based on observational refinement and shows that merging consistent models is a process that should result in a minimal common refinement, and provides algorithms for checking consistency between two models.
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
TLDR
A technique for automatically generating a set of concrete changes for fixing inconsistencies in UML models and providing information about the impact of each change on all consistency rules is described.
The Uncertainty Principle in Software Engineering Submitted to ICSE'97, 19th International Conference on Software Engineering
TLDR
This paper presents a technique for modeling uncertainty, called Bayesian belief networks, and justifies its applicability to software systems, and applies the Bayesian approach to a simple network of software artifacts based on an elevator control system.
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies
TLDR
This work evaluated an approach to automate the generation of concrete models in which structural inconsistencies are resolved and implemented it in the model finder Kodkod and assessed its suitability for model inconsistency resolution based on an objective set of criteria.
...
1
2
3
4
...