-------------------------------------------------------------------------------------------- 1. (Kurzer) Werdegang der beteiligten Professoren -------------------------------------------------------------------------------------------- (Bemerkung CE: Quelle: http://tfs.cs.tu-berlin.de/~ehrig/CurricHE.html ) Hartmut Ehrig is full professor of Theoretical Computer Science/Formal Specification at the Technical University of Berlin, Germany. He is leader of several national and international research projects in Theoretical Computer Science and Formal Software Development: The ESPRIT-projects SEDOS, LOTOSPHERE, ESPRIT-Basic Research WG's ASMICS, COMPASS, COMPUGRAPH, APPLIGRAPH, the German BMFT, BMBF and DFG-projects KORSO, ESPRESS, ACT, DAO, Graph-Transformations, and Petri Net Technology and the TMR-network GETGRATS. He has produced more than 200 publications in international conference proceedings and journals. He had various research stays at the IBM Thomas J. Watson Research Center, Yorktown Heights, NY, University of Catalunya, Barcelona, and at the University of Southern California, Los Angeles, University of Leiden, University of Rome, and University of Pisa. He was the Organizer and Program Chairman of many international workshops and conferences on graph grammars, abstract data types and theory and practice of software development (TAPSOFT) and program committee member of several of the leading European conferences. He is member of IFIP WG 11.3 (Foundations of System Specification) and IFIP WG 2.2 (Formal Methods in Programming) and of the following editorial boards: 1. "Journal of Computer and System Science", Academic Press, 2. "Mathematical Structures in Computer Science", Cambridge University Press, and 3. "Applied Categorical Structures", Kluwer Academic Publishers. Moreover he is editor of the "Formal Specification Column" in the Bulletin of the EATCS, editor of several volumes in Springer Lecture Notes in Computer Science, and reviewer for several scientific and industrial projects including the German Research Council(DFG) and ESPRIT and steering committee member of the European Joint Conference on Theory and Practice of Software (ETAPS). Essential Dates : 1944 Born in Angermünde (Germany) 1969 Diplom (Dipl. Math.) in Mathematics at the Technical University of Berlin (TUB) 1971 Ph.D.(Dr.rer.nat) at Department of Mathematics at TUB 1972-1976 Assistant Professor at Dep.of Cybernetics at TUB 1974 Habilitation in "Automata Theory and Formal Language", at Department of Cybernetics at TUB 1974- 1976 Several research visits at Computer Science Department of University of Mass. at Amherst and IBM TJW Research Center, Yorktown Heights, USA 1976 Associate Professor (AH5/C3) at Computer Science Department(TUB) 1977-1995 Director (resp. Vice Director) of Institute of Software and Theoretical Computer Science at TUB 1981-1991 Chairman (resp. vice chairman) of Computer Science Department at TUB (3 periods of 1-2 years) 1985 Call on C4-professorship at Fernuniversit¦t Hagen, Full Professor (C4) at Compute Science Dept.of TUB 1993-1994 Klosterman Professorship (honorary) at Leiden University, The Netherlands 1989-1996 European Coordinator of ESPRIT Basisc Research WG. COMPUGRAPH I and II (Computing by Graph Transformations) 1995-2005 Managing Director of Institute of Software Engineering and Theoretical Computer Science 1997-2001 Vice President of European Association of Theoretical Computer Science (EATCS) 1998-2004 Coordinator of Focus Area Program "Integration of Software Specification Techniques for Applications in Engineering" of the German Research Council (DFG) 2000-2004 Vice President of European Association of Software Science and Technology (EASST) 2000-2004 Chairman of Steering Committee of International Conferences on Graph Transformation (ICGT) Most significant publications: - Graph Grammars : An Algebraic Approach with M. Pfender and H.J. Schneider Proc. IEEE Conf. SWAT, Iowa City 1973, pp. 167-180 - Universal Theory of Automata with W. Kühnel, H.-J. Kreowski, K.D. Kiermeier Teubner, Stuttgart, 1974 - Complexity of Algebraic Implementations for Abstract Data Types with B. Mahr Journ. Comp. Syst.Sci. 23, 2, 1981, pp. 233-253 - Algebraic Implementation of Abstract Data Types with H.-J. Kreowski, B. Mahr and P. Padawitz TCS, Vol 20 (1982), pp. 209-263 - Compatibility of Parameter Passing and Implementation of Parameterized Data Types with H.-J. Kreowski TCS Vol 27, Nov. 1983, pp. 255-286, North-Holland - Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics with B. Mahr EATCS Monograph Series, vol 6, Springer Verlag, 1985 - Algebraic Specifications of Modules with H. Weber Proc. IFIP Working Conf. on FormalModels in Programming, (eds. Neuhold, E.J., Chronist, G.), North-Holland, 1985, pp. 231-258 - Specification of Modular Systems with H. Weber IEEE Trans. Software Eng.m Vol SE-12, pp. 784-798, 1986 - Algebraic Specifications of Modules and Their Basic Interconnections with E.K. Blum and F.Parisi-Presicce J. of Comp. Syst. Sci., 34, 1987, pp. 293-339 - Combining Data Type and Recursive Process Specifications using Projection Algebras with F.Parisi-Presicce, P. Boehm, C. Rieckhoff, C. Dimitrovici and M.Große-Rhode in Theoretical Comp. Science 71 (1990), pp. 347-380 - Fundamentals of Algebraic Specification 2: Module Specifications and Constraints with B. Mahr EATCS Monographs on Theoret. Comp. Sci. vol 21, Springer 1990 - Algebraic Concepts for Software Development in ACT ONE, ACT TWO, and LOTOS with I.Claßen, P. Boehm, W. Fey, M. Korff, M. Löwe Journal über Systemanalyse, Modellierung und Simulation, Heft 8 / 1991, 415, 353-373 - Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development, Part 2: From Classical View to Foundations of System Specification, with I. Claßen, B. Mahr, F.Orejas The Computer Journal of British Computer Society, 1992. - Algebraic Specification Techniques and Tools for Software Development: The ACT Approach, with I. Claßen, D. Wolz, Textbook in AMAST Series in Computing, World Scientific Publishing, 1993 - A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development, with B. Mahr Invited Paper TAPSOFT'95, Springer Lect. Notes in Computer Science No. 915 (1995), 217-256 - Algebraic Approach to Graph Transformation. Part I: Basic Concepts and Double Pushout Approach Part II: Single Pushout Approach and Comparison with Double Pushout Approach with A. Corradini, U. Montanari, et al. In Handbook on Graph Grammars, World Scientific Publishing, 1997. - A Combined Reference Model- and View-Based Approach to System Specification, with G. Engels, R. Heckel, and G. Taentzer, International Journal of Software Engineering and Knowledge Engineering, Vol. 7 No. 4, pp. 457-477, 1997. - Applications of Category Theory to the Area of Algebraic Specification in Computer Science, with M. Große-Rhode and U. Wolter, Applied Categorical Structures 6, pp. 1-35, 1998. - Handbook of Graph Grammars and Computing by Graph Transformation Vol 2: Applications, Languages and Tools with G. Engels, H.-J. Kreowski, and G. Rozenberg (eds.) World Scientific, Singapore etc., 1999 - Handbook of Graph Grammars and Computing by Graph Transformation Vol 3: Concurrency, Parallelism, and Distribution with H.-J. Kreowski, U. Montanari, and G. Rozenberg (eds.) World Scientific, Singapore etc., 1999 - Modeling Train Control Systems: From Message Sequence Charts to Petri Nets with O. Kluge and J. Padberg Proc. FORMS 2000, Formale Technicken für die Eisenbahnsicherung, Fortschr. Berichte VDI Reihe 12, Nr. 441, VDI Verlag 2000, pp 25-42 - Integration Paradigm for Data Type and Process Specification Techniques Current Trends in Theoretical Computer Science: Entering the 21st Century (G. Paun, G. Rozenberg, A. Salomaa eds.) with F. Orejas World Scientific, Singapore etc. 2001, pp 192-201 - Cooperation in Train Control Systems: Specification of Scenarios Using Open Nets with J. Padberg, J. Jansen, E. Schnieder, and R. Heckel Transactions of the SDPS (Society of Design and Process Science) March 2001, Vol. 5, No. 1, pp 3-21 - Concurrency and loose semantics of open graph transformation systems with R. Heckel, M. Llabres, and F. Orejas MSCS vol 12, no 4, August 2002, pp 349-376 -------------------------------------------------------------------------------------------- 2. Schwerpunkte der gegenwärtigen Arbeitsfelder mit Hervorhebung der Besonderheiten -------------------------------------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/ ) The main objectives of Professor Ehrig's group TFS are semiformal and formal specification and visual modeling techniques. They are based on algebraic development and categorical structuring concepts in Theoretical Computer Science and Software Technology. The main research areas are: 1. Algebraic Specification Techniques 2. Graph Transformation and Visual Modelling 3. Petri Net Technology 4. Integration of Modelling Techniques Important application areas include software modelling, production automation and traffic control and Web-based applications. More details on the main research areas 1-4: -------------------------------------------------------------------------------------------- 2.1 Algebraic Specification Techniques: -------------------------------------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/algspec.html ) 2.1.1 History ---------------- From the Seventies to the Nineties The concept of algebraic specification for data types was developed independently at several sites in the USA and Europe in the late 70s. The development of algebraic specifications in Berlin was initiated by H. Ehrig, H.J. Kreowski and H. Weber and further developed in the 80s mainly by H. Ehrig and B. Mahr. Milestones of this development have been the theory of parameterized specifications in close cooperation with the ADJ-group (Thatcher, Wagner, Wright) at IBM Yorktown Heights - leading to the algebraic specification language ACT ONE in 1983 - and the theory of algebraic module specifications presented at the IFIP World Congress 1986. These theories have been presented in two volumes of the EATCS-Monographs on Theoretical Computer Science: H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Springer 1985. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, Springer 1990. This couple of volumes including the presentation of the algebraic specification languages ACT ONE and an abstract version of ACT TWO is the fundament of the "Berlin School of Algebraic Specification" in research and teaching. Since begin of the 80s there are regular courses on algebraic specification techniques in undergraduate and graduate course within the Computer science Curriculum at TU Berlin. In the late 80s ACT ONE was combined with CCS leading to the integrated data type process specification language LOTOS. A software oriented presentation of the ACT-approach in Berlin is presented in the first volume of the AMAST Sereis in Computing: I. Claßen, H. Ehrig, D. Wolz: Algebraic Specification Techniques and Tools for Software Development: The ACT Approach, World Scientific 1993. This volume includes not only the results of the DFG-project ACT, but also the new versions of the ACT ONE language and tools within the ESPRIT project LOTOSPHERE, where the integrated language LOTOS has been developed. One main contribution of the Berlin school within the ESPRIT Working Group COMPASS in the 90s has been the generalization of the theory of parameterized specifications and the algebraic module concept: The basic case of equational specifications and total algebras has been extended to the categorical framework of institutions and specification frames. This has allowed to instantiate the theory with several more general frameworks including partial algebras, first order logic and behavioral specifications. The corresponding categorical theory has been developed by F. Cornelius, H. Ehrig, M. Große-Rhode, U. Wolter in cooperation with F. Orejas (Barcelona) et al. 2.1.2 Recent Developments ------------------------- A main contribution and research area over the last fifteen years is the integration of algebraic specification with other kinds of process and graphical specification techniques like Petri nets and graph transformation leading to algebraic high level nets and attributed graph transformation. This integration was part of the cooperation of the Berlin group in COMPASS with the ESPRIT Working Group COMPUGRAPH and the DFG Researcher Group on Petri Net Technology. Most important for the development of algebraic specification techniques in Europe - even before COMPASS - has been the series of ADT-workshops with main focus on abstract data types in the 80s, algebraic specification of software systems in the 90s, and algebraic development techniques for all kinds of systems now. Another important recent development is the "Common Algebraic Specification Language" CASL , which has been developed by the COFI-initiative in Europe following up the COMPASS working group. CASL is an attempt to unify the large variety of algebraic specification languages all over the world, including CLEAR, OBJ, ACT ONE, ASL, LARCH, PLUSS, ACT TWO, Extended ML, OPAL, SPECTRAL, SPECTRUM and Café OBJ. The focus of the Berlin School on algebraic specification and development techniques today is on the one hand the integration of algebraic specification with visual modeling techniques and the use of algebraic and categorical techniques in several other areas of computer science and system development. This includes especially teaching in the undergraduate and graduate level based on the books mentioned above and more recently also on the undergraduate text book H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz: Mathematisch Strukturelle Grundlagen der Informatik, Springer Verlag 1999, 2001 (2. Auflage mit Koautoren K. Robering und G. Schröter). This textbook includes detailed introductions in algebraic structures and specifications as well as different areas of logic and category theory. -------------------------------------------------------------------------------------------- 2.2 Graph Transformation and Visual Modelling -------------------------------------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/gratra.html ) 2.2.1 Description ------------------- Graphical structures of various kinds (like graphs, diagrams, visual sentences and others) are very useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension allowing for the modelling of the evolution of systems via any kind of transformation of such graphical structures. The field of Graph Transformation is concerned with the theory, applications and implementation issues of all these formalisms. The theory is strongly related to areas such as graph theory and graph algorithms, formal language and parsing theory, theory of concurrency and distributed systems, formal specification and verification, logic and semantics. The application areas include all those fields of Computer Science, Information Processing, Engineering and Natural Sciences where static and dynamic modeling by graphical structures and graph transformations, respectively, play an important role. In many of these areas tools based on graph transformation technology have been implemented and used. 2.2.2 Research Area "Graph Transformation Systems and Tools" ----------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/projekte/gragra/graSystemsTools.html ) Graphs are a well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in application areas such as * Compiler Compiler Toolkits * Constraint Solving Problems * Generation of CASE Tools * Pattern Recognition Techniques * Program Analysis * Software Engineering Tools * Software Evolution * Software Visualization and Animation * Visual Languages In all these areas tools are developed that store, retrieve, manipulate and display graphs. Research in the area of graph transformation systems and tools addresses the following topics among others: * efficient algorithms * empirical and experimental results on scalability * reusable software components * software architectures and frameworks * standard data exchange formats * tool integration techniques * novel application areas * and meta CASE tools or generators for graph-based tools. 2.2.3 Research Area "Visual Modelling Languages and Tools" -------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/vismod.html ) As diagrammatic notations, such as UML, become widespread in software engineering and visual end user environments, there is an increasing need for formal methods to precisely define the syntax and semantics of such diagrams. In particular, when visual models of systems or processes constitute executable specifications of systems, not only is a non-ambiguous specifications of their static syntax and semantics needed, but also an adequate notion of diagram dynamics. Such a notion must establish links (e.g., morphisms) which relate diagram transformations and transformations of the objects of the underlying domain. The field of Graph Grammars and Graph Transformation Systems has contributed much insight into the solution of these problems, but also other approaches (e.g., meta modelling, constraint-based and other rule-based systems), have been developed to tackle specific issues. In our group, we tackle problems such as diagram parsing, diagram transformation, integrated management of syntactic and semantic aspects, tool support for working with visual models. The focus of our research is on methodological aspects (on the theoretical basis of attributed graph transformation) rather than on particular technical aspects. 2.2.4 Research Projects ------------------------- DFG Project: Application of Graph Transformation to Visual Modelling Languages European Research Training Network SeGraVis: Syntactic and Semantic Integration of Visual Modelling Techniques -------------------------------------------------------------------------------------------- 2.3 Petri Net Technology -------------------------------------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/pnt.html ) 2.3.1 Description ------------------- Design methods for system design based on a reliable formal foundation are of growing interest for the hardware and software industry. Only such methods can guarantee the correctness of complex systems and their adaptability to changing requirements. Petri nets and Petri net technology have been developed as a formal specification technique especially for process oriented systems. Many variants of Petri nets have been applied successfully to projects of industrial size over the last years. It is the main aim of the TFS research group PNT to develop a unified theory of Petri nets that takes into account the large variety of Petri net types on the one hand and that of different application domains on the other hand. The goal is a significant rise in acceptance of Petri net techniques for various application areas. 2.3.2 Research Projects ----------------------- DFG Researcher Group "Petri Net Technology" -------------------------------------------------------------------------------------------- 2.4 Integration of Modelling Techniques -------------------------------------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/intmod.html ) 2.4.1 Description -------------------- Viewpoint models of software systems or their components are formal or semi-formal models that specify a specific aspect of the system, like its overall functionality, static structure, or inter- or intra-object behaviour for instance. In the unified modelling language UML, for example, these viewpoints would be specified by use case, class, interaction and statemachine diagrams. Viewpoint models in general reduce the complexity of the development process by separating concerns. On the other hand, they are usually heterogeneous both w.r.t. their form and contents, since problem specific languages and tools are employed for their construction and analysis. Therefore, concepts and methods are needed that allow the integration of heterogeneous viewpoint models, manage their corespondences, and check their consistency. 2.4.2 Research Area "Integration of Modelling Techniques and Tools" -------------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/IntMod/IntModTools.html ) Research topics in this area are: General concepts of integration and integration models Meta modelling Semantics of modelling and specification languages Integration of formal and semi-formal modelling and specification languages Concepts for tool integration UML Semantics Component Based Software Architecture and Evolution 2.4.3 Research Area "UML Semantics" -------------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/IntMod/UMLSemantics.html ) The unified modelling language UML has become the de facto standard of software systems modelling in analysis and design. Due to its wide spread use and definition as an industry standard a high degree of flexibility is required. This implies, however, a certain vagueness and incompleteness of its semantics. In particular, formal semantics for the notations included in the UML are not provided. The task of this research area is to use the knowledge and experiences gained with formal specification languages to analyse the UML semantically and suggest precise definitions on a formal or informal level, that finally make all of the UML more precise. Especially the integration concepts developed in the Integration Research Area thereby support a holistic view, that leads to coherent interpretations of the individual notations and consistent overall designs. Based on such a precise and integrated UML reliable code generation and analysis techniques can be developed. Research topics in this area are: 1. Formal semantics for class diagrams and object constraints (OCL) 2. Formal semantics for statemachines and collaborations 3. Integration and consistency checks for structure and behaviour models 4. Visualisation of OCL 5. Visual modelling tools 6. Tool integration (For items 4. and 5. see also Research Area Visual Modelling and Tools) 2.4.4 Research Area "Component-Based Software Architecture and Evolution ---------------------------------------------------------------------------- (CE: Quelle: http://tfs.cs.tu-berlin.de/compSA+Evo.html ) It is becoming standard practice in software development to base the design and implementation of component-based systems on architectures like CORBA or other middleware platforms. In the literature and in practice these approaches are mainly addressed to system implementation, but do not include the modelling phase. The main aim of the TFS-group in this research area is to develop a component framework for different kinds of software modeling techniques in order to support software architecture and evolution in the requirements and design phase. For data type and software system modelling based on algebraic specifications, an algebraic module concept has been developed already in the 80s by the TFS-group in close cooperation with B. Mahr, H. Weber (Dortmund/Berlin) and F. Parisi-Presicce (Rome). This approach is published in the EATCS Monograph volume H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, Springer 1990. In the early 90s this algebraic module concept - with self contained syntactical and semantical units and several compositional interconnection mechanisms - has been extended in several directions: First the basic concept of equational axioms and total algebras was formulated in the categorical framework of institutions and specification frames in order to allow several other instantiations including first order logical axioms, partial algebras and behavioral specifications. In cooperation with D. Jacobs (Los Angeles) another extension of the algebraic module concept was used to formulate module and configuration families in order to support reusability and evolution of software system specification. General requirements for a component concept and evolutionary software development have been developed in the BMBF project "Continuous Software Engineering" in cooperation with the Fraunhofer Institute ISST . Corresponding component concepts using UML techniques are under development. The main idea of the algebraic module concept on the syntactical level is a clear separation between import, body, and export part - connected by specification morphisms - and on the semantical level a functorial semantics transforming import into export models. This general idea was extended to graph transformation systems and later to different kinds of integrated data type and process modeling techniques in cooperation with G. Engels (Leiden/Paderborn) and F. Orejas (Barcelona) respectively. A modified version of this module concept based on suitable refinements between export and body part was developed by M. Simeoni (Venice) in cooperation with M. Große-Rhode for graph transformation systems and by the TFS-group "Petri Net Technology" for different kinds of Petri nets. A generic component framework, where refinements are generalized to transformations leading to a compositional transformational semantics, is currently under development in cooperation with F. Orejas (Barcelona). 2.4.5 Research Projects --------------------------- DFG Priority Programme Software Specification DFG Project IOSIP (Integration of object-oriented software specification techniques and their application-specific extension for industrial production systems on the example of automobile industry) BMBF Project Continuous Software Engineering European Graduate College -------------------------------------------------------------------------------------------- 3. Fotos der Professoren und Abbildungen mit für das Fachgebiet typischen Inhalten -------------------------------------------------------------------------------------------- 3.1 Foto HE ------------- (CE: Quelle: Bild auf Hartmuts Homepage http://tfs.cs.tu-berlin.de/~ehrig/Images/hehrig.jpg ) 3.2 Abbildungen mit für das Fachgebiet typischen Inhalten ---------------------------------------------------------- CE: Da stellen die sich sicher handfeste Laboraufbauten oder sowas vor, damit können wir ja nun nicht dienen. Logos von Projekten sind auch nicht sehr erhellend. Wie wäre es mit Screenshots von AGG oder GenGED?? oder Beispiel-Statecharts oder -Petrinetze?