Reasoning over UML Models with Ambiguities (bibtex)
by Franziska Öllerer
Abstract:
A software designer has the ability to define a system using the Unified Modeling Language (UML). However, a concept to document design decisions along the modelling process or to add and try different decisions is yet to be developed. This thesis introduces the Ambiguity Concept. This concept enables its user to add different design decisions, so called ambiguities, to design models. In addition, this thesis shows how a consistency checker can be employed to detect inconsistencies in a model with ambiguities. In addidion, the Ambiguitymanager, a plugin for the IBM Rational Software Architect is developed. The Ambiguitymanager can be used to add ambiguities to UML models and to conduct reasoning steps. Although all examples are realised with the UML, the Ambiguity Concept is applicable for any kind of modelling languages as long as they are based on a well-defined meta-model. Implementing a large case study in assistance with the Ambiguitymanager proved that the Ambiguity Concept is applicable to a huge number of model elements. The case study shows that the Ambiguitymanager offers the possibility to define optional elements instead of re-modelling entire model parts depending on a decision. Furthermore, with the Ambiguitymanager users can select particular model elements of a complex model and add certain ambiguities instead of re-modelling the whole diagram. In addition to the case study, the Ambiguitymanager and the Ambiguity Concept are evaluated in terms of perceptions resulting from the implementation of the case study.
Reference:
Reasoning over UML Models with Ambiguities (Franziska Öllerer), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013.
Bibtex Entry:
@MastersThesis{Oellerer2013,
  author    = {Franziska Öllerer},
  title     = {Reasoning over UML Models with Ambiguities},
  school    = {Johannes Kepler University (JKU), Linz, Austria},
  year      = {2013},
  abstract  = {A software designer has the ability to define a system using the Unified
	Modeling Language (UML). However, a concept to document design decisions
	along the modelling process or to add and try different decisions
	is yet to be developed. This thesis introduces the Ambiguity Concept.
	This concept enables its user to add different design decisions,
	so called ambiguities, to design models. In addition, this thesis
	shows how a consistency checker can be employed to detect inconsistencies
	in a model with ambiguities. In addidion, the Ambiguitymanager, a
	plugin for the IBM Rational Software Architect is developed. The
	Ambiguitymanager can be used to add ambiguities to UML models and
	to conduct reasoning steps. Although all examples are realised with
	the UML, the Ambiguity Concept is applicable for any kind of modelling
	languages as long as they are based on a well-defined meta-model.
	Implementing a large case study in assistance with the Ambiguitymanager
	proved that the Ambiguity Concept is applicable to a huge number
	of model elements. The case study shows that the Ambiguitymanager
	offers the possibility to define optional elements instead of re-modelling
	entire model parts depending on a decision. Furthermore, with the
	Ambiguitymanager users can select particular model elements of a
	complex model and add certain ambiguities instead of re-modelling
	the whole diagram. In addition to the case study, the Ambiguitymanager
	and the Ambiguity Concept are evaluated in terms of perceptions resulting
	from the implementation of the case study.},
  file      = {:MSc Theses\\2013 Franziska Öllerer\\Öllerer - Reasoning over UML Modelswith Ambiguities-preprint.pdf:PDF},
  owner     = {AK117794},
  timestamp = {2015.09.22},
}
Powered by bibtexbrowser