by Andreas Gruber
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.
Reference:
Konsistenzprüfung von Software Design Modellen in Mehrbenutzerumgebungen (Andreas Gruber), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2011.
Bibtex Entry:
@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},
}