Add to ORKGIn this poster we present Beanbag, a language for automatic model inconsistency fixing. A Beanbag pro-gram defines and checks a consistency relation over a model similarly to OCL, but the program can also be executed in a fixing mode, taking user updates on the model and producing new updates to make the model satisfy the consistency relation. 1
International audienceNowadays, large-scale industrial software systems may involve hundreds of deve...
Associated research group: Critical Systems Research GroupIn model-based development, the software d...
International audienceFeature models (FMs) are a widely used approach to specify the commonalities a...
Model software system often involves models with A language that is syntactically similar to OCL but...
The goal of model-driven engineering is to raise the level of abstraction by shifting the focus to m...
Recently the field of theory update has seen some improvement, in what concerns model updating, by a...
International audienceThis work is situated in the context of the application of Model Driven Engine...
International audienceDevelopers change models with clear intentions-e.g., for refactoring, defects ...
Inconsistency management in component-based languages is the identification and resolution of confli...
AbstractWith the Unified Modeling Language being used in diverse contexts, the ability of defining a...
In model-based development, the software development effort is centered around a formal description ...
Large software projects are characterized by distributed environments consisting of teams at differe...
AbstractA typical way of managing the inherent complexity of contemporary technical systems is to st...
Feature models have been widely adopted to reuse the requirements of a set of similar products in a ...
Abstract. In feature models ’ construction, one basic task is to ensure the consistency of feature m...
International audienceNowadays, large-scale industrial software systems may involve hundreds of deve...
Associated research group: Critical Systems Research GroupIn model-based development, the software d...
International audienceFeature models (FMs) are a widely used approach to specify the commonalities a...
Model software system often involves models with A language that is syntactically similar to OCL but...
The goal of model-driven engineering is to raise the level of abstraction by shifting the focus to m...
Recently the field of theory update has seen some improvement, in what concerns model updating, by a...
International audienceThis work is situated in the context of the application of Model Driven Engine...
International audienceDevelopers change models with clear intentions-e.g., for refactoring, defects ...
Inconsistency management in component-based languages is the identification and resolution of confli...
AbstractWith the Unified Modeling Language being used in diverse contexts, the ability of defining a...
In model-based development, the software development effort is centered around a formal description ...
Large software projects are characterized by distributed environments consisting of teams at differe...
AbstractA typical way of managing the inherent complexity of contemporary technical systems is to st...
Feature models have been widely adopted to reuse the requirements of a set of similar products in a ...
Abstract. In feature models ’ construction, one basic task is to ensure the consistency of feature m...
International audienceNowadays, large-scale industrial software systems may involve hundreds of deve...
Associated research group: Critical Systems Research GroupIn model-based development, the software d...
International audienceFeature models (FMs) are a widely used approach to specify the commonalities a...