TY - GEN AB - During the last 20 years several different formal and semi-formal specification techniques have been successfully developed and used. Applications comprise the specification of simple programs, data types and processes as well as complex hardware and software systems. The variety of specification techniques ranges from formal set theoretical, algebraic, and logic approaches for specifying sequential systems and from Petri-nets, process algebras, automata, and graph grammars for specifying concurrent and distributed behaviors to semi-formal software engineering methods for developing complex systems. Formal and semi-formal approaches have their advantages and disadvantages: the informal diagrammatic methods are easier to understand and to apply but they can be ambiguous. Due to the different nature of the employed diagrams and descriptions it is often difficult to get a comprehensive view of all functional and dynamic properties. On the other hand, the formal approaches are more difficult to learn and require mathematical training. But they provide mathematical rigor for analysis and prototyping of designs. Verification is possible only with formal techniques. Since a few years many researchers and research groups are putting more and more effort in closing this gap by integrating semi-formal and formal specification techniques. Their studies and experiences show the added value of combining semi-formal and formal techniques and at the same time open a whole range of new problems and questions which cannot be asked when studying formalisms in isolation. In this seminar more than 40 scientists came together in 28 talks and two panel discussions to study possibilities and solutions for integrating and validating different formal and semi-formal specification techniques. Similarities and differences of formal and semi-formal specification formalisms as well as possibilities for combining such techniques were discussed. Most talks of this seminar analysed, compared, or integrated at least two such methods. On behalf of all participants the organizers would like to thank the staff of Schloss Dagstuhl for providing an excellent environment to the conference. The support of the TMR programme of the European Community is gratefully acknowledged. Due to this programme it was possible to fund the participation of several young researchers and of three key note speakers. ED - Engels, Gregor ED - Ehrig, Hartmut ED - Orejas, Fernando ED - Wirsing, M. ID - 7793 TI - Semi-Formal and Formal Specification Techniques VL - 218 ER - TY - GEN ED - Engels, Gregor ED - Ehrig, Hartmut ED - Kreowski, Hans-Jörg ED - Rozenberg, Grzegorz ID - 7794 TI - 6th International Workshop on Theory and Applications of Graph Transformations (TAGT '98), Paderborn, Selected Papers VL - 1764 ER - TY - CONF AU - Depke, Ralph AU - Engels, Gregor AU - Mehner, Katharina AU - Sauer, Stefan AU - Wagner, Annika ID - 7843 IS - 3 T2 - Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany) TI - Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen VL - 18 ER - TY - CONF AU - Didrich, Klaus AU - Wagner, Annika ID - 7844 T2 - Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany) TI - Integration of Single Pushout Transformation and Functional Programming VL - 4 ER - TY - CONF AU - Cherchago, Alexey ID - 7845 T2 - Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia) TI - A generalized schema of a decision-making process of a SCENAR-therapeutist ER - TY - CONF AU - Heckel, Reiko ID - 7847 T2 - Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal) TI - Compositional Verification of Reactive Systems Specified by Graph Transformation VL - 1382 ER - TY - CONF AU - Padberg, Julia AU - Jansen, Lars AU - Heckel, Reiko AU - Ehrig, Hartmut ID - 7848 T2 - Proceedings of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany) TI - Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets ER - TY - GEN AU - Engels, Gregor AU - Kolmschlag, Silvia ID - 8202 TI - Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken ER - TY - CONF AU - Kolmschlag, Silvia AU - Engels, Gregor ID - 8280 T2 - Proceedings of the workshop on "Integration heterogener Softwaresysteme" (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany) TI - Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken ER - TY - CONF AU - Corradini, Andrea AU - Große-Rhode, Martin AU - Heckel, Reiko ID - 8281 T2 - Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal) TI - Structured Transition Systems as Lax Coalgebras VL - 11 ER - TY - CONF AU - Heckel, Reiko AU - Hoffmann, Berthold AU - Knirsch, Peter AU - Kuske, Sabine ID - 8282 T2 - Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany) TI - Simple Modules for Grace VL - 1764 ER - TY - CONF AB - A general framework is presented for extending graph transformation and other rule-based formalisms in such a way that transformations with incomplete information can be handled. This extension is motivated by the need to model the behaviour of open systems in different application areas using graph transformations and Petri nets. The following two problems are central within this general framework. 1. Characterization of transformations with incomplete information. 2. Recovery of information from incomplete transformations. A solution for these problems is presented for algebraic graph transformations and Petri nets using the new concepts of graph transitions based on double pullbacks and open nets based on autonomous actions for open places. Moreover, the problems are discussed for DNA-computing and other rule-based formalisms. AU - Ehrig, Hartmut AU - Heckel, Reiko AU - Padberg, Julia AU - Rozenberg, Grzegorz ID - 8283 T2 - Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany) TI - Graph Transformation and Other Rule-Based Formalisms with Incomplete Information ER - TY - CONF AU - Ehrig, Hartmut AU - Heckel, Reiko AU - Llabrés, Mercé AU - Orejas, Fernando AU - Padberg, Julia AU - Rozenberg, Grzegorz ID - 8284 T2 - Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany) TI - Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information VL - 1764 ER - TY - CONF AB - This paper presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following observation: Modules and module interconnections consist of basic specifications (forming, e.g., a module's body, import, or export interface), and relations between such specifications, like the implementation relation between export and body of a module. Hence, a natural approach for characterizing a module concept is to answer the following three questions: 1. What are the basic specifications? 2. Which relations between specifications are used? 3. How are specifications and relations combined to modules and interconnections? In this paper, these questions are considered in some detail for the following module concepts for graph transformation systems. AU - Ehrig, Hartmut AU - Engels, Gregor AU - Heckel, Reiko AU - Taentzer, Gabriele ID - 8285 IS - tr-ri-98-201 T2 - Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT '98), Paderborn (Germany) TI - Classification and Comparison of Modularity Concepts for Graph Transformation Systems ER - TY - CONF AU - Gadducci, Fabio AU - Heckel, Reiko AU - Koch, Manuel ID - 8286 T2 - Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany) TI - Model Checking Graph-Interpreted Temporal Formulas ER - TY - CONF AU - Gadducci, Fabio AU - Heckel, Reiko AU - Llabrés, Mercé ID - 8287 T2 - Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany) TI - DPO Derivations via Disconnected Rules ER - TY - CONF AB - The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to employ such active database mechanisms, the rule processing component of traditional active database systems needs to be modified. This paper introduces a new model for event processing and presents a new algorithm for the composition of complex events in a mobile database environment. Furthermore, the model also takes into account the possibility of broadcast data. To validate the feasibility of the model, a prototype has been built using object-oriented technology. AU - Sauer, Stefan AU - Zukunft, Olaf ID - 8288 T2 - Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria) TI - Event Processing in Mobile and Active Database Systems Using Broadcasts ER - TY - CONF AU - Ehrig, Hartmut AU - Heckel, Reiko AU - Llabrés, Mercé AU - Orejas, Fernando ID - 8289 T2 - Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany) TI - Construction and Characterisation of Double-Pullback Graph Transitions ER - TY - THES AU - Heckel, Reiko ID - 7587 TI - Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems ER - TY - GEN ED - Engels, Gregor ID - 7795 IS - 4 TI - Themenheft: Softwaretechnik VL - 12 ER -