Automatic Model-based Management of Design Constraints
by Andreas Demuth
Abstract:
Model-Driven Engineering (MDE) is an established paradigm in software engineering. It promotes the use of models as primary development artifacts, thereby raising the level of abstraction and allowing stakeholders to focus on those parts of a system that seem most relevant to them without being overwhelmed by its high overall complexity. However, using models as abstractions of real-world systems does impose the necessity of using defined syntax and semantic. In order to achieve positive effects through the application of MDE, it is crucial that models do comply to those notations and are semantically valid. Unfortunately, ensuring that only valid models are built is a non-trivial task. Although various approaches have been developed to address this issue, those approaches are often limited to specific scenarios or restrict the model designer or the modeling process significantly. In this thesis, we investigate an approach that proposes the incremental generation and management of model syntactic and semantic constraints based on existing design models. We show how our approach can provide assistance to the designer for reaching a valid model without restraining the designer or the development process being used. The approach is applied to the domains of model-transformation, metamodeling, and software product lines to demonstrates both its feasibility and applicability. Case studies with industrial-size models suggest that the approach scales and that it is suitable for providing instant feedback about a model’s validity.
Reference:
Andreas Demuth, "Automatic Model-based Management of Design Constraints", PhD thesis, Johannes Kepler University (JKU), Linz, Austria, 2013.
Bibtex Entry:
@PhdThesis{Demuth2013, Title = {Automatic Model-based Management of Design Constraints}, Author = {Andreas Demuth}, School = {Johannes Kepler University (JKU), Linz, Austria}, Year = {2013}, Abstract = {Model-Driven Engineering (MDE) is an established paradigm in software engineering. It promotes the use of models as primary development artifacts, thereby raising the level of abstraction and allowing stakeholders to focus on those parts of a system that seem most relevant to them without being overwhelmed by its high overall complexity. However, using models as abstractions of real-world systems does impose the necessity of using defined syntax and semantic. In order to achieve positive effects through the application of MDE, it is crucial that models do comply to those notations and are semantically valid. Unfortunately, ensuring that only valid models are built is a non-trivial task. Although various approaches have been developed to address this issue, those approaches are often limited to specific scenarios or restrict the model designer or the modeling process significantly. In this thesis, we investigate an approach that proposes the incremental generation and management of model syntactic and semantic constraints based on existing design models. We show how our approach can provide assistance to the designer for reaching a valid model without restraining the designer or the development process being used. The approach is applied to the domains of model-transformation, metamodeling, and software product lines to demonstrates both its feasibility and applicability. Case studies with industrial-size models suggest that the approach scales and that it is suitable for providing instant feedback about a model’s validity.}, File = {:PhD Theses\\2013 Andreas Demuth\\dissertation_demuth-final_17092013.pdf:PDF}, Keywords = {FWF P21321-N15, FWF P23115-N23.}, Owner = {AK117794}, Timestamp = {2015.09.22} }
Powered by bibtexbrowser