@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{8359, author = {{Engels, Gregor and Küster, Jochen}}, booktitle = {{Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)}}, title = {{{Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models}}}, year = {{2001}}, } @proceedings{7790, editor = {{Ehrig, Hartmut and Engels, Gregor and Kreowksi, H.-J. and Taentzer, Gabriele}}, number = {{2}}, publisher = {{Elsevier}}, title = {{{Special Issue: Selected Papers of GRATRA 2000}}}, volume = {{44}}, year = {{2000}}, } @inproceedings{7872, author = {{Engels, Gregor and Heckel, Reiko}}, booktitle = {{Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland)}}, pages = {{127--150}}, publisher = {{Springer}}, title = {{{Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution}}}, doi = {{http://dx.doi.org/10.1007/3-540-45022-X_12}}, volume = {{1853}}, year = {{2000}}, } @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{7874, author = {{Engels, Gregor and Groenewegen, Luuk}}, booktitle = {{Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland)}}, pages = {{103--116}}, publisher = {{ACM Press}}, title = {{{Object-Oriented Modeling - A Roadmap}}}, 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}}, } @techreport{8207, author = {{Depke, Ralph and Engels, Gregor and Küster, Jochen}}, publisher = {{University of Paderborn, Department of Computer Science}}, title = {{{On the Integration of Roles in the UML}}}, year = {{2000}}, } @inproceedings{8332, abstract = {{Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically structured graphs. But, while there already exist hierarchical graph data models, no general-purpose hierarchical graph data model exists yet, which unifies common features of these domain-specific models. In this paper, we present graph packages, a general formalism for defining hierarchical graphs, supporting the most important features found in known applications. Because of the dynamic nature of graphs, hierarchical graph transformation is also an important issue to be dealt with when using hierarchical graphs. Motivated by the successful application of graph grammars to the specification of graph transformations, we also introduce a framework that allows to specify hierarchical graph transformations by combining existing graph grammar approaches and our graph package concept. These concepts are a step towards the definition of a general-purpose hierarchical graph data model.}}, author = {{Busatto, Giorgio and Engels, Gregor and Mehner, Katharina and Wagner, Annika}}, booktitle = {{Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT '98), Paderborn (Germany)}}, pages = {{352--367}}, publisher = {{Springer}}, title = {{{A Framework for Adding Packages to Graph Transformation Approaches}}}, doi = {{http://dx.doi.org/10.1007/b75045}}, volume = {{1764}}, year = {{2000}}, } @inproceedings{8339, author = {{Engels, Gregor and Heckel, Reiko}}, booktitle = {{Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)}}, pages = {{373--382}}, publisher = {{Carleton Scientific}}, title = {{{From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation}}}, year = {{2000}}, } @inproceedings{8340, abstract = {{In concurrent systems, multiple components communicate with each other by exchanging messages. Each component may take part in several communication protocols at the same time, each one taking part over a so-called connector. Valid sequences of message exchanges are usually modeled in a communication protocol. There arise several important questions concerning protocols: Given a protocol how to ensure that each participant conforms to the protocol on the model level? Conversely, given multiple components how to extract the protocol? In our position statement, we propose a technique for ensuring protocol conformity based on extraction of statechart views from each component's statechart.}}, author = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}}, booktitle = {{Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}}, number = {{0006}}, pages = {{44--49}}, publisher = {{Ludwig-Maximilians-University}}, title = {{{Modeling Concurrent Behavior through Consistent Statechart Views}}}, year = {{2000}}, } @article{7396, abstract = {{In order to provide semantic support for visual modeling techniques, new techniques have to be developed which help us to narrow the conceptual gap between graph-based visual modeling techniques like the UML and established methodologies of programming language semantics almost exclusively based on trees and terms. Concepts and results from the area of graph transformation can be used both as a basis for high-level rule-based visual languages, and as semantic domain for visual modeling techniques focusing on the structural and behavioral aspects of today's software systems. Moreover, graph transformation can provide the necessary technology in order to develop the graph-based counterparts of the denotational, operational, or algebraic semantics paradigms in the field of programming languages. In this paper, we substantiate these claims by examples of the use of graph transformation as visual modeling notion, semantic domain, and for the semantics of diagram languages.}}, author = {{Engels, Gregor and Heckel, Reiko}}, journal = {{Bulletin of the EATCS}}, number = {{71}}, pages = {{186--202}}, title = {{{Graph Transformation and Visual Modeling Techniques}}}, year = {{2000}}, } @inbook{7520, abstract = {{In diesem Kapitel sollen das Vorgehensmodell zur Entwicklung von multimedialen Lehreinheiten und der Fragebogen zur Erstellung eines deskriptiven Vorgehensmodells vorgestellt werden. Diese Dokumente sind von der Softwarebegleitgruppe im Projektverlauf für die Projektteilnehmer aus den wirtschaftswissenschaftlichen Fakultäten erstellt worden.}}, author = {{Engels, Gregor and Kelter, Udo and Depke, Ralph and Mehner, Katharina}}, booktitle = {{Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht}}, pages = {{27--56}}, publisher = {{LIT}}, title = {{{Unterstützende Angebote der Softwarebegleitgruppe}}}, year = {{2000}}, } @inbook{7521, abstract = {{Auf der Grundlage der im vorherigen Kapitel zusammengefaßten Beschreibungen der Aktivitäten an den einzelnen Standorten Bochum, Köln, Münster und Siegen soll in diesem Kapitel versucht werden, die beschriebenen Erfahrungen zu strukturieren und zu vergleichen. Hierbei geht es in erster Linie um eine qualitative Analyse. Es wird also nicht gefragt und bewertet, welche konkret quantitativ meßbaren Ergebnisse erzielt wurden, sondern welcher Standort welche Aktivitäten durchgeführt hat, um das gesteckte Ziel zu erreichen. Das Ziel dieser vergleichenden Analyse liegt vor allem in dem Erkenntnisgewinn, welche Aktivitäten von welchen Personenkreisen in einer Fakultät durchgeführt werden können bzw. sollten, um eine adäquate Unterstützung der Lehre durch Multimedia-Techniken zu erzielen.}}, author = {{Engels, Gregor and Depke, Ralph and Mehner, Katharina}}, booktitle = {{Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht}}, pages = {{277--294}}, publisher = {{LIT}}, title = {{{Ergebnisse - vergleichende Darstellung}}}, year = {{2000}}, } @inbook{7522, abstract = {{The computer has evolved from the purpose of pure number crunching to supporting the coordinated collaboration between human and/or artificial beings to reach a certain goal. Object-oriented modelling techniques based on the central notions of object interaction and object collaboration should provide the semantic expressivity to model such coordinated collaboration. Based on an investigation of the object-oriented modelling standard UML, however, the weaknesses of the existing modelling concepts are revealed. SOCCA is presented instead, which is an object-oriented specification language supporting the arbitrarily fine-grained synchronisation of processes, i.e., active objects. Based on several examples of the EU rental car system the expressive power of SOCCA is discussed and compared to related approaches.}}, author = {{Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}}, booktitle = {{Proceedings of Advances in Object-Oriented Modeling}}, pages = {{307--332}}, publisher = {{The MIT Press}}, title = {{{Coordinated Collaboration of Objects}}}, year = {{2000}}, } @inproceedings{8342, abstract = {{This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS1, has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support.}}, author = {{Engels, Gregor and Zamperoni, Andreas}}, booktitle = {{Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}}, pages = {{359--368}}, publisher = {{Springer}}, title = {{{Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}}}, doi = {{http://dx.doi.org/10.1007/3-540-45104-8_28}}, volume = {{1779}}, year = {{2000}}, } @proceedings{7792, editor = {{Engels, Gregor and Beiersdörfer, K. and Schäfer, Wilhelm}}, publisher = {{Springer}}, title = {{{Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}}}, year = {{1999}}, } @inproceedings{7852, abstract = {{Today e-commerce applications use web browsers as an uniform user interface and they rely on databases as data sources. Different technologies exist for database access: common gateway interface (CGI), Java and its database interface java database connectivity (JDBC), proprietary approaches of database vendors, etc. We present criteria for the selection of an appropriate solution and we successivly apply them in our application development process. Throughout the development process of internet based database applications object oriented techniques can be used. The unified modeling language (UML) is used for requirement analysis and design of the application and the implementation proceeds with the programming language Java. The transition from the object oriented modeling language UML to the object oriented programming language Java succeeds smoothly. We report on our experience with the modeling tool Rational Rose 98 of Rational, Inc. We use Java and JDBC to implement a seminar reservation system that can be regarded as a small e-commerce application.}}, author = {{Engels, Gregor and Depke, Ralph and Borowski, Christoph}}, booktitle = {{Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen}}, pages = {{531--540}}, publisher = {{Technische Akademie Esslingen}}, title = {{{Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung}}}, volume = {{8}}, year = {{1999}}, } @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}}, }