---
_id: '8283'
abstract:
- lang: eng
  text: A general framework is presented for extending graph transformation and other
    rule-based formalisms in such a way that transformations with incomplete information
    can be handled. This extension is motivated by the need to model the behaviour
    of open systems in different application areas using graph transformations and
    Petri nets. The following two problems are central within this general framework.
    1. Characterization of transformations with incomplete information. 2. Recovery
    of information from incomplete transformations. A solution for these problems
    is presented for algebraic graph transformations and Petri nets using the new
    concepts of graph transitions based on double pullbacks and open nets based on
    autonomous actions for open places. Moreover, the problems are discussed for DNA-computing
    and other rule-based formalisms.
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: Grzegorz
  full_name: Rozenberg, Grzegorz
  last_name: Rozenberg
citation:
  ama: 'Ehrig H, Heckel R, Padberg J, Rozenberg G. Graph Transformation and Other
    Rule-Based Formalisms with Incomplete Information. In: <i>Proceedings of the 6th
    International Workshop on Theory and Application of Graph Transformation (TAGT
    1998), Paderborn (Germany)</i>. ; 1998.'
  apa: Ehrig, H., Heckel, R., Padberg, J., &#38; Rozenberg, G. (1998). Graph Transformation
    and Other Rule-Based Formalisms with Incomplete Information. In <i>Proceedings
    of the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT 1998), Paderborn (Germany)</i>.
  bibtex: '@inproceedings{Ehrig_Heckel_Padberg_Rozenberg_1998, title={Graph Transformation
    and Other Rule-Based Formalisms with Incomplete Information}, booktitle={Proceedings
    of the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and
    Padberg, Julia and Rozenberg, Grzegorz}, year={1998} }'
  chicago: Ehrig, Hartmut, Reiko Heckel, Julia Padberg, and Grzegorz Rozenberg. “Graph
    Transformation and Other Rule-Based Formalisms with Incomplete Information.” In
    <i>Proceedings of the 6th International Workshop on Theory and Application of
    Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.
  ieee: H. Ehrig, R. Heckel, J. Padberg, and G. Rozenberg, “Graph Transformation and
    Other Rule-Based Formalisms with Incomplete Information,” in <i>Proceedings of
    the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT 1998), Paderborn (Germany)</i>, 1998.
  mla: Ehrig, Hartmut, et al. “Graph Transformation and Other Rule-Based Formalisms
    with Incomplete Information.” <i>Proceedings of the 6th International Workshop
    on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>,
    1998.
  short: 'H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg, in: Proceedings of the 6th
    International Workshop on Theory and Application of Graph Transformation (TAGT
    1998), Paderborn (Germany), 1998.'
date_created: 2019-03-04T12:25:51Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 6th International Workshop on Theory and Application
  of Graph Transformation (TAGT 1998), Paderborn (Germany)
status: public
title: Graph Transformation and Other Rule-Based Formalisms with Incomplete Information
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8284'
author:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Mercé
  full_name: Llabrés, Mercé
  last_name: Llabrés
- first_name: Fernando
  full_name: Orejas, Fernando
  last_name: Orejas
- first_name: Julia
  full_name: Padberg, Julia
  last_name: Padberg
- first_name: Grzegorz
  full_name: Rozenberg, Grzegorz
  last_name: Rozenberg
citation:
  ama: 'Ehrig H, Heckel R, Llabrés M, Orejas F, Padberg J, Rozenberg G. Double-Pullback
    Graph Transitions: A Rule-Based Framework with Incomplete Information. In: <i>Selected
    Papers from the 6th International Workshop on Theory and Application of Graph
    Transformations (TAGT 1998), Paderborn (Germany)</i>. Vol 1764. LNCS. Berlin/Heidelberg:
    Springer; 1998:85-102. doi:<a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>'
  apa: 'Ehrig, H., Heckel, R., Llabrés, M., Orejas, F., Padberg, J., &#38; Rozenberg,
    G. (1998). Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete
    Information. In <i>Selected papers from the 6th International Workshop on Theory
    and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>
    (Vol. 1764, pp. 85–102). Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>'
  bibtex: '@inproceedings{Ehrig_Heckel_Llabrés_Orejas_Padberg_Rozenberg_1998, place={Berlin/Heidelberg},
    series={LNCS}, title={Double-Pullback Graph Transitions: A Rule-Based Framework
    with Incomplete Information}, volume={1764}, DOI={<a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>},
    booktitle={Selected papers from the 6th International Workshop on Theory and Application
    of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer},
    author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando
    and Padberg, Julia and Rozenberg, Grzegorz}, year={1998}, pages={85–102}, collection={LNCS}
    }'
  chicago: 'Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, Fernando Orejas, Julia Padberg,
    and Grzegorz Rozenberg. “Double-Pullback Graph Transitions: A Rule-Based Framework
    with Incomplete Information.” In <i>Selected Papers from the 6th International
    Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn
    (Germany)</i>, 1764:85–102. LNCS. Berlin/Heidelberg: Springer, 1998. <a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>.'
  ieee: 'H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, and G. Rozenberg,
    “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information,”
    in <i>Selected papers from the 6th International Workshop on Theory and Application
    of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 1998, vol. 1764,
    pp. 85–102.'
  mla: 'Ehrig, Hartmut, et al. “Double-Pullback Graph Transitions: A Rule-Based Framework
    with Incomplete Information.” <i>Selected Papers from the 6th International Workshop
    on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>,
    vol. 1764, Springer, 1998, pp. 85–102, doi:<a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>.'
  short: 'H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, G. Rozenberg, in:
    Selected Papers from the 6th International Workshop on Theory and Application
    of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg,
    1998, pp. 85–102.'
date_created: 2019-03-04T12:25:52Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b75045
intvolume: '      1764'
language:
- iso: eng
page: 85-102
place: Berlin/Heidelberg
publication: Selected papers from the 6th International Workshop on Theory and Application
  of Graph Transformations (TAGT 1998), Paderborn (Germany)
publisher: Springer
series_title: LNCS
status: public
title: 'Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete
  Information'
type: conference
user_id: '52534'
volume: 1764
year: '1998'
...
---
_id: '8285'
abstract:
- lang: eng
  text: 'This paper presents a systematic approach for classifying and comparing modularity
    concepts that have been proposed for graph transformation systems. The approach
    is based on the following observation: Modules and module interconnections consist
    of basic specifications (forming, e.g., a module''s body, import, or export interface),
    and relations between such specifications, like the implementation relation between
    export and body of a module. Hence, a natural approach for characterizing a module
    concept is to answer the following three questions: 1. What are the basic specifications?
    2. Which relations between specifications are used? 3. How are specifications
    and relations combined to modules and interconnections? In this paper, these questions
    are considered in some detail for the following module concepts for graph transformation
    systems.'
author:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
citation:
  ama: 'Ehrig H, Engels G, Heckel R, Taentzer G. Classification and Comparison of
    Modularity Concepts for Graph Transformation Systems. In: <i>Pre-Proceedings of
    the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT ’98), Paderborn (Germany)</i>. University of Paderborn; 1998:122-131.'
  apa: Ehrig, H., Engels, G., Heckel, R., &#38; Taentzer, G. (1998). Classification
    and Comparison of Modularity Concepts for Graph Transformation Systems. In <i>Pre-Proceedings
    of the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT ’98), Paderborn (Germany)</i> (pp. 122–131). University of Paderborn.
  bibtex: '@inproceedings{Ehrig_Engels_Heckel_Taentzer_1998, title={Classification
    and Comparison of Modularity Concepts for Graph Transformation Systems}, number={tr-ri-98-201},
    booktitle={Pre-Proceedings of the 6th International Workshop on Theory and Application
    of Graph Transformation (TAGT ’98), Paderborn (Germany)}, publisher={University
    of Paderborn}, author={Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and
    Taentzer, Gabriele}, year={1998}, pages={122–131} }'
  chicago: Ehrig, Hartmut, Gregor Engels, Reiko Heckel, and Gabriele Taentzer. “Classification
    and Comparison of Modularity Concepts for Graph Transformation Systems.” In <i>Pre-Proceedings
    of the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT ’98), Paderborn (Germany)</i>, 122–31. University of Paderborn, 1998.
  ieee: H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “Classification and Comparison
    of Modularity Concepts for Graph Transformation Systems,” in <i>Pre-Proceedings
    of the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT ’98), Paderborn (Germany)</i>, 1998, no. tr-ri-98-201, pp. 122–131.
  mla: Ehrig, Hartmut, et al. “Classification and Comparison of Modularity Concepts
    for Graph Transformation Systems.” <i>Pre-Proceedings of the 6th International
    Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn
    (Germany)</i>, no. tr-ri-98-201, University of Paderborn, 1998, pp. 122–31.
  short: 'H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the
    6th International Workshop on Theory and Application of Graph Transformation (TAGT
    ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.'
date_created: 2019-03-04T12:25:53Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
issue: tr-ri-98-201
language:
- iso: eng
page: 122-131
publication: Pre-Proceedings of the 6th International Workshop on Theory and Application
  of Graph Transformation (TAGT '98), Paderborn (Germany)
publisher: University of Paderborn
status: public
title: Classification and Comparison of Modularity Concepts for Graph Transformation
  Systems
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8286'
author:
- first_name: Fabio
  full_name: Gadducci, Fabio
  last_name: Gadducci
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Manuel
  full_name: Koch, Manuel
  last_name: Koch
citation:
  ama: 'Gadducci F, Heckel R, Koch M. Model Checking Graph-Interpreted Temporal Formulas.
    In: <i>Proceedings of the 6th International Workshop on Theory and Application
    of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn; 1998.'
  apa: Gadducci, F., Heckel, R., &#38; Koch, M. (1998). Model Checking Graph-Interpreted
    Temporal Formulas. In <i>Proceedings of the 6th International Workshop on Theory
    and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>.
    Paderborn.
  bibtex: '@inproceedings{Gadducci_Heckel_Koch_1998, place={Paderborn}, title={Model
    Checking Graph-Interpreted Temporal Formulas}, booktitle={Proceedings of the 6th
    International Workshop on Theory and Application of Graph Transformation (TAGT
    1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Koch,
    Manuel}, year={1998} }'
  chicago: Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Model Checking Graph-Interpreted
    Temporal Formulas.” In <i>Proceedings of the 6th International Workshop on Theory
    and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>.
    Paderborn, 1998.
  ieee: F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal
    Formulas,” in <i>Proceedings of the 6th International Workshop on Theory and Application
    of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.
  mla: Gadducci, Fabio, et al. “Model Checking Graph-Interpreted Temporal Formulas.”
    <i>Proceedings of the 6th International Workshop on Theory and Application of
    Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.
  short: 'F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International
    Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn
    (Germany), Paderborn, 1998.'
date_created: 2019-03-04T12:25:54Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
place: Paderborn
publication: Proceedings of the 6th International Workshop on Theory and Application
  of Graph Transformation (TAGT 1998), Paderborn (Germany)
status: public
title: Model Checking Graph-Interpreted Temporal Formulas
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8287'
author:
- first_name: Fabio
  full_name: Gadducci, Fabio
  last_name: Gadducci
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Mercé
  full_name: Llabrés, Mercé
  last_name: Llabrés
citation:
  ama: 'Gadducci F, Heckel R, Llabrés M. DPO Derivations via Disconnected Rules. In:
    <i>Proceedings of the 6th International Workshop on Theory and Application of
    Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. ; 1998.'
  apa: Gadducci, F., Heckel, R., &#38; Llabrés, M. (1998). DPO Derivations via Disconnected
    Rules. In <i>Proceedings of the 6th International Workshop on Theory and Application
    of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>.
  bibtex: '@inproceedings{Gadducci_Heckel_Llabrés_1998, title={DPO Derivations via
    Disconnected Rules}, booktitle={Proceedings of the 6th International Workshop
    on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)},
    author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1998} }'
  chicago: Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “DPO Derivations via
    Disconnected Rules.” In <i>Proceedings of the 6th International Workshop on Theory
    and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>,
    1998.
  ieee: F. Gadducci, R. Heckel, and M. Llabrés, “DPO Derivations via Disconnected
    Rules,” in <i>Proceedings of the 6th International Workshop on Theory and Application
    of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.
  mla: Gadducci, Fabio, et al. “DPO Derivations via Disconnected Rules.” <i>Proceedings
    of the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT 1998), Paderborn (Germany)</i>, 1998.
  short: 'F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 6th International
    Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn
    (Germany), 1998.'
date_created: 2019-03-04T12:25:55Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 6th International Workshop on Theory and Application
  of Graph Transformation (TAGT 1998), Paderborn (Germany)
status: public
title: DPO Derivations via Disconnected Rules
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8288'
abstract:
- lang: eng
  text: The integration of active database technology into mobile database systems
    allows to limit the transfer of data between mobile computers and the stationary
    network. In order to employ such active database mechanisms, the rule processing
    component of traditional active database systems needs to be modified. This paper
    introduces a new model for event processing and presents a new algorithm for the
    composition of complex events in a mobile database environment. Furthermore, the
    model also takes into account the possibility of broadcast data. To validate the
    feasibility of the model, a prototype has been built using object-oriented technology.
author:
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
- first_name: Olaf
  full_name: Zukunft, Olaf
  last_name: Zukunft
citation:
  ama: 'Sauer S, Zukunft O. Event Processing in Mobile and Active Database Systems
    Using Broadcasts. In: <i>Proceedings of the 9th International Workshop on Database
    and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>. Washington,
    DC, USA: IEEE Computer Society; 1998:420-426.'
  apa: 'Sauer, S., &#38; Zukunft, O. (1998). Event Processing in Mobile and Active
    Database Systems Using Broadcasts. In <i>Proceedings of the 9th International
    Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>
    (pp. 420–426). Washington, DC, USA: IEEE Computer Society.'
  bibtex: '@inproceedings{Sauer_Zukunft_1998, place={Washington, DC, USA}, title={Event
    Processing in Mobile and Active Database Systems Using Broadcasts}, booktitle={Proceedings
    of the 9th International Workshop on Database and Expert Systems Applications
    (DEXA 1998), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Sauer,
    Stefan and Zukunft, Olaf}, year={1998}, pages={420–426} }'
  chicago: 'Sauer, Stefan, and Olaf Zukunft. “Event Processing in Mobile and Active
    Database Systems Using Broadcasts.” In <i>Proceedings of the 9th International
    Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>,
    420–26. Washington, DC, USA: IEEE Computer Society, 1998.'
  ieee: S. Sauer and O. Zukunft, “Event Processing in Mobile and Active Database Systems
    Using Broadcasts,” in <i>Proceedings of the 9th International Workshop on Database
    and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>, 1998, pp. 420–426.
  mla: Sauer, Stefan, and Olaf Zukunft. “Event Processing in Mobile and Active Database
    Systems Using Broadcasts.” <i>Proceedings of the 9th International Workshop on
    Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>, IEEE
    Computer Society, 1998, pp. 420–26.
  short: 'S. Sauer, O. Zukunft, in: Proceedings of the 9th International Workshop
    on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), IEEE
    Computer Society, Washington, DC, USA, 1998, pp. 420–426.'
date_created: 2019-03-04T12:25:57Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 420-426
place: Washington, DC, USA
publication: Proceedings of the 9th International Workshop on Database and Expert
  Systems Applications (DEXA 1998), Vienna (Austria)
publisher: IEEE Computer Society
status: public
title: Event Processing in Mobile and Active Database Systems Using Broadcasts
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8289'
author:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Mercé
  full_name: Llabrés, Mercé
  last_name: Llabrés
- first_name: Fernando
  full_name: Orejas, Fernando
  last_name: Orejas
citation:
  ama: 'Ehrig H, Heckel R, Llabrés M, Orejas F. Construction and Characterisation
    of Double-Pullback Graph Transitions. In: <i>Proceedings of the 6th International
    Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn
    (Germany)</i>. ; 1998.'
  apa: Ehrig, H., Heckel, R., Llabrés, M., &#38; Orejas, F. (1998). Construction and
    Characterisation of Double-Pullback Graph Transitions. In <i>Proceedings of the
    6th International Workshop on Theory and Application of Graph Transformation (TAGT
    1998), Paderborn (Germany)</i>.
  bibtex: '@inproceedings{Ehrig_Heckel_Llabrés_Orejas_1998, title={Construction and
    Characterisation of Double-Pullback Graph Transitions}, booktitle={Proceedings
    of the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and
    Llabrés, Mercé and Orejas, Fernando}, year={1998} }'
  chicago: Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. “Construction
    and Characterisation of Double-Pullback Graph Transitions.” In <i>Proceedings
    of the 6th International Workshop on Theory and Application of Graph Transformation
    (TAGT 1998), Paderborn (Germany)</i>, 1998.
  ieee: H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, “Construction and Characterisation
    of Double-Pullback Graph Transitions,” in <i>Proceedings of the 6th International
    Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn
    (Germany)</i>, 1998.
  mla: Ehrig, Hartmut, et al. “Construction and Characterisation of Double-Pullback
    Graph Transitions.” <i>Proceedings of the 6th International Workshop on Theory
    and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>,
    1998.
  short: 'H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, in: Proceedings of the 6th International
    Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn
    (Germany), 1998.'
date_created: 2019-03-04T12:25:58Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 6th International Workshop on Theory and Application
  of Graph Transformation (TAGT 1998), Paderborn (Germany)
status: public
title: Construction and Characterisation of Double-Pullback Graph Transitions
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '7587'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Heckel R. <i>Open Graph Transformation Systems: A New Approach to the Compositional
    Modelling of Concurrent and Reactive Systems</i>.; 1998.'
  apa: 'Heckel, R. (1998). <i>Open Graph Transformation Systems: A New Approach to
    the Compositional Modelling of Concurrent and Reactive Systems</i>.'
  bibtex: '@book{Heckel_1998, title={Open Graph Transformation Systems: A New Approach
    to the Compositional Modelling of Concurrent and Reactive Systems}, author={Heckel,
    Reiko}, year={1998} }'
  chicago: 'Heckel, Reiko. <i>Open Graph Transformation Systems: A New Approach to
    the Compositional Modelling of Concurrent and Reactive Systems</i>, 1998.'
  ieee: 'R. Heckel, <i>Open Graph Transformation Systems: A New Approach to the Compositional
    Modelling of Concurrent and Reactive Systems</i>. 1998.'
  mla: 'Heckel, Reiko. <i>Open Graph Transformation Systems: A New Approach to the
    Compositional Modelling of Concurrent and Reactive Systems</i>. 1998.'
  short: 'R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional
    Modelling of Concurrent and Reactive Systems, 1998.'
date_created: 2019-02-06T14:30:48Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: 'Open Graph Transformation Systems: A New Approach to the Compositional Modelling
  of Concurrent and Reactive Systems'
type: dissertation
user_id: '52534'
year: '1998'
...
---
_id: '7795'
citation:
  ama: 'Engels G, ed. <i>Themenheft: Softwaretechnik</i>. Vol 12. Berlin/Heidelberg:
    Springer; 1997. doi:<a href="http://dx.doi.org/10.1007/s004500050085">http://dx.doi.org/10.1007/s004500050085</a>'
  apa: 'Engels, G. (Ed.). (1997). <i>Themenheft: Softwaretechnik</i> (Vol. 12). Berlin/Heidelberg:
    Springer. <a href="http://dx.doi.org/10.1007/s004500050085">http://dx.doi.org/10.1007/s004500050085</a>'
  bibtex: '@book{Engels_1997, place={Berlin/Heidelberg}, series={Informatik: Forschung
    und Entwicklung}, title={Themenheft: Softwaretechnik}, volume={12}, DOI={<a href="http://dx.doi.org/10.1007/s004500050085">http://dx.doi.org/10.1007/s004500050085</a>},
    number={4}, publisher={Springer}, year={1997}, collection={Informatik: Forschung
    und Entwicklung} }'
  chicago: 'Engels, Gregor, ed. <i>Themenheft: Softwaretechnik</i>. Vol. 12. Informatik:
    Forschung Und Entwicklung. Berlin/Heidelberg: Springer, 1997. <a href="http://dx.doi.org/10.1007/s004500050085">http://dx.doi.org/10.1007/s004500050085</a>.'
  ieee: 'G. Engels, Ed., <i>Themenheft: Softwaretechnik</i>, vol. 12, no. 4. Berlin/Heidelberg:
    Springer, 1997.'
  mla: 'Engels, Gregor, editor. <i>Themenheft: Softwaretechnik</i>. Vol. 12, no. 4,
    Springer, 1997, doi:<a href="http://dx.doi.org/10.1007/s004500050085">http://dx.doi.org/10.1007/s004500050085</a>.'
  short: 'G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg,
    1997.'
date_created: 2019-02-19T19:15:50Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/s004500050085
editor:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
intvolume: '        12'
issue: '4'
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: 'Informatik: Forschung und Entwicklung'
status: public
title: 'Themenheft: Softwaretechnik'
type: conference_editor
user_id: '52534'
volume: 12
year: '1997'
...
---
_id: '7839'
abstract:
- lang: eng
  text: The idea of a combined reference model- and view-based specification approach
    has been proposed recently in the software engineering community. In this paper
    we present a specification technique based on graph transformations which supports
    such a development approach. The use of graphs and graph transformations supports
    an intuitive understanding and an integration of static and dynamic aspects on
    a well-defined semantical base. On this background, formal notions of view and
    view relation are developed and the behaviour of views is described by a loose
    semantics. We define a construction for automatic view integration which assumes
    that the dependencies between different views are described by a reference model.
    The views and the reference model are kept consistent manually, which is the task
    of a model manager. All concepts and results are illustrated at the well-known
    example of a banking system.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
citation:
  ama: 'Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System
    Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. <i>Proceedings
    European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>.
    Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:<a href="http://dx.doi.org/10.1007/3-540-63531-9">http://dx.doi.org/10.1007/3-540-63531-9</a>'
  apa: 'Engels, G., Heckel, R., Taentzer, G., &#38; Ehrig, H. (1997). A View-Oriented
    Approach to System Modelling Using Graph Transformations. In M. Jazayeri &#38;
    H. Schauer (Eds.), <i>Proceedings European Software Engineering Conference (ESEC
    1997), Zürich (Switzerland)</i> (Vol. 1301, pp. 327–343). Berlin/Heidelberg: Springer.
    <a href="http://dx.doi.org/10.1007/3-540-63531-9">http://dx.doi.org/10.1007/3-540-63531-9</a>'
  bibtex: '@inproceedings{Engels_Heckel_Taentzer_Ehrig_1997, place={Berlin/Heidelberg},
    title={A View-Oriented Approach to System Modelling Using Graph Transformations},
    volume={1301}, DOI={<a href="http://dx.doi.org/10.1007/3-540-63531-9">http://dx.doi.org/10.1007/3-540-63531-9</a>},
    booktitle={Proceedings European Software Engineering Conference (ESEC 1997), Zürich
    (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko
    and Taentzer, Gabriele and Ehrig, Hartmut}, editor={Jazayeri, M. and Schauer,
    H.Editors}, year={1997}, pages={327–343} }'
  chicago: 'Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A
    View-Oriented Approach to System Modelling Using Graph Transformations.” In <i>Proceedings
    European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>,
    edited by M. Jazayeri and H. Schauer, 1301:327–43. Berlin/Heidelberg: Springer,
    1997. <a href="http://dx.doi.org/10.1007/3-540-63531-9">http://dx.doi.org/10.1007/3-540-63531-9</a>.'
  ieee: G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A View-Oriented Approach
    to System Modelling Using Graph Transformations,” in <i>Proceedings European Software
    Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, 1997, vol. 1301,
    pp. 327–343.
  mla: Engels, Gregor, et al. “A View-Oriented Approach to System Modelling Using
    Graph Transformations.” <i>Proceedings European Software Engineering Conference
    (ESEC 1997), Zürich (Switzerland)</i>, edited by M. Jazayeri and H. Schauer, vol.
    1301, Springer, 1997, pp. 327–43, doi:<a href="http://dx.doi.org/10.1007/3-540-63531-9">http://dx.doi.org/10.1007/3-540-63531-9</a>.
  short: 'G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer
    (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich
    (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.'
date_created: 2019-02-20T14:06:52Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-63531-9
editor:
- first_name: M.
  full_name: Jazayeri, M.
  last_name: Jazayeri
- first_name: H.
  full_name: Schauer, H.
  last_name: Schauer
intvolume: '      1301'
language:
- iso: eng
page: 327-343
place: Berlin/Heidelberg
publication: Proceedings European Software Engineering Conference (ESEC 1997), Zürich
  (Switzerland)
publisher: Springer
status: public
title: A View-Oriented Approach to System Modelling Using Graph Transformations
type: conference
user_id: '52534'
volume: 1301
year: '1997'
...
---
_id: '7840'
abstract:
- lang: ger
  text: 'Vorteile von Laserkristallen in Slab-Geometrie gegenüber Stäben liegen in
    einer Reduktion der thermisch induzierten Linsenwirkung und der spannungsinduzierten
    Depolarisation durch einen zick-zack-förmigen Strahlverlauf innerhalb des Kristalls.
    Durch die Analyse der durch die Anordnung der Pumpquellen und die Dotierungskonzentration
    bestimmten Temperatur- und Spannungsverteilungen mit Hilfe eines Finite-Element-Modells
    und die Berechnung der resultierenden optischen Eigenschaften lassen sich die
    genannten Zielgrößen optimieren. Die Verfahren wurden auf am Laser Zentrum Hannover
    e.V. entwickelte Nd:YAG-Stab- und Slablaser angewandt und ermöglichten die Entwicklung
    diodengepumpter Festkörperlaser-Systeme mit Ausgangsleistungen von mehr als 750W
    bei guter Strahlqualität. Modellerweiterungen unter Berücksichtigung der Wechselwirkung
    zwischen Lasermoden und aktivem Material werden diskutiert. Diese Arbeit wird
    gefördert durch das BMBF, FKZ: 13 N 6361'
author:
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
- first_name: Stefan
  full_name: Knoke, Stefan
  last_name: Knoke
- first_name: Wolfram
  full_name: Schöne, Wolfram
  last_name: Schöne
- first_name: Andreas
  full_name: Tünnermann, Andreas
  last_name: Tünnermann
- first_name: H.
  full_name: Welling, H.
  last_name: Welling
citation:
  ama: 'Depke R, Knoke S, Schöne W, Tünnermann A, Welling H. Thermooptische Effekte
    in Nd:YAG-Slablasern. In: <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft</i>.
    Vol 32. Weinheim, Germany: Physik-Verlag; 1997.'
  apa: 'Depke, R., Knoke, S., Schöne, W., Tünnermann, A., &#38; Welling, H. (1997).
    Thermooptische Effekte in Nd:YAG-Slablasern. In <i>Verhandlungen der Deutschen
    Physikalischen Gesellschaft</i> (Vol. 32). Weinheim, Germany: Physik-Verlag.'
  bibtex: '@inproceedings{Depke_Knoke_Schöne_Tünnermann_Welling_1997, place={Weinheim,
    Germany}, title={Thermooptische Effekte in Nd:YAG-Slablasern}, volume={32}, number={3},
    booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft}, publisher={Physik-Verlag},
    author={Depke, Ralph and Knoke, Stefan and Schöne, Wolfram and Tünnermann, Andreas
    and Welling, H.}, year={1997} }'
  chicago: 'Depke, Ralph, Stefan Knoke, Wolfram Schöne, Andreas Tünnermann, and H.
    Welling. “Thermooptische Effekte in Nd:YAG-Slablasern.” In <i>Verhandlungen Der
    Deutschen Physikalischen Gesellschaft</i>, Vol. 32. Weinheim, Germany: Physik-Verlag,
    1997.'
  ieee: R. Depke, S. Knoke, W. Schöne, A. Tünnermann, and H. Welling, “Thermooptische
    Effekte in Nd:YAG-Slablasern,” in <i>Verhandlungen der Deutschen Physikalischen
    Gesellschaft</i>, 1997, vol. 32, no. 3.
  mla: Depke, Ralph, et al. “Thermooptische Effekte in Nd:YAG-Slablasern.” <i>Verhandlungen
    Der Deutschen Physikalischen Gesellschaft</i>, vol. 32, no. 3, Physik-Verlag,
    1997.
  short: 'R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen
    Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.'
date_created: 2019-02-20T14:07:44Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: '        32'
issue: '3'
language:
- iso: eng
place: Weinheim, Germany
publication: Verhandlungen der Deutschen Physikalischen Gesellschaft
publisher: Physik-Verlag
status: public
title: Thermooptische Effekte in Nd:YAG-Slablasern
type: conference
user_id: '52534'
volume: 32
year: '1997'
...
---
_id: '7841'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Uwe
  full_name: Wolter, Uwe
  last_name: Wolter
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
citation:
  ama: 'Heckel R, Ehrig H, Wolter U, Corradini A. Integrating the Specification Techniques
    of Graph Transformation and Temporal Logic. In: <i>Proceedings of the 22nd International
    Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava
    (Slovakia)</i>. LNCS. London, UK: Springer; 1997:219-228. doi:<a href="http://dx.doi.org/10.1007/BFb0029965">http://dx.doi.org/10.1007/BFb0029965</a>'
  apa: 'Heckel, R., Ehrig, H., Wolter, U., &#38; Corradini, A. (1997). Integrating
    the Specification Techniques of Graph Transformation and Temporal Logic. In <i>Proceedings
    of the 22nd International Symposium on Mathematical Foundations of Computer Science
    (MFCS 1997), Bratislava (Slovakia)</i> (pp. 219–228). London, UK: Springer. <a
    href="http://dx.doi.org/10.1007/BFb0029965">http://dx.doi.org/10.1007/BFb0029965</a>'
  bibtex: '@inproceedings{Heckel_Ehrig_Wolter_Corradini_1997, place={London, UK},
    series={LNCS}, title={Integrating the Specification Techniques of Graph Transformation
    and Temporal Logic}, DOI={<a href="http://dx.doi.org/10.1007/BFb0029965">http://dx.doi.org/10.1007/BFb0029965</a>},
    booktitle={Proceedings of the 22nd International Symposium on Mathematical Foundations
    of Computer Science (MFCS 1997), Bratislava (Slovakia)}, publisher={Springer},
    author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea},
    year={1997}, pages={219–228}, collection={LNCS} }'
  chicago: 'Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Integrating
    the Specification Techniques of Graph Transformation and Temporal Logic.” In <i>Proceedings
    of the 22nd International Symposium on Mathematical Foundations of Computer Science
    (MFCS 1997), Bratislava (Slovakia)</i>, 219–28. LNCS. London, UK: Springer, 1997.
    <a href="http://dx.doi.org/10.1007/BFb0029965">http://dx.doi.org/10.1007/BFb0029965</a>.'
  ieee: R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Integrating the Specification
    Techniques of Graph Transformation and Temporal Logic,” in <i>Proceedings of the
    22nd International Symposium on Mathematical Foundations of Computer Science (MFCS
    1997), Bratislava (Slovakia)</i>, 1997, pp. 219–228.
  mla: Heckel, Reiko, et al. “Integrating the Specification Techniques of Graph Transformation
    and Temporal Logic.” <i>Proceedings of the 22nd International Symposium on Mathematical
    Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>, Springer,
    1997, pp. 219–28, doi:<a href="http://dx.doi.org/10.1007/BFb0029965">http://dx.doi.org/10.1007/BFb0029965</a>.
  short: 'R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd
    International Symposium on Mathematical Foundations of Computer Science (MFCS
    1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.'
date_created: 2019-02-20T14:08:31Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BFb0029965
language:
- iso: eng
page: 219-228
place: London, UK
publication: Proceedings of the 22nd International Symposium on Mathematical Foundations
  of Computer Science (MFCS 1997), Bratislava (Slovakia)
publisher: Springer
series_title: LNCS
status: public
title: Integrating the Specification Techniques of Graph Transformation and Temporal
  Logic
type: conference
user_id: '52534'
year: '1997'
...
---
_id: '7842'
author:
- first_name: Stefan
  full_name: Knoke, Stefan
  last_name: Knoke
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
- first_name: Wolfram
  full_name: Schöne, Wolfram
  last_name: Schöne
- first_name: O.S.
  full_name: Brozek, O.S.
  last_name: Brozek
- first_name: Andreas
  full_name: Tünnermann, Andreas
  last_name: Tünnermann
- first_name: H.
  full_name: Welling, H.
  last_name: Welling
citation:
  ama: 'Knoke S, Depke R, Schöne W, Brozek OS, Tünnermann A, Welling H. Einfrequenzbetrieb
    von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In: <i>Verhandlungen Der
    Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>. Vol 32. Physik-Verlag;
    1997.'
  apa: Knoke, S., Depke, R., Schöne, W., Brozek, O. S., Tünnermann, A., &#38; Welling,
    H. (1997). Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung.
    In <i>Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>
    (Vol. 32). Physik-Verlag.
  bibtex: '@inproceedings{Knoke_Depke_Schöne_Brozek_Tünnermann_Welling_1997, title={Einfrequenzbetrieb
    von Nd:YAG-Stablasersystemen hoher Ausgangsleistung}, volume={32}, number={3},
    booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)},
    publisher={Physik-Verlag}, author={Knoke, Stefan and Depke, Ralph and Schöne,
    Wolfram and Brozek, O.S. and Tünnermann, Andreas and Welling, H.}, year={1997}
    }'
  chicago: Knoke, Stefan, Ralph Depke, Wolfram Schöne, O.S. Brozek, Andreas Tünnermann,
    and H. Welling. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.”
    In <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>,
    Vol. 32. Physik-Verlag, 1997.
  ieee: S. Knoke, R. Depke, W. Schöne, O. S. Brozek, A. Tünnermann, and H. Welling,
    “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung,” in <i>Verhandlungen
    der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>, 1997, vol.
    32, no. 3.
  mla: Knoke, Stefan, et al. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher
    Ausgangsleistung.” <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft,
    Weinheim (Germany)</i>, vol. 32, no. 3, Physik-Verlag, 1997.
  short: 'S. Knoke, R. Depke, W. Schöne, O.S. Brozek, A. Tünnermann, H. Welling, in:
    Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Physik-Verlag,
    1997.'
date_created: 2019-02-20T14:09:17Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: '        32'
issue: '3'
language:
- iso: eng
publication: Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)
publisher: Physik-Verlag
status: public
title: Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung
type: conference
user_id: '52534'
volume: 32
year: '1997'
...
---
_id: '8201'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Uwe
  full_name: Wolter, Uwe
  last_name: Wolter
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
citation:
  ama: Heckel R, Ehrig H, Wolter U, Corradini A. <i>Loose Semantics and Constraints
    for Graph Transformation Systems</i>.; 1997.
  apa: Heckel, R., Ehrig, H., Wolter, U., &#38; Corradini, A. (1997). <i>Loose Semantics
    and Constraints for Graph Transformation Systems</i>.
  bibtex: '@book{Heckel_Ehrig_Wolter_Corradini_1997, title={Loose Semantics and Constraints
    for Graph Transformation Systems}, author={Heckel, Reiko and Ehrig, Hartmut and
    Wolter, Uwe and Corradini, Andrea}, year={1997} }'
  chicago: Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. <i>Loose
    Semantics and Constraints for Graph Transformation Systems</i>, 1997.
  ieee: R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, <i>Loose Semantics and Constraints
    for Graph Transformation Systems</i>. 1997.
  mla: Heckel, Reiko, et al. <i>Loose Semantics and Constraints for Graph Transformation
    Systems</i>. 1997.
  short: R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Loose Semantics and Constraints
    for Graph Transformation Systems, 1997.
date_created: 2019-03-03T16:12:57Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
report_number: 97-07
status: public
title: Loose Semantics and Constraints for Graph Transformation Systems
type: report
user_id: '52534'
year: '1997'
...
---
_id: '8276'
author:
- first_name: Fabio
  full_name: Gadducci, Fabio
  last_name: Gadducci
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Gadducci F, Heckel R. A 2-Categorical Presentation of Distributed Graph Transformation.
    In: <i>Proceedings of the Workshop on the General Theory of Graph Transformation
    Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux; 1997.'
  apa: Gadducci, F., &#38; Heckel, R. (1997). A 2-Categorical Presentation of Distributed
    Graph Transformation. In <i>Proceedings of the Workshop on the General Theory
    of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux.
  bibtex: '@inproceedings{Gadducci_Heckel_1997, place={Bordeaux}, title={A 2-Categorical
    Presentation of Distributed Graph Transformation}, booktitle={Proceedings of the
    Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997),
    Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko}, year={1997} }'
  chicago: Gadducci, Fabio, and Reiko Heckel. “A 2-Categorical Presentation of Distributed
    Graph Transformation.” In <i>Proceedings of the Workshop on the General Theory
    of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux,
    1997.
  ieee: F. Gadducci and R. Heckel, “A 2-Categorical Presentation of Distributed Graph
    Transformation,” in <i>Proceedings of the Workshop on the General Theory of Graph
    Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.
  mla: Gadducci, Fabio, and Reiko Heckel. “A 2-Categorical Presentation of Distributed
    Graph Transformation.” <i>Proceedings of the Workshop on the General Theory of
    Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.
  short: 'F. Gadducci, R. Heckel, in: Proceedings of the Workshop on the General Theory
    of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux,
    1997.'
date_created: 2019-03-04T12:25:42Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
place: Bordeaux
publication: Proceedings of the Workshop on the General Theory of Graph Transformation
  Systems (GETGRATS 1997), Bordeaux (France)
status: public
title: A 2-Categorical Presentation of Distributed Graph Transformation
type: conference
user_id: '52534'
year: '1997'
...
---
_id: '8277'
author:
- first_name: Fabio
  full_name: Gadducci, Fabio
  last_name: Gadducci
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Manuel
  full_name: Koch, Manuel
  last_name: Koch
citation:
  ama: 'Gadducci F, Heckel R, Koch M. Combining Graph Transformations with Temporal
    Logic. In: <i>Proceedings of the Workshop on the General Theory of Graph Transformation
    Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux; 1997.'
  apa: Gadducci, F., Heckel, R., &#38; Koch, M. (1997). Combining Graph Transformations
    with Temporal Logic. In <i>Proceedings of the Workshop on the General Theory of
    Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux.
  bibtex: '@inproceedings{Gadducci_Heckel_Koch_1997, place={Bordeaux}, title={Combining
    Graph Transformations with Temporal Logic}, booktitle={Proceedings of the Workshop
    on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux
    (France)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1997}
    }'
  chicago: Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Combining Graph Transformations
    with Temporal Logic.” In <i>Proceedings of the Workshop on the General Theory
    of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux,
    1997.
  ieee: F. Gadducci, R. Heckel, and M. Koch, “Combining Graph Transformations with
    Temporal Logic,” in <i>Proceedings of the Workshop on the General Theory of Graph
    Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.
  mla: Gadducci, Fabio, et al. “Combining Graph Transformations with Temporal Logic.”
    <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems
    (GETGRATS 1997), Bordeaux (France)</i>, 1997.
  short: 'F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the
    General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France),
    Bordeaux, 1997.'
date_created: 2019-03-04T12:25:44Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
place: Bordeaux
publication: Proceedings of the Workshop on the General Theory of Graph Transformation
  Systems (GETGRATS 1997), Bordeaux (France)
status: public
title: Combining Graph Transformations with Temporal Logic
type: conference
user_id: '52534'
year: '1997'
...
---
_id: '8278'
author:
- first_name: Fabio
  full_name: Gadducci, Fabio
  last_name: Gadducci
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Gadducci F, Heckel R. An Inductive View of Graph Transformation. In: <i>Proceedings
    of the 12th International Workshop on Recent Trends in Algebraic Development Techniques
    (WADT 1997), Tarquinia (Italy)</i>. Vol 1376. LNCS. Berlin/Heidelberg: Springer;
    1997:223-237.'
  apa: 'Gadducci, F., &#38; Heckel, R. (1997). An Inductive View of Graph Transformation.
    In <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic
    Development Techniques (WADT 1997), Tarquinia (Italy)</i> (Vol. 1376, pp. 223–237).
    Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Gadducci_Heckel_1997, place={Berlin/Heidelberg}, series={LNCS},
    title={An Inductive View of Graph Transformation}, volume={1376}, booktitle={Proceedings
    of the 12th International Workshop on Recent Trends in Algebraic Development Techniques
    (WADT 1997), Tarquinia (Italy)}, publisher={Springer}, author={Gadducci, Fabio
    and Heckel, Reiko}, year={1997}, pages={223–237}, collection={LNCS} }'
  chicago: 'Gadducci, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.”
    In <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic
    Development Techniques (WADT 1997), Tarquinia (Italy)</i>, 1376:223–37. LNCS.
    Berlin/Heidelberg: Springer, 1997.'
  ieee: F. Gadducci and R. Heckel, “An Inductive View of Graph Transformation,” in
    <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic
    Development Techniques (WADT 1997), Tarquinia (Italy)</i>, 1997, vol. 1376, pp.
    223–237.
  mla: Gadducci, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.”
    <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic
    Development Techniques (WADT 1997), Tarquinia (Italy)</i>, vol. 1376, Springer,
    1997, pp. 223–37.
  short: 'F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop
    on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy),
    Springer, Berlin/Heidelberg, 1997, pp. 223–237.'
date_created: 2019-03-04T12:25:45Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: '      1376'
language:
- iso: eng
page: 223-237
place: Berlin/Heidelberg
publication: Proceedings of the 12th International Workshop on Recent Trends in Algebraic
  Development Techniques (WADT 1997), Tarquinia (Italy)
publisher: Springer
series_title: LNCS
status: public
title: An Inductive View of Graph Transformation
type: conference
user_id: '52534'
volume: 1376
year: '1997'
...
---
_id: '8279'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Heckel R. Compositional Development and Verification of Graph Transformation
    Systems Based on Views and View Integration. In: <i>Proceedings of the Workshop
    on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux
    (France)</i>. ; 1997.'
  apa: Heckel, R. (1997). Compositional Development and Verification of Graph Transformation
    Systems Based on Views and View Integration. In <i>Proceedings of the Workshop
    on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux
    (France)</i>.
  bibtex: '@inproceedings{Heckel_1997, title={Compositional Development and Verification
    of Graph Transformation Systems Based on Views and View Integration}, booktitle={Proceedings
    of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS
    1997), Bordeaux (France)}, author={Heckel, Reiko}, year={1997} }'
  chicago: Heckel, Reiko. “Compositional Development and Verification of Graph Transformation
    Systems Based on Views and View Integration.” In <i>Proceedings of the Workshop
    on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux
    (France)</i>, 1997.
  ieee: R. Heckel, “Compositional Development and Verification of Graph Transformation
    Systems Based on Views and View Integration,” in <i>Proceedings of the Workshop
    on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux
    (France)</i>, 1997.
  mla: Heckel, Reiko. “Compositional Development and Verification of Graph Transformation
    Systems Based on Views and View Integration.” <i>Proceedings of the Workshop on
    the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>,
    1997.
  short: 'R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph
    Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.'
date_created: 2019-03-04T12:25:46Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on the General Theory of Graph Transformation
  Systems (GETGRATS 1997), Bordeaux (France)
status: public
title: Compositional Development and Verification of Graph Transformation Systems
  Based on Views and View Integration
type: conference
user_id: '52534'
year: '1997'
...
---
_id: '7402'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Hans
  full_name: Jürgen Schneider, Hans
  last_name: Jürgen Schneider
citation:
  ama: Engels G, Jürgen Schneider H. Guest Editors’ Introduction. <i>International
    Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>. 1997;7(4):397-400.
    doi:<a href="http://dx.doi.org/10.1142/S0218194097000230">http://dx.doi.org/10.1142/S0218194097000230</a>
  apa: Engels, G., &#38; Jürgen Schneider, H. (1997). Guest Editors’ Introduction.
    <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>,
    <i>7</i>(4), 397–400. <a href="http://dx.doi.org/10.1142/S0218194097000230">http://dx.doi.org/10.1142/S0218194097000230</a>
  bibtex: '@article{Engels_Jürgen Schneider_1997, title={Guest Editors’ Introduction},
    volume={7}, DOI={<a href="http://dx.doi.org/10.1142/S0218194097000230">http://dx.doi.org/10.1142/S0218194097000230</a>},
    number={4}, journal={International Journal on Software Engineering and Knowledge
    Engineering (IJSEKE)}, author={Engels, Gregor and Jürgen Schneider, Hans}, year={1997},
    pages={397–400} }'
  chicago: 'Engels, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.”
    <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>
    7, no. 4 (1997): 397–400. <a href="http://dx.doi.org/10.1142/S0218194097000230">http://dx.doi.org/10.1142/S0218194097000230</a>.'
  ieee: G. Engels and H. Jürgen Schneider, “Guest Editors’ Introduction,” <i>International
    Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 7,
    no. 4, pp. 397–400, 1997.
  mla: Engels, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.” <i>International
    Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 7,
    no. 4, 1997, pp. 397–400, doi:<a href="http://dx.doi.org/10.1142/S0218194097000230">http://dx.doi.org/10.1142/S0218194097000230</a>.
  short: G. Engels, H. Jürgen Schneider, International Journal on Software Engineering
    and Knowledge Engineering (IJSEKE) 7 (1997) 397–400.
date_created: 2019-01-31T15:48:56Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S0218194097000230
intvolume: '         7'
issue: '4'
language:
- iso: eng
page: 397-400
publication: International Journal on Software Engineering and Knowledge Engineering
  (IJSEKE)
status: public
title: Guest Editors' Introduction
type: journal_article
user_id: '52534'
volume: 7
year: '1997'
...
---
_id: '7403'
abstract:
- lang: eng
  text: The idea of a combined reference model- and view-based specification approach
    has been proposed recently in the software engineering community. In this paper
    we present a specification technique based on graph transformations which supports
    such a development approach. The use of graphs and graph transformations allows
    to satisfy the general requirements of an intuitive understanding and the integration
    of static and dynamic aspects on a well-defined and sound semantical base. On
    this background, formal notions of view and view relation are developed and the
    behaviour of views is described by a loose semantics. View relations are shown
    to preserve the behaviour of views. Moreover, we define a construction for the
    automatic integration of views which assumes that the dependencies between different
    views are described by a reference model. The views and the reference model are
    kept consistent manually, which is the task of a model manager. In case of more
    than two views more general scenarios are developed and discussed. We are able
    to show that the automatic view integration is compatible with the loose semantics,
    i.e., the behaviour of the system model is exactly the integration of the behaviours
    of the views. All concepts and results are illustrated at the well-known example
    of a banking system.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
citation:
  ama: Engels G, Heckel R, Taentzer G, Ehrig H. A Combined Reference Model- and View-Based
    Approach to System Specification. <i>Int Journal of Software and Knowledge Engeneering</i>.
    1997;7(4):457-477.
  apa: Engels, G., Heckel, R., Taentzer, G., &#38; Ehrig, H. (1997). A Combined Reference
    Model- and View-Based Approach to System Specification. <i>Int. Journal of Software
    and Knowledge Engeneering</i>, <i>7</i>(4), 457–477.
  bibtex: '@article{Engels_Heckel_Taentzer_Ehrig_1997, title={A Combined Reference
    Model- and View-Based Approach to System Specification}, volume={7}, number={4},
    journal={Int. Journal of Software and Knowledge Engeneering}, author={Engels,
    Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, year={1997},
    pages={457–477} }'
  chicago: 'Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A
    Combined Reference Model- and View-Based Approach to System Specification.” <i>Int.
    Journal of Software and Knowledge Engeneering</i> 7, no. 4 (1997): 457–77.'
  ieee: G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A Combined Reference Model-
    and View-Based Approach to System Specification,” <i>Int. Journal of Software
    and Knowledge Engeneering</i>, vol. 7, no. 4, pp. 457–477, 1997.
  mla: Engels, Gregor, et al. “A Combined Reference Model- and View-Based Approach
    to System Specification.” <i>Int. Journal of Software and Knowledge Engeneering</i>,
    vol. 7, no. 4, 1997, pp. 457–77.
  short: G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and
    Knowledge Engeneering 7 (1997) 457–477.
date_created: 2019-01-31T15:49:57Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         7'
issue: '4'
language:
- iso: eng
page: 457-477
publication: Int. Journal of Software and Knowledge Engeneering
status: public
title: A Combined Reference Model- and View-Based Approach to System Specification
type: journal_article
user_id: '52534'
volume: 7
year: '1997'
...