---
_id: '7406'
abstract:
- lang: eng
text: We present the hybrid query language HQL/EER for an Extended Entity-Relationship
model. As its main characteristic, this language allows a user to usebothgraphical
and textual elements in the formulation of one and the same query. We demonstrate
the look-and-feel of this query language by means of examples, and show how syntax
and semantics of this language are formally defined using programmed graph rewriting
systems. Although we present the language in the context of the EER model, the
concept of hybrid languages is applicable in the context of other database models
as well. We illustrate this claim by discussing a prototype implementation of
a Hybrid Query Tool based on an object-oriented approach, namely the Object Modeling
Technique (OMT).
author:
- first_name: Marc
full_name: Andries, Marc
last_name: Andries
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship
Model. Journal of Visual Languages and Computing. 1996;7(3):321-352. doi:http://dx.doi.org/10.1006/jvlc.1996.0017
apa: Andries, M., & Engels, G. (1996). A Hybrid Query Language for the Extended
Entity Relationship Model. Journal of Visual Languages and Computing, 7(3),
321–352. http://dx.doi.org/10.1006/jvlc.1996.0017
bibtex: '@article{Andries_Engels_1996, title={A Hybrid Query Language for the Extended
Entity Relationship Model}, volume={7}, DOI={http://dx.doi.org/10.1006/jvlc.1996.0017},
number={3}, journal={Journal of Visual Languages and Computing}, author={Andries,
Marc and Engels, Gregor}, year={1996}, pages={321–352} }'
chicago: 'Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended
Entity Relationship Model.” Journal of Visual Languages and Computing 7,
no. 3 (1996): 321–52. http://dx.doi.org/10.1006/jvlc.1996.0017.'
ieee: M. Andries and G. Engels, “A Hybrid Query Language for the Extended Entity
Relationship Model,” Journal of Visual Languages and Computing, vol. 7,
no. 3, pp. 321–352, 1996.
mla: Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended
Entity Relationship Model.” Journal of Visual Languages and Computing,
vol. 7, no. 3, 1996, pp. 321–52, doi:http://dx.doi.org/10.1006/jvlc.1996.0017.
short: M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996)
321–352.
date_created: 2019-01-31T15:51:35Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1006/jvlc.1996.0017
intvolume: ' 7'
issue: '3'
language:
- iso: eng
page: 321-352
publication: Journal of Visual Languages and Computing
status: public
title: A Hybrid Query Language for the Extended Entity Relationship Model
type: journal_article
user_id: '52534'
volume: 7
year: '1996'
...
---
_id: '7514'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Manfred
full_name: Nagl, Manfred
last_name: Nagl
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Bernhard
full_name: Westfechtel, Bernhard
last_name: Westfechtel
citation:
ama: 'Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document:
The Programming Environment. In: Building Tightly Integrated Software Development
Environments: The IPSEN Approach. Vol 1170. LNCS. Berlin/Heidelberg: Springer;
1996:170-177.'
apa: 'Engels, G., Nagl, M., Schäfer, W., & Westfechtel, B. (1996). Tight Integration
on One Document: The Programming Environment. In Building Tightly Integrated
Software Development Environments: The IPSEN Approach (Vol. 1170, pp. 170–177).
Berlin/Heidelberg: Springer.'
bibtex: '@inbook{Engels_Nagl_Schäfer_Westfechtel_1996, place={Berlin/Heidelberg},
series={LNCS}, title={Tight Integration on One Document: The Programming Environment},
volume={1170}, booktitle={Building Tightly Integrated Software Development Environments:
The IPSEN Approach}, publisher={Springer}, author={Engels, Gregor and Nagl, Manfred
and Schäfer, Wilhelm and Westfechtel, Bernhard}, year={1996}, pages={170–177},
collection={LNCS} }'
chicago: 'Engels, Gregor, Manfred Nagl, Wilhelm Schäfer, and Bernhard Westfechtel.
“Tight Integration on One Document: The Programming Environment.” In Building
Tightly Integrated Software Development Environments: The IPSEN Approach,
1170:170–77. LNCS. Berlin/Heidelberg: Springer, 1996.'
ieee: 'G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on
One Document: The Programming Environment,” in Building Tightly Integrated
Software Development Environments: The IPSEN Approach, vol. 1170, Berlin/Heidelberg:
Springer, 1996, pp. 170–177.'
mla: 'Engels, Gregor, et al. “Tight Integration on One Document: The Programming
Environment.” Building Tightly Integrated Software Development Environments:
The IPSEN Approach, vol. 1170, Springer, 1996, pp. 170–77.'
short: 'G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated
Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg,
1996, pp. 170–177.'
date_created: 2019-02-04T22:40:52Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
intvolume: ' 1170'
language:
- iso: eng
page: 170-177
place: Berlin/Heidelberg
publication: 'Building Tightly Integrated Software Development Environments: The IPSEN
Approach'
publisher: Springer
series_title: LNCS
status: public
title: 'Tight Integration on One Document: The Programming Environment'
type: book_chapter
user_id: '52534'
volume: 1170
year: '1996'
...
---
_id: '7831'
abstract:
- lang: eng
text: We present a combination of recent extensions to single-pushout graph transformations,
as there are attribution, application conditions and amalgamated graph transformations
and add a simple transaction concept on top of this formalism. Thereby, we provide
the formal basis for several examples, where these concepts are used in combination.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jürgen
full_name: Müller, Jürgen
last_name: Müller
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Heckel R, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations
with Controlled Application of Rules. In: Proceedings of the Colloquium on
Graph Transformation and Its Application in Computer Science. Technical Report.
Universitat de les Illes Balears; 1995.'
apa: Heckel, R., Müller, J., Taentzer, G., & Wagner, A. (1995). Attributed Graph
Transformations with Controlled Application of Rules. In Proceedings of the
Colloquium on Graph Transformation and its Application in Computer Science.
Universitat de les Illes Balears.
bibtex: '@inproceedings{Heckel_Müller_Taentzer_Wagner_1995, series={Technical Report},
title={Attributed Graph Transformations with Controlled Application of Rules},
number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation
and its Application in Computer Science}, publisher={Universitat de les Illes
Balears}, author={Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and
Wagner, Annika}, year={1995}, collection={Technical Report} }'
chicago: Heckel, Reiko, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. “Attributed
Graph Transformations with Controlled Application of Rules.” In Proceedings
of the Colloquium on Graph Transformation and Its Application in Computer Science.
Technical Report. Universitat de les Illes Balears, 1995.
ieee: R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations
with Controlled Application of Rules,” in Proceedings of the Colloquium on
Graph Transformation and its Application in Computer Science, 1995, no. B-19.
mla: Heckel, Reiko, et al. “Attributed Graph Transformations with Controlled Application
of Rules.” Proceedings of the Colloquium on Graph Transformation and Its Application
in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
short: 'R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium
on Graph Transformation and Its Application in Computer Science, Universitat de
les Illes Balears, 1995.'
date_created: 2019-02-20T13:59:38Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
issue: B-19
language:
- iso: eng
publication: Proceedings of the Colloquium on Graph Transformation and its Application
in Computer Science
publisher: Universitat de les Illes Balears
series_title: Technical Report
status: public
title: Attributed Graph Transformations with Controlled Application of Rules
type: conference
user_id: '52534'
year: '1995'
...
---
_id: '7832'
author:
- first_name: Wilfried
full_name: Thoben, Wilfried
last_name: Thoben
- first_name: Hans-Jürgen
full_name: Appelrath, Hans-Jürgen
last_name: Appelrath
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Thoben W, Appelrath H-J, Sauer S. Record Linkage of Anonymous Data by Control
Numbers. In: Proceedings of the 18th Annual Conference of the Gesellschaft
Für Klassifikation, Oldenburg (Germany). Studies in Classification, Data Analysis,
and Knowledge Organization. Berlin/Heidelberg: Springer; 1995:412-419.'
apa: 'Thoben, W., Appelrath, H.-J., & Sauer, S. (1995). Record Linkage of Anonymous
Data by Control Numbers. In Proceedings of the 18th Annual Conference of the
Gesellschaft für Klassifikation, Oldenburg (Germany) (pp. 412–419). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Thoben_Appelrath_Sauer_1995, place={Berlin/Heidelberg},
series={Studies in Classification, Data Analysis, and Knowledge Organization},
title={Record Linkage of Anonymous Data by Control Numbers}, booktitle={Proceedings
of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg
(Germany)}, publisher={Springer}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen
and Sauer, Stefan}, year={1995}, pages={412–419}, collection={Studies in Classification,
Data Analysis, and Knowledge Organization} }'
chicago: 'Thoben, Wilfried, Hans-Jürgen Appelrath, and Stefan Sauer. “Record Linkage
of Anonymous Data by Control Numbers.” In Proceedings of the 18th Annual Conference
of the Gesellschaft Für Klassifikation, Oldenburg (Germany), 412–19. Studies
in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg:
Springer, 1995.'
ieee: W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data
by Control Numbers,” in Proceedings of the 18th Annual Conference of the Gesellschaft
für Klassifikation, Oldenburg (Germany), 1995, pp. 412–419.
mla: Thoben, Wilfried, et al. “Record Linkage of Anonymous Data by Control Numbers.”
Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation,
Oldenburg (Germany), Springer, 1995, pp. 412–19.
short: 'W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual
Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer,
Berlin/Heidelberg, 1995, pp. 412–419.'
date_created: 2019-02-20T14:00:22Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
page: 412-419
place: Berlin/Heidelberg
publication: Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation,
Oldenburg (Germany)
publisher: Springer
series_title: Studies in Classification, Data Analysis, and Knowledge Organization
status: public
title: Record Linkage of Anonymous Data by Control Numbers
type: conference
user_id: '52534'
year: '1995'
...
---
_id: '7833'
abstract:
- lang: eng
text: Single pushout graph transformations at injective matches are extended by
negative application conditions. It is shown, how right-sided application conditions
can be transformed into equivalent left-sided ones. Based on this result, conditional
derived rules are introduced and a theorem, similiar to the double pushout embedding
theorem is shown. Finally, three variants of contextual application conditions
are discussed with respect to their expressive power and expected results.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Heckel R. Embedding of Conditional Graph Transformations. In: Proceedings
of the Colloquium on Graph Transformation and Its Application in Computer Science.
Technical Report. Universitat de les Illes Balears; 1995.'
apa: Heckel, R. (1995). Embedding of Conditional Graph Transformations. In Proceedings
of the Colloquium on Graph Transformation and its Application in Computer Science.
Universitat de les Illes Balears.
bibtex: '@inproceedings{Heckel_1995, series={Technical Report}, title={Embedding
of Conditional Graph Transformations}, number={B-19}, booktitle={Proceedings of
the Colloquium on Graph Transformation and its Application in Computer Science},
publisher={Universitat de les Illes Balears}, author={Heckel, Reiko}, year={1995},
collection={Technical Report} }'
chicago: Heckel, Reiko. “Embedding of Conditional Graph Transformations.” In Proceedings
of the Colloquium on Graph Transformation and Its Application in Computer Science.
Technical Report. Universitat de les Illes Balears, 1995.
ieee: R. Heckel, “Embedding of Conditional Graph Transformations,” in Proceedings
of the Colloquium on Graph Transformation and its Application in Computer Science,
1995, no. B-19.
mla: Heckel, Reiko. “Embedding of Conditional Graph Transformations.” Proceedings
of the Colloquium on Graph Transformation and Its Application in Computer Science,
no. B-19, Universitat de les Illes Balears, 1995.
short: 'R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and
Its Application in Computer Science, Universitat de les Illes Balears, 1995.'
date_created: 2019-02-20T14:01:39Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
issue: B-19
language:
- iso: eng
publication: Proceedings of the Colloquium on Graph Transformation and its Application
in Computer Science
publisher: Universitat de les Illes Balears
series_title: Technical Report
status: public
title: Embedding of Conditional Graph Transformations
type: conference
user_id: '52534'
year: '1995'
...
---
_id: '8194'
author:
- first_name: Mirko
full_name: Conrad, Mirko
last_name: Conrad
- first_name: Magdalena
full_name: Gajewsky, Magdalena
last_name: Gajewsky
- first_name: Rainer
full_name: Holl-Biniasz, Rainer
last_name: Holl-Biniasz
- first_name: Michael
full_name: Rudolf, Michael
last_name: Rudolf
- first_name: Jochen
full_name: Demuth, Jochen
last_name: Demuth
- first_name: Stephan
full_name: Weber, Stephan
last_name: Weber
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jürgen
full_name: Müller, Jürgen
last_name: Müller
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: Conrad M, Gajewsky M, Holl-Biniasz R, et al. Graphische Spezifikation Ausgewählter
Teile von AGG - Einem Algebraischen Graphgrammatiksystem.; 1995.
apa: Conrad, M., Gajewsky, M., Holl-Biniasz, R., Rudolf, M., Demuth, J., Weber,
S., … Wagner, A. (1995). Graphische Spezifikation ausgewählter Teile von AGG
- einem algebraischen Graphgrammatiksystem.
bibtex: '@book{Conrad_Gajewsky_Holl-Biniasz_Rudolf_Demuth_Weber_Heckel_Müller_Taentzer_Wagner_1995,
title={Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen
Graphgrammatiksystem}, author={Conrad, Mirko and Gajewsky, Magdalena and Holl-Biniasz,
Rainer and Rudolf, Michael and Demuth, Jochen and Weber, Stephan and Heckel, Reiko
and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995} }'
chicago: Conrad, Mirko, Magdalena Gajewsky, Rainer Holl-Biniasz, Michael Rudolf,
Jochen Demuth, Stephan Weber, Reiko Heckel, Jürgen Müller, Gabriele Taentzer,
and Annika Wagner. Graphische Spezifikation Ausgewählter Teile von AGG - Einem
Algebraischen Graphgrammatiksystem, 1995.
ieee: M. Conrad et al., Graphische Spezifikation ausgewählter Teile von
AGG - einem algebraischen Graphgrammatiksystem. 1995.
mla: Conrad, Mirko, et al. Graphische Spezifikation Ausgewählter Teile von AGG
- Einem Algebraischen Graphgrammatiksystem. 1995.
short: M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber,
R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter
Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
date_created: 2019-03-03T16:12:49Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem
type: report
user_id: '52534'
year: '1995'
...
---
_id: '8195'
abstract:
- lang: eng
text: Several object-oriented modeling approaches propose to describe the dynamic
behaviour of objects by state transition diagrams. None of them provides precise
rules or conditions for the interrelation between the behaviour description of
classes and those of their subclasses. In this paper, we discuss this interrelation
in detail. It turns out that one has to distinguish between the observable and
the invocable behaviour of objects and that different compatibility requirements
between the diagrams exist depending on the type of behaviour.
author:
- first_name: Jürgen
full_name: Ebert, Jürgen
last_name: Ebert
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Ebert J, Engels G. Specialization of Object Life Cycle Definitions.
Koblenz: University of Koblenz-Landau; 1995.'
apa: 'Ebert, J., & Engels, G. (1995). Specialization of Object Life Cycle
Definitions. Koblenz: University of Koblenz-Landau.'
bibtex: '@book{Ebert_Engels_1995, place={Koblenz}, title={Specialization of Object
Life Cycle Definitions}, publisher={University of Koblenz-Landau}, author={Ebert,
Jürgen and Engels, Gregor}, year={1995} }'
chicago: 'Ebert, Jürgen, and Gregor Engels. Specialization of Object Life Cycle
Definitions. Koblenz: University of Koblenz-Landau, 1995.'
ieee: 'J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions.
Koblenz: University of Koblenz-Landau, 1995.'
mla: Ebert, Jürgen, and Gregor Engels. Specialization of Object Life Cycle Definitions.
University of Koblenz-Landau, 1995.
short: J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University
of Koblenz-Landau, Koblenz, 1995.
date_created: 2019-03-03T16:12:50Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
place: Koblenz
publisher: University of Koblenz-Landau
report_number: 19/95
status: public
title: Specialization of Object Life Cycle Definitions
type: report
user_id: '52534'
year: '1995'
...
---
_id: '8196'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
citation:
ama: Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta
Types. Vakgroep Informatica, Rijksuniversiteit Leiden; 1995.
apa: Engels, G., & Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden.
bibtex: '@book{Engels_Schürr_1995, title={Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden},
author={Engels, Gregor and Schürr, Andy}, year={1995} }'
chicago: Engels, Gregor, and Andy Schürr. Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
ieee: G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types,
and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
mla: Engels, Gregor, and Andy Schürr. Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
short: G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and
Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
date_created: 2019-03-03T16:12:51Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Vakgroep Informatica, Rijksuniversiteit Leiden
report_number: 95-21
status: public
title: Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
type: report
user_id: '52534'
year: '1995'
...
---
_id: '8266'
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. Coordination by Behavioural Views and Communication
Patterns. In: Proceedings of the 4th European Workshop on Software Process
Technology (EWSPT 1995), Noordwijkerhout (The Netherlands). Vol 913. LNCS.
Berlin/Heidelberg: Springer; 1995:189-192. doi:http://dx.doi.org/10.1007/3-540-59205-9_56'
apa: 'Groenewegen, L., & Engels, G. (1995). Coordination by Behavioural Views
and Communication Patterns. In Proceedings of the 4th European Workshop on
Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)
(Vol. 913, pp. 189–192). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-59205-9_56'
bibtex: '@inproceedings{Groenewegen_Engels_1995, place={Berlin/Heidelberg}, series={LNCS},
title={Coordination by Behavioural Views and Communication Patterns}, volume={913},
DOI={http://dx.doi.org/10.1007/3-540-59205-9_56},
booktitle={Proceedings of the 4th European Workshop on Software Process Technology
(EWSPT 1995), Noordwijkerhout (The Netherlands)}, publisher={Springer}, author={Groenewegen,
Luuk and Engels, Gregor}, year={1995}, pages={189–192}, collection={LNCS} }'
chicago: 'Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views
and Communication Patterns.” In Proceedings of the 4th European Workshop on
Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands),
913:189–92. LNCS. Berlin/Heidelberg: Springer, 1995. http://dx.doi.org/10.1007/3-540-59205-9_56.'
ieee: L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication
Patterns,” in Proceedings of the 4th European Workshop on Software Process
Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913,
pp. 189–192.
mla: Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and
Communication Patterns.” Proceedings of the 4th European Workshop on Software
Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), vol. 913,
Springer, 1995, pp. 189–92, doi:http://dx.doi.org/10.1007/3-540-59205-9_56.
short: 'L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop
on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands),
Springer, Berlin/Heidelberg, 1995, pp. 189–192.'
date_created: 2019-03-04T11:52:17Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-59205-9_56
intvolume: ' 913'
language:
- iso: eng
page: 189-192
place: Berlin/Heidelberg
publication: Proceedings of the 4th European Workshop on Software Process Technology
(EWSPT 1995), Noordwijkerhout (The Netherlands)
publisher: Springer
series_title: LNCS
status: public
title: Coordination by Behavioural Views and Communication Patterns
type: conference
user_id: '52534'
volume: 913
year: '1995'
...
---
_id: '8267'
abstract:
- lang: eng
text: Based on a categorical semantics that has been developed for typed graph grammars
we uses colimits (pushouts) to model composition and (reverse) graph grammar morphisms
to describe refinements of typed graph grammars. Composition of graph grammars
w.r.t. common subgrammars is shown to be compatible with the semantics, i.e. the
semantics of the composed grammar is obtained as the composition of the semantics
of the component grammars. Moreover, the structure of a composed grammar is preserved
during a refinement step in the sense that compatible refinements of the components
induce a refinement of the composition. The concepts and results are illustrated
by an example.
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement
of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy).
Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.'
apa: Corradini, A., & Heckel, R. (1995). A Compositional Approach to Structuring
and Refinement of Typed Graph Grammars. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)
(Vol. 2, pp. 46–55). Elsevier.
bibtex: '@inproceedings{Corradini_Heckel_1995, series={Electronic Notes in Theoretical
Computer Science }, title={A Compositional Approach to Structuring and Refinement
of Typed Graph Grammars}, volume={2}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)},
publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko}, year={1995},
pages={46–55}, collection={Electronic Notes in Theoretical Computer Science }
}'
chicago: Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring
and Refinement of Typed Graph Grammars.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
2:46–55. Electronic Notes in Theoretical Computer Science . Elsevier, 1995.
ieee: A. Corradini and R. Heckel, “A Compositional Approach to Structuring and Refinement
of Typed Graph Grammars,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
1995, vol. 2, pp. 46–55.
mla: Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring
and Refinement of Typed Graph Grammars.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
vol. 2, Elsevier, 1995, pp. 46–55.
short: 'A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
Elsevier, 1995, pp. 46–55.'
date_created: 2019-03-04T11:52:18Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
intvolume: ' 2'
language:
- iso: eng
page: 46-55
publication: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)
publisher: Elsevier
series_title: 'Electronic Notes in Theoretical Computer Science '
status: public
title: A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
type: conference
user_id: '52534'
volume: 2
year: '1995'
...
---
_id: '8268'
abstract:
- lang: eng
text: The overall aim of this paper is a proposal how to bridge the gap between
formal specification techniques developed in research projects and semi--formal
or informal specifications used in industrial practice. The main idea to overcome
these problems is to develop graphical support for formal methods in order to
increase acceptance by practitioners and to provide means for integration of formal
and semi--formal methods. More specifically suitable concepts will be developed
to combine algebraic specifications, Petri Nets, and Graph Grammars with each
other and with distinguished graphical components to be used by industrial partners.
author:
- first_name: Bernhard
full_name: Bardohl, Bernhard
last_name: Bardohl
- first_name: Roswitha
full_name: Bardohl, Roswitha
last_name: Bardohl
- first_name: Paulo
full_name: Castro, Paulo
last_name: Castro
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Leila
full_name: Ribeiro, Leila
last_name: Ribeiro
- first_name: Daltro
full_name: Nunes, Daltro
last_name: Nunes
- first_name: Alfio
full_name: Martini, Alfio
last_name: Martini
citation:
ama: 'Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration
of Formal and Semiformal Methods for Software Specification and Development. In:
Proceedings of the 3rd German-Brazilian Workshop on Information Technology
(1995), Berlin (Germany). Vol 26. Bilateral Seminars of the International
Bureau. Forschungszentrum Jülich GmbH; 1995.'
apa: 'Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L.,
… Martini, A. (1995). GRAPHIT: Graphical Support and Integration of Formal and
Semiformal Methods for Software Specification and Development. In Proceedings
of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin
(Germany) (Vol. 26). Forschungszentrum Jülich GmbH.'
bibtex: '@inproceedings{Bardohl_Bardohl_Castro_Ehrig_Heckel_Ribeiro_Nunes_Martini_1995,
series={Bilateral Seminars of the International Bureau}, title={GRAPHIT: Graphical
Support and Integration of Formal and Semiformal Methods for Software Specification
and Development}, volume={26}, booktitle={Proceedings of the 3rd German-Brazilian
Workshop on Information Technology (1995), Berlin (Germany)}, publisher={Forschungszentrum
Jülich GmbH}, author={Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo
and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and
Martini, Alfio}, year={1995}, collection={Bilateral Seminars of the International
Bureau} }'
chicago: 'Bardohl, Bernhard, Roswitha Bardohl, Paulo Castro, Hartmut Ehrig, Reiko
Heckel, Leila Ribeiro, Daltro Nunes, and Alfio Martini. “GRAPHIT: Graphical Support
and Integration of Formal and Semiformal Methods for Software Specification and
Development.” In Proceedings of the 3rd German-Brazilian Workshop on Information
Technology (1995), Berlin (Germany), Vol. 26. Bilateral Seminars of the International
Bureau. Forschungszentrum Jülich GmbH, 1995.'
ieee: 'B. Bardohl et al., “GRAPHIT: Graphical Support and Integration of
Formal and Semiformal Methods for Software Specification and Development,” in
Proceedings of the 3rd German-Brazilian Workshop on Information Technology
(1995), Berlin (Germany), 1995, vol. 26.'
mla: 'Bardohl, Bernhard, et al. “GRAPHIT: Graphical Support and Integration of Formal
and Semiformal Methods for Software Specification and Development.” Proceedings
of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin
(Germany), vol. 26, Forschungszentrum Jülich GmbH, 1995.'
short: 'B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes,
A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information
Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.'
date_created: 2019-03-04T11:52:19Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
intvolume: ' 26'
language:
- iso: eng
publication: Proceedings of the 3rd German-Brazilian Workshop on Information Technology
(1995), Berlin (Germany)
publisher: Forschungszentrum Jülich GmbH
series_title: Bilateral Seminars of the International Bureau
status: public
title: 'GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods
for Software Specification and Development'
type: conference
user_id: '52534'
volume: 26
year: '1995'
...
---
_id: '8269'
abstract:
- lang: eng
text: Currently existing graph grammar-based specification languages have serious
problems with supporting any kind of “specification-in-the-large” activities.
More precisely, they have deficiencies with respect to modeling hierarchical data
structures or specifying meta activities like manipulation of graph schemata.
Furthermore, already proposed graph grammar module concepts are still too abstract
to be useful in practice. Our contribution addresses these problems by introducing
a new hierarchical graph data model with an infinite number of schema, meta-schema,
etc. layers. It forms the base for a forthcoming concrete modular graph grammar
specification language where in addition information hiding aspects like explicit
export and import interfaces are expressible.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
citation:
ama: 'Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta
Types. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph
Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Electronic Notes
in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109.
doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0'
apa: 'Engels, G., & Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop
on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (pp.
101–109). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80186-0'
bibtex: '@inproceedings{Engels_Schürr_1995, place={Amsterdam, The Netherlands},
series={Electronic Notes in Theoretical Computer Science}, title={Encapsulated
Hierarchical Graphs, Graph Types, and Meta Types}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80186-0},
booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Engels,
Gregor and Schürr, Andy}, year={1995}, pages={101–109}, collection={Electronic
Notes in Theoretical Computer Science} }'
chicago: 'Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop
on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 101–9.
Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands:
Elsevier, 1995. http://dx.doi.org/10.1016/S1571-0661(05)80186-0.'
ieee: G. Engels and A. Schürr, “Encapsulated Hierarchical Graphs, Graph Types, and
Meta Types,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph
Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, pp. 101–109.
mla: Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph Types,
and Meta Types.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on
Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier,
1995, pp. 101–09, doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0.
short: 'G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.'
date_created: 2019-03-04T11:52:20Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(05)80186-0
language:
- iso: eng
page: 101-109
place: Amsterdam, The Netherlands
publication: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
type: conference
user_id: '52534'
year: '1995'
...
---
_id: '8270'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A
constructive Approach. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop
on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol
2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4'
apa: Heckel, R., & Wagner, A. (1995). Ensuring Consistency of Conditional Graph
Grammars - A constructive Approach. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)
(Vol. 2, pp. 118–126). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80188-4
bibtex: '@inproceedings{Heckel_Wagner_1995, series={Electronic Notes in Theoretical
Computer Science}, title={Ensuring Consistency of Conditional Graph Grammars -
A constructive Approach}, volume={2}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80188-4},
booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Heckel,
Reiko and Wagner, Annika}, year={1995}, pages={118–126}, collection={Electronic
Notes in Theoretical Computer Science} }'
chicago: Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional
Graph Grammars - A Constructive Approach.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
2:118–26. Electronic Notes in Theoretical Computer Science. Elsevier, 1995. http://dx.doi.org/10.1016/S1571-0661(05)80188-4.
ieee: R. Heckel and A. Wagner, “Ensuring Consistency of Conditional Graph Grammars
- A constructive Approach,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
1995, vol. 2, pp. 118–126.
mla: Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional Graph
Grammars - A Constructive Approach.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
vol. 2, Elsevier, 1995, pp. 118–26, doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4.
short: 'R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
Elsevier, 1995, pp. 118–126.'
date_created: 2019-03-04T11:52:21Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(05)80188-4
intvolume: ' 2'
language:
- iso: eng
page: 118-126
publication: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
type: conference
user_id: '52534'
volume: 2
year: '1995'
...
---
_id: '7797'
abstract:
- lang: eng
text: During the last decades there has been progress within the object-oriented
community in agreeing on what object- orientedness means. The role of object identity,
specialization, inheritance, and dynamic binding have been examined. However,
a careful look at articles written by people with a theory, programming language,
database, and software engineering background shows that the semantical understanding
of the same features still differs considerably. A well-known example is the feature
of inheritance, which has quite a different meaning for persons from the database
comunity with a semantic data model background and persons form the programming
language community with a compiling technique background This observation also
applies to the literaute on object-oriented software development methods. Here,
object -oriented analysis and design methods are often heavily influenced by semantic
data modelling consepts- An implemantion of an object-orinted design by an objeckt-oriented
progamming language usually causes more difficulties than expected although the
"same" object-oriente paradigm is used...
citation:
ama: Ehrich H-D, Engels G, Paredaens J, Wegner J, eds. Fundamentals of Object-Oriented
Languages, Systems, and Methods. Vol 95. Schloss Dagstuhl, Leibniz Center
for Informatics; 1994.
apa: Ehrich, H.-D., Engels, G., Paredaens, J., & Wegner, J. (Eds.). (1994).
Fundamentals of Object-Oriented Languages, Systems, and Methods (Vol. 95).
Schloss Dagstuhl, Leibniz Center for Informatics.
bibtex: '@book{Ehrich_Engels_Paredaens_Wegner_1994, series={Dagstuhl-Seminar-Report},
title={Fundamentals of Object-Oriented Languages, Systems, and Methods}, volume={95},
publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1994}, collection={Dagstuhl-Seminar-Report}
}'
chicago: Ehrich, Hans-Dietrich, Gregor Engels, J. Paredaens, and Jan Wegner, eds.
Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol. 95.
Dagstuhl-Seminar-Report. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
ieee: H.-D. Ehrich, G. Engels, J. Paredaens, and J. Wegner, Eds., Fundamentals
of Object-Oriented Languages, Systems, and Methods, vol. 95. Schloss Dagstuhl,
Leibniz Center for Informatics, 1994.
mla: Ehrich, Hans-Dietrich, et al., editors. Fundamentals of Object-Oriented
Languages, Systems, and Methods. Vol. 95, Schloss Dagstuhl, Leibniz Center
for Informatics, 1994.
short: H.-D. Ehrich, G. Engels, J. Paredaens, J. Wegner, eds., Fundamentals of Object-Oriented
Languages, Systems, and Methods, Schloss Dagstuhl, Leibniz Center for Informatics,
1994.
date_created: 2019-02-19T19:19:14Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Hans-Dietrich
full_name: Ehrich, Hans-Dietrich
last_name: Ehrich
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: J.
full_name: Paredaens, J.
last_name: Paredaens
- first_name: Jan
full_name: Wegner, Jan
last_name: Wegner
intvolume: ' 95'
language:
- iso: eng
publisher: Schloss Dagstuhl, Leibniz Center for Informatics
series_title: Dagstuhl-Seminar-Report
status: public
title: Fundamentals of Object-Oriented Languages, Systems, and Methods
type: conference_editor
user_id: '52534'
volume: 95
year: '1994'
...
---
_id: '7798'
citation:
ama: 'Cuny J, Ehrig H, Engels G, Rozenberg G, eds. Graph Gramars and Their Application
to Computer Science, 5th International Workshop (1994), Selected Papers. Vol
1073. Berlin/Heidelberg: Springer; 1994. doi:http://dx.doi.org/10.1007/3-540-61228-9'
apa: 'Cuny, J., Ehrig, H., Engels, G., & Rozenberg, G. (Eds.). (1994). Graph
Gramars and Their Application to Computer Science, 5th International Workshop
(1994), Selected Papers (Vol. 1073). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-61228-9'
bibtex: '@book{Cuny_Ehrig_Engels_Rozenberg_1994, place={Berlin/Heidelberg}, series={LNCS},
title={Graph Gramars and Their Application to Computer Science, 5th International
Workshop (1994), Selected Papers}, volume={1073}, DOI={http://dx.doi.org/10.1007/3-540-61228-9},
publisher={Springer}, year={1994}, collection={LNCS} }'
chicago: 'Cuny, Janice, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, eds.
Graph Gramars and Their Application to Computer Science, 5th International
Workshop (1994), Selected Papers. Vol. 1073. LNCS. Berlin/Heidelberg: Springer,
1994. http://dx.doi.org/10.1007/3-540-61228-9.'
ieee: 'J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, Eds., Graph Gramars and
Their Application to Computer Science, 5th International Workshop (1994), Selected
Papers, vol. 1073. Berlin/Heidelberg: Springer, 1994.'
mla: Cuny, Janice, et al., editors. Graph Gramars and Their Application to Computer
Science, 5th International Workshop (1994), Selected Papers. Vol. 1073, Springer,
1994, doi:http://dx.doi.org/10.1007/3-540-61228-9.
short: J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their
Application to Computer Science, 5th International Workshop (1994), Selected Papers,
Springer, Berlin/Heidelberg, 1994.
date_created: 2019-02-19T19:19:58Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-61228-9
editor:
- first_name: Janice
full_name: Cuny, Janice
last_name: Cuny
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Grzegorz
full_name: Rozenberg, Grzegorz
last_name: Rozenberg
intvolume: ' 1073'
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: LNCS
status: public
title: Graph Gramars and Their Application to Computer Science, 5th International
Workshop (1994), Selected Papers
type: conference_editor
user_id: '52534'
volume: 1073
year: '1994'
...
---
_id: '7827'
abstract:
- lang: ger
text: Die Pilotphase 1993/ 94 zum Aufbau eines Niedersächsischen Krebsregister untersucht
das im Entwurf des Bundeskrebsregistergesetzes vorgesehen Modell für ein bevölkerungsbezogenes
Krebsregister. Darin werden die Krebsmeldungen in einer Vertrauensstelle erfaßt
und die personenidentifizierenden Daten vor der Übermittlung an die Registerstelle
anonymisiert, wo sie dann zu einem bevölkerungsbezogenen Krebsregister verdichtet
und epidemiologischer Forschung zur Verfügung gestellt werden ([1], [2], [3]).
Dieses sogenannte „Michaelis“-Modell erlaubt eine bevölkerungsbezogene Registrierung
von Krebsfällen unter Berücksichtigung datenschutzrechtlicher Aspekte („Informationelles
Selbstbestimmungsrecht“) der einzelnen Betroffenen. In vier Teilprojekten werden
dabei in der Modellregion Weser-Ems die Integration krebsregistrierender Einrichtungen,
die Chiffrierung/ Dechiffrierung von Krebsmeldungen, der Abgleich anonymisierter
Meldungen in der Registerstelle und die Entwicklung eines epidemiologischen Informationssystem
betrachtet ([4], [5]).
author:
- first_name: Wilfried
full_name: Thoben, Wilfried
last_name: Thoben
- first_name: Hans-Jürgen
full_name: Appelrath, Hans-Jürgen
last_name: Appelrath
- first_name: Jens
full_name: Rettig, Jens
last_name: Rettig
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Thoben W, Appelrath H-J, Rettig J, Sauer S. Berücksichtigung von Datenschutzaspekten
in einem bevölkerungsbezogenen Krebsregister. In: Proceedings of the Conference
on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany).
München: MMV Medizin Verlag; 1994:88-90.'
apa: 'Thoben, W., Appelrath, H.-J., Rettig, J., & Sauer, S. (1994). Berücksichtigung
von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In Proceedings
of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS
1994), Dresden (Germany) (pp. 88–90). München: MMV Medizin Verlag.'
bibtex: '@inproceedings{Thoben_Appelrath_Rettig_Sauer_1994, place={München}, title={Berücksichtigung
von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister}, booktitle={Proceedings
of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS
1994), Dresden (Germany)}, publisher={MMV Medizin Verlag}, author={Thoben, Wilfried
and Appelrath, Hans-Jürgen and Rettig, Jens and Sauer, Stefan}, year={1994}, pages={88–90}
}'
chicago: 'Thoben, Wilfried, Hans-Jürgen Appelrath, Jens Rettig, and Stefan Sauer.
“Berücksichtigung von Datenschutzaspekten in Einem Bevölkerungsbezogenen Krebsregister.”
In Proceedings of the Conference on Medizin Und Information, Biometrie Und
Epidemiologie (GMDS 1994), Dresden (Germany), 88–90. München: MMV Medizin
Verlag, 1994.'
ieee: W. Thoben, H.-J. Appelrath, J. Rettig, and S. Sauer, “Berücksichtigung von
Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister,” in Proceedings
of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS
1994), Dresden (Germany), 1994, pp. 88–90.
mla: Thoben, Wilfried, et al. “Berücksichtigung von Datenschutzaspekten in Einem
Bevölkerungsbezogenen Krebsregister.” Proceedings of the Conference on Medizin
Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany),
MMV Medizin Verlag, 1994, pp. 88–90.
short: 'W. Thoben, H.-J. Appelrath, J. Rettig, S. Sauer, in: Proceedings of the
Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994),
Dresden (Germany), MMV Medizin Verlag, München, 1994, pp. 88–90.'
date_created: 2019-02-20T13:53:08Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
page: 88-90
place: München
publication: Proceedings of the conference on Medizin und Information, Biometrie und
Epidemiologie (GMDS 1994), Dresden (Germany)
publisher: MMV Medizin Verlag
status: public
title: Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister
type: conference
user_id: '52534'
year: '1994'
...
---
_id: '7828'
abstract:
- lang: eng
text: Object-oriented specification languages provide means to specify the static
structure, as well as the allowed dynamic behaviour of objects. Here, the dynamic
behaviour is usually described by giving the methods and a state transition diagram
which defines the allowed sequences of methods on objects of a certain class.
Specialized classes are defined using the inheritance relationship. In order to
enable reusability while guaranteeing type substitutability, subclass specifications
have to be compatible with respect to static and dynamic aspects with their corresponding
superclass specifications. Classes have to provide a large shopping list of operations
to satisfy the needs of all possible users. The interests of specific users are
often restricted to a subset of operations and thus to a restricted behaviour.
This paper describes a formalization of class descriptions given by attributes,
operations, as well as state transition diagrams. It defines compatibility between
sub- and superclasses and introduces the notion of views in the sense of hiding
parts of a class description. It turns out that a view has the same properties
as a (virtual) superclass.
author:
- first_name: Jürgen
full_name: Ebert, Jürgen
last_name: Ebert
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: Proceedings
of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS
1994), Palermo (Italy). Vol 858. Berlin/Heidelberg: Springer; 1994:142-157.'
apa: 'Ebert, J., & Engels, G. (1994). Structural and Behavioural Views on OMT-Classes.
In Proceedings of the International Symposium on Object-Oriented Methodologies
and Systems (ISOOMS 1994), Palermo (Italy) (Vol. 858, pp. 142–157). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Ebert_Engels_1994, place={Berlin/Heidelberg}, title={Structural
and Behavioural Views on OMT-Classes}, volume={858}, booktitle={Proceedings of
the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS
1994), Palermo (Italy)}, publisher={Springer}, author={Ebert, Jürgen and Engels,
Gregor}, year={1994}, pages={142–157} }'
chicago: 'Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on
OMT-Classes.” In Proceedings of the International Symposium on Object-Oriented
Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 858:142–57. Berlin/Heidelberg:
Springer, 1994.'
ieee: J. Ebert and G. Engels, “Structural and Behavioural Views on OMT-Classes,”
in Proceedings of the International Symposium on Object-Oriented Methodologies
and Systems (ISOOMS 1994), Palermo (Italy), 1994, vol. 858, pp. 142–157.
mla: Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.”
Proceedings of the International Symposium on Object-Oriented Methodologies
and Systems (ISOOMS 1994), Palermo (Italy), vol. 858, Springer, 1994, pp.
142–57.
short: 'J. Ebert, G. Engels, in: Proceedings of the International Symposium on Object-Oriented
Methodologies and Systems (ISOOMS 1994), Palermo (Italy), Springer, Berlin/Heidelberg,
1994, pp. 142–157.'
date_created: 2019-02-20T13:54:14Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: ' 858'
language:
- iso: eng
page: 142-157
place: Berlin/Heidelberg
publication: Proceedings of the International Symposium on Object-Oriented Methodologies
and Systems (ISOOMS 1994), Palermo (Italy)
publisher: Springer
status: public
title: Structural and Behavioural Views on OMT-Classes
type: conference
user_id: '52534'
volume: 858
year: '1994'
...
---
_id: '7829'
abstract:
- lang: eng
text: Object-oriented system development is wideley recognized as improving productivity
and reducing system maintenance costs. However, existing approaches have not sufficiently
addressed the following three questions which are equally important to users and
researchers. Firstly, what are the benefits of object-oriented system development
compared to traditional approaches? Secondly, what are the essential features
of an objectoriented life cycle model to fulfill the benefits of object-oriented
development? And thirdly, what are the pitfalls of object-oriented development
and how to cope with them? The paper investigates answers to all three questions
in concert.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Gerti
full_name: Kappel, Gerti
last_name: Kappel
citation:
ama: 'Engels G, Kappel G. Object-Oriented System Development: Will the New Approach
Solve Old Problems? In: Proceedings of the IFIP 13th World Computer Congress
on Information Processing, Hamburg (Germany). Vol 3. Elsevier; 1994:434-441.'
apa: 'Engels, G., & Kappel, G. (1994). Object-Oriented System Development: Will
the New Approach Solve Old Problems? In Proceedings of the IFIP 13th World
Computer Congress on Information Processing, Hamburg (Germany) (Vol. 3, pp.
434–441). Elsevier.'
bibtex: '@inproceedings{Engels_Kappel_1994, title={Object-Oriented System Development:
Will the New Approach Solve Old Problems?}, volume={3}, booktitle={Proceedings
of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)},
publisher={Elsevier}, author={Engels, Gregor and Kappel, Gerti}, year={1994},
pages={434–441} }'
chicago: 'Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development:
Will the New Approach Solve Old Problems?” In Proceedings of the IFIP 13th
World Computer Congress on Information Processing, Hamburg (Germany), 3:434–41.
Elsevier, 1994.'
ieee: 'G. Engels and G. Kappel, “Object-Oriented System Development: Will the New
Approach Solve Old Problems?,” in Proceedings of the IFIP 13th World Computer
Congress on Information Processing, Hamburg (Germany), 1994, vol. 3, pp. 434–441.'
mla: 'Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development: Will
the New Approach Solve Old Problems?” Proceedings of the IFIP 13th World Computer
Congress on Information Processing, Hamburg (Germany), vol. 3, Elsevier, 1994,
pp. 434–41.'
short: 'G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress
on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.'
date_created: 2019-02-20T13:58:33Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: ' 3'
language:
- iso: eng
page: 434-441
publication: Proceedings of the IFIP 13th World Computer Congress on Information Processing,
Hamburg (Germany)
publisher: Elsevier
status: public
title: 'Object-Oriented System Development: Will the New Approach Solve Old Problems?'
type: conference
user_id: '52534'
volume: 3
year: '1994'
...
---
_id: '7830'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
citation:
ama: 'Engels G, Ehrig H. Towards a Module Concept for Graph Transformation Systems:
The Software Engineering Perspective. In: Proceedings Colloquium on Graph Transformation
and Its Application in Computer Science. Vol B-19. Technical Report . Universitat
de les Illes Balears, Departament de Ci; 1994.'
apa: 'Engels, G., & Ehrig, H. (1994). Towards a Module Concept for Graph Transformation
Systems: The Software Engineering Perspective. In Proceedings Colloquium on
Graph Transformation and its Application in Computer Science (Vol. B-19).
Universitat de les Illes Balears, Departament de Ci.'
bibtex: '@inproceedings{Engels_Ehrig_1994, series={Technical Report }, title={Towards
a Module Concept for Graph Transformation Systems: The Software Engineering Perspective},
volume={B-19}, booktitle={Proceedings Colloquium on Graph Transformation and its
Application in Computer Science}, publisher={Universitat de les Illes Balears,
Departament de Ci}, author={Engels, Gregor and Ehrig, Hartmut}, year={1994}, collection={Technical
Report } }'
chicago: 'Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph
Transformation Systems: The Software Engineering Perspective.” In Proceedings
Colloquium on Graph Transformation and Its Application in Computer Science,
Vol. B-19. Technical Report . Universitat de les Illes Balears, Departament de
Ci, 1994.'
ieee: 'G. Engels and H. Ehrig, “Towards a Module Concept for Graph Transformation
Systems: The Software Engineering Perspective,” in Proceedings Colloquium on
Graph Transformation and its Application in Computer Science, 1994, vol. B-19.'
mla: 'Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation
Systems: The Software Engineering Perspective.” Proceedings Colloquium on Graph
Transformation and Its Application in Computer Science, vol. B-19, Universitat
de les Illes Balears, Departament de Ci, 1994.'
short: 'G. Engels, H. Ehrig, in: Proceedings Colloquium on Graph Transformation
and Its Application in Computer Science, Universitat de les Illes Balears, Departament
de Ci, 1994.'
date_created: 2019-02-20T13:59:14Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings Colloquium on Graph Transformation and its Application in
Computer Science
publisher: Universitat de les Illes Balears, Departament de Ci
series_title: 'Technical Report '
status: public
title: 'Towards a Module Concept for Graph Transformation Systems: The Software Engineering
Perspective'
type: conference
user_id: '52534'
volume: B-19
year: '1994'
...
---
_id: '8193'
author:
- first_name: Jürgen
full_name: Ebert, Jürgen
last_name: Ebert
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Ebert J, Engels G. Observable or Invocable Behaviour - You Have to Choose.
Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.
apa: Ebert, J., & Engels, G. (1994). Observable or Invocable Behaviour -
You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden.
bibtex: '@book{Ebert_Engels_1994, title={Observable or Invocable Behaviour - You
Have to Choose}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ebert,
Jürgen and Engels, Gregor}, year={1994} }'
chicago: Ebert, Jürgen, and Gregor Engels. Observable or Invocable Behaviour
- You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
ieee: J. Ebert and G. Engels, Observable or Invocable Behaviour - You Have to
Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
mla: Ebert, Jürgen, and Gregor Engels. Observable or Invocable Behaviour - You
Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
short: J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose,
Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
date_created: 2019-03-03T16:12:48Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Vakgroep Informatica, Rijksuniversiteit Leiden
report_number: 94-38
status: public
title: Observable or Invocable Behaviour - You Have to Choose
type: report
user_id: '52534'
year: '1994'
...