---
_id: '7515'
abstract:
- lang: eng
  text: The algebraic approaches to graph transformation are based on the concept
    of gluing of graphs corresponding to pushouts in suitable categories of graphs
    and graph morphisms. This allows one to give not only an explicit algebraic or
    set theoretical description of the constructions but also to use concepts and
    results from category theory in order to build up a rich theory and to give elegant
    proofs even in complex situations. In the previous chapter we have presented an
    overview of the basic notions and problems common to the two algebraic approaches
    the double pushout DPO approach and the single pushout SPO approach and their
    solutions in the DPO approach. In this chapter we introduce the SPO approach to
    graph transformation and some of its main results. We study application conditions
    for graph productions and the transformation of more general structures than graphs
    in the SPO approach where similar generalizations have been or could be studied
    also in the DPO approach. Finally we present a detailed comparison of the DPO
    and the SPO approach especially concerning the solutions to the problems discussed
    for both approaches in the previous chapter.
author:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Martin
  full_name: Korff, Martin
  last_name: Korff
- first_name: Michael
  full_name: Löwe, Michael
  last_name: Löwe
- first_name: Leila
  full_name: Ribeiro, Leila
  last_name: Ribeiro
- first_name: Annika
  full_name: Wagner, Annika
  last_name: Wagner
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
citation:
  ama: 'Ehrig H, Heckel R, Korff M, et al. Algebraic Approaches to Graph Transformation,
    Part II: Single Pushout Approach and Comparison with Double Pushout Approach.
    In: <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume
    1: Foundations</i>. Singapore: World Scientific; 1997:247-312.'
  apa: 'Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., &#38;
    Corradini, A. (1997). Algebraic Approaches to Graph Transformation, Part II: Single
    Pushout Approach and Comparison with Double Pushout Approach. In <i>Handbook of
    Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>
    (pp. 247–312). Singapore: World Scientific.'
  bibtex: '@inbook{Ehrig_Heckel_Korff_Löwe_Ribeiro_Wagner_Corradini_1997, place={Singapore},
    title={Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach
    and Comparison with Double Pushout Approach}, booktitle={Handbook of Graph Grammars
    and Computing by Graph Transformations, Volume 1: Foundations}, publisher={World
    Scientific}, author={Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and Löwe,
    Michael and Ribeiro, Leila and Wagner, Annika and Corradini, Andrea}, year={1997},
    pages={247–312} }'
  chicago: 'Ehrig, Hartmut, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro,
    Annika Wagner, and Andrea Corradini. “Algebraic Approaches to Graph Transformation,
    Part II: Single Pushout Approach and Comparison with Double Pushout Approach.”
    In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume
    1: Foundations</i>, 247–312. Singapore: World Scientific, 1997.'
  ieee: 'H. Ehrig <i>et al.</i>, “Algebraic Approaches to Graph Transformation, Part
    II: Single Pushout Approach and Comparison with Double Pushout Approach,” in <i>Handbook
    of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>,
    Singapore: World Scientific, 1997, pp. 247–312.'
  mla: 'Ehrig, Hartmut, et al. “Algebraic Approaches to Graph Transformation, Part
    II: Single Pushout Approach and Comparison with Double Pushout Approach.” <i>Handbook
    of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>,
    World Scientific, 1997, pp. 247–312.'
  short: 'H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini,
    in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume
    1: Foundations, World Scientific, Singapore, 1997, pp. 247–312.'
date_created: 2019-02-04T22:41:33Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 247-312
place: Singapore
publication: 'Handbook of Graph Grammars and Computing by Graph Transformations, Volume
  1: Foundations'
publisher: World Scientific
status: public
title: 'Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach
  and Comparison with Double Pushout Approach'
type: book_chapter
user_id: '52534'
year: '1997'
...
---
_id: '7516'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jan
  full_name: Rekers, Jan
  last_name: Rekers
- first_name: Marc
  full_name: Andries, Marc
  last_name: Andries
citation:
  ama: 'Engels G, Rekers J, Andries M. How to represent a visual specification. In:
    <i>Visual Language Theory</i>. Berlin/Heidelberg: Springer; 1997:241-255.'
  apa: 'Engels, G., Rekers, J., &#38; Andries, M. (1997). How to represent a visual
    specification. In <i>Visual Language Theory</i> (pp. 241–255). Berlin/Heidelberg:
    Springer.'
  bibtex: '@inbook{Engels_Rekers_Andries_1997, place={Berlin/Heidelberg}, title={How
    to represent a visual specification}, booktitle={Visual Language Theory}, publisher={Springer},
    author={Engels, Gregor and Rekers, Jan and Andries, Marc}, year={1997}, pages={241–255}
    }'
  chicago: 'Engels, Gregor, Jan Rekers, and Marc Andries. “How to Represent a Visual
    Specification.” In <i>Visual Language Theory</i>, 241–55. Berlin/Heidelberg: Springer,
    1997.'
  ieee: 'G. Engels, J. Rekers, and M. Andries, “How to represent a visual specification,”
    in <i>Visual Language Theory</i>, Berlin/Heidelberg: Springer, 1997, pp. 241–255.'
  mla: Engels, Gregor, et al. “How to Represent a Visual Specification.” <i>Visual
    Language Theory</i>, Springer, 1997, pp. 241–55.
  short: 'G. Engels, J. Rekers, M. Andries, in: Visual Language Theory, Springer,
    Berlin/Heidelberg, 1997, pp. 241–255.'
date_created: 2019-02-04T22:42:34Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 241-255
place: Berlin/Heidelberg
publication: Visual Language Theory
publisher: Springer
status: public
title: How to represent a visual specification
type: book_chapter
user_id: '52534'
year: '1997'
...
---
_id: '7517'
abstract:
- lang: eng
  text: The algebraic approaches to graph transformation are based on the concept
    of gluing of graphs, modelled by pushouts in suitable categories of graphs and
    graph morphisms. This allows one not only to give an explicit algebraic or set
    theoretical description of the constructions, but also to use concepts and results
    from category theory in order to build up a rich theory and to give elegant proofs
    even in complex situations. In this chapter we start with an overwiev of the basic
    notions common to the two algebraic approaches, the double-pushout (DPO) approach
    and the singlepushout (SPO) approach; next we present the classical theory and
    some recent development of the double-pushout approach. The next chapter is devoted
    instead to the single-pushout approach, and it is closed by a comparison between
    the two approaches.
author:
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
- first_name: Ugo
  full_name: Montanari, Ugo
  last_name: Montanari
- first_name: Francesca
  full_name: Rossi, Francesca
  last_name: Rossi
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Michael
  full_name: Löwe, Michael
  last_name: Löwe
citation:
  ama: 'Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Löwe M. Algebraic Approaches
    to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In:
    <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1:
    Foundations</i>. Singapore: World Scientific; 1997:163-245.'
  apa: 'Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., &#38; Löwe,
    M. (1997). Algebraic Approaches to Graph Transformation, Part I: Basic Concepts
    and Double Pushout Approach. In <i>Handbook of Graph Grammars and Computing by
    Graph Transformation, Volume 1: Foundations</i> (pp. 163–245). Singapore: World
    Scientific.'
  bibtex: '@inbook{Corradini_Montanari_Rossi_Ehrig_Heckel_Löwe_1997, place={Singapore},
    title={Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and
    Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing
    by Graph Transformation, Volume 1: Foundations}, publisher={World Scientific},
    author={Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, Hartmut
    and Heckel, Reiko and Löwe, Michael}, year={1997}, pages={163–245} }'
  chicago: 'Corradini, Andrea, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko
    Heckel, and Michael Löwe. “Algebraic Approaches to Graph Transformation, Part
    I: Basic Concepts and Double Pushout Approach.” In <i>Handbook of Graph Grammars
    and Computing by Graph Transformation, Volume 1: Foundations</i>, 163–245. Singapore:
    World Scientific, 1997.'
  ieee: 'A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe, “Algebraic
    Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout
    Approach,” in <i>Handbook of Graph Grammars and Computing by Graph Transformation,
    Volume 1: Foundations</i>, Singapore: World Scientific, 1997, pp. 163–245.'
  mla: 'Corradini, Andrea, et al. “Algebraic Approaches to Graph Transformation, Part
    I: Basic Concepts and Double Pushout Approach.” <i>Handbook of Graph Grammars
    and Computing by Graph Transformation, Volume 1: Foundations</i>, World Scientific,
    1997, pp. 163–245.'
  short: 'A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe, in:
    Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations,
    World Scientific, Singapore, 1997, pp. 163–245.'
date_created: 2019-02-04T22:48:43Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 163-245
place: Singapore
publication: 'Handbook of Graph Grammars and Computing by Graph Transformation, Volume
  1: Foundations'
publisher: World Scientific
status: public
title: 'Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double
  Pushout Approach'
type: book_chapter
user_id: '52534'
year: '1997'
...
---
_id: '7796'
citation:
  ama: 'Engels G, Ehrig H, Rozenberg G, Skowron A, eds. <i>Special Issue on Graph
    Transformations</i>. Vol 26. Amsterdam: IOS Press; 1996.'
  apa: 'Engels, G., Ehrig, H., Rozenberg, G., &#38; Skowron, A. (Eds.). (1996). <i>Special
    Issue on Graph Transformations</i> (Vol. 26). Amsterdam: IOS Press.'
  bibtex: '@book{Engels_Ehrig_Rozenberg_Skowron_1996, place={Amsterdam}, series={Fundamenta
    Informaticae}, title={Special Issue on Graph Transformations}, volume={26}, number={3–4},
    publisher={IOS Press}, year={1996}, collection={Fundamenta Informaticae} }'
  chicago: 'Engels, Gregor, Hartmut Ehrig, Grzegorz Rozenberg, and Andrzej Skowron,
    eds. <i>Special Issue on Graph Transformations</i>. Vol. 26. Fundamenta Informaticae.
    Amsterdam: IOS Press, 1996.'
  ieee: 'G. Engels, H. Ehrig, G. Rozenberg, and A. Skowron, Eds., <i>Special Issue
    on Graph Transformations</i>, vol. 26, no. 3–4. Amsterdam: IOS Press, 1996.'
  mla: Engels, Gregor, et al., editors. <i>Special Issue on Graph Transformations</i>.
    Vol. 26, no. 3–4, IOS Press, 1996.
  short: G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph
    Transformations, IOS Press, Amsterdam, 1996.
date_created: 2019-02-19T19:17:49Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Grzegorz
  full_name: Rozenberg, Grzegorz
  last_name: Rozenberg
- first_name: Andrzej
  full_name: Skowron, Andrzej
  last_name: Skowron
intvolume: '        26'
issue: 3-4
language:
- iso: eng
place: Amsterdam
publisher: IOS Press
series_title: Fundamenta Informaticae
status: public
title: Special Issue on Graph Transformations
type: conference_editor
user_id: '52534'
volume: 26
year: '1996'
...
---
_id: '7834'
abstract:
- lang: eng
  text: 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:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Julia
  full_name: Padberg, Julia
  last_name: Padberg
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
- first_name: Uwe
  full_name: Wolter, Uwe
  last_name: Wolter
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Ehrig H, Heckel R, Padberg J, et al. Synchronization of Views and Loose Semantics
    of Typed Graph Productions. In: <i>Report on the Dagstuhl-Seminar 9637 on Graph
    Transformations in Computer Science</i>. Technical University of Berlin; 1996:11-12.'
  apa: Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A.,
    &#38; Engels, G. (1996). Synchronization of Views and Loose Semantics of Typed
    Graph Productions. In <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations
    in Computer Science</i> (pp. 11–12). Technical University of Berlin.
  bibtex: '@inproceedings{Ehrig_Heckel_Padberg_Taentzer_Wolter_Corradini_Engels_1996,
    title={Synchronization of Views and Loose Semantics of Typed Graph Productions},
    number={155}, booktitle={Report on the Dagstuhl-Seminar 9637 on Graph Transformations
    in Computer Science}, publisher={Technical University of Berlin}, author={Ehrig,
    Hartmut and Heckel, Reiko and Padberg, Julia and Taentzer, Gabriele and Wolter,
    Uwe and Corradini, Andrea and Engels, Gregor}, year={1996}, pages={11–12} }'
  chicago: Ehrig, Hartmut, Reiko Heckel, Julia Padberg, Gabriele Taentzer, Uwe Wolter,
    Andrea Corradini, and Gregor Engels. “Synchronization of Views and Loose Semantics
    of Typed Graph Productions.” In <i>Report on the Dagstuhl-Seminar 9637 on Graph
    Transformations in Computer Science</i>, 11–12. Technical University of Berlin,
    1996.
  ieee: H. Ehrig <i>et al.</i>, “Synchronization of Views and Loose Semantics of Typed
    Graph Productions,” in <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations
    in Computer Science</i>, 1996, no. 155, pp. 11–12.
  mla: Ehrig, Hartmut, et al. “Synchronization of Views and Loose Semantics of Typed
    Graph Productions.” <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations
    in Computer Science</i>, no. 155, Technical University of Berlin, 1996, pp. 11–12.
  short: 'H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G.
    Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer
    Science, Technical University of Berlin, 1996, pp. 11–12.'
date_created: 2019-02-20T14:02:31Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
issue: '155'
language:
- iso: eng
page: 11-12
publication: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer
  Science
publisher: Technical University of Berlin
status: public
title: Synchronization of Views and Loose Semantics of Typed Graph Productions
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '7835'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Heckel R. Behavioral Constraints for Loose Graph Transformation Systems. In:
    <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>.
    Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:12-13.'
  apa: Heckel, R. (1996). Behavioral Constraints for Loose Graph Transformation Systems.
    In <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer
    Science</i> (pp. 12–13). Technical University of Berlin.
  bibtex: '@inproceedings{Heckel_1996, series={Dagstuhl-Seminar-Report}, title={Behavioral
    Constraints for Loose Graph Transformation Systems}, number={155}, booktitle={Report
    on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical
    University of Berlin}, author={Heckel, Reiko}, year={1996}, pages={12–13}, collection={Dagstuhl-Seminar-Report}
    }'
  chicago: Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.”
    In <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer
    Science</i>, 12–13. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.
  ieee: R. Heckel, “Behavioral Constraints for Loose Graph Transformation Systems,”
    in <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer
    Science</i>, 1996, no. 155, pp. 12–13.
  mla: Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.”
    <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>,
    no. 155, Technical University of Berlin, 1996, pp. 12–13.
  short: 'R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations
    in Computer Science, Technical University of Berlin, 1996, pp. 12–13.'
date_created: 2019-02-20T14:03:34Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
issue: '155'
language:
- iso: eng
page: 12-13
publication: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer
  Science
publisher: Technical University of Berlin
series_title: Dagstuhl-Seminar-Report
status: public
title: Behavioral Constraints for Loose Graph Transformation Systems
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '7836'
abstract:
- lang: eng
  text: 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:
- first_name: Tineke
  full_name: de Bunje, Tineke
  last_name: de Bunje
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Aart
  full_name: Matsinger, Aart
  last_name: Matsinger
- first_name: Martin
  full_name: Rijnbeek, Martin
  last_name: Rijnbeek
citation:
  ama: 'de Bunje T, Engels G, Groenewegen L, Matsinger A, Rijnbeek M. Industrial maintenance
    modelled in SOCCA: an experience report. In: <i>Proceedings of the Fourth International
    Conference on the Software Process (ICSP 1996), Brighton (UK)</i>. Washington,
    DC, USA: IEEE Computer Society; 1996:13-26. doi:<a href="http://dx.doi.org/10.1109/ICSP.1996.565021">http://dx.doi.org/10.1109/ICSP.1996.565021</a>'
  apa: 'de Bunje, T., Engels, G., Groenewegen, L., Matsinger, A., &#38; Rijnbeek,
    M. (1996). Industrial maintenance modelled in SOCCA: an experience report. In
    <i>Proceedings of the Fourth International Conference on the Software Process
    (ICSP 1996), Brighton (UK)</i> (pp. 13–26). Washington, DC, USA: IEEE Computer
    Society. <a href="http://dx.doi.org/10.1109/ICSP.1996.565021">http://dx.doi.org/10.1109/ICSP.1996.565021</a>'
  bibtex: '@inproceedings{de Bunje_Engels_Groenewegen_Matsinger_Rijnbeek_1996, place={Washington,
    DC, USA}, title={Industrial maintenance modelled in SOCCA: an experience report},
    DOI={<a href="http://dx.doi.org/10.1109/ICSP.1996.565021">http://dx.doi.org/10.1109/ICSP.1996.565021</a>},
    booktitle={Proceedings of the Fourth International Conference on the Software
    Process (ICSP 1996), Brighton (UK)}, publisher={IEEE Computer Society}, author={de
    Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Matsinger, Aart and
    Rijnbeek, Martin}, year={1996}, pages={13–26} }'
  chicago: 'Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Aart Matsinger, and
    Martin Rijnbeek. “Industrial Maintenance Modelled in SOCCA: An Experience Report.”
    In <i>Proceedings of the Fourth International Conference on the Software Process
    (ICSP 1996), Brighton (UK)</i>, 13–26. Washington, DC, USA: IEEE Computer Society,
    1996. <a href="http://dx.doi.org/10.1109/ICSP.1996.565021">http://dx.doi.org/10.1109/ICSP.1996.565021</a>.'
  ieee: 'T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, and M. Rijnbeek, “Industrial
    maintenance modelled in SOCCA: an experience report,” in <i>Proceedings of the
    Fourth International Conference on the Software Process (ICSP 1996), Brighton
    (UK)</i>, 1996, pp. 13–26.'
  mla: 'de Bunje, Tineke, et al. “Industrial Maintenance Modelled in SOCCA: An Experience
    Report.” <i>Proceedings of the Fourth International Conference on the Software
    Process (ICSP 1996), Brighton (UK)</i>, IEEE Computer Society, 1996, pp. 13–26,
    doi:<a href="http://dx.doi.org/10.1109/ICSP.1996.565021">http://dx.doi.org/10.1109/ICSP.1996.565021</a>.'
  short: 'T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings
    of the Fourth International Conference on the Software Process (ICSP 1996), Brighton
    (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.'
date_created: 2019-02-20T14:03:55Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/ICSP.1996.565021
language:
- iso: eng
page: 13-26
place: Washington, DC, USA
publication: Proceedings of the Fourth International Conference on the Software Process
  (ICSP 1996), Brighton (UK)
publisher: IEEE Computer Society
status: public
title: 'Industrial maintenance modelled in SOCCA: an experience report'
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '7837'
abstract:
- lang: eng
  text: 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:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
citation:
  ama: 'Engels G, Ehrig H, Heckel R, Taentzer G, Corradini A. A View-Based Approach
    to System Modelling. In: <i>Report on Dagstuhl-Seminar 9637 on Graph Transformations
    in Computer Science</i>. Vol 155. Dagstuhl-Seminar-Report. Technical University
    of Berlin; 1996:11.'
  apa: Engels, G., Ehrig, H., Heckel, R., Taentzer, G., &#38; Corradini, A. (1996).
    A View-Based Approach to System Modelling. In <i>Report on Dagstuhl-Seminar 9637
    on Graph Transformations in Computer Science</i> (Vol. 155, p. 11). Technical
    University of Berlin.
  bibtex: '@inproceedings{Engels_Ehrig_Heckel_Taentzer_Corradini_1996, series={Dagstuhl-Seminar-Report},
    title={A View-Based Approach to System Modelling}, volume={155}, booktitle={Report
    on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical
    University of Berlin}, author={Engels, Gregor and Ehrig, Hartmut and Heckel, Reiko
    and Taentzer, Gabriele and Corradini, Andrea}, year={1996}, pages={11}, collection={Dagstuhl-Seminar-Report}
    }'
  chicago: Engels, Gregor, Hartmut Ehrig, Reiko Heckel, Gabriele Taentzer, and Andrea
    Corradini. “A View-Based Approach to System Modelling.” In <i>Report on Dagstuhl-Seminar
    9637 on Graph Transformations in Computer Science</i>, 155:11. Dagstuhl-Seminar-Report.
    Technical University of Berlin, 1996.
  ieee: G. Engels, H. Ehrig, R. Heckel, G. Taentzer, and A. Corradini, “A View-Based
    Approach to System Modelling,” in <i>Report on Dagstuhl-Seminar 9637 on Graph
    Transformations in Computer Science</i>, 1996, vol. 155, p. 11.
  mla: Engels, Gregor, et al. “A View-Based Approach to System Modelling.” <i>Report
    on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, vol.
    155, Technical University of Berlin, 1996, p. 11.
  short: 'G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on
    Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical
    University of Berlin, 1996, p. 11.'
date_created: 2019-02-20T14:04:54Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: '       155'
language:
- iso: eng
page: '11'
publication: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer
  Science
publisher: Technical University of Berlin
series_title: Dagstuhl-Seminar-Report
status: public
title: A View-Based Approach to System Modelling
type: conference
user_id: '52534'
volume: 155
year: '1996'
...
---
_id: '7838'
abstract:
- lang: eng
  text: 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:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Gerti
  full_name: Kappel, Gerti
  last_name: Kappel
citation:
  ama: 'Engels G, Groenewegen L, Kappel G. Object-oriented specification of coordinated
    collaboration. In: <i>Proceedings of IFIP World Conference on IT Tools (1996),
    Canberra (Australia)</i>. Chapman &#38; Hall; 1996:437-452.'
  apa: Engels, G., Groenewegen, L., &#38; Kappel, G. (1996). Object-oriented specification
    of coordinated collaboration. In <i>Proceedings of IFIP World Conference on IT
    Tools (1996), Canberra (Australia)</i> (pp. 437–452). Chapman &#38; Hall.
  bibtex: '@inproceedings{Engels_Groenewegen_Kappel_1996, title={Object-oriented specification
    of coordinated collaboration}, booktitle={Proceedings of IFIP World Conference
    on IT Tools (1996), Canberra (Australia)}, publisher={Chapman &#38; Hall}, author={Engels,
    Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996}, pages={437–452}
    }'
  chicago: Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Object-Oriented Specification
    of Coordinated Collaboration.” In <i>Proceedings of IFIP World Conference on IT
    Tools (1996), Canberra (Australia)</i>, 437–52. Chapman &#38; Hall, 1996.
  ieee: G. Engels, L. Groenewegen, and G. Kappel, “Object-oriented specification of
    coordinated collaboration,” in <i>Proceedings of IFIP World Conference on IT Tools
    (1996), Canberra (Australia)</i>, 1996, pp. 437–452.
  mla: Engels, Gregor, et al. “Object-Oriented Specification of Coordinated Collaboration.”
    <i>Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)</i>,
    Chapman &#38; Hall, 1996, pp. 437–52.
  short: 'G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference
    on IT Tools (1996), Canberra (Australia), Chapman &#38; Hall, 1996, pp. 437–452.'
date_created: 2019-02-20T14:05:50Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
page: 437-452
publication: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)
publisher: Chapman & Hall
status: public
title: Object-oriented specification of coordinated collaboration
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '8197'
abstract:
- lang: eng
  text: 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:
- first_name: Marc
  full_name: Andries, Marc
  last_name: Andries
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Annegret
  full_name: Habel, Annegret
  last_name: Habel
- first_name: Berthold
  full_name: Hoffmann, Berthold
  last_name: Hoffmann
- first_name: Hans-Jörg
  full_name: Kreowski, Hans-Jörg
  last_name: Kreowski
- first_name: Sabine
  full_name: Kuske, Sabine
  last_name: Kuske
- first_name: Detlef
  full_name: Plump, Detlef
  last_name: Plump
- first_name: Andy
  full_name: Schürr, Andy
  last_name: Schürr
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
citation:
  ama: Andries M, Engels G, Habel A, et al. <i>Graph Transformation for Specification
    and Programming</i>. University of Bremen, Department of Mathematics and Computer
    Science; 1996.
  apa: Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S.,
    … Taentzer, G. (1996). <i>Graph Transformation for Specification and Programming</i>.
    University of Bremen, Department of Mathematics and Computer Science.
  bibtex: '@book{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1996,
    title={Graph Transformation for Specification and Programming}, publisher={University
    of Bremen, Department of Mathematics and Computer Science}, 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},
    year={1996} }'
  chicago: Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg
    Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. <i>Graph
    Transformation for Specification and Programming</i>. University of Bremen, Department
    of Mathematics and Computer Science, 1996.
  ieee: M. Andries <i>et al.</i>, <i>Graph Transformation for Specification and Programming</i>.
    University of Bremen, Department of Mathematics and Computer Science, 1996.
  mla: Andries, Marc, et al. <i>Graph Transformation for Specification and Programming</i>.
    University of Bremen, Department of Mathematics and Computer Science, 1996.
  short: M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D.
    Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming,
    University of Bremen, Department of Mathematics and Computer Science, 1996.
date_created: 2019-03-03T16:12:53Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Bremen, Department of Mathematics and Computer Science
report_number: 7/96
status: public
title: Graph Transformation for Specification and Programming
type: report
user_id: '52534'
year: '1996'
...
---
_id: '8198'
author:
- first_name: Giorgio
  full_name: Busatto, Giorgio
  last_name: Busatto
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Busatto G, Engels G. <i>Definition of an Encapsulated Hierarchical Graph Data
    Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit Leiden;
    1996.'
  apa: 'Busatto, G., &#38; Engels, G. (1996). <i>Definition of an Encapsulated Hierarchical
    Graph Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit
    Leiden.'
  bibtex: '@book{Busatto_Engels_1996, title={Definition of an Encapsulated Hierarchical
    Graph Data Model: Static Aspects, Part 1.}, publisher={Vakgroep Informatica, Rijksuniversiteit
    Leiden}, author={Busatto, Giorgio and Engels, Gregor}, year={1996} }'
  chicago: 'Busatto, Giorgio, and Gregor Engels. <i>Definition of an Encapsulated
    Hierarchical Graph Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica,
    Rijksuniversiteit Leiden, 1996.'
  ieee: 'G. Busatto and G. Engels, <i>Definition of an Encapsulated Hierarchical Graph
    Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit
    Leiden, 1996.'
  mla: 'Busatto, Giorgio, and Gregor Engels. <i>Definition of an Encapsulated Hierarchical
    Graph Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit
    Leiden, 1996.'
  short: 'G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph
    Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden,
    1996.'
date_created: 2019-03-03T16:12:54Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Vakgroep Informatica, Rijksuniversiteit Leiden
report_number: 96-38
status: public
title: 'Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects,
  Part 1.'
type: report
user_id: '52534'
year: '1996'
...
---
_id: '8199'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Gerti
  full_name: Kappel, Gerti
  last_name: Kappel
citation:
  ama: Engels G, Groenewegen L, Kappel G. <i>Object-Oriented Specification of Coordinated
    Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
  apa: Engels, G., Groenewegen, L., &#38; Kappel, G. (1996). <i>Object-oriented Specification
    of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden.
  bibtex: '@book{Engels_Groenewegen_Kappel_1996, title={Object-oriented Specification
    of Coordinated Collaboration}, publisher={Vakgroep Informatica, Rijksuniversiteit
    Leiden}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996}
    }'
  chicago: Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. <i>Object-Oriented
    Specification of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit
    Leiden, 1996.
  ieee: G. Engels, L. Groenewegen, and G. Kappel, <i>Object-oriented Specification
    of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden,
    1996.
  mla: Engels, Gregor, et al. <i>Object-Oriented Specification of Coordinated Collaboration</i>.
    Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
  short: G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated
    Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
date_created: 2019-03-03T16:12:55Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Vakgroep Informatica, Rijksuniversiteit Leiden
status: public
title: Object-oriented Specification of Coordinated Collaboration
type: report
user_id: '52534'
year: '1996'
...
---
_id: '8200'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Michael
  full_name: Löwe, Michael
  last_name: Löwe
citation:
  ama: Heckel R, Corradini A, Ehrig H, Löwe M. <i>Horizontal and Vertical Structuring
    of Typed Graph Transformation Systems</i>.; 1996.
  apa: Heckel, R., Corradini, A., Ehrig, H., &#38; Löwe, M. (1996). <i>Horizontal
    and Vertical Structuring of Typed Graph Transformation Systems</i>.
  bibtex: '@book{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical
    Structuring of Typed Graph Transformation Systems}, author={Heckel, Reiko and
    Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996} }'
  chicago: Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. <i>Horizontal
    and Vertical Structuring of Typed Graph Transformation Systems</i>, 1996.
  ieee: R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, <i>Horizontal and Vertical
    Structuring of Typed Graph Transformation Systems</i>. 1996.
  mla: Heckel, Reiko, et al. <i>Horizontal and Vertical Structuring of Typed Graph
    Transformation Systems</i>. 1996.
  short: R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring
    of Typed Graph Transformation Systems, 1996.
date_created: 2019-03-03T16:12:56Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Horizontal and Vertical Structuring of Typed Graph Transformation Systems
type: report
user_id: '52534'
year: '1996'
...
---
_id: '8271'
author:
- first_name: Tineke
  full_name: de Bunje, Tineke
  last_name: de Bunje
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Michael
  full_name: Heus, Michael
  last_name: Heus
- first_name: Aart
  full_name: Matsinger, Aart
  last_name: Matsinger
citation:
  ama: 'de Bunje T, Engels G, Groenewegen L, Heus M, Matsinger A. Towards Measurable
    Process Models. In: <i>Proceedings of the Workshop on Software Process Technology
    (EWSPT 1996), Nancy (France)</i>. Vol 1149. Berlin/Heidelberg: Springer; 1996:183-187.
    doi:<a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>'
  apa: 'de Bunje, T., Engels, G., Groenewegen, L., Heus, M., &#38; Matsinger, A. (1996).
    Towards Measurable Process Models. In <i>Proceedings of the Workshop on Software
    Process Technology (EWSPT 1996), Nancy (France)</i> (Vol. 1149, pp. 183–187).
    Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>'
  bibtex: '@inproceedings{de Bunje_Engels_Groenewegen_Heus_Matsinger_1996, place={Berlin/Heidelberg},
    title={Towards Measurable Process Models}, volume={1149}, DOI={<a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>},
    booktitle={Proceedings of the Workshop on Software Process Technology (EWSPT 1996),
    Nancy (France)}, publisher={Springer}, author={de Bunje, Tineke and Engels, Gregor
    and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart}, year={1996}, pages={183–187}
    }'
  chicago: 'Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Michael Heus, and Aart
    Matsinger. “Towards Measurable Process Models.” In <i>Proceedings of the Workshop
    on Software Process Technology (EWSPT 1996), Nancy (France)</i>, 1149:183–87.
    Berlin/Heidelberg: Springer, 1996. <a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>.'
  ieee: T. de Bunje, G. Engels, L. Groenewegen, M. Heus, and A. Matsinger, “Towards
    Measurable Process Models,” in <i>Proceedings of the Workshop on Software Process
    Technology (EWSPT 1996), Nancy (France)</i>, 1996, vol. 1149, pp. 183–187.
  mla: de Bunje, Tineke, et al. “Towards Measurable Process Models.” <i>Proceedings
    of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)</i>,
    vol. 1149, Springer, 1996, pp. 183–87, doi:<a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>.
  short: 'T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings
    of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer,
    Berlin/Heidelberg, 1996, pp. 183–187.'
date_created: 2019-03-04T12:25:36Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BFb0017743
intvolume: '      1149'
language:
- iso: eng
page: 183-187
place: Berlin/Heidelberg
publication: Proceedings of the Workshop on Software Process Technology (EWSPT 1996),
  Nancy (France)
publisher: Springer
status: public
title: Towards Measurable Process Models
type: conference
user_id: '52534'
volume: 1149
year: '1996'
...
---
_id: '8272'
abstract:
- lang: eng
  text: 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:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Ehrig H, Engels G. Pragmatic and Semantic Aspects of a Module Concept for
    Graph Transformation Systems. In: <i>Selected Papers from the 5th International
    Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
    VA (USA)</i>. Vol 1073. Berlin/Heidelberg: Springer; 1996:137-154.'
  apa: 'Ehrig, H., &#38; Engels, G. (1996). Pragmatic and Semantic Aspects of a Module
    Concept for Graph Transformation Systems. In <i>Selected papers from the 5th International
    Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
    VA (USA)</i> (Vol. 1073, pp. 137–154). Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Ehrig_Engels_1996, place={Berlin/Heidelberg}, title={Pragmatic
    and Semantic Aspects of a Module Concept for Graph Transformation Systems}, volume={1073},
    booktitle={Selected papers from the 5th International Workshop on Graph Gramars
    and Their Application to Computer Science, Williamsburg, VA (USA)}, publisher={Springer},
    author={Ehrig, Hartmut and Engels, Gregor}, year={1996}, pages={137–154} }'
  chicago: 'Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of
    a Module Concept for Graph Transformation Systems.” In <i>Selected Papers from
    the 5th International Workshop on Graph Gramars and Their Application to Computer
    Science, Williamsburg, VA (USA)</i>, 1073:137–54. Berlin/Heidelberg: Springer,
    1996.'
  ieee: H. Ehrig and G. Engels, “Pragmatic and Semantic Aspects of a Module Concept
    for Graph Transformation Systems,” in <i>Selected papers from the 5th International
    Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
    VA (USA)</i>, 1996, vol. 1073, pp. 137–154.
  mla: Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of a Module
    Concept for Graph Transformation Systems.” <i>Selected Papers from the 5th International
    Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
    VA (USA)</i>, vol. 1073, Springer, 1996, pp. 137–54.
  short: 'H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop
    on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA),
    Springer, Berlin/Heidelberg, 1996, pp. 137–154.'
date_created: 2019-03-04T12:25:38Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: '      1073'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007%2F3-540-61228-9_84
page: 137-154
place: Berlin/Heidelberg
publication: Selected papers from the 5th International Workshop on Graph Gramars
  and Their Application to Computer Science, Williamsburg, VA (USA)
publisher: Springer
status: public
title: Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation
  Systems
type: conference
user_id: '52534'
volume: 1073
year: '1996'
...
---
_id: '8273'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Andreas
  full_name: Zamperoni, Andreas
  last_name: Zamperoni
citation:
  ama: 'Engels G, Zamperoni A. Comprehensive Support for Change: Generic, Multi-dimensional
    (Software) Engineering Frameworks (position paper). In: <i>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)</i>.
    ; 1996:42-44.'
  apa: 'Engels, G., &#38; Zamperoni, A. (1996). Comprehensive Support for Change:
    Generic, Multi-dimensional (Software) Engineering Frameworks (position paper).
    In <i>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)</i> (pp. 42–44).'
  bibtex: '@inproceedings{Engels_Zamperoni_1996, title={Comprehensive Support for
    Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position
    paper)}, 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)}, author={Engels, Gregor and Zamperoni,
    Andreas}, year={1996}, pages={42–44} }'
  chicago: 'Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change:
    Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).”
    In <i>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)</i>, 42–44, 1996.'
  ieee: 'G. Engels and A. Zamperoni, “Comprehensive Support for Change: Generic, Multi-dimensional
    (Software) Engineering Frameworks (position paper),” in <i>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)</i>,
    1996, pp. 42–44.'
  mla: 'Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change:
    Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).”
    <i>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)</i>, 1996, pp. 42–44.'
  short: 'G. Engels, A. Zamperoni, in: 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), 1996, pp. 42–44.'
date_created: 2019-03-04T12:25:39Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 42-44
publication: 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)
status: public
title: 'Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering
  Frameworks (position paper)'
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '8274'
abstract:
- lang: eng
  text: By means of a special sofnvare process model component we have been successful
    in specifring somare process model evolution, This component also handles much
    reuse of software process model fragments. To handle the reuse of the software
    as it is being produced by a software process, another extra component can be
    added to the model for that software process. It is argued why this extra component
    is comparable to the special component for evolution.
author:
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Groenewegen L, Engels G. Reuse of Software Process Fragments is Reuse of Software,
    too. In: <i>Proceedings of the 10th International Software Process Workshop (ISPW
    1996), Ventron (France)</i>. Washington, DC, USA: IEEE Computer Society; 1996:68.'
  apa: 'Groenewegen, L., &#38; Engels, G. (1996). Reuse of Software Process Fragments
    is Reuse of Software, too. In <i>Proceedings of the 10th International Software
    Process Workshop (ISPW 1996), Ventron (France)</i> (p. 68). Washington, DC, USA:
    IEEE Computer Society.'
  bibtex: '@inproceedings{Groenewegen_Engels_1996, place={Washington, DC, USA}, title={Reuse
    of Software Process Fragments is Reuse of Software, too}, booktitle={Proceedings
    of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)},
    publisher={IEEE Computer Society}, author={Groenewegen, Luuk and Engels, Gregor},
    year={1996}, pages={68} }'
  chicago: 'Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments
    Is Reuse of Software, Too.” In <i>Proceedings of the 10th International Software
    Process Workshop (ISPW 1996), Ventron (France)</i>, 68. Washington, DC, USA: IEEE
    Computer Society, 1996.'
  ieee: L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse
    of Software, too,” in <i>Proceedings of the 10th International Software Process
    Workshop (ISPW 1996), Ventron (France)</i>, 1996, p. 68.
  mla: Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments
    Is Reuse of Software, Too.” <i>Proceedings of the 10th International Software
    Process Workshop (ISPW 1996), Ventron (France)</i>, IEEE Computer Society, 1996,
    p. 68.
  short: 'L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software
    Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington,
    DC, USA, 1996, p. 68.'
date_created: 2019-03-04T12:25:40Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: '68'
place: Washington, DC, USA
publication: Proceedings of the 10th International Software Process Workshop (ISPW
  1996), Ventron (France)
publisher: IEEE Computer Society
status: public
title: Reuse of Software Process Fragments is Reuse of Software, too
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '8275'
abstract:
- lang: eng
  text: This extended abstract describes a mechanism to automatically incorporate
    safety requirements into operational specifications written in Z. For every individual
    operation the global (i.e. operation independent) safety invariants are transformed
    into a predicate which is used to extend the original precondiction of the operation.
    The operation constructed this way shows the same beavior as the original one
    whenever its post state satisfies the invariant. Otherwise it refuses to do anything.
    The construction of the precondition can be carried out automatically and a corresponding
    tool development is in progress.
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Mirko
  full_name: Conrad, Mirko
  last_name: Conrad
- first_name: Gottfried
  full_name: Egger, Gottfried
  last_name: Egger
- first_name: Jörg
  full_name: Hiemer, Jörg
  last_name: Hiemer
citation:
  ama: 'Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants
    into Z Specifications. In: <i>Proceedings of the Workshop on Tools for System
    Development and Verifcation</i>. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.'
  apa: 'Heckel, R., Conrad, M., Egger, G., &#38; Hiemer, J. (1996). Automatic Integration
    of Safety Invariants into Z Specifications. In <i>Proceedings of the Workshop
    on Tools for System Development and Verifcation</i> (Vol. 1, pp. 70–83). Bremen,
    Germany: Shaker Verlag.'
  bibtex: '@inproceedings{Heckel_Conrad_Egger_Hiemer_1996, place={Bremen, Germany},
    title={Automatic Integration of Safety Invariants into Z Specifications}, volume={1},
    booktitle={Proceedings of the Workshop on Tools for System Development and Verifcation},
    publisher={Shaker Verlag}, author={Heckel, Reiko and Conrad, Mirko and Egger,
    Gottfried and Hiemer, Jörg}, year={1996}, pages={70–83} }'
  chicago: 'Heckel, Reiko, Mirko Conrad, Gottfried Egger, and Jörg Hiemer. “Automatic
    Integration of Safety Invariants into Z Specifications.” In <i>Proceedings of
    the Workshop on Tools for System Development and Verifcation</i>, 1:70–83. Bremen,
    Germany: Shaker Verlag, 1996.'
  ieee: R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety
    Invariants into Z Specifications,” in <i>Proceedings of the Workshop on Tools
    for System Development and Verifcation</i>, 1996, vol. 1, pp. 70–83.
  mla: Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.”
    <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>,
    vol. 1, Shaker Verlag, 1996, pp. 70–83.
  short: 'R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop
    on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany,
    1996, pp. 70–83.'
date_created: 2019-03-04T12:25:41Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: '         1'
language:
- iso: eng
main_file_link:
- url: http://tfs.cs.tu-berlin.de/
page: 70-83
place: Bremen, Germany
publication: Proceedings of the Workshop on Tools for System Development and Verifcation
publisher: Shaker Verlag
status: public
title: Automatic Integration of Safety Invariants into Z Specifications
type: conference
user_id: '52534'
volume: 1
year: '1996'
...
---
_id: '7404'
author:
- first_name: Annegret
  full_name: Habel, Annegret
  last_name: Habel
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
citation:
  ama: Habel A, Heckel R, Taentzer G. Graph Grammars with Negative Application Conditions.
    <i>Fundamenta Informaticae</i>. 1996;26(3,4):287-313.
  apa: Habel, A., Heckel, R., &#38; Taentzer, G. (1996). Graph Grammars with Negative
    Application Conditions. <i>Fundamenta Informaticae</i>, <i>26</i>(3,4), 287–313.
  bibtex: '@article{Habel_Heckel_Taentzer_1996, title={Graph Grammars with Negative
    Application Conditions}, volume={26}, number={3,4}, journal={Fundamenta Informaticae},
    author={Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele}, year={1996},
    pages={287–313} }'
  chicago: 'Habel, Annegret, Reiko Heckel, and Gabriele Taentzer. “Graph Grammars
    with Negative Application Conditions.” <i>Fundamenta Informaticae</i> 26, no.
    3,4 (1996): 287–313.'
  ieee: A. Habel, R. Heckel, and G. Taentzer, “Graph Grammars with Negative Application
    Conditions,” <i>Fundamenta Informaticae</i>, vol. 26, no. 3,4, pp. 287–313, 1996.
  mla: Habel, Annegret, et al. “Graph Grammars with Negative Application Conditions.”
    <i>Fundamenta Informaticae</i>, vol. 26, no. 3,4, 1996, pp. 287–313.
  short: A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
date_created: 2019-01-31T15:50:33Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '        26'
issue: 3,4
language:
- iso: eng
page: 287-313
publication: Fundamenta Informaticae
status: public
title: Graph Grammars with Negative Application Conditions
type: journal_article
user_id: '52534'
volume: 26
year: '1996'
...
---
_id: '7405'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Michael
  full_name: Löwe, Michael
  last_name: Löwe
citation:
  ama: Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring
    of Typed Graph Transformation Systems. <i>Mathematical Structures in Computer
    Science</i>. 1996;6(6):613-648.
  apa: Heckel, R., Corradini, A., Ehrig, H., &#38; Löwe, M. (1996). Horizontal and
    Vertical Structuring of Typed Graph Transformation Systems. <i>Mathematical Structures
    in Computer Science</i>, <i>6</i>(6), 613–648.
  bibtex: '@article{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical
    Structuring of Typed Graph Transformation Systems}, volume={6}, number={6}, journal={Mathematical
    Structures in Computer Science}, author={Heckel, Reiko and Corradini, Andrea and
    Ehrig, Hartmut and Löwe, Michael}, year={1996}, pages={613–648} }'
  chicago: 'Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. “Horizontal
    and Vertical Structuring of Typed Graph Transformation Systems.” <i>Mathematical
    Structures in Computer Science</i> 6, no. 6 (1996): 613–48.'
  ieee: R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, “Horizontal and Vertical Structuring
    of Typed Graph Transformation Systems,” <i>Mathematical Structures in Computer
    Science</i>, vol. 6, no. 6, pp. 613–648, 1996.
  mla: Heckel, Reiko, et al. “Horizontal and Vertical Structuring of Typed Graph Transformation
    Systems.” <i>Mathematical Structures in Computer Science</i>, vol. 6, no. 6, 1996,
    pp. 613–48.
  short: R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer
    Science 6 (1996) 613–648.
date_created: 2019-01-31T15:51:05Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         6'
issue: '6'
language:
- iso: eng
page: 613-648
publication: Mathematical Structures in Computer Science
status: public
title: Horizontal and Vertical Structuring of Typed Graph Transformation Systems
type: journal_article
user_id: '52534'
volume: 6
year: '1996'
...