@inproceedings{2184, author = {{Meyer auf der Heide, Friedhelm and Scheideler, Christian}}, booktitle = {{SOFSEM}}, pages = {{16----33}}, publisher = {{Springer}}, title = {{{Communication in Parallel Systems}}}, volume = {{1175}}, year = {{1996}}, } @inproceedings{2186, author = {{Cypher, Robert and Meyer auf der Heide, Friedhelm and Scheideler, Christian and Vöcking, Berthold}}, booktitle = {{STOC}}, pages = {{356----365}}, publisher = {{ACM}}, title = {{{Universal Algorithms for Store-and-Forward and Wormhole Routing}}}, year = {{1996}}, } @proceedings{7796, editor = {{Engels, Gregor and Ehrig, Hartmut and Rozenberg, Grzegorz and Skowron, Andrzej}}, number = {{3-4}}, publisher = {{IOS Press}}, title = {{{Special Issue on Graph Transformations}}}, volume = {{26}}, year = {{1996}}, } @inproceedings{7834, abstract = {{The concept of views is used on two levels. First, so-called design views are developed for structuring specifications, that is, a system is modeled according to different views (e.g., representing the needs of different kinds of users) which have to be synchronized afterwards in order to build the whole system. Views can be specified by means of typed graph transformation systems, where the type graph determines the visible types and the productions describe the known operations of that view. The synchronization of views is done by the construction of cooperative parallel composition of graph transformation systems, developed by Leila Ribeiro and presented at the same seminar. If the specification is complete, a view may describe an observation of the system in operation. In this case we speak of a user view. It turns out that the semantics of such a view cannot be described by computations (i.e., graph transformations), but just by observations of computations of the global system. Such observations of computations cannot be represented by graph transformations in the usual sense because a local view may lack operations (productions) of the global system, so that state changes may be observed that do not have a cause in the local view. Therefore, the notion of graph transition is introduced as loose semantics for productions, where the production specifies only a lower bound to the activities that are to happen during application. Contrastingly, in the classical doublepushout approach to graph rewriting, productions are interpreted as complete descriptions of the transformations to be performed. For typed graph transformation systems a transition sequence semantics is developed, comprising all finite and infinite sequences of transitions in a system. Moreover, this semantics is shown to be compositional w.r.t. the synchronization of views.}}, author = {{Ehrig, Hartmut and Heckel, Reiko and Padberg, Julia and Taentzer, Gabriele and Wolter, Uwe and Corradini, Andrea and Engels, Gregor}}, booktitle = {{Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}}, number = {{155}}, pages = {{11--12}}, publisher = {{Technical University of Berlin}}, title = {{{Synchronization of Views and Loose Semantics of Typed Graph Productions}}}, year = {{1996}}, } @inproceedings{7835, author = {{Heckel, Reiko}}, booktitle = {{Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}}, number = {{155}}, pages = {{12--13}}, publisher = {{Technical University of Berlin}}, title = {{{Behavioral Constraints for Loose Graph Transformation Systems}}}, year = {{1996}}, } @inproceedings{7836, abstract = {{A large industrial process, software maintenance, has been modelled by using the process modelling language SOCCA. The paper reports about the experiences with this trial. In particular, feasibility, expressiveness, quality and the overall benefits of a formal SOCCA model are discussed and compared to the formerly existing informal process description. In order to illustrate the results, a well chosen process model fragment from the larger model is outlined in detail. It addresses in particular the human-intensive cooperation within the process and shows the seamless combination of technical components and human agent components in the SOCCA model. The main conclusions from this trial are that formal SOCCA models are suited to model realistic industrial processes and that due to an intrinsic modular structure of a SOCCA model, even huge models remain reasonably readable and understandable}}, author = {{de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Matsinger, Aart and Rijnbeek, Martin}}, booktitle = {{Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)}}, pages = {{13--26}}, publisher = {{IEEE Computer Society}}, title = {{{Industrial maintenance modelled in SOCCA: an experience report}}}, doi = {{http://dx.doi.org/10.1109/ICSP.1996.565021}}, year = {{1996}}, } @inproceedings{7837, abstract = {{In order to manage the complexity of large system specifications, they have to be decomposed into subspecifications. Each subspecification describes a certain part of the system. This might be a certain aspect, like the data, dynamic, or functional aspect, as it is known from object-oriented modelling techniques. Or it might be a certain view onto the system, as it is known from database modelling techniques. The talk motivates the usage of views in graph grammarbased specifications. First, the usage of typed graph grammars inherently ensures an integration of the data and the functional aspect within a view. Second, it is explained that it is not appropriate in case of views to have a fixed semantics. The standard fixed semantics, i.e. a graph transformation system, has to be relaxed to a loose semantics, i.e. a graph transition system. This reflects the idea that a view models only a part of the complete system. Other views may overlap a view with respect to data or functionality. A complete system specification is yielded by exploiting the approach of cooperative parallel composition of graph grammars (see talk by Leila Ribeiro).}}, author = {{Engels, Gregor and Ehrig, Hartmut and Heckel, Reiko and Taentzer, Gabriele and Corradini, Andrea}}, booktitle = {{Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}}, pages = {{11}}, publisher = {{Technical University of Berlin}}, title = {{{A View-Based Approach to System Modelling}}}, volume = {{155}}, year = {{1996}}, } @inproceedings{7838, abstract = {{Object-oriented specification mechanisms have become famous for modelling structure and behaviour together in terms of autonomous objects communicating via message passing. However, whereas most object-oriented specification methods are strong in modelling the local behaviour of single objects, they fall short on modelling the coordinated behaviour and collaboration of several objects together The aim of this paper is to contribute to fill this gap. The paper reports on concepts, language constructs, and experiences with three collaboration formalisms in the area of object-oriented specifications.}}, author = {{Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}}, booktitle = {{Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)}}, pages = {{437--452}}, publisher = {{Chapman & Hall}}, title = {{{Object-oriented specification of coordinated collaboration}}}, year = {{1996}}, } @article{8101, author = {{Krauter, Stefan and Hanitsch, Rolf}}, journal = {{Solar Energy Materials and Solar Cells }}, pages = {{557--574}}, title = {{{Actual Optical and Thermal Performance of PV Modules}}}, volume = {{41/42}}, year = {{1996}}, } @article{8102, author = {{Krauter, Stefan and Hanitsch, Rolf}}, journal = {{Fuel and Energy Abstracts}}, number = {{6}}, pages = {{436}}, title = {{{Actual Optical and Thermal Performance of PV Modules}}}, volume = {{37}}, year = {{1996}}, } @article{8103, author = {{Krauter, Stefan}}, journal = {{Solararchitektur für Europa, Hrsg.: A. Schneider; Basel, Boston, New York}}, pages = {{30--31}}, publisher = {{ Birkhäuser Verlag }}, title = {{{Sonneneinstrahlung}}}, year = {{1996}}, } @inproceedings{8104, author = {{Krauter, Stefan and Hanitsch, Rolf and Moreira, L.}}, booktitle = {{Proceedings of the 25th IEEE–PV–Specialists Conference, Washington D.C. (USA), 13.–19. Mai 1996, Band 1, S. 1323–1326.}}, title = {{{New Optical and Thermal Enhanced PV Modules Performing 12% better under True Module Rating Conditions}}}, year = {{1996}}, } @inbook{8105, author = {{Krauter, Stefan}}, booktitle = {{Bildung im Netz}}, editor = {{Beste, D. and Kälke, M.}}, pages = {{115--120}}, publisher = {{ VDI–Verlag}}, title = {{{Lernen im Internet am Beispiel der Solarenergie}}}, year = {{1996}}, } @techreport{8197, abstract = {{The framework of graph transformation combines the potentials and advantages of both, graphs and rules, into a single computational paradigm. In this paper we survey recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After presenting the basic features of graph transformation, we discuss a spectrum of applications including the evaluation of functional expressions, the specification of an interactive graphical tool, an example specification for abstract data types, and the definition of a visual database query language. The case studies indicate the need for a graph transformation language that provides suitable structuring principles and is independent of a particular graph transformation approach. To this end, we sketch the basic features of the new graph- and rule-centered language Grace, currently under development, that permits systematic and structured specification and programming based on graph transformation.}}, author = {{Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}}, publisher = {{University of Bremen, Department of Mathematics and Computer Science}}, title = {{{Graph Transformation for Specification and Programming}}}, year = {{1996}}, } @techreport{8198, author = {{Busatto, Giorgio and Engels, Gregor}}, publisher = {{Vakgroep Informatica, Rijksuniversiteit Leiden}}, title = {{{Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.}}}, year = {{1996}}, } @techreport{8199, author = {{Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}}, publisher = {{Vakgroep Informatica, Rijksuniversiteit Leiden}}, title = {{{Object-oriented Specification of Coordinated Collaboration}}}, year = {{1996}}, } @techreport{8200, author = {{Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}}, title = {{{Horizontal and Vertical Structuring of Typed Graph Transformation Systems}}}, year = {{1996}}, } @inproceedings{8271, author = {{de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart}}, booktitle = {{Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)}}, pages = {{183--187}}, publisher = {{Springer}}, title = {{{Towards Measurable Process Models}}}, doi = {{http://dx.doi.org/10.1007/BFb0017743}}, volume = {{1149}}, year = {{1996}}, } @inproceedings{8272, abstract = {{The paper presents a conceptual framework for a module concept for graph transformation systems from a software engineering as well as from a theoretical point of view. The basic idea is to reuse concepts, which are known within or without the graph grammar field, to structure large specifications. These are the concept of distributed graph transformation systems, the concept of inheritance of specifications, and the import-export-interface concept. All these concepts are presented in a uniform framework based on the syntactical notion of a graph class specification and its semantics given by a graph transformation system. This is the basis for an explicit integration of these concepts and a corresponding specification language, to be discussed in a subsequent paper.}}, author = {{Ehrig, Hartmut and Engels, Gregor}}, booktitle = {{Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)}}, pages = {{137--154}}, publisher = {{Springer}}, title = {{{Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems}}}, volume = {{1073}}, year = {{1996}}, } @inproceedings{8273, author = {{Engels, Gregor and Zamperoni, Andreas}}, booktitle = {{Proceedings of the Workshop on Requirements Engineering in a Changing World (satellite event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece)}}, pages = {{42--44}}, title = {{{Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)}}}, year = {{1996}}, }