Konsistenzprüfung von Software Design Modellen in Mehrbenutzerumgebungen

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:
Andreas Gruber, "Konsistenzprüfung von Software Design Modellen in Mehrbenutzerumgebungen", Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2011.
Bibtex Entry:
@MastersThesis{Gruber2011,
  Title                    = {Konsistenzprüfung von Software Design Modellen in Mehrbenutzerumgebungen},
  Author                   = {Andreas Gruber},
  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.pdf:PDF},
  Owner                    = {AK117794},
  Timestamp                = {2015.09.22}
}
Powered by bibtexbrowser