Publikationen der Fachgruppe Praktische Informatik
ab 2002


Publikationen nach Autor

Abou-Tair, Dhiah el Diehn I. (HP): Ab2006PST - AbB2006ODB - AbBK2007IAS - AbN2006TEAA

Berlik, Stefan (HP): AbB2006ODB - AbBK2007IAS - Be2003FLT - Be2003UDO - Be2004GECCO - Be2004IMI - Be2004SC - Be2006Diss - BeF2005ICAI - BeF2005SMC - BeF2007IRI - BeFH2006ICAI - BeFH2006SMC - BeR2004fuzz - BeR2005KES - BeR2006Fuzz - BeR2006IIS - FaB2006CST - HoFB2006ICAI - HoFB2006SMC - KaRHB2003SM - KeBKR2012MOD - ScIGFBHR2006Neuro - TrBWK2007ESEC

Ebert, Jürgen (HP): CVSM2008 - CVSM2009 - EbKS2008ICSEC - EbKSW2007VVUM

Falk, Jens (HP): Fa2007DA

Gad, Adam (HP): Ga2007DAdiff

Gad, Roman (HP): Ga2007test

Grassow, Oliver (HP): Gr2008DA

Hutter, Hermann (HP): Hu2007DA - WeHK2007SM

Kehrer, Timo (HP): Ke2010DA - KeBKR2012MOD - KeK2010HDI - KeKK2013SE - KeKOS2012SM - KeKPS2012ASE - KeKT2011ASE - KeKT2012WSR - KeKT2013ASE - KePRK2013ME - KeW2009NWMODE - ScWKK2009CVSM - ShPKK2012SE - ShPKK2013SE

Kelter, Udo (HP): AbBK2007IAS - CVSM2008 - CVSM2009 - EbKS2008ICSEC - EbKSW2007VVUM - GoK2011SE - Ke2007LMdif - Ke2007VVUM - Ke2009LLSS - Ke2010SE - KeBKR2012MOD - KeK2010HDI - KeKK2013SE - KeKOS2012SM - KeKPS2012ASE - KeKT2011ASE - KeKT2012WSR - KeKT2013ASE - KeMS2002NOD - KePRK2013ME - KeS2008CVSM - KeSW2008SE - KeWN2005SE - OhK2002SM - OhWK2003ESEC - OhWK2003SM - PiKR2013CVSM - PiKW2012SSM - PiSK2011ASE - PiSK2012SE - ScWK2009SE - ScWKK2009CVSM - ShPKK2012SE - ShPKK2013SE - StDG+2007Dag - TrBWK2007ESEC - WeHK2007SM - WeK2006PDRE - WeK2008ICSE - WeKKK2009SM

Lohmann, Carsten (HP): LoGJS2007TOOLS

Lück, Stephan (HP): Lu2004DA - Lu2006DA

Monecke, Marc (HP): KeMS2002NOD

Niere, Jörg (HP): AbN2006TEAA - KeWN2005SE - Ni2004FD

Ohst, Dirk (HP): Oh2004Diss - OhK2002SM - OhWK2003ESEC - OhWK2003SM

Pietsch, Pit (HP): KeKPS2012ASE - KePRK2013ME - Pi2008DA - PiKR2013CVSM - PiKW2012SSM - PiSK2011ASE - PiSK2012SE - PiW2012BPMN - ShPKK2012SE - ShPKK2013SE

Rindt, Michaela (HP): KePRK2013ME

Schmidt, Maik (HP): KeKPS2012ASE - KeS2008CVSM - KeSW2008SE - Sc2007VVUM - ScG2008ICSEC - ScW2007MDSE - ScWK2009SE - ScWKK2009CVSM

Schürr, Andy (HP): EbKSW2007VVUM - StDG+2007Dag

Shariat Yazdi, Hamed (HP): PiSK2011ASE - PiSK2012SE - ShPKK2012SE - ShPKK2013SE

Systä, Tarja (HP): CVSM2008 - CVSM2009 - EbKS2008ICSEC

Taentzer, Gabriele (HP): KeKT2011ASE - KeKT2012WSR - KeKT2013ASE

Treude, Christoph (HP): Tr2007DA - TrBWK2007ESEC

Wehren, Jürgen (HP): KeWN2005SE - We2004DA

Welle, Michael (HP): OhWK2003ESEC - OhWK2003SM - Wel2005DA

Wenzel, Sven (HP): KeSW2008SE - KeW2009NWMODE - PiKW2012SSM - PiW2012BPMN - ScW2007MDSE - ScWK2009SE - ScWKK2009CVSM - TrBWK2007ESEC - We2005FD - We2005NJC - We2005NWUML - We2007VVUM - We2007WSR - We2008CVSM - WeHK2007SM - WeK2006PDRE - WeK2008ICSE - WeKKK2009SM

Westfechtel, Bernhard (HP): EbKSW2007VVUM

Zündorf, Albert (HP): StDG+2007Dag




Publikationen nach Kalenderjahr

2002: KeMS2002NOD - OhK2002SM

2003: Be2003FLT - Be2003UDO - KaRHB2003SM - OhWK2003ESEC - OhWK2003SM

2004: Be2004GECCO - Be2004IMI - Be2004SC - BeR2004fuzz - Lu2004DA - Ni2004FD - Oh2004Diss - We2004DA

2005: BeF2005ICAI - BeF2005SMC - BeR2005KES - KeWN2005SE - We2005FD - We2005NJC - We2005NWUML - Wel2005DA

2006: Ab2006PST - AbB2006ODB - AbN2006TEAA - Be2006Diss - BeFH2006ICAI - BeFH2006SMC - BeR2006Fuzz - BeR2006IIS - FaB2006CST - HoFB2006ICAI - HoFB2006SMC - Lu2006DA - ScIGFBHR2006Neuro - WeK2006PDRE

2007: AbBK2007IAS - BeF2007IRI - EbKSW2007VVUM - Fa2007DA - Ga2007DAdiff - Ga2007test - Hu2007DA - Ke2007LMdif - Ke2007VVUM - LoGJS2007TOOLS - Sc2007VVUM - ScW2007MDSE - StDG+2007Dag - Tr2007DA - TrBWK2007ESEC - We2007VVUM - We2007WSR - WeHK2007SM

2008: CVSM2008 - EbKS2008ICSEC - Gr2008DA - KeS2008CVSM - KeSW2008SE - Pi2008DA - ScG2008ICSEC - We2008CVSM - WeK2008ICSE

2009: CVSM2009 - Ke2009LLSS - KeW2009NWMODE - ScWK2009SE - ScWKK2009CVSM - WeKKK2009SM

2010: Go2010DA - Ke2010DA - Ke2010SE - KeK2010HDI

2011: GoK2011SE - KeKT2011ASE - PiSK2011ASE

2012: KeBKR2012MOD - KeKOS2012SM - KeKPS2012ASE - KeKT2012WSR - PiKW2012SSM - PiSK2012SE - PiW2012BPMN - ShPKK2012SE

2013: KeKK2013SE - KeKT2013ASE - KePRK2013ME - PiKR2013CVSM - ShPKK2013SE




Einzelangaben

  1. [ Ab2006PST ] Abou-Tair, Dhiah el Diehn I.: A Framework Ensuring Privacy in a Distributed Environment; in: 4th Annual Conference on Privacy, Security and Trust, PST 2006, Oct 30 - Nov 1, Markham/Toronto, Ontario, Canada; 2006
    Deskriptoren: PI

    Abstract: In the age of Internet and loosely coupled applications, privacy has become a matter of concern. Individuals lose track of their personal data and have no control over databases and information systems containing their personal data. In the field of distributed systems, resarchers focus mainly on how to integrate a variety of systems in a way so that persons benefit from other systems' functionalities and data sources. In general, the integration is done on the business logic layer. As a consequence special properties of data, like privacy properties, are neglected. In fact, it is a big challenge for distributed applications to adapt privacy regulations, to ensure conformity to privacy regulations, and to execute the adaptation process in a transparent and comprehensible form. Unlike most existing work, this paper provides a solution to the problem of adapting privacy regulations in a distributed environment. The framework presented in this study is a novel enterprise architecture that assures privacy according to diverse data privacy regulations and illustrates the adapting process in a transparent and comprehensible form. Moreover, it maintains and enhances additional data privacy properties wherever they apply.

  2. [ AbB2006ODB ] Abou-Tair, Dhiah el Diehn I.; Berlik, Stefan: An ontology-based approach for managing and maintaining privacy in information systems; p.983-994 in: 5th Int. Conf. on Ontologies, DataBases, and Applications of Semantics, ODBASE 2006, Oct 31 - Nov 2, Montpellier, France; LNCS 4275, Springer-Verlag Berlin Heidelberg; 2006
    Deskriptoren: PI

    Abstract: The use of ontologies in the fields of information retrieval and semantic web is well-known. Since long time researcher are trying to find ontological representations of the diverse laws to have a mechanism to retrieve fine granular legal information about diverse legal cases. However, one of the common problems software systems are faced with in constitutional states is the adapting of the diverse privacy directives. This is a very complex task due to lacks in current software solutions ­ especially from the architectural point of view. In fact, we miss software solutions that manage privacy directives in a central instance in a structured manner. Even more, such a solution should provide a fine granular access control mechanism on the data entities to ensure that every aspect of the privacy directives can be reflected. Moreover, the whole system should be transparent, comprehensible, and modifiable at runtime. This paper provides a novel solution for this by means of ontologies. The usage of ontologies in our approach differs from the conventional form in focusing on generating access control policies which are adapted from our software framework to provide fine granular access on the diverse data sources.

  3. [ AbBK2007IAS ] Abou-Tair, Dhiah el Diehn I.; Berlik, Stefan; Kelter, Udo: Enforcing Privacy by Means of an Ontology Driven XACML Framework; p.279-284 in: Third International Symposium on Information Assurance and Security, IAS 2007, Aug 29 - Aug 31, Manchester, United Kingdom; IEEE CS Press; 2007
    Deskriptoren: PI, access controls

    Abstract: Nowadays enforcing privacy in enterprises is recognized as an issue of impact. Actually, it is a big challenge to adapt normative laws and regulations in a software system. It is a challenging task to include the formalized laws and rules in enterprises since e.g. more than one regulation may affect the terms of privacy concerning one situation. Traditional access control provides a general mechanism for assigning rights to individual users or roles. In the context of privacy this is insufficient; it offers no means to fulfil certain aspects such as limitations to the duration for which private data may be stored. To enforce privacy in enterprises we further need a fine granular access control mechanism on the data entities to ensure that every aspect of privacy can be reflected. This paper provides a novel solution for this by means of ontologies. The usage of ontologies in our approach differs from the conventional form in focusing on generating access control policies which are adapted from our software framework to provide fine granular access on the diverse data sources.

  4. [ AbN2006TEAA ] Abou-Tair, Dhiah el Diehn I.; Niere, Jörg: An Architecture for Integrating Heterogeneous University Applications that Supports Monitoring; p.16-24 in: 2nd Intl. Conf. Trends in Enterprise Application Architecture, TEAA 2006, Nov 29 - Dec 1, Berlin, Germany; LNCS 4473, Springer-Verlag Berlin Heidelberg; 2006
    Deskriptoren: PI, access controls

    Abstract: Within a company or a university different organization units need their own information system to perform their business tasks. There is also a massive need of integration in order to optimize the processes. Integration usually means to wrap the applications or couple them via technologies such as CORBA. Especially when applications are coupled, it is hard work to get an overview over the whole system or to establish common data-consistency rules or to monitor privacy issues. In this pa- per we present an approach in which we model the data-models of the independent applications and connect them by pre-defined integration connections. Upon our common business model we are able to estab- lish data-consistency rules or monitor, e.g., privacy issues or data-flow. Therefore, our solution presents a smart integration without loosing the application's independence.

  5. [ Be2003FLT ] Berlik, Stefan: A Polymorphical Mutation Operator For Evolution Strategies; p.502-505 in: Wagenknecht, M.; Hampel, R. (eds.): Proc. Intl. Conf. in Fuzzy Logic and Technology, EUSFLAT, Sep. 10-12, 2003, Zittau, Germany; European Society for Fuzzy Logic and Technology, EUSFLAT; 2003
    Deskriptoren: PI, evolutionary algorithms

  6. [ Be2003UDO ] Berlik, Stefan: Polymorphe Mutation; 22. Workshop "Interdisziplinäre Methoden in der Informatik" Forschungsbericht Nr. 783, Universität Dortmund; 2003
    Deskriptoren: PI, evolutionary algorithms

  7. [ Be2004GECCO ] Berlik, Stefan: A Step Size Preserving Directed Mutation Operator; p.786-787 in: K. Deb (ed.): Proc. Part I of the Intl. Genetic and Evolutionary Computation Conf., GECCO 2004, Jun. 26-30, 2004, Seattle, USA; LNCS 3102. Springer-Verlag Berlin Heidelberg; 2004
    Library Entries: BibTeX DBLP
    Deskriptoren: PI, evolutionary algorithms

  8. [ Be2004IMI ] Berlik, Stefan: Step-Size Preserving Directed Mutation; 23. Workshop "Interdisziplinäre Methoden in der Informatik", Universität Dortmund; 2004
    Deskriptoren: PI, evolutionary algorithms

  9. [ Be2004SC ] Berlik, Stefan: A Directed Mutation Framework For Evolutionary Algorithms; p.45-50 in: Matou~ek, R.; O~mera, P. (ed.s): Proc. 10th Intl. Conf. on Soft Computing, MENDEL, Jun. 16-18, 2004, Brno, Czech Republic; 2004
    Deskriptoren: PI, evolutionary algorithms

  10. [ Be2006Diss ] Berlik, Stefan: Directed Evolutionary Algorithms; PhD thesis, Universität Dortmund; 2006
    Deskriptoren: PI, evolutionary algorithms

  11. [ BeF2005ICAI ] Berlik, Stefan; Fathi, M.: Multi-Objective Optimization Using Directed Mutation; 870-875 in: Arabnia, H.R.; Joshua, R. (ed.s): Proc. Intl. Conf. on Artificial Intelligence, ICAI 2005, June 27-30, 2005, Las Vegas, USA, volume II; CSREA Press, USA; 2005
    Deskriptoren: PI, evolutionary algorithms

  12. [ BeF2005SMC ] Berlik, Stefan; Fathi, M.: A Design And Optimization Tool For Screw Type Machines; in: Proc. of the Int. Conf. on Systems, Man and Cybernetics, IEEE SMC 2005, Oct. 10-12, 2005, Hawaii, USA; IEEE Press; 2005
    Deskriptoren: PI, evolutionary algorithms

  13. [ BeF2007IRI ] Berlik, Stefan; Fathi, M.: Differences of Structured Documents - Improving their Quality; In Proc. of the 2007 IEEE International Conference on Information Reuse and Integration, IRI 2007, Aug 13 - 15, Las Vegas, NV, USA.; 2007
    Deskriptoren: models:difference, PI, CVSM

    Abstract: A classical task of software development environments is the management of document versions. Besides others, primary aims are increasing efficiency and supporting reuse. While for classical textual documents, e.g. source code, versioning is well understood and frequently used, this is not the case for documents with graph structured models as for example the notation forms of the UML. However, these models become more and more important and are like textual documents subject to versioning and co-developed by a number of people. Thus also for graph structured models versioning tools are required. One of the several reasons for the absence of efficient tools is the problem that differences are generally not unique. With the potentially large set of differences evaluable for the same documents, the question of their quality arises. Since for graph structured and in particular for UML documents many different quality measures are reasonable, convincing conclusions can be drawn only by evaluating a set of different measures, contrasting the conventional approaches. This paper presents a novel and more substantive approach of judging differences' qualities and aims at finding optimal differences. Evolutionary algorithms are proposed to solve the resulting multiobjective optimization problems.

  14. [ BeFH2006ICAI ] Berlik, Stefan; Fathi, M.; Holland, A.: Inter- And Intragenerational Mutation Shape Adaptation; in: Proc. Intl. Conf. on Artificial Intelligence, ICAI 2006, June 26-29, 2006, Las Vegas, USA; CSREA Press, USA; 2006
    Deskriptoren: PI, evolutionary algorithms

  15. [ BeFH2006SMC ] Berlik, Stefan; Fathi, M.; Holland, A.: Advances In Optimizing Screw-Type Machines; in: Proc. Intl. Conf. on Systems, Man and Cybernetics, IEEE SMC 2006, Oct. 8-11, 2006, Taipei, Taiwan. IEEE Press; 2006
    Deskriptoren: PI, evolutionary algorithms

  16. [ BeR2004fuzz ] Berlik, Stefan; Reusch, B.: Directed Mutation By Means Of The Skew-Normal Distribution; p.35-50 in: Reusch, B. (ed.): Proc. Intl. Conf. on Computational Intelligence, FUZZY DAYS, Sep. 29-Oct. 1, 2004, Dortmund, Germany; Advances in Soft Computing, Springer-Verlag Berlin Heidelberg; 2004
    Deskriptoren: PI, evolutionary algorithms

  17. [ BeR2005KES ] Berlik, Stefan; Reusch, B.: Directed Mutation Operators - An Overview; 1151-1159 in: Khosla, R.; Howlett, R.J.; Jain, L.C. (ed.s): Proc. 9th Intl. Conf. on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2005, Sept. 14-16, 2005, Melbourne, Australia; LNCS 3683; Springer Verlag Berlin Heidelberg; 2005
    Deskriptoren: PI, evolutionary algorithms

  18. [ BeR2006Fuzz ] Berlik, Stefan; Reusch, B.: Directed CMA-ES: A Covariance Matrix Adaptation Algorithm With Intragenerational Mutation Shape Adaptation; in: Proc. Intl. Conf. on Computational Intelligence, FUZZY DAYS, Sep. 18-20, 2006, Dortmund, Germany; Advances in Soft Computing. Springer-Verlag Berlin Heidelberg; 2006
    Deskriptoren: PI, evolutionary algorithms

  19. [ BeR2006IIS ] Berlik, Stefan; Reusch, B.: Foundations of Directed Mutation; in: Zha, Xuan F.; Howlett, Robert J. (eds.): Integrated Intelligent Systems for Engineering Design; IOS Press; 2006
    Deskriptoren: PI, evolutionary algorithms

  20. [ CVSM2008 ] Ebert, Jürgen; Kelter, Udo; Systä, Tarja: Proc. 2008 ICSE Workshop on Comparison and Versioning of Software Models, May 17, 2008, Leipzig; ACM; 2008
    Deskriptoren: PI, CVSM, CVSM08

    Abstract: Modern software development approaches, especially those which follow a model-driven way of development, make heavy use of models during the whole development process. In this context models are being evolved, simplified and/or extended, over a longer period of time. This kind of model evolution leads to the need of keeping different versions of models, of comparing them, of measuring their (un)similarity, and of merging different models into one. The aim of this workshop is the establishment of the state of the art in the area of comparing and versioning of models. The most relevant research questions shall be identified, an overview on applications shall be collected, and the research community in this area shall be brought together.

  21. [ CVSM2009 ] Ebert, Jürgen; Kelter, Udo; Systä, Tarja: Proc. 2009 ICSE Workshop on Comparison and Versioning of Software Models, May 17, 2009, Vancouver; IEEE, Catalog Number CFP0923G; 2009
    Deskriptoren: PI, CVSM, CVSM09

    Abstract: Modern software development approaches, especially those which follow a model-driven way of development, make heavy use of models during the whole development process. In this context models are being evolved, simplified and/or extended, over a longer period of time. This kind of model evolution leads to the need of keeping different versions of models, of comparing them, of measuring their (un)similarity, and of merging different models into one. The aim of this workshop is the establishment of the state of the art in the area of comparing and versioning of models. The most relevant research questions shall be identified, an overview on applications shall be collected, and the research community in this area shall be brought together.

  22. [ EbKS2008ICSEC ] Ebert, Jürgen; Kelter, Udo; Systä, Tarja: Workshop on Comparison and Versioning of Software Models (CVSM08);
    p.1075-1076 in: Companion Volume, ICSE 2008, May 10-18, 2008, Leipzig, Germany; ACM Press; 2008
    Library Entries: bibtex@DBLP
    Deskriptoren: CVSM, CVSM08, PI

    Abstract: Comparison and versioning of software models is an urgent theoretical and practical problem area in the context of model-driven software development. A range of detailed issues are addressed by the contributions to CVSM08. This workshop summary introduces important research areas and categorizes the contributions of the workshop.

  23. [ EbKSW2007VVUM ] Ebert, Jürgen; Kelter, Udo; Schürr, Andy; Westfechtel, Bernhard: Bericht über den Workshop Vergleich und Versionierung von UML-Modellen (VVUM07) im Rahmen der GI-Fachtagung Software Engineering 2007 in Hamburg; Softwaretechnik-Trends 27:2; 2007
    Download: Volltext
    Deskriptoren: CVSM, PI

  24. [ Fa2007DA ] Falk, Jens: Entwicklung von Differenzmetriken und deren Visualisierung; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2007
    Deskriptoren: CVSM, SiDiff, models:difference:visualization, PI

  25. [ FaB2006CST ] Fathi, M.; Berlik, Stefan: An Evolutionary Optimization Method For Screw-Type Machines; in: Topping, B. (ed.): 8th Intl. Conf. On Computational Structures Technology, CST 2006, Las Palmas de Gran Canaria, Spain 12-15 Sep. 2006; Civil-Comp Press; 2006
    Deskriptoren: PI, evolutionary algorithms

  26. [ Ga2007DAdiff ] Gad, Adam: Differenzbestimmung für Poseidon-UML-Diagramme; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2007
    Deskriptoren: SiDiff, models:difference, CVSM, PI

  27. [ Ga2007test ] Gad, Roman: Testportal zur Unterstützung rechnerbasierter Experimente; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2007
    Deskriptoren: optimization, PI

  28. [ Go2010DA ] Gorek, Guy: Untersuchungen zum Abgleich vager Modelle in der Systemanalyse; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2010
    Download: Volltext
    Deskriptoren: CVSM, PI, SiDiff

    Abstract: In sehr frühen Phasen der Systemanalyse entsteht eine Vielzahl von Teilmodellen unabhängig voneinander. Die Teilmodelle werden häufig anhand von Interviews mit verschiedenen Stakeholdern entwickelt und bilden spezielle Sichten auf das vorhandene oder zukünftige Softwaresystem ab. Dabei stehen die verschiedenen Sichten und Interessen der Stakeholder häufig miteinander im Konflikt. Aus den einzelnen Teilmodellen muss zur Herausbildung eines gemeinsamen Problemverständnisses aller Projektbeteiligten und zur Beseitigung von Diskrepanzen zwischen den Anforderungen ein vereintes Gesamtmodell erstellt werden. Es gibt eine Reihe etablierter Verfahren, welche das Vergleichen und Mischen von Dokumenten übernehmen; eines davon ist das SiDiff-Framework. Die gängigen Verfahren sind jedoch unter den Rahmenbedingungen der sehr frühen Projektphasen nicht praktikabel, da weder die Vagheit der Anforderungen noch die geringe Datenbasis berücksichtigt werden. Der Begriff der Vagheit wird im Folgenden als allgemeiner Oberbegriff für Unvollständigkeit bzw. Unsicherheit verwendet. Unvollständigkeit bedeutet im Kontext von Modellen, dass ein Modell nicht alle Elemente enthält, um den intendierten Sachverhalt adäquat und komplett abzubilden. Dagegen bedeutet Unsicherheit in diesem Zusammenhang, dass eine im Modell nicht dargestellte Alternative die Richtige sein könnte, um den Sachverhalt richtig abzubilden. Ziel dieser Diplomarbeit ist es, verschiedene Konzepte für den Vergleich und das Mischen von vagen Modellen zu untersuchen bzw. zu entwickeln. Die Konzepte sollen zu einer besseren Detektion der Gemeinsamkeiten und Unterschiede der Modelle sowie zu besseren Mischergebnissen führen. Als Basis für den Vergleich soll das SiDiff-Framework verwendet werden.

  29. [ GoK2011SE ] Gorek, Guy; Kelter, Udo: Abgleich von Teilmodellen in den frühen Entwicklungsphasen;
    p.123-134 in: Proc. Software Engineering 2011, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe; Lecture Notes in Informatics 183, GI; 2011
    Download: Volltext, LNI
    Deskriptoren: CVSM, PI, SiDiff, models:difference:notions, metamodel

    Abstract: Teilmodelle sind Daten-, Zustands- oder andere Modelle, die die individuellen, initialen Anforderungen eines einzelnen Stakeholders repräsentieren. Dieses Papier adressiert das Problem, wie autark entstandene Teilmodelle zu einem Gesamtmodell abgeglichen werden können. Zunächst analysieren wir die Eignung bisher vorhandener Mischverfahren für Modelle und zeigen, daß sie wesentliche Defizite aufweisen, i.w. weil sie die typischen Verhältnisse der späten Entwicklungsphasen unterstellen. Zur Behebung dieser Defizite schlagen wir modifizierte Matching-Algorithmen, die die relativ große Unsicherheit der Teilmodelle berücksichtigen, sowie eine Methode zur interaktiven Korrektur von Korrespondenzen vor.

  30. [ Gr2008DA ] Grassow, Oliver: Vergleich molekularer Graphen mit Hilfe des SiDiff-Algorithmus; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2008
    Download: Volltext
    Deskriptoren: models:difference, SiDiff, CVSM, PI

    Abstract: Die Bioinformatik beschäftigt sich unter anderem mit dem medizinischen Teilbereich des Wirkstoffentwurfs. Ein wichtiger Schritt innerhalb dieses Prozesses ist die Ermittlung von Molekülstrukturen, die zu einem Anfragemolekül eine möglichst hohe strukturelle Ähnlichkeit aufweisen. Der in der Fachgruppe der Praktischen Informatik der Universität Siegen entwickelte SiDiff-Algorithmus erfüllt die Aufgabe, Differenzen zwischen unterschiedlichen Versionen eines technischen Dokuments zu ermitteln und sehr detailliert anzuzeigen. Zu diesem Zweck werden die Dokumente intern in Graphen umgewandelt, die anschließend entsprechend des strukturellen Aufbaus sowie der Eigenschaften der Elemente verglichen werden. Aufgrund dieses strukturellen Vergleichsablaufs, der Hochkonfigurierbarkeit des Algorithmus und der ausgesprochen detaillierten Differenzermittlung wird in der vorliegenden Arbeit untersucht, inwieweit der SiDiff-Algorithmus geeignet ist, um molekulare Graphen effizient miteinander zu vergleichen. Im Rahmen dieser Arbeit wird ein Verfahren vorgestellt, mit dessen Hilfe Substrukturen in Form von funktionellen Gruppen in den zu vergleichenden Molekülen markiert werden können, um diese mit zusätzlichen Eigenschaften anzureichern. Ausgelegt auf den Vergleich dieser markierten Moleküle erfolgt anschließend eine Anpassung und Konfiguration des Vergleichswerkzeugs. Anhand eines Testdatenbestands wird die Genauigkeit und Effizienz der eingesetzten Verfahren untersucht.

  31. [ HoFB2006ICAI ] Holland, A.; Fathi, M.; Berlik, Stefan: Representation Techniques For Distributed Knowledge Models; in: Proc. Intl. Conf. on Artificial Intelligence, ICAI 2006, June 26-29, 2006, Las Vegas, USA; CSREA Press, USA; 2006
    Deskriptoren: PI

  32. [ HoFB2006SMC ] Holland, A.; Fathi, M.; Berlik, Stefan: Rule-based compilation of decision networks; in: Proc. Intl. Conf. on Systems, Man and Cybernetics, IEEE SMC 2006, Oct. 8-11, 2006, Taipei, Taiwan; IEEE Press; 2006
    Deskriptoren: PI

  33. [ Hu2007DA ] Hutter, Hermann: Nachverfolgbarkeit von Modellelementen in Versionshistorien; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2007
    Deskriptoren: CVSM, SiDiff, PI, models:histories

  34. [ KaRHB2003SM ] Kauder, K. ; Berlik, Stefan; Reusch, B.; Helpertz, M. : Automatisierte Optimierung der Geometrie von Schraubenrotoren, Teil 3; Schraubenmaschinen; 2003
    Deskriptoren: PI, optimization

  35. [ Ke2007LMdif ] Kelter, Udo: Lehrmodul Dokumentdifferenzen; Fachgruppe Praktische Informatik, Universität Siegen; 2007
    Download: Volltext
    Deskriptoren: SiDiff, models:difference, models:difference:visualization, models:difference:notions, PI, CVSM

    Abstract: Differenzen zwischen Dokumenten werden im Rahmen des Konfigurationsmanagements sowohl wegen der internen Speicherplatzersparnis als auch zur Dokumentation des Entwicklungsvorgangs benutzt. Mit Differenzen hängen Mischungen zusammen. Textuelle, graphische, XML- und sonstige Dokumente müssen bzgl. der Differenzen teilweise speziell behandelt werden, es gibt aber auch sehr viele Gemeinsamkeiten. Dieses Lehrmodul definiert einen Begriffsrahmen für den Problembereich; dabei wird versucht, die Gemeinsamkeiten von Differenzen bzw. Differenzwerkzeugen bei den unterschiedlichen Dokumenttypen herauszuarbeiten.

  36. [ Ke2007VVUM ] Kelter, Udo: Begriffliche Grundlagen von Modelldifferenzen; Positionspapier für Workshop "Vergleich und Versionierung von UML-Modellen" (VVUM07), GI-Tagung Software Engineering (SE2007), Hamburg, März 2007; erscheint in: Softwaretechnik-Trends 27:2; 2007
    Download: Volltext
    Deskriptoren: SiDiff, models:difference:notions, CVSM, PI

  37. [ Ke2009LLSS ] Kelter, Udo: Repository-Dienste für die modellbasierte Entwicklung;
    p.76-86 in: Design4Future 2009 - Proc. 1. Workshop des GI-Arbeitskreises Langlebige Softwaresysteme (L2S2): "Design for Future - Langlebige Softwaresysteme", Karlsruhe, Germany, October 15-16, 2009; CEUR Workshop Proceedings, Vol. 537; CEUR-WS.org; 2009
    Download: Volltext auf ceur-ws.org
    Deskriptoren: SiDiff, PI, CVSM

    Abstract: Viele langlebige Systeme existieren in mehreren Varianten, die parallel weiterentwickelt werden müssen. Hierzu werden unterstützende Repository-Dienste benötigt, neben dem klassischen Mischen von Dokumenten auch Historienanalysen. Bei Systemen, die mit modellbasierten Methoden (weiter-) entwickelt werden, ergeben sich besondere Probleme, weil auch die Modelle mitversioniert und in die Analysen einbezogen werden müssen. Dieser Workshopbeitrag beschreibt dieses Problemfeld genauer und skizziert Lösungsansätze, die im Rahmen des SiDiff-Projekts entwickelt wurden.

  38. [ Ke2010DA ] Kehrer, Timo: Erkennung modelltypspezifischer Editieroperationen auf symmetrischen Differenzen ; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2010
    Download: Volltext
    Deskriptoren: CVSM, PI

    Abstract: Die modellgetriebene Softwareentwicklung hat in vielen Bereichen an Bedeutung gewonnen. Bei diesem Vorgehen steht das Modell des zu realisierenden Systems im Vordergrund, welches iterativ mittels geeigneter Werkzeuge und Sprachen erstellt, transformiert und präzisiert wird. Die externe und interne Repräsentation der Modelle unterscheiden sich dabei erheblich. Der Benutzer interagiert mit dem Modell auf Basis einer konkreten, meist grafischen Syntax (externe Repräsentation). Werkzeuge verarbeiten diese Modelle jedoch auf Basis einer technologiegebundenen Implementierung des abstrakten Syntaxgraphen (interne Repräsentation). Dieser Bruch zwischen maschineller Darstellung und Benutzerverständnis führt häufig zu Problemen. Bspw. können Modelländerungen dem Benutzer durch die Beschreibung von elementaren Operationen auf dem abstrakten Syntaxgraphen nur schwer kommuniziert werden. Besser geeignet ist hier eine Beschreibung der inhaltlichen Änderungen auf Basis von Editieroperationen, die sich auf den vorliegenden Modelltyp aus Sicht des Benutzers anwenden lassen. Im Kontext zustandsbasierter Differenzberechnungsverfahren resultiert die Erkennung modelltypspezifischer Editieroperationen auf den berechneten, symmetrischen Differenzen in einem Pattern Matching Problem. Diese Arbeit stellt einen auf regelbasierten Graphtransformationen beruhenden, generischen Lösungsansatz vor, mit dem sich modelltypspezifische Editieroperationen auf symmetrischen Differenzen automatisiert erkennen lassen.

  39. [ Ke2010SE ] Kelter, Udo: Pseudo-Modelldifferenzen und die Phasenabhängigkeit von Metamodellen;
    p.117-128 in: Software Engineering 2010. Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.02.2010, Paderborn; LNI 159, GI; 2010
    Download: Volltext, LNI
    Deskriptoren: CVSM, PI, models:difference:notions, metamodel

    Abstract: Beim Vergleichen von Dokumenten werden manchmal Unterschiede angezeigt, die man als inhaltlich belanglos ansieht; solche Differenzen werden als Pseudodifferenzen bezeichnet. Wir betrachten dieses Phänomen für den speziellen Fall des Vergleichs von Modellen, deren Struktur durch ein Metamodell definiert wird, wie z.B. in der UML. Einen großen Teil der Pseudodifferenzen kann man darauf zurückführen, daß Metamodelle selbst abhängig von Entwicklungsphasen auf der Metaebene sind. Die Pseudodifferenzen entstehen hier, weil ``spätphasige'' Metamodelle benutzt werden. Weitere Typen von Pseudodifferenzen entstehen infolge von Editierkommandos bzw. elementaren Änderungen in abstrakten Syntaxgraphen, die nur durch mehrere zusammenhängende Änderungen auf der nächsttieferen Ebene realisiert werden können, ferner infolge suboptimaler Differenzen.

  40. [ KeBKR2012MOD ] Kehrer, Timo; Berlik, Stefan; Kelter, Udo; Ritter, Michael: Modellbasierte Entwicklung GPU-unterstützter Applikationen;
    p.139-154 in: Modellierung 2012 (Proceedings). 14.-16. März 2012, Bamberg ; LNI 201, GI; 2012
    Library Entries: bibtex@DBLP
    Deskriptoren: PI

    Abstract: Rechenintensive numerische Anwendungen müssen oft parallel auf Multiprozessorsystemen ausgeführt werden, um akzeptable Laufzeiten zu erzielen. Ein besonders wirtschaftlicher Ansatz hierbei ist die Nutzung preisgünstiger Grafikkarten (GPU, Graphics Processing Units), die eine große Zahl von Prozessoren enthalten. Aus diversen Gründen können i.d.R. aber nicht alle Funktionen auf der GPU ausgeführt werden, d.h. eine Anwendung muß teilweise auf der CPU und GPU ausgeführt werden. Softwaretechnisch resultieren hieraus zwei Probleme: erstens sind die Programmiersprachen und Entwicklungsmethoden für GPUs deutlich verschieden von denen von Allzweckprozessoren; moderne modellbasierte Entwicklungsmethoden sind kaum verfügbar. Zweitens ist für die Kooperationen der beiden Teile einer Anwendung in erheblichem Umfang Code zu implementieren. In diesem Papier stellen wir eine Lösung beider Probleme vor. Zunächst analysieren wir, welche Teilaufgaben bei der Implementierung von GPU-unterstützten Applikationen durch modellbasierte Entwicklungsmethoden und -Werkzeuge sinnvoll automatisiert werden können, um die Arbeitseffizienz und Korrektheit des Codes zu steigern. Sodann beschreiben wir ein auf dem Eclipse Modeling Framework basierendes Generatorsystem, das diese Implementierungsaufgaben automatisiert. Abschließend beschreiben wir an konkreten Beispielen, in welchem Umfang Code generiert werden konnte und welche Ausführungszeiten erzielt wurden.

  41. [ KeK2010HDI ] Kehrer, Timo; Kelter, Udo: Eine aufwandsbeschränkte Einführung in die modellbasierte Softwareentwicklung;
    p.23-33 in: Tagungsband der 4. Fachtagung zur "Hochschuldidaktik Informatik"; Commentarii informaticae didacticae (CID) 4, Universität Potsdam, URN: urn:nbn:de:kobv:517-opus-49167; 2010
    Download: Volltext, U.Potsdam
    Deskriptoren: PI

    Abstract: Seit einigen Jahren gewinnt die modellgetriebene bzw. modellbasierte Entwicklung (MBSE) immer mehr an praktischer Bedeutung. Über die grundlegende Modellierungskompetenz hinaus sollte ein Informatikstudium daher auch Konzepte und Technologien der MBSE vermitteln, und zwar nicht nur vage verstandene Schlagworte, sondern die Kompetenz, eine konkrete MBSE-Infrastruktur praktisch einzusetzen. Aufgrund der Komplexität der Technologien ist es sehr schwierig, dieses Ziel mit beschränktem Aufwand zu erreichen. Dieses Papier stellt eine Unterrichtssequenz vor, mit der ein substantieller Qualifikationsgrad mit relativ geringem Aufwand (unter 30 Arbeitsstunden bzw. einem Leistungspunkt) erreicht wird.

  42. [ KeKK2013SE ] Kelter, Udo; Kehrer, Timo; Koch, Dennis: Patchen von Modellen;
    p.171-184 in: Proc. Software Engineering 2013, Fachtagung des GI-Fachbereichs Softwaretechnik, 26.02.-01.03.2013, Aachen; Lecture Notes in Informatics 213, GI, Bonn; 2013
    Deskriptoren: CVSM, PI, patch

    Abstract: Für die modellbasierte Softwareentwicklung werden spezialisierte Werkzeuge für ein professionelles Versions- und Variantenmanagement von Modellen benötigt. Insbesondere Anwendungsfälle wie das Patchen oder Mischen von Modellen stellen sehr hohe Anforderungen an die Konsistenz der synthetisierten Modelle. Während für das klassische 3-Wege-Mischen von Modellen bereits erste brauchbare Ansätze vorgeschlagen wurden, bestehen erhebliche Defizite bei Patch-Werkzeugen. Anhand realer Einsatzszenarien von Patch-Werkzeugen erörtern wir die wesentlichen Anforderungen und Schwierigkeiten und analysieren potentielle Fehlerquellen bei der Anwendung von Patches. Daraus leiten wir wesentliche Entwurfsentscheidungen zur Konstruktion von Patch-Werkzeugen ab und stellen unseren Ansatz zum konsistenzerhaltenden Patchen vor.

  43. [ KeKOS2012SM ] Kehrer, Timo; Kelter, Udo; Ohrndorf, Manuel; Sollbach, Tim: Understanding Model Evolution through Semantically Lifting Model Differences with SiLift;
    p.638-641 in: Proc. 28th IEEE International Conference on Software Maintenance (ICSM 2012), 2012, September 23rd - 30th 2012, Riva del Garda; IEEE; 2012
    Deskriptoren: CVSM, PI, model:complex edit operations

    Abstract: In model-based software development, models are primary artifacts which iteratively evolve and which have many versions during their lifetime. A clear representation of the changes between different versions of a model is the key to understanding and successfully managing the evolution of a model-based system. However, model comparison tools currently available display model differences on a low level of abstraction, namely in terms of basic graph operations on the abstract syntax graph of a model. These low-level model differences are often hard or even impossible to understand for normal tool users who are not familiar with meta-models. In this paper we present SiLift, a generic tool environment which is able to semantically lift low-level differences of EMF-based models into representations of user-level edit operations.

  44. [ KeKPS2012ASE ] Kehrer, Timo; Pietsch, Pit; Kelter, Udo; Schmidt, Maik: Adaptability of Model Comparison Tools;
    p.306-309 in: Proc. 27th IEEE/ACM International Conference on Automated Software Engineering (ASE'12), 3-7 Sept 2012, Essen, Germany; ACM; 2012
    Library Entries: ACM Digital Library
    Deskriptoren: CVSM, PI, SiDiff, model:difference

    Abstract: Modern model-based development methodologies require a large number of efficient, high-quality model comparison tools. They must be carefully adapted to the specific model type, user preferences and application context. Implementing a large number of dedicated, monolithic tools is infeasible, the only viable approach are generic, adaptable tools. Generic tools currently available provide only partial or low-quality solutions to this challenge; their results are not satisfactory for model types such as state machines or block diagrams. This paper presents the SiDiff approach to model comparison which includes a set of highly configurable incremental matchers and a specification language to control their application.

  45. [ KeKT2011ASE ] Kehrer, Timo; Kelter, Udo; Taentzer, Gabriele: A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning;
    p.163-172 in: Proc. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11), 6-11 Nov 2011, Lawrence, Kansas, USA; ACM; 2011
    Deskriptoren: CVSM, PI, model:complex edit operations

    Abstract: In model-based software engineering, models are primary artifacts which iteratively evolve and which are often developed in teams. Therefore, comparison and merge tools for models are indispensable. These tools must compare models in a technology-dependent runtime representation and will initially derive low-level changes, which can differ considerably from user-level editing commands. Low-level differences are often incomprehensible and should be semantically lifted to the level of editing operations. This transformation of differences depends on the model type, supported editing operations, and user preferences; thus specific transformers are needed, and building them is a challenge. We present a rule-based approach to this problem: low-level differences are represented based on the Eclipse Modeling Framework. They are transformed into representations of editing operations using a rule-based model transformation engine. The necessary transformation rules are automatically derived from basic transformation rules for the editing operations.

  46. [ KeKT2012WSR ] Kehrer, Timo; Kelter, Udo; Taentzer, Gabriele: Integrating the Specification and Recognition of Changes in Models; In: 14. Workshop Software-Reengineering (WSR'12). Bad Honnef, Germany. 2.-4. May 2012; 2012
    Download: Volltext
    Deskriptoren: CVSM, PI

  47. [ KeKT2013ASE ] Kehrer, Timo; Kelter, Udo; Taentzer, Gabriele: Consistency-Preserving Edit Scripts in Model Versioning;
    p.191-201 in: Proc. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), November 11 - 15, 2013, Palo Alto, California; ACM; 2013
    Deskriptoren: CVSM, PI, model:patch, model:complex edit operations

    Abstract: In model-based software development, models are iteratively evolved. To optimally support model evolution, developers need adequate tools for model versioning tasks, including comparison, patching, and merging of models. A significant disadvantage of tools currently available is that they display, and operate with, low-level model changes which refer to internal model representations and which can lead to intermediate inconsistent states. Higher-level consistency-preserving edit operations including refactorings are better suited to explain changes or to resolve conflicts. This paper presents an automatic procedure which transforms a low-level difference into an executable edit script which uses consistency-preserving edit operations only. Edit scripts support consistent model patching and merging on a higher abstraction level. Our approach to edit script generation has been evaluated in a larger real-world case study.

  48. [ KeMS2002NOD ] Kelter, Udo; Monecke, Marc; Schild, Markus: Do We Need 'Agile' Software Development Tools?;
    p.412-430 in: International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers; LNCS 2591, Springer; 2002
    Library Entries: bibtex@DBLP
    Deskriptoren: PI

  49. [ KePRK2013ME ] Kehrer, Timo; Pietsch, Pit; Rindt, Michaela; Kelter, Udo: Generating Edit Operations for Profiled UML Models;
    p.?? in: Proc. Intl. Workshop On Models And Evolution (ME 2013), Co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems; ; ME2013
    Library Entries: bibtex@DBLP
    Deskriptoren: PI, CVSM

    Abstract: ....

  50. [ KeS2008CVSM ] Kelter, Udo; Schmidt, Maik: Comparing State Machines;
    p.1-6 in: Proc. 2008 ICSE Workshop on Comparison and Versioning of Software Models, May 17, 2008, Leipzig; ACM; 2008
    Library Entries: ACM Digital Library
    Deskriptoren: SiDiff, CVSM, CVSM08, PI, models:difference

    Abstract: State machines and similar state models are heavily used model types in model-driven development. This paper discusses how state models can be compared, more precisely how the difference between two state models should be defined, how it can be efficiently computed, and how it can be displayed. Some of the issues result from an inappropriate design of the UML metamodels and can be solved by switching to a more appropriate metamodel. Another issue are move operations, which raise the question how to optimize a difference. We argue in favour of simple heuristics and the interactive correction of a difference.

  51. [ KeSW2008SE ] Kelter, Udo; Schmidt, Maik; Wenzel, Sven: Architekturen von Differenzwerkzeugen für Modelle;
    p.155-168 in: Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München; LNI 121, GI; 2008
    Download: Volltext LNI
    Library Entries: bibtex@DBLP
    Deskriptoren: CVSM, PI, models:difference:visualization

    Abstract: Die modellbasierte Softwareentwicklung erfordert in der Praxis die üblichen Versionsmanagement-Dienste, also insb. Werkzeuge, die Differenzen zwischen Modellen anzeigen oder Modelle mischen können. Solche Werkzeuge unterscheiden sich erheblich von Differenzwerkzeugen für Text-Dokumente: Für die Darstellung einer Differenz müssen neue Wege gefunden werden, und im Prinzip müssen für jeden Diagrammtyp dedizierte Werkzeuge entwickelt werden, insg. also eine ganze Systemfamilie. Dieses Papier stellt mehrere Standardarchitekturen'' für Differenzwerkzeuge für Modelle vor und bewertet diese Architekturen und die zugehörigen Darstellungsformen hinsichtlich Qualität der Darstellung, Implementierungsaufwand und weiteren Kriterien.

  52. [ KeW2009NWMODE ] Kehrer, Timo; Wenzel, Sven: Test-Driven Development of Model Transformations; In: Proceedings of the 7th Nordic Workshop on Model-Driven Engineering (NW-MODE'09). Tampere, Finland. August 26-28, 2009.; 2009
    Deskriptoren: PI

    Abstract: Model-driven engineering has made its way in contemporary software engineering. Thereby, the creation of model transformations is a central task that requires development techniques based on the best practices of software engineering principles. This paper addresses test-driven development for the implementation of model transformations. We outline general problems of testing model transformations with respect to test-driven development, illustrate our principal approach and report our experiences by means of a real project example.

  53. [ KeWN2005SE ] Kelter, Udo; Wehren, Jürgen; Niere, Jörg: A Generic Difference Algorithm for UML Models;
    p.105-116 in: Proc. Software Engineering 2005. Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.3.2005, Essen; LNI 64, GI; 2005
    Download: Volltext, LNI
    Library Entries: bibtex@DBLP
    Deskriptoren: SiDiff, models:difference, CVSM, PI

    Abstract: Abstract: It is state-of-the-art to use the Unified Modelling Language (UML) to describe software system models. In order to support cooperative team work a version management system which supports UML models is absolutely necessary. The essential part of such systems is the ability to calculate differences and present them to the developer. This paper presents an approach for computing differences between UML models encoded as XMI files. In contrast to our previous work, we present a generic approach, with which we are able to cover a broad range of UML diagram types. It also does not require persistent identifiers of diagram elements. Our prototype implementation shows, that our difference algorithm used leads to good runtimes in the case of small documents and acceptable runtimes in the case of large documents. Overall, it has a very low error rate, i.e. the quality of the differences is almost optimal.

  54. [ LoGJS2007TOOLS ] Lohmann, Carsten; Greenyer, J.; Jiang, J.; Systä, T.: Applying Triple Graph Grammars For Pattern-Based Worfklow Model Transformations; TOOLS Europe 2007; 2007
    Deskriptoren: PI

  55. [ Lu2004DA ] Lück, Stephan: Ein Differenzanzeige-Plugin für Klassendiagramme in Fujaba; (in German), University of Siegen, Germany, 2004; 2004
    Download: Volltext
    Deskriptoren: models:difference:visualization, CVSM, PI

  56. [ Lu2006DA ] Lück, Stephan: Differenzberechnung hierarchischer Softwareentwicklungsmodelle; Diplomarbeit, FB Praktische Informatik, Universität Siegen; 2006
    Deskriptoren: SiDiff, models:difference, CVSM, PI

    Abstract: Die Entwicklung und Wartung komplexer Software geschieht in der Praxis sehr häufig unter Verwendung von Modellen zur Analyse und zum Entwurf des zu betrachtenden Systems. Modelle werden durch Diagramme graphischer Modellierungssprachen wie der UML repräsentiert. Bei einer verteilten und phasenparallelen Veränderung von Diagrammen besteht der Bedarf, Unterschiede (Differenzen) zwischen verschiedenen Versionen zu berechnen und zu visualisieren. Das in einer vorangegangenen Arbeit entwickelte Werkzeug SIUMLDiff liefert gute Ergebnisse für die Differenzberechnung ``flacher'' Diagrammtypen wie Klassendiagramme. Hierarchische Diagramme können jedoch im Allgemeinen nicht verarbeitet werden, da deren Bestandteile (z.B. Zustände bei Statecharts) durch Verschachtelungen ein beliebig, jedoch endlich tiefes Diagramm repräsentieren können. In dieser Arbeit wird ein Konzept zur Differenzberechnung hierarchischer Diagramme vorgestellt. Dieses Konzept wird durch die Weiterentwicklung des vorhandenen Differenzwerkzeugs umgesetzt. Nach sämtlichen Uberlegungen zur Anforderungsanalyse und zum Entwurf werden Ergebnisse präsentiert. Diese ergeben sich aus der Anwendung des modifizierten Differenzwerkzeugs sowohl auf Statecharts, als auch auf Matlab Simulink-Diagramme.

  57. [ Ni2004FD ] Niere, Jörg: Visualizing Differences of UML Diagrams With Fujaba; in: Proceedings of the International Fujaba Days 2004, Paderborn, Germany, September 2004; 2004
    Download: Volltext auf citeseer
    Download: Volltext auf pi80
    Library Entries: citeseer
    Deskriptoren: SiDiff, models:difference, CVSM, PI

  58. [ Oh2004Diss ] Ohst, Dirk: Versionierungskonzepte mit Unterstützung für Differenz- und Mischwerkzeuge; Dissertation, Univ. Siegen, Fachbereich 12, Elektrotechnik und Informatik, 2004, URN (NBN): urn:nbn:de:hbz:467-831; 2004
    Download: Volltext DNB
    Download: Volltext UB U.Siegen
    Library Entries: Deutsche Nationalbibliothek
    Deskriptoren: CVSM, PI, merging

    Abstract: Software configuration management (SCM) is an indispensable part of high-quality software development processes. An advantage of using SCM systems is that one can create versions of a document, detect the differences between them and release systems as configuration of certain document versions. A large number of SCM systems and concepts are available, however most of them (incl. systems such as RCS, CVS and SCCS) only work with text files. Therefore SCM is a well established and common practise in the later phases of software development processes, notably during programming and maintenance. SCM is a less common practise during the early phases, i.e. analysis and design. Existing SCM systems are not well suited for the versioning, detection and visualisation of differences between documents in the early phases, because those documents are not text, but diagrams usually part of modelling languages such as the UML.

    The first part of this thesis addresses the problem of versioning diagrams. The proposed versioning system is based an object management system (OMS) to store all diagrams and on an OMS-oriented tool architecture. The tool transactions of the OMS are the basis of the proposed versioning concept. All modified objects are automatically versioned inside the tool transactions. Single object versions are combined in a configuration, which forms one version of an entire document in the OMS. Design transactions provide the required versions of the documents to the tool transactions.

    This versioning concept offers a different kind of team cooperation compared to the use of RCS, CVS, etc. All developers work on the same data. Thus modifications are visible to all developers working on the same document version and do not affect others. The consistency is ensured by transaction locks on object versions.

    The second part of this thesis addresses the visualisation of diagram differences when working cooperatively. The computation of the differences is based on the object identifiers offered by the OMS. The proposed visualisation of the differences is independent from the used version management system but depend on the modelling language and its syntax elements. The differences are visualised by using an so called unified diagrams. This kind of diagram includes the common and the specific parts of the compared diagrams. The specific parts are highlighted using different colours.

    The versioning concept and the visualisation has been prototypically implemented on the OMS H-PCTE and the tool set PISET. PISET supports Editors for UML collaboration, object, use case, class and statechart diagrams . The visualisation of UML class diagrams have also been implemented in the Fujaba CASE tool.

  59. [ OhK2002SM ] Ohst, Dirk; Kelter, Udo: A Fine-grained Version and Configuration Model in Analysis and Design;
    p.521-527 in: ; ;
    Library Entries: bibtex@DBLP
    Deskriptoren: HPCTE, design transactions, repository system, CVSM, PI

    Abstract: In this paper we present a model of version and configuration management in the early phases of software development and an implementation of this model. We assume that software documents are modeled in a fine-grained way, that they are stored as syntax trees in XML files or a repository system, and that tools directly operate on these syntax trees. In contrast to file-based systems, structural changes in the document, e.g. the shifting of a method between two classes, can be identified in our model. Configurations allow us to manage groups of single modifications; such a group will mostly correspond to a specific design task or a similar activity. Configurations are thus a means to establish a connection to a change management system

  60. [ OhWK2003ESEC ] Ohst, Dirk; Welle, Michael; Kelter, Udo: Differences between Versions of UML Diagrams;
    p.227-236 in: ; ;
    Library Entries: ACM Dig.Lib., bibtex@DBLP, citeseerx
    Deskriptoren: CVSM, PI, HPCTE, models:difference, models:difference:visualization

    Abstract: This paper addresses the problem of how to detect and visualise differences between versions of UML documents such as class or object diagrams. Our basic approach for showing the differences between two documents is to use a unified document which contains the common and specific parts of both base documents; the specific parts are highlighted. The main problems are (a) how to abstract from modifications done to the layout and other (document type-specific) details which are considered irrelevant; (b) how to deal with structural changes such as the shifting of an operation from one class to another; (c) how to reduce the amount of highlighted information. Our approach is based on the assumption that software documents are modelled in a fine-grained way, i.e. they are stored as syntax trees in XML files or in a repository system, and that the version management system supports fine-grained data. Our difference computation algorithm detects structural changes and enables their appropriate visualisation. Highlighting can be restricted on the basis of the types of the elements and on the basis of the revision history, e.g. only changes which occurred during a particular editing session are highlighted

  61. [ OhWK2003SM ] Ohst, Dirk; Welle, Michael; Kelter, Udo: Difference Tools for Analysis and Design Documents;
    p.13-22 in: ; ;
    Library Entries: bibtex@DBLP
    Deskriptoren: CVSM, PI, HPCTE, models:difference, models:difference:visualization

    Abstract: This paper presents a concept and tools for the detection and visualisation of differences between versions of graphical software documents such as ER, class or object diagrams, state charts, etc. We first analyse the problems which occur when comparing graphical documents and displaying their similarities and differences. Our basic approach is to use a unified document which contains the common and specific parts of both base documents with the specific parts being highlighted. The central problem is how to reduce the amount of highlighted elements and enable the developer to have a certain amount of control over the changes be selectively highlighted. With regard to tool construction, we assume that software documents are modelled in a fine-grained way, that they are stored as syntax trees in XML files or a repository system and that a version management system is used. By using the features of the data model and the version model we are able to detect and visualise differences between diagram versions, including structural changes (e.g. shifting of a method from one class to another). We further exploit information about the version history delivered by the underlying version management system by highlighting only differences based on structural or logical changes

  62. [ Pi2008DA ] Pietsch, Pit: Optimierung des SiDiff-Algorithmus unter Ausnutzung modellspezifischer Eigenschaften und Strukturen; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2008
    Download: Volltext
    Deskriptoren: CVSM, SiDiff, PI, models:difference, optimization

    Abstract: Die Differenzanalyse von technischen Dokumenten besitzt in ihrem Kern eine quadratische Laufzeit. Auf die reale Laufzeit wirkt sich allerdings auch die Komplexität der Vergleichsfunktionen aus, mit denen die Berechnung der Ähnlichkeitswerte zwischen zwei Elementen erfolgt. In dieser Arbeit wird geprüft, ob ein Verfahren aus der Bioinformatik, das fingerprintbasierte Screening, dazu geeignet ist, schnell die Menge an Elementen zu bestimmen, die eine gute Aussicht auf hohe Ähnlichkeit zu einem Musterelement besitzen. Auf diese Weise soll der Aufwand für die Berechnung des Ähnlichkeitswertes zwischen Elementen mit wenig Gemeinsamkeit gespart werden. Wie gezeigt wird, lässt sich die reale Laufzeit der Differenzanalyse mitunter drastisch verkürzen. Allerdings sind die erzielten Ergebnisse kritisch zu sehen, da das Verfahren in seinem neuen Anwendungskontext einzig ein heuristischer Ansatz ist, der keine Garantie auf eine Berechnung optimaler Ergebnisse geben kann.

  63. [ PiKR2013CVSM ] Pietsch, Pit; Kelter, Udo; Ringert, Jan Oliver: International Workshop on Comparison and Versioning of Software Models (CVSM 2013);
    p.377 in: Proc. Software Engineering 2013, Fachtagung des GI-Fachbereichs Softwaretechnik, 26.02.-01.03.2013, Aachen; Lecture Notes in Informatics 213, GI, Bonn; 2013
    Deskriptoren: CVSM, PI

  64. [ PiKW2012SSM ] Pietsch, Pit; Kelter, Udo; Wenzel, Sven: Towards More Efficient Model Matching With Fingerprints; submitted to Software and Systems Modeling, Springer; 2012
    Deskriptoren: CVSM-reserve, PI, Fingerprints

    Abstract: Configuration management and differencing tools for models aim at supporting model-driven software development. A central functionality within these tools is model comparison. A number of algorithms which implement this function and which are usable in different contexts have been proposed recently. Several algorithms have a complexity of O(n**2); if these algorithms are applied to medium or large models the execution times become unacceptable. Therefore, this paper presents a new approach to improve the performance of the matching phase in these algorithms. The main idea is to preselect model elements which are eligible for a correspondence using fingerprints. Fingerprints are bit vectors which can be processed efficiently and which represent a small subset of the information about a model element. Moreover, the paper also presents evaluation results which show that the performance of model comparison algorithms can be improved significantly.

  65. [ PiSK2011ASE ] Pietsch, Pit; Shariat Yazdi, Hamed; Kelter, Udo: Generating Realistic Test Models for Model Processing Tools;
    p.620-623 in: Proc. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11), 6-11 Nov 2011, Lawrence, Kansas, USA; ACM; 2011
    Deskriptoren: CVSM, PI, model:complex edit operations

    Abstract: Test models are needed to evaluate and benchmark algorithms and tools in model driven development. Most model generators randomly apply graph operations on graph representations of models. This approach leads to test models of poor quality. Some approaches do not guarantee the basic syntactic correctness of the created models. Even if so, it is almost impossible to guarantee, or even control, the creation of complex structures, e.g. a subgraph which implements an association between two classes. Such a subgraph consists of an association node, two association end nodes, and several edges, and is normally created by one user command. This paper presents the SiDiff Model Generator, which can generate models, or sets of models, which are syntactically correct, contain complex structures, and exhibit defined statistical characteristics.

  66. [ PiSK2012SE ] Pietsch, Pit; Shariat Yazdi, Hamed; Kelter, Udo: Controlled Generation of Models with Defined Properties;
    p.95-106 in: Proc. Software Engineering 2012, Fachtagung des GI-Fachbereichs Softwaretechnik, 2012, Berlin; Lecture Notes in Informatics, GI; 2012
    Download: Volltext
    Library Entries: EMIS, BibTeX DBLP
    Deskriptoren: CVSM, PI, model:complex edit operations

    Abstract: Abstract: Test models are required to evaluate and benchmark algorithms and tools which support model driven development. In many cases, test models are not readily available from real projects and they must be generated. Using existing model generators leads to test models of poor quality because they randomly apply graph operations on graph representations of models. Some approaches do not even guarantee the basic syntactic correctness of the created models. This paper presents the SiDiff Model Generator, which can generate models and model histories and which can modify existing models. The resulting models are syntactically correct, contain complex structures, and have specified statistical properties, e.g. the frequencies of model element types.

  67. [ PiW2012BPMN ] Pietsch, Pit; Wenzel, Sven: Comparison of BPMN2 Diagrams; p.83-97 in: Proc. Business Process Model and Notation (BPMN 2012), 4th Int. Workshop, Vienna, Austria, September 12-13, 2012; Lecture Notes in Business Information Processing 125 2012, Springer; 2012
    Library Entries: springerlink
    Deskriptoren: CVSM, PI, BPM

    Abstract: Models are compared to identify which elements are unchanged and which were added, removed, or modified. This information is necessary for developers to understand which edit steps were applied between two revisions of a model, to discover differences in concurrently developed models and it is also a fundamental building block for advanced processing steps, e.g. model merging. Hence, model comparison is generally considered as a critical factor for the acceptance and success of model-driven development approaches. Surprisingly however, for many model types only inadequate tool support for comparing models is available. This paper presents the prototype of a similarity-based model comparison tool for BPMN2 diagrams. The algorithms and heuristics of the SiDiff model differencing framework have been configured to the specific characteristics of BPMN2 diagrams. An initial evaluation indicates that the presented prototype produces results of high quality.

  68. [ Sc2007VVUM ] Schmidt, Maik: SiDiff: generische, auf Ähnlichkeiten basierende Berechnung von Modelldifferenzen; Positionspapier für Workshop "Vergleich und Versionierung von UML-Modellen" (VVUM07), GI-Tagung Software Engineering (SE2007), Hamburg, März 2007; erscheint in: Softwaretechnik-Trends 27:2; 2007
    Download: Volltext
    Deskriptoren: SiDiff, models:difference, CVSM, PI

  69. [ ScG2008ICSEC ] Schmidt, Maik; Gloetzner, Tilman: Constructing Difference Tools for Models Using the SiDiff Framework;
    p.947-948 in: Companion Volume, ICSE 2008, May 10-18, 2008, Leipzig, Germany; ACM Press; 2008
    Deskriptoren: SiDiff, CVSM, PI, models:difference, models:difference:visualization

    Abstract: Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of approaches for constructing version management tools which compare models and show their difference. The general problem is aggravated by the fact that such tools must consider the semantics of each particular model (or diagram) type, i.e. a whole family of tools needs to be constructed. This research demonstration shows how such families of difference tools can be constructed using the SiDiff framework.

  70. [ ScIGFBHR2006Neuro ] Schuster, L.; Irnich, B.; Grond, M.; Fathi, M.; Berlik, Stefan; Holland, A.; Reul, J.: MRT Diffusionsbildgebung vor und nach neurointerventionellen Eingriffen; In Proc. of Deutscher Neurologen und Neuroradiologen-Kongress (Neurowoche), Mannheim, Germany, 2006; 2006
    Deskriptoren: PI

  71. [ ScW2007MDSE ] Schmidt, Maik; Wenzel, Sven: Ähnlichkeitsbasierte Berechnung von Simulink-Modelldifferenzen mit SiDiff; p.61-71 in: Proc. Modellbasierte Software-Entwicklung für eingebettete Systeme, 2. Workshop der Special Interest Group "Model-Driven Software Engineering", Stuttgart, 2007; ISBN 978-3-8325-1595-9; 2007
    Download: Folien
    Deskriptoren: SiDiff, CVSM, PI, models:difference

    Abstract: Der hohen Durchgängigkeit der modellgetriebenen Entwicklung stehen gegenwärtig erhebliche Einschränkungen im Bereich des Konfigurations- und Versionsmanagements gegenüber. Als erster Schritt zur Aufhebung dieser Einschränkungen für die Modellierungsplattform Matlab/Simulink wurde daher der generische Differenzalgorithmus SiDiff auf den Vergleich von Simulink-Modellen konfiguriert. Im Rahmen dieses Erfahrungsberichtes werden die wesentlichen Aspekte der Adaption sowie die aufgetretenen Problemfelder skizziert.

  72. [ ScWK2009SE ] Schmidt, Maik; Wenzel, Sven; Kelter, Udo: Transaktionsorientiertes Mischen von Modellen;
    p.165-170 in: Software Engineering 2009. Fachtagung des GI-Fachbereichs Softwaretechnik, 02.-06.03.2009, Kaiserslautern; LNI 143, GI; 2009
    Download: Volltext
    Deskriptoren: SiDiff, PI, CVSM, models:merging

    Abstract: Modellbasierte Softwareentwicklung wird zunehmend gängige Praxis. Da immer umfangreichere Modelle arbeitsteilig in Teams entwickelt werden, sollte das parallele Bearbeiten von Modellen durch ähnliche Mischfunktionen unterstützt werden, wie man es für textuelle Dokumente gewohnt ist. Wir analysieren zunächst die technischen Randbedingungen bei der modellbasierten Softwareentwicklung; demzufolge müssen Mischprozesse bei Modellen anders gestaltet werden als bei Texten. Auf dieser Basis stellt das Papier ein Design für Mischwerkzeuge vor, das einen hohen Grad an Konsistenz der Mischergebnisse erzielt und gleichzeitig Verluste an Arbeit infolge von Konfliktauflösungen minimiert.

  73. [ ScWKK2009CVSM ] Schmidt, Maik; Wenzel, Sven; Kehrer, Timo; Kelter, Udo: History-based Merging of Models;
    p.13-18 in: Proc. 2009 ICSE Workshop on Comparison and Versioning of Software Models, May 17, 2009, Vancouver; IEEE, Catalog Number CFP0923G; 2009
    Library Entries: ACM Digital Library
    Deskriptoren: CVSM, CVSM09, PI, models:merging, SiDiff

    Abstract: Model-driven development in collaborative teams requires services for merging models. Such services should have the same quality as one is used to for source code. The constraints which are relevant in model driven engineering imply that the merging of models must be implemented differently than merging of texts. Based on the analysis of these constraints, we present an approach for merging models that attains a high level of consistency of the merged models and minimizes the loss of effort due to conflict resolution.

  74. [ ShPKK2012SE ] Shariat Yazdi, Hamed; Pietsch, Pit; Kehrer, Timo; Kelter, Udo: Statistical Analysis of Changes for Synthesizing Realistic Test Models; Submitted to GI Software Engineering 2013; 2012
    Download: Volltext
    Deskriptoren: CVSM-reserve, PI, SMG

    Abstract: Tools and methods in the context of Model-Driven Engineering have to be evaluated and tested. Unfortunately, adequate test models are scarcely available in many application domains, and available models often lack required properties. Test model generators have been proposed recently to overcome this deficiency. Their basic principle is to synthesize test models by controlled application of edit operations from a given set of edit operation definitions. If test models are created by randomly selecting edit operations they become quite unnatural and do not exhibit real-world characteristics; generated sequences of edit operation should rather be similar to realistic model evolution. To this end, we have reverse-engineered a carefully selected set of open-source Java projects to class diagrams and computed the differences between subsequent revisions in terms of various edit operations, including generic low-level graph edit operations and high-level edit operations such as model refactorings. Finally, we statistically analyzed the distribution of the frequency of these edit operations. We have checked the fitness of 60 distributions to correctly represent the statistical properties. Only four distributions were able to adequately describe the observed evolution. The successful distributions are being used to configure our model generator in order to produce more realistic test models.

  75. [ ShPKK2013SE ] Shariat Yazdi, Hamed; Pietsch, Pit; Kehrer, Timo; Kelter, Udo: Statistical Analysis of Changes for Synthesizing Realistic Test Models;
    p.225-238 in: Proc. Software Engineering 2013, Fachtagung des GI-Fachbereichs Softwaretechnik, 26.02.-01.03.2013, Aachen; Lecture Notes in Informatics 213, GI, Bonn; 2013
    Deskriptoren: CVSM, PI, evolution, model:difference, repository system, model:histories

    Abstract: Tools and methods which support Model-Driven Engineering have to be evaluated and tested. Unfortunately, adequate test models are scarcely available in many application domains, and available models often lack required properties. Test model generators have been proposed recently to overcome this deficiency. Their basic principle is to synthesize test models by controlled application of edit operations from a given set of edit operation definitions. Test models are created by randomly selecting edit operations are often unnatural and do not exhibit real-world characteristics; generated sequences of edit operation should rather be similar to realistic model evolution. To this end, we have reverse-engineered a carefully selected set of open-source Java projects to class diagrams and computed the differences between subsequent revisions in terms of various edit operations, including generic low-level graph edit operations and high-level edit operations such as model refactorings. Finally, we statistically analyzed the distribution of the frequency of these edit operations. We have checked the fitness of 60 distributions in order to correctly represent the statistical properties. Only four distributions have been able to adequately describe the observed evolution. The successful distributions are being used to configure our model generator in order to produce more realistic test models.

  76. [ StDG+2007Dag ] Stürmer, I.; Dörr, H.; Giese, H.; Kelter, Udo; Schürr, Andy; Zündorf, Albert: Das MATE Projekt - Visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen; p.83-94 in: Proc. Workshop Modellbasierte Entwicklung Eingebetteter Systeme III (MBEES'07), Schloß Dagstuhl, Germany, Jan. 2007; 2007
    Download: Volltext MBEES07
    Download: Volltext MBEES07 auf citeseerx
    Deskriptoren: CVSM, SiDiff, PI, models:difference

    Abstract: Abstract: Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effizienz der modellbasierten Entwicklung zu erhöhen, sind Richtlinien für die Modellierung unerlässlich. Diese manuell zu überprüfen ist aufwändig und fehleranfällig. Das Projekt MATE (MATLAB Simulink/Stateflow Analysis and Transformation Environment) hat sich deshalb zum Ziel gesetzt, die bislang meist manuelle Prüfung der Einhaltung bzw. Verletzung von Modellierungsrichtlinien zu automatisieren, sowie vor allem Modelltransformationen zur Korrektur entdeckter Mängel und zur Unterstützung von Entwicklungsschritten und die Visualisierung der Unterschiede verschiedener Entwicklungsstände zu untersuchen.

  77. [ Tr2007DA ] Treude, Christoph: Einsatz multidimensionaler Suchstrukturen zur Optimierung der Bestimmung von Dokumentdifferenzen; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2007
    Deskriptoren: CVSM, SiDiff, PI, models:difference

    Abstract: Durch den Trend zu modellbasierter Entwicklung hat die Bedeutung von Differenzwerkzeugen für Modelldokumente stark zugenommen. Differenzen sind besonders zwischen unterschiedlichen Versionen eines Dokuments und bei Beteiligung mehrerer Personen an der Entwicklung eines Dokuments von Interesse. Die Berechnung von Differenzen zwischen nicht-textuellen Dokumenten gestaltet sich deutlich komplexer als zwischen reinen Textdokumenten. Dabei werden Modelldokumente meist als getypte Graphen interpretiert, in denen die einzelnen Elemente der Dokumente durch Knoten repräsentiert werden. Im Zuge der Differenzberechnung werden alle Elemente der zu vergleichenden Dokumente paarweise und gruppiert nach ihren Typen verglichen. Um die daraus resultierende quadratische Laufzeit, die vor allem für größere Dokumente inakzeptabel ist, zu verringern, wird in dieser Arbeit mit dem S3V Baum eine hauptspeicherbasierte, hochdimensionale und balancierte Datenstruktur zur Verwaltung von Dokumentelementen vorgestellt, die ähnliche Elemente benachbart anordnet. Somit müssen nicht alle Elemente betrachtet werden, um zu einem gegebenen Element die Menge der ähnlichen Elemente in anderen Dokumenten zu finden. Da der S3V Baum numerische Vektoren verwaltet, werden weiterhin mit lexikalischen und metrischen Indizes zwei Mechanismen dargestellt, mit denen Dokumentelemente auf Vektoren abgebildet werden können. Metrische Indizes basieren auf dem Konzept von Software-Metriken und bilden Eigenschaften der Elemente auf Zahlen ab. Das Ziel lexikalischer Indizes ist die Erfassung von Namensähnlichkeiten durch den Einsatz von Namen bzw. Namensteilen als Vektorindizes. Für die Integration der Datenstruktur in die Differenzberechnung ergeben sich mehrere Alternativen, die in dieser Arbeit aufgezeigt werden. Die abschließende Evaluierung des Ansatzes vor allem mit UML-Klassendiagrammen hat ergeben, dass die Laufzeit für große Dokumente teilweise um einen Faktor von bis zu 50 reduziert werden kann

  78. [ TrBWK2007ESEC ] Treude, Christoph; Berlik, Stefan; Wenzel, Sven; Kelter, Udo: Difference Computation of Large Models;
    p.295-304 in: ; ;
    Library Entries: bibtex@DBLP, ACM Digital Library
    Deskriptoren: models:difference, CVSM, SiDiff, PI

    Abstract: Modern software engineering practices lead to large models which exist in many versions. Version management systems should offer a service to compare, and possibly merge, these models. The computation of a difference between large models is a big challenge; current algorithms are too inefficient here. We present a new technique for computing differences between models. In practical tests, this technique has been an order of magnitude faster than currently known algorithms. The main idea is to use a high-dimensional search tree for efficiently finding similar model elements. Individual elements are mapped onto a vector of numerical values using a collection of metrics for models and a numerical representation of the names which occur in a model

  79. [ We2004DA ] Wehren, Jürgen: Ein XMI-basiertes Differenzwerkzeug für UML-Diagramme; Diploma Thesis (in German), University of Siegen, Germany, 2004; 2004
    Deskriptoren: CVSM, SiDiff, PI, models:difference

    Abstract: Die Entwicklung von Softwaresystemen wurde in den letzten Jahren fortschreitend komplexer. Dabei geht der Trend dahin, immer mehr Systeme zu integrieren. Bei einer hohen Komplexit¨at und Gr¨oße eines zu entwickelnden Softwaresystems wird es notwendig, dass mehrere Entwickler bereits in den fr¨uhen Phasen an der Erstellung von entsprechenden Modellen der Systeme beteiligt sind. Eine solche teamorientierte Entwicklung ben¨otigt entsprechende Werkzeuge. Dabei sind unter anderem die Versionierung und daraus folgend die Differenzberechnung von Dokumenten von Bedeutung. In sp¨aten Phasen der Softwareentwicklung geh¨ort die Verwendung von entsprechenden Werkzeugen zur Tagesordnung. W¨ahrend der Analyse sind vergleichbare Werkzeuge allerdings noch nicht so verbreitet. Das liegt daran, dass die etabliertenWerkzeuge passende Funktionalit¨aten gar nicht oder nur unausgereift anbieten.

  80. [ We2005FD ] Wenzel, Sven: Detection of Incomplete Patterns Using FUJABA Principles; In: Proceedings of the 3rd International Fujaba Days 2005: "MDD in Practice". Paderborn, Germany. September 2005; 2005
    Deskriptoren: PI, models:design patterns

    Abstract: An approach for the detection of structural patterns in UML class diagrams is presented. It picks up some principles of the reverse engineering component of Fujaba, such as a hierarchical pattern definition and an alternating bottomup/ top-down analysis. Furthermore it uses a fuzzy-like evaluation mechanism so that it is able to recognize not only entire patterns but also incomplete instances

  81. [ We2005NJC ] Wenzel, Sven: Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams; In: Nordic Journal of Computing, vol. 12, no. 4, pp. 379-394. December 2005; 2005
    Deskriptoren: PI, models:design patterns

  82. [ We2005NWUML ] Wenzel, Sven: Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams; In: Proceedings of the 3rd Nordic Workshop on UML and Software Modeling (NWUML 05). Tampere, Finland. August 2005; 2005
    Deskriptoren: PI, models:design patterns

    Abstract: Since software systems become larger and more complex, the task of understanding while developing and especially while maintaining software becomes more and more difficult. Therefore the use of patterns has become a helpful methodology to develop software in a more structured and understandable way. In general, a pattern is a scheme that consists of three main parts: a context, a problem, and a solution. They discuss a particular recurring problem which arises in a particular situation ~ the context. Furthermore they offer a proven solution to this problem

  83. [ We2007VVUM ] Wenzel, Sven: Informationsgewinnung aus Modellhistorien; Positionspapier für Workshop "Vergleich und Versionierung von UML-Modellen" (VVUM07), GI-Tagung Software Engineering (SE2007), Hamburg, März 2007; Softwaretechnik-Trends 27:2; 2007
    Download: Volltext
    Deskriptoren: CVSM, SiDiff, PI, models:histories

  84. [ We2007WSR ] Wenzel, Sven: How to trace model elements; In: 9. Workshop Software-Reengineering (WSR'07). Bad Honnef, Germany. 2.-4. May 2007; 2007
    Download: Volltext
    Deskriptoren: CVSM, SiDiff, PI, models:histories

  85. [ We2008CVSM ] Wenzel, Sven: Scalable Visualization of Model Differences;
    p.41-46 in: Proc. 2008 ICSE Workshop on Comparison and Versioning of Software Models, May 17, 2008, Leipzig; ACM; 2008
    Library Entries: ACM Digital Library
    Deskriptoren: CVSM, SiDiff, PI, models:histories

    Abstract: If large models are compared their difference can contain a huge number of local changes. Conventional methods for displaying differences cannot reasonably handle such large differences. This paper proposes a solution to this problem. Our approach is based on the concept of polymetric views and extends it in two ways: firstly, we propose metrics for differences which quantify properties of differences and distinguish relevant from irrelevant changes. Moreover, we propose new graphical features of polymetric views. This combination provides a scalable presentation of differences which makes the changes of large models comprehensible.

  86. [ WeHK2007SM ] Wenzel, Sven; Hutter, Hermann; Kelter, Udo: Tracing Model Elements;
    p.104-113 in: ; ;
    Deskriptoren: CVSM, SiDiff, PI, models:histories

    Abstract: In model-driven engineering developers work mainly or only with models, which exist in many versions. This paper presents an approach to trace single model elements or groups of elements within a version history of a model. It also offers analysis capabilities such as detection of logical coupling between model elements. The approach uses a differencing algorithm known as SiDiff to identify similar elements in different versions of a model. SiDiff is highly configurable and thus our tracing approach can be adapted to all diagram types of the UML and to a large set of domain specific languages. The approach has been implemented as an Eclipse plug-in that visualizes all relevant information about the traces and it allows developers to interactively explore details. It has been evaluated by several groups of test persons; they considered most of the functions of the tool to be very useful.

  87. [ WeK2006PDRE ] Wenzel, Sven; Kelter, Udo: Model-Driven Design Pattern Detection Using Difference Calculation; in: Proc. of the 1st International Workshop on Pattern Detection For Reverse Engineering (DPD4RE), co-located with 13th Working Conference on Reverse Engineering (WCRE'06). Benevento, Italy. October 2006; 2006
    Deskriptoren: CVSM, SiDiff, PI, models:design patterns

    Abstract: This paper addresses the question of how to detect instances of patterns in software systems regarding model-driven development. The knowledge about patterns used in a software assists developers understanding large and complex software systems. Since model-driven engineering is the main philosophy of today~s software engineering and UML is used as a standard language for modeling, developers should be made familiar with pattern instances although they work with models only

  88. [ WeK2008ICSE ] Wenzel, Sven; Kelter, Udo: Analyzing Model Evolution;
    p.831-834 in: Proc. 30th International Conference on Software Engineering, Leipzig, Germany, May 10-18, 2008 (ICSE'08); ACM Press; 2008
    Library Entries: ACM Digital Library, bibtex@DBLP
    Deskriptoren: CVSM, SiDiff, PI, models:histories

    Abstract: Model-driven development leads to development processes in which a large number of different versions of models are produced. We present FAME, a tool environment which enables fine-grained analysis of the version history of a model. The tool is generic in the sense that it can work with various model types including UML and domain-specific languages.

  89. [ WeKKK2009SM ] Wenzel, Sven; Koch, Jens; Kelter, Udo; Kolb, Andreas: Evolution Analysis with Animated and 3D-Visualizations;
    p.475-478 in: ; ;
    Library Entries: DBLP
    Deskriptoren: CVSM, PI, evolution

    Abstract: Large software systems typically exist in many revisions. In order to analyze such systems, their evolution needs to be analyzed, too. The main challenge in this context is to cope with the large volume of data and to visualize the system and its evolution as a whole. This paper presents an approach for visualizing the evolution of large-scale systems which uses three different, tightly integrated visualizations that are 3-dimensional and/or animated and which support different analysis tasks. According to a first empirical study, all tasks are supported well by at least one visualization.

  90. [ Wel2005DA ] Welle, Michael: Ein interaktives graphisches Mischwerkzeug für feinkörnig modellierte UML-Diagramme; Diplomarbeit, Fachgruppe Praktische Informatik, Universität Siegen; 2005
    Deskriptoren: CVSM, models:difference:visualization, models:merging, PI, HPCTE