@MastersThesis{Gruber2011,
  author    = {Andreas Gruber},
  title     = {Konsistenzprüfung von Software Design Modellen in Mehrbenutzerumgebungen},
  school    = {Johannes Kepler University (JKU), Linz, Austria},
  year      = {2011},
  abstract  = {Software systems are getting more and more complex and in order to
	develop them, many people have to work together. To get a better
	common understanding about the system to build and to ease the collaborative
	design process, developers use models of the system. Different developers
	are involved in creating these models and therefore the models will
	contain inconsistencies. With the existing technologies for local
	consistency checking the developers can discover inconsistencies
	in their local models. For a local consistency check it is necessary
	that the entire model is stored on each local machine. If each developer
	evaluates the model with the same set of design rules, the same model
	data will be checked with the same rules. Generally speaking, the
	developers do the same work although it would be enough that one
	does the work and share the results with the others. Often the developers
	have interest on some parts of the model and therefore only some
	of the rules are important to them. Local consistency checking is
	inefficient and it creates redundant model and consistency data.
	To solve these problems and to allow collaborative modeling with
	consistent models, this thesis presents an approach for consistency
	checking in a multiuser-modeling environment. The shared model will
	be stored in a public area on a server. To avoid redundant model
	data, only the changes of each user will be transmitted to the server
	and stored in private areas. Each area has its own consistency checker.
	The consistency checkers for the private area can access the data
	of the consistency checker for the public area. With this mechanism
	the consistency data can be reused and redundancies are avoided.
	The main result of this thesis is a client-server system based on
	an existing approach for incremental consistency checking. With this
	system many developers can work together on a shared model. The consistency
	of each private change on the public model will be evaluated individually
	for each developer, using the data of the public model and consistency
	checker. In addition, the system was evaluated and compared with
	the local variant of the consistency checker. This evaluation shows
	that consistency checking in a collaborative modeling environment
	can be done efficiently.},
  file      = {:MSc Theses\\2011 Andreas Gruber\\Andreas Gruber - Konsistenzprüfung von Software Design Modellen in Mehrbenutzerumgebungen-preprint.pdf:PDF},
  owner     = {AK117794},
  keywords  = {FWF P21321},
  timestamp = {2015.09.22},
}