@phdthesis{7583,
  abstract     = {{This thesis describes an approach for automated detection of concurrent liveness failures in the execution of Java programs. Concurrent programs are highly prone to failure because of the inherent nondeterminism. Developers of concurrent Java programs are not well supported in detecting concurrency failures, i.e. failures that are due to interactions between multiple threads. These failures are neither well documented nor do tools like debuggers allow developers to identify them at runtime. This thesis analyses and classifies liveness failures, a special kind of concurrency failures, and the associated potentials in Java. A UML statechart is developed that models the interaction of Java threads. Liveness failures and potentials are specified formally in terms of the states controlling the interaction of threads and in terms of the events exchanged by interacting threads. Detection algorithms are developed to identify the specified failures in a program execution. A UML profile extending UML interaction diagrams is developed to visualise the execution of concurrent Java programs and detected liveness failures and potentials. In order to deploy the algorithms and the UML profile, tool support concepts are provided. This involves the specification of a trace format and a tracing method to collect execution data from a running Java program, and the specification of methods to analyse the trace and to visualise the trace and the analysis results. The concepts are implemented in the JAVIS prototype, which consists of a Java tracer with an analysis facility for monitoring liveness in concurrent Java programs, and a plug-in extension to the UML CASE tool Together for importing and displaying concurrent Java traces including failures and potentials.}},
  author       = {{Mehner, Katharina}},
  title        = {{{Trace-based Debugging and Visualisation of Concurrent Java Programs with UML}}},
  year         = {{2005}},
}

@phdthesis{7584,
  abstract     = {{The technique of Dynamic Meta Modeling allows for specifying the semantics of visual modeling languages (like, e.g., the Unified Modeling Language, UML). It is aimed at combining formal rigor (allowing for automated processing of expressions in the language and reasoning about them) with a user-friendly visual notation. We do explicitly exploit the meta modeling paradigm to provide our formalizations within a form known to the expected user base. Technically, DMM uses an innovative combination of elements from denotational and operational semantics together with Graph Transformations. The thesis furthermore introduces a technically richer concept of relations to the Meta Object Facility (MOF). As an extended application example the core semantics of UML Activity Diagrams are formalized within this thesis. Pragmatic guidelines to formulate specifications in DMM and tool support to test the effect of such specifications complete the thesis.}},
  author       = {{Hendrik Hausmann, Jan}},
  title        = {{{Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages}}},
  year         = {{2005}},
}

@inproceedings{8394,
  author       = {{Schattkowsky, Tim and Lohmann, Marc}},
  booktitle    = {{Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Towards employing UML Model Mappings for Platform Independent User Interface Design}}},
  volume       = {{159}},
  year         = {{2005}},
}

@inproceedings{8395,
  author       = {{Rettberg, Achim and Schattkowsky, Tim and Rust, Carsten and Müller, Wolfgang and Josef Rammig, Franz}},
  booktitle    = {{Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)}},
  pages        = {{139--147}},
  publisher    = {{Springer}},
  title        = {{{The Reconfigurable UML Machine Project Group}}},
  volume       = {{192}},
  year         = {{2005}},
}

@inproceedings{8396,
  author       = {{Cherchago, Alexey and Engels, Gregor}},
  booktitle    = {{International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)}},
  title        = {{{Preservation of Compatibility under Evolution of Software Components}}},
  year         = {{2005}},
}

@inproceedings{8397,
  abstract     = {{Die Vision von Web Services ist, dass ein Service Requestor einen Ser-vice Provider dynamisch finden und binden kann. Für das Finden eines Web Ser-vices müssen die Anforderungen eines Requestors und die Beschreibung eines Services miteinander verglichen werden. Syntaktische Beschreibungen reichen hierfür nicht aus. Eine Möglichkeit zur semantischen Beschreibung von Web Ser-vices basiert auf der Technik Design by Contract. In diesem Papier führen wir eine UML-basierte Notation für Kontrakte sowie ein Matching-Konzept ein. Damit wird eine automatisierte, semantische Suche nach Web Services möglich.}},
  author       = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan}},
  booktitle    = {{Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany)}},
  pages        = {{612--616}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Design by Contract zur semantischen Beschreibung von Web Services}}},
  volume       = {{68}},
  year         = {{2005}},
}

@inproceedings{8398,
  abstract     = {{Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken auf der Modellebene zur semantischen Beschreibung von Web Services und führen ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich. Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine konstruktive und prüfende Qualitätssicherung unterstützt.}},
  author       = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan}},
  booktitle    = {{Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}},
  pages        = {{491--495}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Modellbasierte Entwicklung von Web Services mit Design by Contract}}},
  volume       = {{68}},
  year         = {{2005}},
}

@inproceedings{8399,
  author       = {{Heckel, Reiko and Thöne, Sebastian}},
  booktitle    = {{Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)}},
  number       = {{3}},
  pages        = {{101--111}},
  publisher    = {{Elsevier}},
  title        = {{{Behavioral Refinement of Graph Transformation-Based Models}}},
  doi          = {{http://dx.doi.org/10.1016/j.entcs.2004.08.037}},
  volume       = {{127}},
  year         = {{2005}},
}

@inproceedings{8400,
  author       = {{Heckel, Reiko and Lohmann, Marc}},
  booktitle    = {{Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)}},
  pages        = {{145--156}},
  publisher    = {{Elsevier}},
  title        = {{{Towards Contract-based Testing of Web Services}}},
  doi          = {{http://dx.doi.org/10.1016/j.entcs.2004.02.073}},
  volume       = {{116}},
  year         = {{2005}},
}

@inproceedings{8401,
  abstract     = {{While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further investigation. Nowadays, user interface design is usually platform specific or based on C-level cross-platform libraries. In this paper, we propose a MDA like design approach for user interfaces based on the transformation of UML models at different levels of abstraction. This enables platform independent design of user interfaces and a clear separation of UI and application logic design while enabling full use of native controls in the actual user interface implementation.}},
  author       = {{Schattkowsky, Tim and Lohmann, Marc}},
  booktitle    = {{Proceedings of the Satellite Events at the MoDELS 2005 Conference}},
  pages        = {{201--209}},
  publisher    = {{Springer}},
  title        = {{{Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)}}},
  doi          = {{http://dx.doi.org/10.1007/11663430_21}},
  volume       = {{3844}},
  year         = {{2005}},
}

@inproceedings{8402,
  author       = {{Schattkowsky, Tim and Hendrik Hausmann, Jan and Rettberg, Achim}},
  booktitle    = {{Proceedings of the UML for SoC Design Workshop}},
  title        = {{{Using UML Activities for Synthesis on Reconfigurable Hardware}}},
  year         = {{2005}},
}

@proceedings{7782,
  editor       = {{Engels, Gregor and Seehusen, S.}},
  number       = {{P-52}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Proceedings of "DeLFI 2004: Die 2. e-Learning Fachtagung Informatik", Paderborn (Germany)}}},
  year         = {{2004}},
}

@proceedings{7783,
  editor       = {{Engels, Gregor and Sauer, Stefan}},
  number       = {{6}},
  publisher    = {{World Scientific}},
  title        = {{{Modeling and Development of Multimedia Systems}}},
  doi          = {{http://dx.doi.org/10.1142/S021819400400183X}},
  volume       = {{14}},
  year         = {{2004}},
}

@proceedings{7784,
  editor       = {{Ehrig, Hartmut and Engels, Gregor and Parisi-Presicce, F. and Rozenberg, Grzegorz}},
  publisher    = {{Springer}},
  title        = {{{Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)}}},
  doi          = {{http://dx.doi.org/10.1007/b100934}},
  volume       = {{3256}},
  year         = {{2004}},
}

@inproceedings{7917,
  author       = {{Schattkowsky, Tim and Loeser, Christoph and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)}},
  pages        = {{611--616}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}}},
  year         = {{2004}},
}

@inproceedings{7918,
  author       = {{Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian and Varró, Dániel}},
  booktitle    = {{Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)}},
  pages        = {{155--166}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Style-Based Refinement of Dynamic Software Architectures}}},
  year         = {{2004}},
}

@inproceedings{7919,
  author       = {{Belli, Fevzi and Güldali, Baris}},
  booktitle    = {{Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)}},
  pages        = {{907--916}},
  publisher    = {{Springer}},
  title        = {{{Software Testing via Model Checking}}},
  doi          = {{http://dx.doi.org/10.1007/b101749}},
  volume       = {{3280}},
  year         = {{2004}},
}

@inproceedings{7920,
  author       = {{Heckel, Reiko and Guo, Ping}},
  booktitle    = {{Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)}},
  pages        = {{65--79}},
  publisher    = {{Springer}},
  title        = {{{Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation}}},
  doi          = {{dx.doi.org/10.1007/0-387-22874-8_5}},
  volume       = {{158}},
  year         = {{2004}},
}

@inproceedings{7921,
  author       = {{Heckel, Reiko and Cherchago, Alexey}},
  booktitle    = {{Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)}},
  publisher    = {{Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)}},
  title        = {{{Application of Graph Transformation for Automating Web Service Discovery}}},
  year         = {{2004}},
}

@inproceedings{7922,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)}},
  pages        = {{121--128}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Model-Based Design of Embedded Systems}}},
  year         = {{2004}},
}