@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}},
}

@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}},
}

@inproceedings{7926,
  author       = {{Engels, Gregor and Sauer, Stefan}},
  booktitle    = {{International Journal of Software Engineering and Knowledge Engineering (IJSEKE)}},
  number       = {{6}},
  pages        = {{543--544}},
  publisher    = {{World Scientific Publishing}},
  title        = {{{Guest Editors' Introduction}}},
  doi          = {{http://dx.doi.org/10.1142/S021819400400183X}},
  volume       = {{14}},
  year         = {{2004}},
}

@article{7382,
  abstract     = {{UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams.}},
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  journal      = {{Software and Systems Modeling}},
  number       = {{3}},
  pages        = {{181--193}},
  title        = {{{Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}}},
  volume       = {{3}},
  year         = {{2004}},
}

@inproceedings{7908,
  author       = {{Engels, Gregor and Sauer, Stefan and Neu, Bettina}},
  booktitle    = {{Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)}},
  pages        = {{254--256}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Integrating software engineering and user-centred design for multimedia software developments}}},
  doi          = {{http://dx.doi.org/10.1109/HCC.2003.1260240}},
  year         = {{2003}},
}

@inproceedings{8380,
  abstract     = {{The Unified Modeling Langugage (UML) offers different diagram types to model the behavior of software systems. In some domains like embedded realtime systems or multimedia systems, it is necessary to include specifications of time in behavioral models since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM), an approach based on graph transformation, as a means for specifying operational semantics of dynamic UML diagrams. In this article, we extend this approach to also account for time by extending the semantic domain to timed graph transformation. This enables us to define the operational semantics of UML diagrams with time speci- fications. As an example, we provide semantics for special sequence diagrams from the domain of multimedia application modeling.}},
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)}},
  number       = {{3}},
  pages        = {{133--144}},
  publisher    = {{Elsevier}},
  title        = {{{Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}}},
  doi          = {{http://dx.doi.org/10.1016/S1571-0661(04)80617-0}},
  volume       = {{72}},
  year         = {{2003}},
}

@inproceedings{7899,
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}},
  title        = {{{Testing the Consistency of Dynamic UML Diagrams}}},
  year         = {{2002}},
}

@inproceedings{8368,
  abstract     = {{Consistency of models and model transformations are strongly interrelated topics. It is thus desirable to have a single notation to express model properties concerning both aspects. When using meta modeling techniques, graph transformations are a natural candidate to express model transformations. This paper explores the use of graph transformations for denoting consistency conditions between models. This technique yields benefits for different types of interrelation between transformation and consistency. A special focus is put on the generation of automatic consistency-establishing transformations.}},
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany)}},
  pages        = {{61--74}},
  publisher    = {{Department of Software Engineering and Computer Science, Blekinge Institute of Technology}},
  title        = {{{Extended Model Relations with Graphical Consistency Conditions}}},
  year         = {{2002}},
}

@inproceedings{7888,
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}},
  pages        = {{80--87}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams}}},
  year         = {{2001}},
}

@inproceedings{7891,
  author       = {{Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}},
  pages        = {{109--123}},
  publisher    = {{Springer}},
  title        = {{{Strengthening UML Collaboration Diagrams by State Transformations}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45314-8_9}},
  volume       = {{2029}},
  year         = {{2001}},
}

@inproceedings{7893,
  abstract     = {{Availability of precise, yet usable modeling languages is essential to the construction of multimedia systems based on software engineering principles and methods. Although several languages have been proposed for the specification of isolated multimedia system aspects, there not yet exists an integrated modeling language that adequately supports multimedia software development in practice. We propose an extension of the Unified Modeling Language (UML) for the integrated specification of multimedia systems based on an object-oriented development method. Since integration of co-existing timed procedural and interactive behavior is at the heart of multimedia systems, we focus on UML-based specification of behavior in this paper. In addition, we outline how these behavioral aspects are to be integrated with media, presentation, and software architecture modeling to achieve a coherent and consistent model.}},
  author       = {{Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}},
  pages        = {{248--255}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{UML-based Behavior Specification of Interactive Multimedia Applications}}},
  doi          = {{http://dx.doi.org/10.1109/HCC.2001.995271}},
  year         = {{2001}},
}

@article{7395,
  abstract     = {{Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen, die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein einheitliches Verständnis des Modells ermöglicht.}},
  author       = {{Engels, Gregor and Gaulke, Jens and Sauer, Stefan}},
  journal      = {{Forschungsforum Paderborn}},
  pages        = {{24--29}},
  title        = {{{Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil}}},
  volume       = {{4}},
  year         = {{2001}},
}

@inproceedings{8360,
  abstract     = {{Although UMS sequence diagrams are widely used in practical software development, there is still a great demand for improvements. Their use both within and outside the standard interpretation of the UML specification is not seldom confused because different interpretations for sequence diagrams exist without means to distinguish between them. Furthermore, alternative sequence diagram notations with more syntactical features and different semantics still have a big influence and are readily used (explicitly as well as implicitly) alongside UML's sequence diagrams.}},
  author       = {{Hendrik Hausmann, Jan and Küster, Jochen and Sauer, Stefan}},
  booktitle    = {{Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)}},
  pages        = {{142--157}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Identifiying Semantic Dimensions of (UML) Sequence Diagrams}}},
  volume       = {{7}},
  year         = {{2001}},
}

@inproceedings{7873,
  abstract     = {{Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to model structural and behavioral aspects of a software system. The UML was developed as a general-purpose language together with intrinsic features to extend the UML towards problem domain-specific profiles. The paper illustrates the language features of the UML and its adaptation mechanisms. As a conclusion, we show that the UML or an appropriate, to be defined core UML, respectively, may serve as a universal base of an object-oriented modeling language. But this core has to be adapted according to problem domain-specific requirements to yield an expressive and intuitive modeling language for a certain problem domain.}},
  author       = {{Engels, Gregor and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)}},
  pages        = {{24--38}},
  publisher    = {{Springer}},
  title        = {{{UML - A Universal Modeling Language?}}},
  volume       = {{1825}},
  year         = {{2000}},
}

@inproceedings{7875,
  abstract     = {{In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a speci.cation of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to de.ne the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics speci.cation for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users.}},
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)}},
  pages        = {{323--337}},
  publisher    = {{Springer}},
  title        = {{{Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-40011-7_23}},
  volume       = {{1939}},
  year         = {{2000}},
}

@inproceedings{8329,
  abstract     = {{In diesem Beitrag stellen wir eine Methode zur Spezifikation der dynamischen Semantik von UML im Sinne einer Metamodellierung vor. Die dynamische Metamodellierung verwendet dabei UMLKollaborationsdiagramme als eine dem Modellierer bekannte Notation. Diese werden durch eine Interpretation als Regeln einer graphischen operationalen Semantik (GOS) semantisch präzisiert. Die GOS-Formalisierung beruht dabei sowohl auf Konzepten von Graphtransformationen als auch dem Ansatz der Structured Operational Semantics. GOS-Regeln werden als Deduktionsregeln für die Spezifikation eines Interpreters betrachtet, der basierend auf einer Prolog-Ausführungsmaschine realisert werden soll.}},
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}},
  title        = {{{Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung}}},
  year         = {{2000}},
}

@inproceedings{8343,
  author       = {{Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 7th GI-Workshop GROOM}},
  number       = {{2}},
  pages        = {{43--44}},
  publisher    = {{University of Koblenz-Landau}},
  title        = {{{Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}}},
  volume       = {{20}},
  year         = {{2000}},
}

@inproceedings{8344,
  author       = {{Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}},
  number       = {{0006}},
  pages        = {{63--69}},
  publisher    = {{Ludwig-Maximilians-University}},
  title        = {{{Strengthening the Semantics of UML Collaboration Diagrams}}},
  year         = {{2000}},
}

@inproceedings{7856,
  author       = {{Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}},
  booktitle    = {{Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA}},
  pages        = {{473--488}},
  publisher    = {{Springer}},
  title        = {{{UML Collaboration Diagrams and Their Transformation to Java}}},
  volume       = {{1723}},
  year         = {{1999}},
}

@inproceedings{7860,
  abstract     = {{An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a coherent multimedia application model. In this sense, we extend the model-view-controller paradigm towards multimedia.As a result, we present OMMMA-L, a visual Language for the Object-Oriented Modeling of MultiMedia Applications that is based on the Unified Modeling Language (UML). The structural and behavioral diagram types of UML have been analyzed and are adapted and extended according to multimedia application characteristics.A presentation diagram is introduced and integrated to adequately describe the visual presentation. In addition to explaining the different diagram types, we also give pragmatic guidelines on how to deploy and combine the various diagrams.}},
  author       = {{Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)}},
  pages        = {{80--87}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Extending UML for Modeling of Multimedia Applications}}},
  doi          = {{http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878}},
  year         = {{1999}},
}