2015 | OriginalPaper | Buchkapitel
A Generalized Formal Framework for Partial Modeling
verfasst von : Rick Salay, Marsha Chechik
Erschienen in: Fundamental Approaches to Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Uncertainty is pervasive within software engineering, negatively affecting software quality as well as development time. In previous work, we have developed a language-independent partial modeling technique called
MAVO
that allows a software modeler to explicitly express and reason about model uncertainty. The cost of such a broadly applicable technique was to focus exclusively on the syntactic aspects of models. In addition, we have found that while
MAVO
expresses uncertainty at the model level, it is often more natural to do so for the entire submodels.
In this paper, we introduce a new language-independent formal framework for partial modeling called
GMAVO
that generalizes
MAVO
by providing the means for addressing model semantics and allowing uncertainty to be specified at the granularity of a submodel. We then show that
GMAVO
is sufficiently general to express Modal Transition Systems (MTSs) – an established “semantics-aware” partial behavioral modeling formalism.