---
_id: '7390'
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Ugo
full_name: Montanari, Ugo
last_name: Montanari
citation:
ama: 'Corradini A, Heckel R, Montanari U. Compositional SOS and Beyond: A Coalgebraic
View of Open Systems. Theoretical Computer Science. 2002;280(1-2):163-192.
doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1'
apa: 'Corradini, A., Heckel, R., & Montanari, U. (2002). Compositional SOS and
Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science,
280(1–2), 163–192. http://dx.doi.org/10.1016/S0304-3975(01)00025-1'
bibtex: '@article{Corradini_Heckel_Montanari_2002, title={Compositional SOS and
Beyond: A Coalgebraic View of Open Systems}, volume={280}, DOI={http://dx.doi.org/10.1016/S0304-3975(01)00025-1},
number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea
and Heckel, Reiko and Montanari, Ugo}, year={2002}, pages={163–192} }'
chicago: 'Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Compositional SOS
and Beyond: A Coalgebraic View of Open Systems.” Theoretical Computer Science
280, no. 1–2 (2002): 163–92. http://dx.doi.org/10.1016/S0304-3975(01)00025-1.'
ieee: 'A. Corradini, R. Heckel, and U. Montanari, “Compositional SOS and Beyond:
A Coalgebraic View of Open Systems,” Theoretical Computer Science, vol.
280, no. 1–2, pp. 163–192, 2002.'
mla: 'Corradini, Andrea, et al. “Compositional SOS and Beyond: A Coalgebraic View
of Open Systems.” Theoretical Computer Science, vol. 280, no. 1–2, 2002,
pp. 163–92, doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1.'
short: A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002)
163–192.
date_created: 2019-01-31T15:40:17Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S0304-3975(01)00025-1
intvolume: ' 280'
issue: 1-2
language:
- iso: eng
page: 163-192
publication: Theoretical Computer Science
status: public
title: 'Compositional SOS and Beyond: A Coalgebraic View of Open Systems'
type: journal_article
user_id: '52534'
volume: 280
year: '2002'
...
---
_id: '7524'
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Kathrin
full_name: Hoffmann, Kathrin
last_name: Hoffmann
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Paolo
full_name: Baldan, Paolo
last_name: Baldan
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes.
In: Brauer W, Ehrig H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing:
Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg:
Springer; 2002:191-219. doi:http://dx.doi.org/10.1007/3-540-45711-9_12'
apa: 'Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002).
High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.),
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol.
2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12'
bibtex: '@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg},
series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={http://dx.doi.org/10.1007/3-540-45711-9_12},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg,
Julia and Baldan, Paolo and Heckel, Reiko}, editor={Brauer, W. and Ehrig, H. and
Karhumäki, J. and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS}
}'
chicago: 'Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko
Heckel. “High-Level Net Processes.” In Formal and Natural Computing: Essays
Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehrig, J. Karhumäki,
and A. Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. http://dx.doi.org/10.1007/3-540-45711-9_12.'
ieee: 'H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level
Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa ,
Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.'
mla: 'Ehrig, Hartmut, et al. “High-Level Net Processes.” Formal and Natural Computing:
Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer et al., vol.
2300, Springer, 2002, pp. 191–219, doi:http://dx.doi.org/10.1007/3-540-45711-9_12.'
short: 'H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer,
H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays
Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.'
date_created: 2019-02-04T23:02:26Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45711-9_12
editor:
- first_name: 'W. '
full_name: 'Brauer, W. '
last_name: Brauer
- first_name: 'H. '
full_name: 'Ehrig, H. '
last_name: Ehrig
- first_name: 'J. '
full_name: 'Karhumäki, J. '
last_name: Karhumäki
- first_name: 'A. '
full_name: 'Salomaa , A. '
last_name: 'Salomaa '
intvolume: ' 2300'
language:
- iso: eng
page: 191-219
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: High-Level Net Processes
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7525'
abstract:
- lang: eng
text: The paper studies and compares two different approaches to model communication
and cooperation. The approaches are team automata, a well-defined variant of communicating
automata, and statecharts, heavily used in object-oriented modelling methods.
The comparison yields interesting insights for modelling communication and cooperation.
In particular, the differences between action-based, synchronous and state-based,
asynchronous communication are elucidated.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative
Work. In: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg.
Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.'
apa: 'Engels, G., & Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented
Collaborative Work. In Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.'
bibtex: '@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={2002},
pages={257–276}, collection={LNCS} }'
chicago: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
Collaborative Work.” In Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.'
ieee: 'G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented
Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.'
mla: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
Collaborative Work.” Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, Springer, 2002, pp. 257–76.'
short: 'G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated
to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.'
date_created: 2019-02-04T23:03:52Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
intvolume: ' 2300'
language:
- iso: eng
page: 257-276
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: Towards Team-Automata-Driven Object-Oriented Collaborative Work
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7526'
abstract:
- lang: eng
text: Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt.
Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema
beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert.
Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt.
In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen,
multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der
hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre
anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt
hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über
gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen
Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
citation:
ama: 'Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Informatik
Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes
in Informatics. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft
für Informatik (GI); 2002:377-384.'
apa: 'Engels, G., & Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre.
In Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002,
Lecture Notes in Informatics (Vol. P-19, pp. 377–384). Bonn: Gesellschaft
für Informatik (GI).'
bibtex: '@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics},
title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik
bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels,
Gregor and Doberkat, Ernst-Erich}, year={2002}, pages={377–384}, collection={Lecture
Notes in Informatics} }'
chicago: 'Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
In Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
Lecture Notes in Informatics, P-19:377–84. Lecture Notes in Informatics. Bonn:
Gesellschaft für Informatik (GI), 2002.'
ieee: 'G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik
bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
in Informatics, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp.
377–384.'
mla: Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
Lecture Notes in Informatics, vol. P-19, Gesellschaft für Informatik (GI),
2002, pp. 377–84.
short: 'G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft
Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik
(GI), Bonn, 2002, pp. 377–384.'
date_created: 2019-02-04T23:04:36Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 377-384
place: Bonn
publication: Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik,
2002, Lecture Notes in Informatics
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Multimedia in der Informatik-Lehre
type: book_chapter
user_id: '52534'
volume: P-19
year: '2002'
...
---
_id: '7527'
abstract:
- lang: eng
text: The notion of processes for low-level Petri nets based on occurrence nets
is well known and it represents the basis for the study of the non-sequential
behavior of Petri nets. Processes for high-level nets N are often defined as processes
of the low level net Flat(N) which is obtained from N via a construction called
flattening. In this paper we define high-level processes for high-level nets based
on a suitable notion of high-level occurrence nets. The flattening of a high-level
occurrence net is in general not a low-level occurrence net, due to so called
assignment conflicts in the high-level net. The main technical result is a syntactical
characterization of assignment conflicts. But the main focus of this paper is
a conceptual discussion of future perspectives of high-level net processes including
concurrency and data type aspects. Specifically, in the second part of the paper,
we discuss possible extensions of high-level net processes, which are formally
introduced for algebraic high-level nets in the first part of this paper. Of special
interest are high-level processes with data type behavior, amalgamation, and other
kinds of constructions, which are essential aspects for a proposed component concept
for high-level nets.
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Kathrin
full_name: Hoffmann, Kathrin
last_name: Hoffmann
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Paolo
full_name: Baldan, Paolo
last_name: Baldan
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes.
In: Brauer W, Ehrig H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing:
Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg:
Springer; 2002:191-219. doi:http://dx.doi.org/10.1007/3-540-45711-9_12'
apa: 'Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002).
High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.),
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol.
2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12'
bibtex: '@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg},
series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={http://dx.doi.org/10.1007/3-540-45711-9_12},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg,
Julia and Baldan, Paolo and Heckel, Reiko}, editor={ Brauer, W. and Ehrig, H.
and Karhumäki, J. and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS}
}'
chicago: 'Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko
Heckel. “High-Level Net Processes.” In Formal and Natural Computing: Essays
Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehrig, J. Karhumäki,
and A. Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. http://dx.doi.org/10.1007/3-540-45711-9_12.'
ieee: 'H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level
Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa
, Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.'
mla: 'Ehrig, Hartmut, et al. “High-Level Net Processes.” Formal and Natural Computing:
Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer et al., vol.
2300, Springer, 2002, pp. 191–219, doi:http://dx.doi.org/10.1007/3-540-45711-9_12.'
short: 'H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer,
H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays
Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.'
date_created: 2019-02-05T11:54:53Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45711-9_12
editor:
- first_name: W.
full_name: ' Brauer, W.'
last_name: ' Brauer'
- first_name: H.
full_name: ' Ehrig, H.'
last_name: ' Ehrig'
- first_name: J.
full_name: Karhumäki, J.
last_name: Karhumäki
- first_name: 'A. '
full_name: 'Salomaa , A. '
last_name: 'Salomaa '
intvolume: ' 2300'
language:
- iso: eng
page: 191-219
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: High-Level Net Processes
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7528'
abstract:
- lang: eng
text: The paper studies and compares two different approaches to model communication
and cooperation. The approaches are team automata, a well-defined variant of communicating
automata, and statecharts, heavily used in object-oriented modelling methods.
The comparison yields interesting insights for modelling communication and cooperation.
In particular, the differences between action-based, synchronous and state-based,
asynchronous communication are elucidated.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative
Work. In: Brauer W, Ehring H, Karhumäki J, Salomaa A, eds. Formal and Natural
Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg:
Springer; 2002:257-276.'
apa: 'Engels, G., & Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented
Collaborative Work. In W. Brauer, H. Ehring, J. Karhumäki, & A. Salomaa (Eds.),
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol.
2300, pp. 257–276). Berlin/Heidelberg: Springer.'
bibtex: '@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, editor={Brauer,
W. and Ehring, H. and Karhumäki, J. and Salomaa, A. Editors}, year={2002}, pages={257–276},
collection={LNCS} }'
chicago: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
Collaborative Work.” In Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, edited by W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa,
2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.'
ieee: 'G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented
Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa,
Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.'
mla: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
Collaborative Work.” Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, edited by W. Brauer et al., vol. 2300, Springer, 2002, pp. 257–76.'
short: 'G. Engels, L. Groenewegen, in: W. Brauer, H. Ehring, J. Karhumäki, A. Salomaa
(Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg,
Springer, Berlin/Heidelberg, 2002, pp. 257–276.'
date_created: 2019-02-05T11:57:09Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'W. '
full_name: 'Brauer, W. '
last_name: Brauer
- first_name: H.
full_name: Ehring, H.
last_name: Ehring
- first_name: 'J. '
full_name: 'Karhumäki, J. '
last_name: Karhumäki
- first_name: 'A. '
full_name: 'Salomaa, A. '
last_name: Salomaa
intvolume: ' 2300'
language:
- iso: eng
page: 257-276
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: Towards Team-Automata-Driven Object-Oriented Collaborative Work
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7529'
abstract:
- lang: ger
text: Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt.
Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema
beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert.
Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt.
In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen,
multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der
hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre
anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt
hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über
gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen
Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
citation:
ama: 'Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Schubert S,
Reusch B, Jesse N, eds. Informatik Bewegt. 32. Jahrestagung Der Gesellschaft
Für Informatik, 2002, Lecture Notes in Informatics. Vol P-19. Lecture Notes
in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.'
apa: 'Engels, G., & Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre.
In S. Schubert, B. Reusch, & N. Jesse (Eds.), Informatik bewegt. 32. Jahrestagung
der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics (Vol.
P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).'
bibtex: '@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics},
title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik
bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels,
Gregor and Doberkat, Ernst-Erich}, editor={Schubert, S. and Reusch, B. and Jesse,
N. Editors}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics}
}'
chicago: 'Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
In Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
Lecture Notes in Informatics, edited by S. Schubert, B. Reusch, and N. Jesse,
P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
2002.'
ieee: 'G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik
bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
in Informatics, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn:
Gesellschaft für Informatik (GI), 2002, pp. 377–384.'
mla: Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
Lecture Notes in Informatics, edited by S. Schubert et al., vol. P-19, Gesellschaft
für Informatik (GI), 2002, pp. 377–84.
short: 'G. Engels, E.-E. Doberkat, in: S. Schubert, B. Reusch, N. Jesse (Eds.),
Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture
Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.'
date_created: 2019-02-05T11:59:25Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'S. '
full_name: 'Schubert, S. '
last_name: Schubert
- first_name: 'B. '
full_name: 'Reusch, B. '
last_name: Reusch
- first_name: 'N. '
full_name: 'Jesse, N. '
last_name: Jesse
language:
- iso: eng
page: 377-384
place: Bonn
publication: Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik,
2002, Lecture Notes in Informatics
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Multimedia in der Informatik-Lehre
type: book_chapter
user_id: '52534'
volume: P-19
year: '2002'
...
---
_id: '8363'
abstract:
- lang: eng
text: A major concern of software development today is the integration of applications
of different enterprises, e.g., over the internet. This requires a shift of focus
from system development towards integration of enterprise models and evolution
of systems. We propose a conceptual framework for a method addressing these issues
and discuss its formalization by means of graph transformation concepts.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Heckel R, Engels G. Towards a Formal Framework for Inter-Enterprise Application
Integration. In: Proceedings of the Closing Workshop of the TMR Network GETGRATS
(2002), Bordeaux (France). Vol 51. Electronic Notes in Theoretical Computer
Science. Elsevier; 2002:139-151. doi:http://dx.doi.org/10.1016/S1571-0661(04)80198-1'
apa: Heckel, R., & Engels, G. (2002). Towards a Formal Framework for Inter-Enterprise
Application Integration. In Proceedings of the Closing Workshop of the TMR
Network GETGRATS (2002), Bordeaux (France) (Vol. 51, pp. 139–151). Elsevier.
http://dx.doi.org/10.1016/S1571-0661(04)80198-1
bibtex: '@inproceedings{Heckel_Engels_2002, series={Electronic Notes in Theoretical
Computer Science}, title={Towards a Formal Framework for Inter-Enterprise Application
Integration}, volume={51}, DOI={http://dx.doi.org/10.1016/S1571-0661(04)80198-1},
booktitle={Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002),
Bordeaux (France)}, publisher={Elsevier}, author={Heckel, Reiko and Engels, Gregor},
year={2002}, pages={139–151}, collection={Electronic Notes in Theoretical Computer
Science} }'
chicago: Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise
Application Integration.” In Proceedings of the Closing Workshop of the TMR
Network GETGRATS (2002), Bordeaux (France), 51:139–51. Electronic Notes in
Theoretical Computer Science. Elsevier, 2002. http://dx.doi.org/10.1016/S1571-0661(04)80198-1.
ieee: R. Heckel and G. Engels, “Towards a Formal Framework for Inter-Enterprise
Application Integration,” in Proceedings of the Closing Workshop of the TMR
Network GETGRATS (2002), Bordeaux (France), 2002, vol. 51, pp. 139–151.
mla: Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise
Application Integration.” Proceedings of the Closing Workshop of the TMR Network
GETGRATS (2002), Bordeaux (France), vol. 51, Elsevier, 2002, pp. 139–51, doi:http://dx.doi.org/10.1016/S1571-0661(04)80198-1.
short: 'R. Heckel, G. Engels, in: Proceedings of the Closing Workshop of the TMR
Network GETGRATS (2002), Bordeaux (France), Elsevier, 2002, pp. 139–151.'
date_created: 2019-03-06T11:12:56Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(04)80198-1
intvolume: ' 51'
language:
- iso: eng
page: 139-151
publication: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002),
Bordeaux (France)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Towards a Formal Framework for Inter-Enterprise Application Integration
type: conference
user_id: '52534'
volume: 51
year: '2002'
...
---
_id: '8364'
abstract:
- lang: eng
text: The composition of elementary web services to larger-scale services has become
an important means to enhance e-business collaborations. If such composite web
services can also integrate legacy components that are not yet provided as web
services, the number of possible compositions is increased. Following a process-oriented
approach, the compositions can be described as control- and data-flow between
available web services and components. This paper discusses the Business Process
Execution Language for Web Services (BPEL4WS), an existing service composition
language, and proposes UML-WSC as an alternative, visual language. For the advanced
description of service interfaces, UML-WSC extends the type system of the established
Web Service Definition Language (WSDL).
author:
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Thöne S, Depke R, Engels G. Process-Oriented, Flexible Composition of Web
Services with UML. In: Proceedings of the International Workshop on Conceptual
Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere
(Finland). Vol 2784. LNCS. Berlin/Heidelberg: Springer; 2002:390-401.'
apa: 'Thöne, S., Depke, R., & Engels, G. (2002). Process-Oriented, Flexible
Composition of Web Services with UML. In Proceedings of the International Workshop
on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO
2002), Tampere (Finland) (Vol. 2784, pp. 390–401). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Thöne_Depke_Engels_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Process-Oriented, Flexible Composition of Web Services with UML}, volume={2784},
booktitle={Proceedings of the International Workshop on Conceptual Modeling Approaches
for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)}, publisher={Springer},
author={Thöne, Sebastian and Depke, Ralph and Engels, Gregor}, year={2002}, pages={390–401},
collection={LNCS} }'
chicago: 'Thöne, Sebastian, Ralph Depke, and Gregor Engels. “Process-Oriented, Flexible
Composition of Web Services with UML.” In Proceedings of the International
Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective
(ECOMO 2002), Tampere (Finland), 2784:390–401. LNCS. Berlin/Heidelberg: Springer,
2002.'
ieee: 'S. Thöne, R. Depke, and G. Engels, “Process-Oriented, Flexible Composition
of Web Services with UML,” in Proceedings of the International Workshop on
Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO
2002), Tampere (Finland), 2002, vol. 2784, pp. 390–401.'
mla: 'Thöne, Sebastian, et al. “Process-Oriented, Flexible Composition of Web Services
with UML.” Proceedings of the International Workshop on Conceptual Modeling
Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland),
vol. 2784, Springer, 2002, pp. 390–401.'
short: 'S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop
on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO
2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401.'
date_created: 2019-03-06T11:12:57Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 2784'
language:
- iso: eng
page: 390-401
place: Berlin/Heidelberg
publication: 'Proceedings of the International Workshop on Conceptual Modeling Approaches
for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)'
publisher: Springer
series_title: LNCS
status: public
title: Process-Oriented, Flexible Composition of Web Services with UML
type: conference
user_id: '52534'
volume: 2784
year: '2002'
...
---
_id: '8365'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Engels G, Küster J, Heckel R. Towards Consistency-Preserving Model Evolution.
In: Proceedings of the International Workshop on Principles of Software Evolution(Satellite
Event of the ICSE 02), Orlando, Florida (USA). New York, NY, USA: ACM Press;
2002:129-132. doi:http://doi.acm.org/10.1145/512035.512066'
apa: 'Engels, G., Küster, J., & Heckel, R. (2002). Towards Consistency-Preserving
Model Evolution. In Proceedings of the International Workshop on Principles
of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)
(pp. 129–132). New York, NY, USA: ACM Press. http://doi.acm.org/10.1145/512035.512066'
bibtex: '@inproceedings{Engels_Küster_Heckel_2002, place={New York, NY, USA}, title={Towards
Consistency-Preserving Model Evolution}, DOI={http://doi.acm.org/10.1145/512035.512066},
booktitle={Proceedings of the International Workshop on Principles of Software
Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)}, publisher={ACM
Press}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko}, year={2002},
pages={129–132} }'
chicago: 'Engels, Gregor, Jochen Küster, and Reiko Heckel. “Towards Consistency-Preserving
Model Evolution.” In Proceedings of the International Workshop on Principles
of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA),
129–32. New York, NY, USA: ACM Press, 2002. http://doi.acm.org/10.1145/512035.512066.'
ieee: G. Engels, J. Küster, and R. Heckel, “Towards Consistency-Preserving Model
Evolution,” in Proceedings of the International Workshop on Principles of Software
Evolution(satellite event of the ICSE 02), Orlando, Florida (USA), 2002, pp.
129–132.
mla: Engels, Gregor, et al. “Towards Consistency-Preserving Model Evolution.” Proceedings
of the International Workshop on Principles of Software Evolution(Satellite Event
of the ICSE 02), Orlando, Florida (USA), ACM Press, 2002, pp. 129–32, doi:http://doi.acm.org/10.1145/512035.512066.
short: 'G. Engels, J. Küster, R. Heckel, in: Proceedings of the International Workshop
on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando,
Florida (USA), ACM Press, New York, NY, USA, 2002, pp. 129–132.'
date_created: 2019-03-06T11:12:58Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://doi.acm.org/10.1145/512035.512066
language:
- iso: eng
page: 129-132
place: New York, NY, USA
publication: Proceedings of the International Workshop on Principles of Software Evolution(satellite
event of the ICSE 02), Orlando, Florida (USA)
publisher: ACM Press
status: public
title: Towards Consistency-Preserving Model Evolution
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8366'
author:
- first_name: Szilvia
full_name: Gyapay, Szilvia
last_name: Gyapay
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Gyapay S, Heckel R. Towards Graph Transformation with Time. In: Proceedings
of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, Satellite
Event of the ETAPS 2002), Grenoble (France). Universität Bremen; 2002:131-140.'
apa: Gyapay, S., & Heckel, R. (2002). Towards Graph Transformation with Time.
In Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation
(AGT 2002, satellite event of the ETAPS 2002), Grenoble (France) (pp. 131–140).
Universität Bremen.
bibtex: '@inproceedings{Gyapay_Heckel_2002, title={Towards Graph Transformation
with Time}, booktitle={Proceedings of the APPLIGRAPH Workshop on Application of
Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)},
publisher={Universität Bremen}, author={Gyapay, Szilvia and Heckel, Reiko}, year={2002},
pages={131–140} }'
chicago: Gyapay, Szilvia, and Reiko Heckel. “Towards Graph Transformation with Time.”
In Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation
(AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), 131–40.
Universität Bremen, 2002.
ieee: S. Gyapay and R. Heckel, “Towards Graph Transformation with Time,” in Proceedings
of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, satellite
event of the ETAPS 2002), Grenoble (France), 2002, pp. 131–140.
mla: Gyapay, Szilvia, and Reiko Heckel. “Towards Graph Transformation with Time.”
Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation
(AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität
Bremen, 2002, pp. 131–40.
short: 'S. Gyapay, R. Heckel, in: Proceedings of the APPLIGRAPH Workshop on Application
of Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble
(France), Universität Bremen, 2002, pp. 131–140.'
date_created: 2019-03-06T11:12:59Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 131-140
publication: Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation
(AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)
publisher: Universität Bremen
status: public
title: Towards Graph Transformation with Time
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8367'
abstract:
- lang: eng
text: The use of UML for software specification leads usually to lots of diagrams
showing different aspects and components of the software system in several views.
In order to support a view-oriented approach to system modeling, consistency views
and in between views has to be manageable. It is a reasonable approach to consistency
management when first chossing a suitable semantic domain, provide a partial mapping
into this domain, and specity as well as verify consistency constraints formulated
in that domain. Annotated meta model rules can be used to translate elements of
UML models into the semantic domain chosen. In this contribution, we consider
triple graph grammars and attributed graph transformation approaches for the precise
definition of meta model rules an outline the tool support for automatic translation.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Heckel R, Küster J, Taentzer G. Towards Automatic Translation of UML Models
into Semantic Domains. In: Proceedings of the APPLIGRAPH Workshop on Applied
Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France).
Universität Bremen; 2002:11-21.'
apa: Heckel, R., Küster, J., & Taentzer, G. (2002). Towards Automatic Translation
of UML Models into Semantic Domains. In Proceedings of the APPLIGRAPH Workshop
on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002),
Grenoble (France) (pp. 11–21). Universität Bremen.
bibtex: '@inproceedings{Heckel_Küster_Taentzer_2002, title={Towards Automatic Translation
of UML Models into Semantic Domains}, booktitle={Proceedings of the APPLIGRAPH
Workshop on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS
2002), Grenoble (France)}, publisher={Universität Bremen}, author={Heckel, Reiko
and Küster, Jochen and Taentzer, Gabriele}, year={2002}, pages={11–21} }'
chicago: Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Towards Automatic
Translation of UML Models into Semantic Domains.” In Proceedings of the APPLIGRAPH
Workshop on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS
2002), Grenoble (France), 11–21. Universität Bremen, 2002.
ieee: R. Heckel, J. Küster, and G. Taentzer, “Towards Automatic Translation of UML
Models into Semantic Domains,” in Proceedings of the APPLIGRAPH Workshop on
Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble
(France), 2002, pp. 11–21.
mla: Heckel, Reiko, et al. “Towards Automatic Translation of UML Models into Semantic
Domains.” Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation
(AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität
Bremen, 2002, pp. 11–21.
short: 'R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the APPLIGRAPH Workshop
on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002),
Grenoble (France), Universität Bremen, 2002, pp. 11–21.'
date_created: 2019-03-06T11:13:00Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 11-21
publication: Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation
(AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)
publisher: Universität Bremen
status: public
title: Towards Automatic Translation of UML Models into Semantic Domains
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8368'
abstract:
- lang: eng
text: Consistency of models and model transformations are strongly interrelated
topics. It is thus desirable to have a single notation to express model properties
concerning both aspects. When using meta modeling techniques, graph transformations
are a natural candidate to express model transformations. This paper explores
the use of graph transformations for denoting consistency conditions between models.
This technique yields benefits for different types of interrelation between transformation
and consistency. A special focus is put on the generation of automatic consistency-establishing
transformations.
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Hendrik Hausmann J, Heckel R, Sauer S. Extended Model Relations with Graphical
Consistency Conditions. In: Proceeding of the Workshop on Consistency Problems
in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany).
Department of Software Engineering and Computer Science, Blekinge Institute of
Technology; 2002:61-74.'
apa: Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2002). Extended Model Relations
with Graphical Consistency Conditions. In Proceeding of the Workshop on Consistency
Problems in UML-based Software Development (satellite event of the UML 2002),
Dresden (Germany) (pp. 61–74). Department of Software Engineering and Computer
Science, Blekinge Institute of Technology.
bibtex: '@inproceedings{Hendrik Hausmann_Heckel_Sauer_2002, title={Extended Model
Relations with Graphical Consistency Conditions}, booktitle={Proceeding of the
Workshop on Consistency Problems in UML-based Software Development (satellite
event of the UML 2002), Dresden (Germany)}, publisher={Department of Software
Engineering and Computer Science, Blekinge Institute of Technology}, author={Hendrik
Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2002}, pages={61–74}
}'
chicago: Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Extended Model
Relations with Graphical Consistency Conditions.” In Proceeding of the Workshop
on Consistency Problems in UML-Based Software Development (Satellite Event of
the UML 2002), Dresden (Germany), 61–74. Department of Software Engineering
and Computer Science, Blekinge Institute of Technology, 2002.
ieee: J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Extended Model Relations with
Graphical Consistency Conditions,” in Proceeding of the Workshop on Consistency
Problems in UML-based Software Development (satellite event of the UML 2002),
Dresden (Germany), 2002, pp. 61–74.
mla: Hendrik Hausmann, Jan, et al. “Extended Model Relations with Graphical Consistency
Conditions.” Proceeding of the Workshop on Consistency Problems in UML-Based
Software Development (Satellite Event of the UML 2002), Dresden (Germany),
Department of Software Engineering and Computer Science, Blekinge Institute of
Technology, 2002, pp. 61–74.
short: 'J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop
on Consistency Problems in UML-Based Software Development (Satellite Event of
the UML 2002), Dresden (Germany), Department of Software Engineering and Computer
Science, Blekinge Institute of Technology, 2002, pp. 61–74.'
date_created: 2019-03-06T11:13:02Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 61-74
publication: Proceeding of the Workshop on Consistency Problems in UML-based Software
Development (satellite event of the UML 2002), Dresden (Germany)
publisher: Department of Software Engineering and Computer Science, Blekinge Institute
of Technology
status: public
title: Extended Model Relations with Graphical Consistency Conditions
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8369'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Awais
full_name: Rashid, Awais
last_name: Rashid
citation:
ama: 'Mehner K, Rashid A. Towards a Standard Interface for Runtime Inspection in
AOP Environments. In: Proceedings Workshop on Tools for Aspect-Oriented Software
Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA). ; 2002.'
apa: Mehner, K., & Rashid, A. (2002). Towards a Standard Interface for Runtime
Inspection in AOP Environments. In Proceedings Workshop on Tools for Aspect-Oriented
Software Developement (satellite event of the OOPSLA 2002), Seattle, WA (USA).
bibtex: '@inproceedings{Mehner_Rashid_2002, title={Towards a Standard Interface
for Runtime Inspection in AOP Environments}, booktitle={Proceedings Workshop on
Tools for Aspect-Oriented Software Developement (satellite event of the OOPSLA
2002), Seattle, WA (USA)}, author={Mehner, Katharina and Rashid, Awais}, year={2002}
}'
chicago: Mehner, Katharina, and Awais Rashid. “Towards a Standard Interface for
Runtime Inspection in AOP Environments.” In Proceedings Workshop on Tools for
Aspect-Oriented Software Developement (Satellite Event of the OOPSLA 2002), Seattle,
WA (USA), 2002.
ieee: K. Mehner and A. Rashid, “Towards a Standard Interface for Runtime Inspection
in AOP Environments,” in Proceedings Workshop on Tools for Aspect-Oriented
Software Developement (satellite event of the OOPSLA 2002), Seattle, WA (USA),
2002.
mla: Mehner, Katharina, and Awais Rashid. “Towards a Standard Interface for Runtime
Inspection in AOP Environments.” Proceedings Workshop on Tools for Aspect-Oriented
Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA),
2002.
short: 'K. Mehner, A. Rashid, in: Proceedings Workshop on Tools for Aspect-Oriented
Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA),
2002.'
date_created: 2019-03-06T11:13:03Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings Workshop on Tools for Aspect-Oriented Software Developement
(satellite event of the OOPSLA 2002), Seattle, WA (USA)
status: public
title: Towards a Standard Interface for Runtime Inspection in AOP Environments
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8370'
abstract:
- lang: eng
text: Development of small- or medium scale Web applications is usually performed
by teams consisting of graphic designers responsible for the layout and software
developers realizing the business logic. Due to short production cycles, these
people have to work in parallel on the implementation. Because of the different
backgrounds of the people involved and the relative simplicity of the application,
a simple design process and modeling approach is required which supports communication
between team members and helps to identify and relate their respective tasks.
We propose a simple subset of the UML adapted to the problem domain by means of
stereotypes. Based on the design, we propose a strategy for generating code templates
specifically tailored to the tasks of each team member, so that the implementation
can immediately start in parallel when the modeling is complete.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Schattkowsky T, Lohmann M, Heckel R. Lightweight Modeling of Dynamic Websites
using UML. In: Proceedings of Workshop on Web Engineering (Satellite Event
of the ICSE 2002), Orlando, FL (USA). ; 2002.'
apa: Schattkowsky, T., Lohmann, M., & Heckel, R. (2002). Lightweight Modeling
of Dynamic Websites using UML. In Proceedings of Workshop on Web Engineering
(satellite event of the ICSE 2002), Orlando, FL (USA).
bibtex: '@inproceedings{Schattkowsky_Lohmann_Heckel_2002, title={Lightweight Modeling
of Dynamic Websites using UML}, booktitle={Proceedings of Workshop on Web Engineering
(satellite event of the ICSE 2002), Orlando, FL (USA)}, author={Schattkowsky,
Tim and Lohmann, Marc and Heckel, Reiko}, year={2002} }'
chicago: Schattkowsky, Tim, Marc Lohmann, and Reiko Heckel. “Lightweight Modeling
of Dynamic Websites Using UML.” In Proceedings of Workshop on Web Engineering
(Satellite Event of the ICSE 2002), Orlando, FL (USA), 2002.
ieee: T. Schattkowsky, M. Lohmann, and R. Heckel, “Lightweight Modeling of Dynamic
Websites using UML,” in Proceedings of Workshop on Web Engineering (satellite
event of the ICSE 2002), Orlando, FL (USA), 2002.
mla: Schattkowsky, Tim, et al. “Lightweight Modeling of Dynamic Websites Using UML.”
Proceedings of Workshop on Web Engineering (Satellite Event of the ICSE 2002),
Orlando, FL (USA), 2002.
short: 'T. Schattkowsky, M. Lohmann, R. Heckel, in: Proceedings of Workshop on Web
Engineering (Satellite Event of the ICSE 2002), Orlando, FL (USA), 2002.'
date_created: 2019-03-06T11:13:04Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of Workshop on Web Engineering (satellite event of the ICSE
2002), Orlando, FL (USA)
status: public
title: Lightweight Modeling of Dynamic Websites using UML
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '871'
author:
- first_name: Xiaoming
full_name: Fu, Xiaoming
last_name: Fu
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Cornelia
full_name: Kappler, Cornelia
last_name: Kappler
citation:
ama: 'Fu X, Karl H, Kappler C. QoS-Conditionalized Handoff for Mobile IPv6. In:
NETWORKING 2002, Networking Technologies, Services, and Protocols; Performance
of Computer and Communication Networks; and Mobile and Wireless Communications,
Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002,
Proceedings. ; 2002:721--730. doi:10.1007/3-540-47906-6_58'
apa: Fu, X., Karl, H., & Kappler, C. (2002). QoS-Conditionalized Handoff for
Mobile IPv6. In NETWORKING 2002, Networking Technologies, Services, and Protocols;
Performance of Computer and Communication Networks; and Mobile and Wireless Communications,
Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002,
Proceedings (pp. 721--730). https://doi.org/10.1007/3-540-47906-6_58
bibtex: '@inproceedings{Fu_Karl_Kappler_2002, title={QoS-Conditionalized Handoff
for Mobile IPv6}, DOI={10.1007/3-540-47906-6_58},
booktitle={NETWORKING 2002, Networking Technologies, Services, and Protocols;
Performance of Computer and Communication Networks; and Mobile and Wireless Communications,
Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002,
Proceedings}, author={Fu, Xiaoming and Karl, Holger and Kappler, Cornelia}, year={2002},
pages={721--730} }'
chicago: Fu, Xiaoming, Holger Karl, and Cornelia Kappler. “QoS-Conditionalized Handoff
for Mobile IPv6.” In NETWORKING 2002, Networking Technologies, Services, and
Protocols; Performance of Computer and Communication Networks; and Mobile and
Wireless Communications, Second International IFIP-TC6 Networking Conference,
Pisa, Italy, May 19-24, 2002, Proceedings, 721--730, 2002. https://doi.org/10.1007/3-540-47906-6_58.
ieee: X. Fu, H. Karl, and C. Kappler, “QoS-Conditionalized Handoff for Mobile IPv6,”
in NETWORKING 2002, Networking Technologies, Services, and Protocols; Performance
of Computer and Communication Networks; and Mobile and Wireless Communications,
Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002,
Proceedings, 2002, pp. 721--730.
mla: Fu, Xiaoming, et al. “QoS-Conditionalized Handoff for Mobile IPv6.” NETWORKING
2002, Networking Technologies, Services, and Protocols; Performance of Computer
and Communication Networks; and Mobile and Wireless Communications, Second International
IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002, Proceedings,
2002, pp. 721--730, doi:10.1007/3-540-47906-6_58.
short: 'X. Fu, H. Karl, C. Kappler, in: NETWORKING 2002, Networking Technologies,
Services, and Protocols; Performance of Computer and Communication Networks; and
Mobile and Wireless Communications, Second International IFIP-TC6 Networking Conference,
Pisa, Italy, May 19-24, 2002, Proceedings, 2002, pp. 721--730.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:59Z
department:
- _id: '75'
doi: 10.1007/3-540-47906-6_58
page: 721--730
publication: NETWORKING 2002, Networking Technologies, Services, and Protocols; Performance
of Computer and Communication Networks; and Mobile and Wireless Communications,
Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002,
Proceedings
status: public
title: QoS-Conditionalized Handoff for Mobile IPv6
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '872'
author:
- first_name: Daniel
full_name: Hollos, Daniel
last_name: Hollos
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Hollos D, Karl H. A protocol extension to HiperLAN/2 to support single-relay
networks. In: Mobile Ad-Hoc Netzwerke, 1. Deutscher Workshop Über Mobile Ad-Hoc
Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm. ; 2002:91--107.'
apa: Hollos, D., & Karl, H. (2002). A protocol extension to HiperLAN/2 to support
single-relay networks. In Mobile Ad-Hoc Netzwerke, 1. deutscher Workshop über
Mobile Ad-Hoc Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm (pp. 91--107).
bibtex: '@inproceedings{Hollos_Karl_2002, title={A protocol extension to HiperLAN/2
to support single-relay networks}, booktitle={Mobile Ad-Hoc Netzwerke, 1. deutscher
Workshop über Mobile Ad-Hoc Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm}, author={Hollos,
Daniel and Karl, Holger}, year={2002}, pages={91--107} }'
chicago: Hollos, Daniel, and Holger Karl. “A Protocol Extension to HiperLAN/2 to
Support Single-Relay Networks.” In Mobile Ad-Hoc Netzwerke, 1. Deutscher Workshop
Über Mobile Ad-Hoc Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm, 91--107,
2002.
ieee: D. Hollos and H. Karl, “A protocol extension to HiperLAN/2 to support single-relay
networks,” in Mobile Ad-Hoc Netzwerke, 1. deutscher Workshop über Mobile Ad-Hoc
Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm, 2002, pp. 91--107.
mla: Hollos, Daniel, and Holger Karl. “A Protocol Extension to HiperLAN/2 to Support
Single-Relay Networks.” Mobile Ad-Hoc Netzwerke, 1. Deutscher Workshop Über
Mobile Ad-Hoc Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm, 2002, pp. 91--107.
short: 'D. Hollos, H. Karl, in: Mobile Ad-Hoc Netzwerke, 1. Deutscher Workshop Über
Mobile Ad-Hoc Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm, 2002, pp. 91--107.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:59Z
department:
- _id: '75'
page: 91--107
publication: Mobile Ad-Hoc Netzwerke, 1. deutscher Workshop über Mobile Ad-Hoc Netzwerke
WMAN 2002, 25.-26. März 2002 in Ulm
status: public
title: A protocol extension to HiperLAN/2 to support single-relay networks
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '990'
author:
- first_name: Wei
full_name: Xing, Wei
last_name: Xing
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
- first_name: Harald
full_name: Müller, Harald
last_name: Müller
citation:
ama: 'Xing W, Karl H, Wolisz A, Müller H. M-SCTP: Design and prototypical implementation
of an end-to-end mobility concept. In: In Proc. 5th Intl. Workshop The Internet
Challenge: Technology and Applications. ; 2002:43.'
apa: 'Xing, W., Karl, H., Wolisz, A., & Müller, H. (2002). M-SCTP: Design and
prototypical implementation of an end-to-end mobility concept. In In Proc.
5th Intl. Workshop The Internet Challenge: Technology and Applications (p.
43).'
bibtex: '@inproceedings{Xing_Karl_Wolisz_Müller_2002, title={M-SCTP: Design and
prototypical implementation of an end-to-end mobility concept}, booktitle={In
Proc. 5th Intl. Workshop The Internet Challenge: Technology and Applications},
author={Xing, Wei and Karl, Holger and Wolisz, Adam and Müller, Harald}, year={2002},
pages={43} }'
chicago: 'Xing, Wei, Holger Karl, Adam Wolisz, and Harald Müller. “M-SCTP: Design
and Prototypical Implementation of an End-to-End Mobility Concept.” In In Proc.
5th Intl. Workshop The Internet Challenge: Technology and Applications, 43,
2002.'
ieee: 'W. Xing, H. Karl, A. Wolisz, and H. Müller, “M-SCTP: Design and prototypical
implementation of an end-to-end mobility concept,” in In Proc. 5th Intl. Workshop
The Internet Challenge: Technology and Applications, 2002, p. 43.'
mla: 'Xing, Wei, et al. “M-SCTP: Design and Prototypical Implementation of an End-to-End
Mobility Concept.” In Proc. 5th Intl. Workshop The Internet Challenge: Technology
and Applications, 2002, p. 43.'
short: 'W. Xing, H. Karl, A. Wolisz, H. Müller, in: In Proc. 5th Intl. Workshop
The Internet Challenge: Technology and Applications, 2002, p. 43.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2019-01-03T13:18:56Z
department:
- _id: '75'
page: '43'
publication: 'In Proc. 5th Intl. Workshop The Internet Challenge: Technology and Applications'
status: public
title: 'M-SCTP: Design and prototypical implementation of an end-to-end mobility concept'
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '16489'
author:
- first_name: Christof
full_name: Krick, Christof
last_name: Krick
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Harald
full_name: Räcke, Harald
last_name: Räcke
- first_name: Bernhard
full_name: Vöcking, Bernhard
last_name: Vöcking
- first_name: 'Matthias'' '
full_name: 'Westermann, Matthias'' '
last_name: Westermann
citation:
ama: 'Krick C, Meyer auf der Heide F, Räcke H, Vöcking B, Westermann M. Data Management
in Networks: Experimental Evaluation of a Provably Good Strategy. Theory of
Computing Systems. Published online 2002:217-245. doi:10.1007/s00224-001-1045-z'
apa: 'Krick, C., Meyer auf der Heide, F., Räcke, H., Vöcking, B., & Westermann,
M. (2002). Data Management in Networks: Experimental Evaluation of a Provably
Good Strategy. Theory of Computing Systems, 217–245. https://doi.org/10.1007/s00224-001-1045-z'
bibtex: '@article{Krick_Meyer auf der Heide_Räcke_Vöcking_Westermann_2002, title={Data
Management in Networks: Experimental Evaluation of a Provably Good Strategy},
DOI={10.1007/s00224-001-1045-z},
journal={Theory of Computing Systems}, author={Krick, Christof and Meyer auf der
Heide, Friedhelm and Räcke, Harald and Vöcking, Bernhard and Westermann, Matthias’
}, year={2002}, pages={217–245} }'
chicago: 'Krick, Christof, Friedhelm Meyer auf der Heide, Harald Räcke, Bernhard
Vöcking, and Matthias’ Westermann. “Data Management in Networks: Experimental
Evaluation of a Provably Good Strategy.” Theory of Computing Systems, 2002,
217–45. https://doi.org/10.1007/s00224-001-1045-z.'
ieee: 'C. Krick, F. Meyer auf der Heide, H. Räcke, B. Vöcking, and M. Westermann,
“Data Management in Networks: Experimental Evaluation of a Provably Good Strategy,”
Theory of Computing Systems, pp. 217–245, 2002, doi: 10.1007/s00224-001-1045-z.'
mla: 'Krick, Christof, et al. “Data Management in Networks: Experimental Evaluation
of a Provably Good Strategy.” Theory of Computing Systems, 2002, pp. 217–45,
doi:10.1007/s00224-001-1045-z.'
short: C. Krick, F. Meyer auf der Heide, H. Räcke, B. Vöcking, M. Westermann, Theory
of Computing Systems (2002) 217–245.
date_created: 2020-04-09T10:03:55Z
date_updated: 2022-01-06T06:52:51Z
department:
- _id: '63'
doi: 10.1007/s00224-001-1045-z
language:
- iso: eng
page: 217-245
publication: Theory of Computing Systems
publication_identifier:
issn:
- 1432-4350
- 1433-0490
publication_status: published
status: public
title: 'Data Management in Networks: Experimental Evaluation of a Provably Good Strategy'
type: journal_article
user_id: '15415'
year: '2002'
...
---
_id: '16490'
abstract:
- lang: eng
text: "We present a new data structure for rendering highly complex virtual environments
of arbitrary topology. The special feature of our approach is that it allows an
interactive navigation in very large scenes (30 GB/400 million polygons in our
benchmark scenes) that cannot be stored in main memory, but only on a local or
remote hard disk. Furthermore, it allows interactive rendering of substantially
more complex scenes by instantiating objects.\r\n\r\nFor the computation of an
approximate image of the scene, a sampling technique is used. In the preprocessing,
a so-called sample tree is built whose nodes contain randomly selected polygons
from the scene. This tree only uses space that is linear in the number of polygons.
In order to produce an image of the scene, the tree is traversed and polygons
stored in the visited nodes are rendered. During the interactive walkthrough,
parts of the sample tree are loaded from local or remote hard disk.\r\n\r\nWe
implemented our algorithm in a prototypical walkthrough system. Analysis and experiments
show that the quality of our images is comparable to images computed by the conventional
z-buffer algorithm regardless of the scene topology."
author:
- first_name: Jan
full_name: Klein, Jan
last_name: Klein
- first_name: Jens
full_name: Krokowski, Jens
last_name: Krokowski
- first_name: Matthias
full_name: Fischer, Matthias
id: '146'
last_name: Fischer
- first_name: Michael
full_name: Wand, Michael
last_name: Wand
- first_name: Rolf
full_name: Wanka, Rolf
last_name: Wanka
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Klein J, Krokowski J, Fischer M, Wand M, Wanka R, Meyer auf der Heide F. The
randomized sample tree: a data structure for interactive walkthroughs in externally
stored virtual environments. In: Proceedings of the ACM Symposium on Virtual
Reality Software and Technology - VRST ’02. ; 2002. doi:10.1145/585740.585764'
apa: 'Klein, J., Krokowski, J., Fischer, M., Wand, M., Wanka, R., & Meyer auf
der Heide, F. (2002). The randomized sample tree: a data structure for interactive
walkthroughs in externally stored virtual environments. In Proceedings of the
ACM symposium on Virtual reality software and technology - VRST ’02. https://doi.org/10.1145/585740.585764'
bibtex: '@inproceedings{Klein_Krokowski_Fischer_Wand_Wanka_Meyer auf der Heide_2002,
title={The randomized sample tree: a data structure for interactive walkthroughs
in externally stored virtual environments}, DOI={10.1145/585740.585764},
booktitle={Proceedings of the ACM symposium on Virtual reality software and technology
- VRST ’02}, author={Klein, Jan and Krokowski, Jens and Fischer, Matthias and
Wand, Michael and Wanka, Rolf and Meyer auf der Heide, Friedhelm}, year={2002}
}'
chicago: 'Klein, Jan, Jens Krokowski, Matthias Fischer, Michael Wand, Rolf Wanka,
and Friedhelm Meyer auf der Heide. “The Randomized Sample Tree: A Data Structure
for Interactive Walkthroughs in Externally Stored Virtual Environments.” In Proceedings
of the ACM Symposium on Virtual Reality Software and Technology - VRST ’02,
2002. https://doi.org/10.1145/585740.585764.'
ieee: 'J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, and F. Meyer auf der
Heide, “The randomized sample tree: a data structure for interactive walkthroughs
in externally stored virtual environments,” in Proceedings of the ACM symposium
on Virtual reality software and technology - VRST ’02, 2002.'
mla: 'Klein, Jan, et al. “The Randomized Sample Tree: A Data Structure for Interactive
Walkthroughs in Externally Stored Virtual Environments.” Proceedings of the
ACM Symposium on Virtual Reality Software and Technology - VRST ’02, 2002,
doi:10.1145/585740.585764.'
short: 'J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, F. Meyer auf der
Heide, in: Proceedings of the ACM Symposium on Virtual Reality Software and Technology
- VRST ’02, 2002.'
date_created: 2020-04-09T10:10:36Z
date_updated: 2022-01-06T06:52:51Z
department:
- _id: '63'
doi: 10.1145/585740.585764
language:
- iso: eng
publication: Proceedings of the ACM symposium on Virtual reality software and technology -
VRST '02
publication_identifier:
isbn:
- '1581135300'
publication_status: published
status: public
title: 'The randomized sample tree: a data structure for interactive walkthroughs
in externally stored virtual environments'
type: conference
user_id: '15415'
year: '2002'
...