---
_id: '8338'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Depke R, Heckel R. Formalizing the Development of Agent-Based Systems Using
Graph Processes. In: Proceedings of the Workshop on Graph Transformation and
Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland).
Carleton Scientific; 2000:419-426.'
apa: Depke, R., & Heckel, R. (2000). Formalizing the Development of Agent-Based
Systems Using Graph Processes. In Proceedings of the Workshop on Graph Transformation
and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)
(pp. 419–426). Carleton Scientific.
bibtex: '@inproceedings{Depke_Heckel_2000, title={Formalizing the Development of
Agent-Based Systems Using Graph Processes}, booktitle={Proceedings of the Workshop
on Graph Transformation and Visual Modelling Techniques (satellite event of the
ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Depke,
Ralph and Heckel, Reiko}, year={2000}, pages={419–426} }'
chicago: Depke, Ralph, and Reiko Heckel. “Formalizing the Development of Agent-Based
Systems Using Graph Processes.” In Proceedings of the Workshop on Graph Transformation
and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland),
419–26. Carleton Scientific, 2000.
ieee: R. Depke and R. Heckel, “Formalizing the Development of Agent-Based Systems
Using Graph Processes,” in Proceedings of the Workshop on Graph Transformation
and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland),
2000, pp. 419–426.
mla: Depke, Ralph, and Reiko Heckel. “Formalizing the Development of Agent-Based
Systems Using Graph Processes.” Proceedings of the Workshop on Graph Transformation
and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland),
Carleton Scientific, 2000, pp. 419–26.
short: 'R. Depke, R. Heckel, in: Proceedings of the Workshop on Graph Transformation
and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland),
Carleton Scientific, 2000, pp. 419–426.'
date_created: 2019-03-05T13:29:28Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 419-426
publication: Proceedings of the Workshop on Graph Transformation and Visual Modelling
Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)
publisher: Carleton Scientific
status: public
title: Formalizing the Development of Agent-Based Systems Using Graph Processes
type: conference
user_id: '52534'
year: '2000'
...
---
_id: '8339'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Engels G, Heckel R. From Trees to Graphs: Defining the Semantics of Diagram
Languages with Graph Transformation. In: Proceedings of the Workshop on Graph
Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000),
Geneva(Switzerland). Carleton Scientific; 2000:373-382.'
apa: 'Engels, G., & Heckel, R. (2000). From Trees to Graphs: Defining the Semantics
of Diagram Languages with Graph Transformation. In Proceedings of the Workshop
on Graph Transformation and Visual Modeling Techniques (satellite events of the
ICALP 2000), Geneva(Switzerland) (pp. 373–382). Carleton Scientific.'
bibtex: '@inproceedings{Engels_Heckel_2000, title={From Trees to Graphs: Defining
the Semantics of Diagram Languages with Graph Transformation}, booktitle={Proceedings
of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite
events of the ICALP 2000), Geneva(Switzerland)}, publisher={Carleton Scientific},
author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={373–382} }'
chicago: 'Engels, Gregor, and Reiko Heckel. “From Trees to Graphs: Defining the
Semantics of Diagram Languages with Graph Transformation.” In Proceedings of
the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite
Events of the ICALP 2000), Geneva(Switzerland), 373–82. Carleton Scientific,
2000.'
ieee: 'G. Engels and R. Heckel, “From Trees to Graphs: Defining the Semantics of
Diagram Languages with Graph Transformation,” in Proceedings of the Workshop
on Graph Transformation and Visual Modeling Techniques (satellite events of the
ICALP 2000), Geneva(Switzerland), 2000, pp. 373–382.'
mla: 'Engels, Gregor, and Reiko Heckel. “From Trees to Graphs: Defining the Semantics
of Diagram Languages with Graph Transformation.” Proceedings of the Workshop
on Graph Transformation and Visual Modeling Techniques (Satellite Events of the
ICALP 2000), Geneva(Switzerland), Carleton Scientific, 2000, pp. 373–82.'
short: 'G. Engels, R. Heckel, in: Proceedings of the Workshop on Graph Transformation
and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland),
Carleton Scientific, 2000, pp. 373–382.'
date_created: 2019-03-05T13:29:29Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 373-382
publication: Proceedings of the Workshop on Graph Transformation and Visual Modeling
Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)
publisher: Carleton Scientific
status: public
title: 'From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph
Transformation'
type: conference
user_id: '52534'
year: '2000'
...
---
_id: '8340'
abstract:
- lang: eng
text: 'In concurrent systems, multiple components communicate with each other by
exchanging messages. Each component may take part in several communication protocols
at the same time, each one taking part over a so-called connector. Valid sequences
of message exchanges are usually modeled in a communication protocol. There arise
several important questions concerning protocols: Given a protocol how to ensure
that each participant conforms to the protocol on the model level? Conversely,
given multiple components how to extract the protocol? In our position statement,
we propose a technique for ensuring protocol conformity based on extraction of
statechart views from each component''s statechart.'
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: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Küster J, Groenewegen L. Modeling Concurrent Behavior through Consistent
Statechart Views. In: Proceedings of the Workshop on Dynamic Behaviour in UML
Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University;
2000:44-49.'
apa: 'Engels, G., Küster, J., & Groenewegen, L. (2000). Modeling Concurrent
Behavior through Consistent Statechart Views. In Proceedings of the Workshop
on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp.
44–49). Munich (Germany): Ludwig-Maximilians-University.'
bibtex: '@inproceedings{Engels_Küster_Groenewegen_2000, place={Munich (Germany)},
title={Modeling Concurrent Behavior through Consistent Statechart Views}, number={0006},
booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic
Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Engels,
Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2000}, pages={44–49} }'
chicago: 'Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Modeling Concurrent
Behavior through Consistent Statechart Views.” In Proceedings of the Workshop
on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany),
44–49. Munich (Germany): Ludwig-Maximilians-University, 2000.'
ieee: 'G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through
Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour
in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.'
mla: 'Engels, Gregor, et al. “Modeling Concurrent Behavior through Consistent Statechart
Views.” Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic
Questions, Munich (Germany), no. 0006, Ludwig-Maximilians-University, 2000,
pp. 44–49.'
short: 'G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Workshop on
Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University,
Munich (Germany), 2000, pp. 44–49.'
date_created: 2019-03-05T13:29:30Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
issue: '0006'
language:
- iso: eng
page: 44-49
place: Munich (Germany)
publication: 'Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic
Questions, Munich (Germany)'
publisher: Ludwig-Maximilians-University
status: public
title: Modeling Concurrent Behavior through Consistent Statechart Views
type: conference
user_id: '52534'
year: '2000'
...
---
_id: '7396'
abstract:
- lang: eng
text: In order to provide semantic support for visual modeling techniques, new techniques
have to be developed which help us to narrow the conceptual gap between graph-based
visual modeling techniques like the UML and established methodologies of programming
language semantics almost exclusively based on trees and terms. Concepts and results
from the area of graph transformation can be used both as a basis for high-level
rule-based visual languages, and as semantic domain for visual modeling techniques
focusing on the structural and behavioral aspects of today's software systems.
Moreover, graph transformation can provide the necessary technology in order to
develop the graph-based counterparts of the denotational, operational, or algebraic
semantics paradigms in the field of programming languages. In this paper, we substantiate
these claims by examples of the use of graph transformation as visual modeling
notion, semantic domain, and for the semantics of diagram languages.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: Engels G, Heckel R. Graph Transformation and Visual Modeling Techniques. Bulletin
of the EATCS. 2000;(71):186-202.
apa: Engels, G., & Heckel, R. (2000). Graph Transformation and Visual Modeling
Techniques. Bulletin of the EATCS, (71), 186–202.
bibtex: '@article{Engels_Heckel_2000, title={Graph Transformation and Visual Modeling
Techniques}, number={71}, journal={Bulletin of the EATCS}, author={Engels, Gregor
and Heckel, Reiko}, year={2000}, pages={186–202} }'
chicago: 'Engels, Gregor, and Reiko Heckel. “Graph Transformation and Visual Modeling
Techniques.” Bulletin of the EATCS, no. 71 (2000): 186–202.'
ieee: G. Engels and R. Heckel, “Graph Transformation and Visual Modeling Techniques,”
Bulletin of the EATCS, no. 71, pp. 186–202, 2000.
mla: Engels, Gregor, and Reiko Heckel. “Graph Transformation and Visual Modeling
Techniques.” Bulletin of the EATCS, no. 71, 2000, pp. 186–202.
short: G. Engels, R. Heckel, Bulletin of the EATCS (2000) 186–202.
date_created: 2019-01-31T15:43:34Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
issue: '71'
language:
- iso: eng
page: 186-202
publication: Bulletin of the EATCS
status: public
title: Graph Transformation and Visual Modeling Techniques
type: journal_article
user_id: '52534'
year: '2000'
...
---
_id: '7397'
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. Graph Transformation and Visual Modeling Techniques:
Workshop Summary and HowTo. Bulletin of the EATCS. 2000;(72):69-76.'
apa: 'Corradini, A., & Heckel, R. (2000). Graph Transformation and Visual Modeling
Techniques: Workshop Summary and HowTo. Bulletin of the EATCS, (72), 69–76.'
bibtex: '@article{Corradini_Heckel_2000, title={Graph Transformation and Visual
Modeling Techniques: Workshop Summary and HowTo}, number={72}, journal={Bulletin
of the EATCS}, author={Corradini, Andrea and Heckel, Reiko}, year={2000}, pages={69–76}
}'
chicago: 'Corradini, Andrea, and Reiko Heckel. “Graph Transformation and Visual
Modeling Techniques: Workshop Summary and HowTo.” Bulletin of the EATCS,
no. 72 (2000): 69–76.'
ieee: 'A. Corradini and R. Heckel, “Graph Transformation and Visual Modeling Techniques:
Workshop Summary and HowTo,” Bulletin of the EATCS, no. 72, pp. 69–76,
2000.'
mla: 'Corradini, Andrea, and Reiko Heckel. “Graph Transformation and Visual Modeling
Techniques: Workshop Summary and HowTo.” Bulletin of the EATCS, no. 72,
2000, pp. 69–76.'
short: A. Corradini, R. Heckel, Bulletin of the EATCS (2000) 69–76.
date_created: 2019-01-31T15:45:13Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
issue: '72'
language:
- iso: eng
page: 69-76
publication: Bulletin of the EATCS
status: public
title: 'Graph Transformation and Visual Modeling Techniques: Workshop Summary and
HowTo'
type: journal_article
user_id: '52534'
year: '2000'
...
---
_id: '7398'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Matthew
full_name: Langham, Matthew
last_name: Langham
citation:
ama: Depke R, Heckel R, Küster J, Langham M. Agenten im Auftrag des Bankkunden.
Geldinstitute. 2000;31(1-2):32-33.
apa: Depke, R., Heckel, R., Küster, J., & Langham, M. (2000). Agenten im Auftrag
des Bankkunden. Geldinstitute, 31(1–2), 32–33.
bibtex: '@article{Depke_Heckel_Küster_Langham_2000, title={Agenten im Auftrag des
Bankkunden}, volume={31}, number={1–2}, journal={Geldinstitute}, author={Depke,
Ralph and Heckel, Reiko and Küster, Jochen and Langham, Matthew}, year={2000},
pages={32–33} }'
chicago: 'Depke, Ralph, Reiko Heckel, Jochen Küster, and Matthew Langham. “Agenten
Im Auftrag Des Bankkunden.” Geldinstitute 31, no. 1–2 (2000): 32–33.'
ieee: R. Depke, R. Heckel, J. Küster, and M. Langham, “Agenten im Auftrag des Bankkunden,”
Geldinstitute, vol. 31, no. 1–2, pp. 32–33, 2000.
mla: Depke, Ralph, et al. “Agenten Im Auftrag Des Bankkunden.” Geldinstitute,
vol. 31, no. 1–2, 2000, pp. 32–33.
short: R. Depke, R. Heckel, J. Küster, M. Langham, Geldinstitute 31 (2000) 32–33.
date_created: 2019-01-31T15:45:41Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 31'
issue: 1-2
language:
- iso: eng
page: 32-33
publication: Geldinstitute
status: public
title: Agenten im Auftrag des Bankkunden
type: journal_article
user_id: '52534'
volume: 31
year: '2000'
...
---
_id: '7509'
abstract:
- lang: eng
text: 'Geleitwort Zu welchem Zweck fördert das Land Nordrhein-Westfalen Multimediaprojekte
für die Hochschullehre? Inzwischen hat es sich herumgesprochen, dass die Computerunterstützung
nicht nur den Zugriff auf Wissen und Information dramatisch verändern wird, sondern
in Zukunft auch das Lernen selbst und die Gestaltung der Lernprozesse. Wird im
gleichen Maße, wie Information weltweit über Netz zugriffsfähig wird, auch „Lernen“
zugriffsfähig? Hält die industrielle Arbeitsteilung Einzug auch in das Feld der
Hochschullehre? Wird sich die Lehre vom Ort ihrer Entstehung, der Hochschule,
verselbstständigen? Werden Weiterbildungseinrichtungen die Zweit- und Drittvermarktung
übernehmen oder ganze Teile der jetzigen Lehraufgaben der Hochschulen ersetzen?
Wird damit die räumliche Einbindung der Hochschullehre in den Ort Hochschule derartig
aufgelöst, dass Hochschulen - jedenfalls viele von ihnen - ihren Charakter verlieren
oder sehr ändern? Wird die kulturell-nationale Einbindung von Lehre unter dem
Druck der Globalisierung und mit dem Mittel der Virtualität überflüssig? Werden
Studierende, wo auch immer sie sind, künftig von vornherein Angebote in der lingua
franca Englisch bevorzugen, und wenn sie dies tun, warum nicht gleich ein angelsächsisches
Original? Seit der Erfindung des Buchdrucks hat keine technische Innovation ein
solches Potenzial zur Veränderung von Lernprozessen und zur Veränderung der Institutionen
des Lernens gehabt wie die vernetzte Computerunterstützung. Diese Potenziale entwickeln
sich mit einer vergleichsweise großen Geschwindigkeit. Diese Geschwindigkeit ist
lange Zeit unterschätzt worden. Daher wird zurzeit der Blick gerne Richtung USA
gerichtet. Scheinbar ist dort alles weiter. Alte und neue Einrichtungen spezialisieren
sich in diesem Feld. Testet man ab, in Bezug auf welche Anwendungen und welchen
Nutzen die Entwicklung dort rascher bewältigt sein soll, relativiert sich das
Bild. Vermarktbare Weiterbildung wird dort stärker als bei uns schon mit Multimedialität
und Netzverteilung verbunden. Allerdings ist der Standard dafür, was Multimedialität
oder Virtualität ist, nicht in jedem Fall beeindruckend. Konzepte für ganze Hochschulen,
die soweit umgesetzt sind, dass Anlass zur Sorge in Bezug auf ein Gefälle zwischen
den USA und uns bestünde, sind z.Zt. so (noch) nicht zu sehen. Trotzdem, die konkurrenzhafte
Globalisierung erfasst auch unsere Hochschulen. Der Nachteil, den man heute noch
nicht hat, kann morgen schon Wirklichkeit sein. Vor diesem Hintergrund gibt es
mehrere Felder, in denen das Land Nordrhein-Westfalen das gemeinsame Engagement
von Land und Hochschulen für wesentlich hält: * Kein Student sollte die Hochschule
verlassen - gleich in welchem Fach - ohne sich in der Nutzung der computerunterstützten
Informationsangebote und eines computerunterstützten Lerner-Arbeitsplatzes auszukennen.
* Jede Hochschule muss sich das Ziel setzen, in einem überschaubaren Zeitraum
eine vernünftige integrierte technische Unterstützung für den Gesamtkomplex des
Informationsmanagements und des Lernens zu realisieren. Diese Plattform soll hochschulfreundlich
den wirklichen Abläufen folgen und möglichst überschaubare Kosten für den Support
und die Erneuerung verursachen. * In allen Fächern sollten die Hochschulen so
schnell wie möglich die Vorteile multimedial unterstützten Lernens fachlich realisieren.
Für diese Seite, den Content, gibt es sowohl im Land Nordrhein-Westfalen als auch
bundesweit entsprechende Programme, um Lernsoftware, die hochschulübergreifend
einsetzbar ist, zu entwickeln. Es braucht aber mehr: Um in einer Hochschule eine
lebendige und sinnvolle Nutzung des Computers für den Lehrbetrieb zu ermöglichen,
sollte die ganze Flut an Informationen, an grauer Literatur, an hand-outs, an
Folien, an Dingen, die man nur ein Semester braucht oder die in mehreren Semestern
wachsen, an disziplinär entstehenden Papieren, aber auch an Ergebnissen interdisziplinärer
Zusammenarbeit für die Lehre in einer integrierten nutzerfreundlichen Technik
zur Verfügung stehen. Ziel muss sein, dass der Studierende ohne Medienbruch seinen
eigenen „virtuellen Schreibtisch“ im Hochschulnetz hat. Und Ziel muss es auch
sein, dass Hochschullehrer ohne „Sklaven“ (Hiwi aus der Informatik) ihre Inhalte
ins Netz bekommen. Auch die Kompetenz im virtuellen berufsbegleitenden Studium,
die die Universität in Hagen als traditionell einzige Fernuniversität im deutschsprachigen
Raum auf dem Hintergrund gewachsenen Betreuungs-Know-hows hat, sollte kooperativ
allen Hochschulen zugute kommen können. Diese Ziele vor Augen hat das MSWWF zusammen
mit der Landesrektorenkonferenz den Universitätsverbund Multimedia (UVM) als standortübergreifendes
Kompetenznetzwerk ins Leben gerufen. Hier wurde vor drei Jahren das „Leitprojekt
Wirtschaftswissenschaften“ ausgeschrieben. Die Idee war, dass in den Wirtschaftswissenschaften
schon ausreichend viele Ansätze für breitere Kooperationen zu sehen waren und
es sich gleichzeitig um ein Massenfach handelt, dessen Überlastprobleme zur Nutzung
von Multimedia als Mittel der Verbesserung der Qualität der Lehre geradezu herausfordern.
Ziel war auch, über den technischen Bereich hinaus die Gesprächsmöglichkeiten
über Arbeitsteilungen und wechselseitiges, ergänzendes und kooperatives Nutzen
zu entwickeln und zu verbessern. Der Weg der letzten Jahre war für alle Beteiligten
nicht ohne Mühen. Denn die Hochschullehre, so war es immer übereinstimmende Interpretation,
gehört zu den vornehmen Bereichen der Wissenschaftsfreiheit, d.h. jeder einzelne
Hochschullehrer verantwortet seine Lehre individuell und etwaige Abstimmung bezieht
sich nur auf die Erfüllung der Studienordnung, des notwendigen semesterweisen
Angebotes und ähnlicher Rahmensetzungen und erfolgt jeweils an der eigenen Hochschule
im eigenen Fach. Noch einmal zurück zu den USA. Dort wird prognostiziert, dass
der Bildungsmarkt der Markt der Zukunft ist - und zwar schon kurzfristig. Das
Vordringen der nur durch Geldströme gesteuerten Marktmechanismen in Bereiche,
deren Entwicklung eben noch konsensual durch gesellschaftliche Willensbildung
geprägt wurden, hat schon in anderen Bereichen verblüfft. Wir sollten daher nicht
naiv sein und die eigene Aneignung der Potentiale virtueller Lernumgebungen nicht
versäumen. Entscheidend wird die Fähigkeit unserer Hochschulen sein, eine Neujustierung
zu leisten zwischen der multimedial standardisierbaren Lehre einerseits und dem
diskursiven, erörternden, forschungsorientierten Input des individuellen Hochschullehrers
andererseits. Daran, wie gut es gelingt, mit den neuen Konzepten zu überzeugen,
wird sich entscheiden, wie weit die Hochschule der Zukunft der Hochschule, die
wir kennen, noch gleichen wird. Nur wer mitspielt, kann mitprägen. Düsseldorf,
im Februar 2000 Monika Kramme Ministerium für Schule und Weiterbildung, Wissenschaft
und Forschung'
author:
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
citation:
ama: 'Doberkat E-E. Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht.
LIT Verlag Münster; 2000.'
apa: 'Doberkat, E.-E. (2000). Multimedia in der wirtschaftswissenschaftlichen
Lehre: Erfahrungsbericht. LIT Verlag Münster.'
bibtex: '@book{Doberkat_2000, title={Multimedia in der wirtschaftswissenschaftlichen
Lehre: Erfahrungsbericht}, publisher={LIT Verlag Münster}, author={Doberkat, Ernst-Erich},
year={2000} }'
chicago: 'Doberkat, Ernst-Erich. Multimedia in Der Wirtschaftswissenschaftlichen
Lehre: Erfahrungsbericht. LIT Verlag Münster, 2000.'
ieee: 'E.-E. Doberkat, Multimedia in der wirtschaftswissenschaftlichen Lehre:
Erfahrungsbericht. LIT Verlag Münster, 2000.'
mla: 'Doberkat, Ernst-Erich. Multimedia in Der Wirtschaftswissenschaftlichen
Lehre: Erfahrungsbericht. LIT Verlag Münster, 2000.'
short: 'E.-E. Doberkat, Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht,
LIT Verlag Münster, 2000.'
date_created: 2019-02-04T22:27:59Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
publisher: LIT Verlag Münster
status: public
title: 'Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht'
type: book
user_id: '52534'
year: '2000'
...
---
_id: '7520'
abstract:
- lang: ger
text: In diesem Kapitel sollen das Vorgehensmodell zur Entwicklung von multimedialen
Lehreinheiten und der Fragebogen zur Erstellung eines deskriptiven Vorgehensmodells
vorgestellt werden. Diese Dokumente sind von der Softwarebegleitgruppe im Projektverlauf
für die Projektteilnehmer aus den wirtschaftswissenschaftlichen Fakultäten erstellt
worden.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Udo
full_name: Kelter, Udo
last_name: Kelter
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
citation:
ama: 'Engels G, Kelter U, Depke R, Mehner K. Unterstützende Angebote der Softwarebegleitgruppe.
In: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht.
Münster: LIT; 2000:27-56.'
apa: 'Engels, G., Kelter, U., Depke, R., & Mehner, K. (2000). Unterstützende
Angebote der Softwarebegleitgruppe. In Multimedia in der wirtschaftswissenschaftlichen
Lehre, Erfahrungsbericht (pp. 27–56). Münster: LIT.'
bibtex: '@inbook{Engels_Kelter_Depke_Mehner_2000, place={Münster}, title={Unterstützende
Angebote der Softwarebegleitgruppe}, booktitle={Multimedia in der wirtschaftswissenschaftlichen
Lehre, Erfahrungsbericht}, publisher={LIT}, author={Engels, Gregor and Kelter,
Udo and Depke, Ralph and Mehner, Katharina}, year={2000}, pages={27–56} }'
chicago: 'Engels, Gregor, Udo Kelter, Ralph Depke, and Katharina Mehner. “Unterstützende
Angebote Der Softwarebegleitgruppe.” In Multimedia in Der Wirtschaftswissenschaftlichen
Lehre, Erfahrungsbericht, 27–56. Münster: LIT, 2000.'
ieee: 'G. Engels, U. Kelter, R. Depke, and K. Mehner, “Unterstützende Angebote der
Softwarebegleitgruppe,” in Multimedia in der wirtschaftswissenschaftlichen
Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 27–56.'
mla: Engels, Gregor, et al. “Unterstützende Angebote Der Softwarebegleitgruppe.”
Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht,
LIT, 2000, pp. 27–56.
short: 'G. Engels, U. Kelter, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen
Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 27–56.'
date_created: 2019-02-04T22:53:21Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 27-56
place: Münster
publication: Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht
publisher: LIT
status: public
title: Unterstützende Angebote der Softwarebegleitgruppe
type: book_chapter
user_id: '52534'
year: '2000'
...
---
_id: '7521'
abstract:
- lang: ger
text: Auf der Grundlage der im vorherigen Kapitel zusammengefaßten Beschreibungen
der Aktivitäten an den einzelnen Standorten Bochum, Köln, Münster und Siegen soll
in diesem Kapitel versucht werden, die beschriebenen Erfahrungen zu strukturieren
und zu vergleichen. Hierbei geht es in erster Linie um eine qualitative Analyse.
Es wird also nicht gefragt und bewertet, welche konkret quantitativ meßbaren Ergebnisse
erzielt wurden, sondern welcher Standort welche Aktivitäten durchgeführt hat,
um das gesteckte Ziel zu erreichen. Das Ziel dieser vergleichenden Analyse liegt
vor allem in dem Erkenntnisgewinn, welche Aktivitäten von welchen Personenkreisen
in einer Fakultät durchgeführt werden können bzw. sollten, um eine adäquate Unterstützung
der Lehre durch Multimedia-Techniken zu erzielen.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
citation:
ama: 'Engels G, Depke R, Mehner K. Ergebnisse - vergleichende Darstellung. In: Multimedia
in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht. Münster: LIT;
2000:277-294.'
apa: 'Engels, G., Depke, R., & Mehner, K. (2000). Ergebnisse - vergleichende
Darstellung. In Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht
(pp. 277–294). Münster: LIT.'
bibtex: '@inbook{Engels_Depke_Mehner_2000, place={Münster}, title={Ergebnisse -
vergleichende Darstellung}, booktitle={Multimedia in der wirtschaftswissenschaftlichen
Lehre, Erfahrungsbericht}, publisher={LIT}, author={Engels, Gregor and Depke,
Ralph and Mehner, Katharina}, year={2000}, pages={277–294} }'
chicago: 'Engels, Gregor, Ralph Depke, and Katharina Mehner. “Ergebnisse - Vergleichende
Darstellung.” In Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht,
277–94. Münster: LIT, 2000.'
ieee: 'G. Engels, R. Depke, and K. Mehner, “Ergebnisse - vergleichende Darstellung,”
in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht,
Münster: LIT, 2000, pp. 277–294.'
mla: Engels, Gregor, et al. “Ergebnisse - Vergleichende Darstellung.” Multimedia
in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, 2000,
pp. 277–94.
short: 'G. Engels, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen
Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 277–294.'
date_created: 2019-02-04T22:54:41Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 277-294
place: Münster
publication: Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht
publisher: LIT
status: public
title: Ergebnisse - vergleichende Darstellung
type: book_chapter
user_id: '52534'
year: '2000'
...
---
_id: '7522'
abstract:
- lang: eng
text: The computer has evolved from the purpose of pure number crunching to supporting
the coordinated collaboration between human and/or artificial beings to reach
a certain goal. Object-oriented modelling techniques based on the central notions
of object interaction and object collaboration should provide the semantic expressivity
to model such coordinated collaboration. Based on an investigation of the object-oriented
modelling standard UML, however, the weaknesses of the existing modelling concepts
are revealed. SOCCA is presented instead, which is an object-oriented specification
language supporting the arbitrarily fine-grained synchronisation of processes,
i.e., active objects. Based on several examples of the EU rental car system the
expressive power of SOCCA is discussed and compared to related approaches.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Gerti
full_name: Kappel, Gerti
last_name: Kappel
citation:
ama: 'Engels G, Groenewegen L, Kappel G. Coordinated Collaboration of Objects. In:
Proceedings of Advances in Object-Oriented Modeling. The MIT Press; 2000:307-332.'
apa: Engels, G., Groenewegen, L., & Kappel, G. (2000). Coordinated Collaboration
of Objects. In Proceedings of Advances in Object-Oriented Modeling (pp.
307–332). The MIT Press.
bibtex: '@inbook{Engels_Groenewegen_Kappel_2000, title={Coordinated Collaboration
of Objects}, booktitle={Proceedings of Advances in Object-Oriented Modeling},
publisher={The MIT Press}, author={Engels, Gregor and Groenewegen, Luuk and Kappel,
Gerti}, year={2000}, pages={307–332} }'
chicago: Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Coordinated Collaboration
of Objects.” In Proceedings of Advances in Object-Oriented Modeling, 307–32.
The MIT Press, 2000.
ieee: G. Engels, L. Groenewegen, and G. Kappel, “Coordinated Collaboration of Objects,”
in Proceedings of Advances in Object-Oriented Modeling, The MIT Press,
2000, pp. 307–332.
mla: Engels, Gregor, et al. “Coordinated Collaboration of Objects.” Proceedings
of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–32.
short: 'G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented
Modeling, The MIT Press, 2000, pp. 307–332.'
date_created: 2019-02-04T22:55:21Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 307-332
publication: Proceedings of Advances in Object-Oriented Modeling
publisher: The MIT Press
status: public
title: Coordinated Collaboration of Objects
type: book_chapter
user_id: '52534'
year: '2000'
...
---
_id: '8341'
author:
- first_name: Fabio
full_name: Gadducci, Fabio
last_name: Gadducci
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Manuel
full_name: Koch, Manuel
last_name: Koch
citation:
ama: 'Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted
Temporal Logic. In: Proceedings of the 6th International Workshop on Theory
and Application of Graph Transformations (TAGT 1998), Paderborn (Germany).
Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:http://dx.doi.org/10.1007/b75045'
apa: 'Gadducci, F., Heckel, R., & Koch, M. (2000). A Fully Abstract Model for
Graph-Interpreted Temporal Logic. In Proceedings of the 6th International Workshop
on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)
(Vol. 1764, pp. 310–322). London, UK: Springer. http://dx.doi.org/10.1007/b75045'
bibtex: '@inproceedings{Gadducci_Heckel_Koch_2000, place={London, UK}, series={LNCS},
title={A Fully Abstract Model for Graph-Interpreted Temporal Logic}, volume={1764},
DOI={http://dx.doi.org/10.1007/b75045},
booktitle={Proceedings of the 6th International Workshop on Theory and Application
of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer},
author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={2000}, pages={310–322},
collection={LNCS} }'
chicago: 'Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “A Fully Abstract Model
for Graph-Interpreted Temporal Logic.” In Proceedings of the 6th International
Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn
(Germany), 1764:310–22. LNCS. London, UK: Springer, 2000. http://dx.doi.org/10.1007/b75045.'
ieee: F. Gadducci, R. Heckel, and M. Koch, “A Fully Abstract Model for Graph-Interpreted
Temporal Logic,” in Proceedings of the 6th International Workshop on Theory
and Application of Graph Transformations (TAGT 1998), Paderborn (Germany),
2000, vol. 1764, pp. 310–322.
mla: Gadducci, Fabio, et al. “A Fully Abstract Model for Graph-Interpreted Temporal
Logic.” Proceedings of the 6th International Workshop on Theory and Application
of Graph Transformations (TAGT 1998), Paderborn (Germany), vol. 1764, Springer,
2000, pp. 310–22, doi:http://dx.doi.org/10.1007/b75045.
short: 'F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International
Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn
(Germany), Springer, London, UK, 2000, pp. 310–322.'
date_created: 2019-03-05T13:29:31Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b75045
intvolume: ' 1764'
language:
- iso: eng
page: 310-322
place: London, UK
publication: Proceedings of the 6th International Workshop on Theory and Application
of Graph Transformations (TAGT 1998), Paderborn (Germany)
publisher: Springer
series_title: LNCS
status: public
title: A Fully Abstract Model for Graph-Interpreted Temporal Logic
type: conference
user_id: '52534'
volume: 1764
year: '2000'
...
---
_id: '8342'
abstract:
- lang: eng
text: This position paper weighs the benefits against the problems of using a graph
rewrite system for the formal specification of an integrated software engineering
model and for its implementation using the same graph rewrite system. The integrated
software engineering approach, called GRIDS1, has been motivated by the shortcomings
of software engineering support for real-life software projects. It is based on
the formal integration of software engineering aspects for the automatic construction
and well-defined manipulation of situational project frameworks. GRIDS uses the
graph rewrite system PROGRES for the formal specification of the concepts and
for their prototypical implementation. Without claiming to cover the entire field
of graph rewrite systems, the experiences of this particular, graph-based approach
are used as example for a discussion about the adequacy, the benefits, but also
the shortcomings and the problems of applying a graph rewrite approach to realize
automated software and method engineering support.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Andreas
full_name: Zamperoni, Andreas
last_name: Zamperoni
citation:
ama: 'Engels G, Zamperoni A. Formal Integration of Software Engineering Aspects
Using Graph Rewrite Systems - A Typical Experience?! In: Proceedings of the
International Workshop on Applications of Graph Transformations with Industrial
Relevance (AGTIVE 1999), Kerkrade (The Netherlands). Vol 1779. LNCS. Berlin/Heidelberg:
Springer; 2000:359-368. doi:http://dx.doi.org/10.1007/3-540-45104-8_28'
apa: 'Engels, G., & Zamperoni, A. (2000). Formal Integration of Software Engineering
Aspects Using Graph Rewrite Systems - A Typical Experience?! In Proceedings
of the International Workshop on Applications of Graph Transformations with Industrial
Relevance (AGTIVE 1999), Kerkrade (The Netherlands) (Vol. 1779, pp. 359–368).
Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45104-8_28'
bibtex: '@inproceedings{Engels_Zamperoni_2000, place={Berlin/Heidelberg}, series={LNCS},
title={Formal Integration of Software Engineering Aspects Using Graph Rewrite
Systems - A Typical Experience?!}, volume={1779}, DOI={http://dx.doi.org/10.1007/3-540-45104-8_28},
booktitle={Proceedings of the International Workshop on Applications of Graph
Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)},
publisher={Springer}, author={Engels, Gregor and Zamperoni, Andreas}, year={2000},
pages={359–368}, collection={LNCS} }'
chicago: 'Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software
Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!” In Proceedings
of the International Workshop on Applications of Graph Transformations with Industrial
Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 1779:359–68. LNCS. Berlin/Heidelberg:
Springer, 2000. http://dx.doi.org/10.1007/3-540-45104-8_28.'
ieee: G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects
Using Graph Rewrite Systems - A Typical Experience?!,” in Proceedings of the
International Workshop on Applications of Graph Transformations with Industrial
Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 2000, vol. 1779, pp.
359–368.
mla: Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software Engineering
Aspects Using Graph Rewrite Systems - A Typical Experience?!” Proceedings of
the International Workshop on Applications of Graph Transformations with Industrial
Relevance (AGTIVE 1999), Kerkrade (The Netherlands), vol. 1779, Springer,
2000, pp. 359–68, doi:http://dx.doi.org/10.1007/3-540-45104-8_28.
short: 'G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on
Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999),
Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.'
date_created: 2019-03-05T13:29:33Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45104-8_28
intvolume: ' 1779'
language:
- iso: eng
page: 359-368
place: Berlin/Heidelberg
publication: Proceedings of the International Workshop on Applications of Graph Transformations
with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)
publisher: Springer
series_title: LNCS
status: public
title: Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems
- A Typical Experience?!
type: conference
user_id: '52534'
volume: 1779
year: '2000'
...
---
_id: '8343'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition
einer operationalen Semantik für die UML. In: Proceedings of the 7th GI-Workshop
GROOM. Vol 20. University of Koblenz-Landau; 2000:43-44.'
apa: Heckel, R., & Sauer, S. (2000). Dynamische Metamodellierung als Methode
zur Definition einer operationalen Semantik für die UML. In Proceedings of
the 7th GI-Workshop GROOM (Vol. 20, pp. 43–44). University of Koblenz-Landau.
bibtex: '@inproceedings{Heckel_Sauer_2000, title={Dynamische Metamodellierung als
Methode zur Definition einer operationalen Semantik für die UML}, volume={20},
number={2}, booktitle={Proceedings of the 7th GI-Workshop GROOM}, publisher={University
of Koblenz-Landau}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={43–44}
}'
chicago: Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode
Zur Definition Einer Operationalen Semantik Für Die UML.” In Proceedings of
the 7th GI-Workshop GROOM, 20:43–44. University of Koblenz-Landau, 2000.
ieee: R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition
einer operationalen Semantik für die UML,” in Proceedings of the 7th GI-Workshop
GROOM, 2000, vol. 20, no. 2, pp. 43–44.
mla: Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode Zur
Definition Einer Operationalen Semantik Für Die UML.” Proceedings of the 7th
GI-Workshop GROOM, vol. 20, no. 2, University of Koblenz-Landau, 2000, pp.
43–44.
short: 'R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University
of Koblenz-Landau, 2000, pp. 43–44.'
date_created: 2019-03-05T13:29:34Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 20'
issue: '2'
language:
- iso: eng
page: 43-44
publication: Proceedings of the 7th GI-Workshop GROOM
publisher: University of Koblenz-Landau
status: public
title: Dynamische Metamodellierung als Methode zur Definition einer operationalen
Semantik für die UML
type: conference
user_id: '52534'
volume: 20
year: '2000'
...
---
_id: '8344'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams.
In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic
Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University;
2000:63-69.'
apa: 'Heckel, R., & Sauer, S. (2000). Strengthening the Semantics of UML Collaboration
Diagrams. In Proceedings of the Workshop on Dynamic Behaviour in UML Models:
Semantic Questions, Munich (Germany) (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.'
bibtex: '@inproceedings{Heckel_Sauer_2000, place={Munich (Germany)}, title={Strengthening
the Semantics of UML Collaboration Diagrams}, number={0006}, booktitle={Proceedings
of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich
(Germany)}, publisher={Ludwig-Maximilians-University}, author={Heckel, Reiko and
Sauer, Stefan}, year={2000}, pages={63–69} }'
chicago: 'Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration
Diagrams.” In Proceedings of the Workshop on Dynamic Behaviour in UML Models:
Semantic Questions, Munich (Germany), 63–69. Munich (Germany): Ludwig-Maximilians-University,
2000.'
ieee: 'R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration
Diagrams,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models:
Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 63–69.'
mla: 'Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration
Diagrams.” Proceedings of the Workshop on Dynamic Behaviour in UML Models:
Semantic Questions, Munich (Germany), no. 0006, Ludwig-Maximilians-University,
2000, pp. 63–69.'
short: 'R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour
in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University,
Munich (Germany), 2000, pp. 63–69.'
date_created: 2019-03-05T13:29:35Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
issue: '0006'
language:
- iso: eng
page: 63-69
place: Munich (Germany)
publication: 'Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic
Questions, Munich (Germany)'
publisher: Ludwig-Maximilians-University
status: public
title: Strengthening the Semantics of UML Collaboration Diagrams
type: conference
user_id: '52534'
year: '2000'
...
---
_id: '8345'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Joachim
full_name: Stroop, Joachim
last_name: Stroop
citation:
ama: 'Küster J, Stroop J. Towards Consistency of Dynamic Models and Analysis of
Timing Constraints. In: Proceedings of 1st Workshop on Formal Design Techniques
for Real-Time Systems (Satellite Event of the UML 2000), York (UK). York,
UK: University of York; 2000.'
apa: 'Küster, J., & Stroop, J. (2000). Towards Consistency of Dynamic Models
and Analysis of Timing Constraints. In Proceedings of 1st Workshop on Formal
Design Techniques for Real-time Systems (satellite event of the UML 2000), York
(UK). York, UK: University of York.'
bibtex: '@inproceedings{Küster_Stroop_2000, place={York, UK}, title={Towards Consistency
of Dynamic Models and Analysis of Timing Constraints}, booktitle={Proceedings
of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event
of the UML 2000), York (UK)}, publisher={University of York}, author={Küster,
Jochen and Stroop, Joachim}, year={2000} }'
chicago: 'Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models
and Analysis of Timing Constraints.” In Proceedings of 1st Workshop on Formal
Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York
(UK). York, UK: University of York, 2000.'
ieee: J. Küster and J. Stroop, “Towards Consistency of Dynamic Models and Analysis
of Timing Constraints,” in Proceedings of 1st Workshop on Formal Design Techniques
for Real-time Systems (satellite event of the UML 2000), York (UK), 2000.
mla: Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models
and Analysis of Timing Constraints.” Proceedings of 1st Workshop on Formal
Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York
(UK), University of York, 2000.
short: 'J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques
for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University
of York, York, UK, 2000.'
date_created: 2019-03-05T13:29:36Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
place: York, UK
publication: Proceedings of 1st Workshop on Formal Design Techniques for Real-time
Systems (satellite event of the UML 2000), York (UK)
publisher: University of York
status: public
title: Towards Consistency of Dynamic Models and Analysis of Timing Constraints
type: conference
user_id: '52534'
year: '2000'
...
---
_id: '8346'
abstract:
- lang: eng
text: 'In den letzten Jahren ist ein deutlicher Trend zu verstärkt nebenläufiger
Software festzustellen. Hierfür gibt es verschiedene Gründe, wie die rasante Verbreitung
des Internets mit seinen Client/Server-Architekturen und die verstärkte Unterstützung
nebenläufiger Programmierung in neuen Programmiersprachen wie z.B. Java. Softwareentwickler
werden somit zunehmend mit dem Problem der Synchronisation der nebenläufigen Abläufe
in der Software konfrontiert. Dabei treten immer wieder gravierende Fehler auf.
Besonders problematisch ist in diesem Zusammenhang der Nichtdeterminismus nebenläufiger
Abläufe, der dazu führt, dass Fehler unter Umständen bei Tests nicht auffällig
werden, weil das Auftreten der Fehler von einem bestimmten Zeitverhalten abhängt,
das beim Test nicht auftritt. Die Situation wird noch erschwert, wenn man nebenläufige
Software aus Komponenten verschiedener Hersteller zusammensetzt. Bei der Zusammenarbeit
dieser Komponenten auftretende Fehler im nebenläufigen Ablauf sind besonders schwierig
zu diagnostizieren und zu beheben, da über die verwendeten Komponenten meist nichts
außerhalb ihrer nicht notwendigerweise vollständigen und korrekten Spezifikation
bekannt ist. Dies ist ein aktuelles Problem, da Komponententechnologien den Kern
vieler moderner Anwendungen bilden. Viele Fehler in nebenläufiger Software sind
auf grundsätzliche Fehler beim Entwurf der Software zurückzuführen. Auch beim
Übergang vom Modell zur Implementierung entstehen Fehler, insbesondere wenn das
Modell nicht direkt bei der Implementierung umsetzbar ist. Dies ist häufig der
Fall, weil die Implementierung meist auf der Verwendung einfacher Synchronisationskonstrukte,
wie z.B. Semaphoren, basiert, welche in der verwendeten Modellierung kein direktes
Gegenstück haben. Es ist also entscheidend, dass die Softwareentwickler beim Entwurf
ein klares Bild von der zu entwickelnden Software erhalten, welches leicht in
der Implementierung umzusetzen ist. Wir wollen im folgenden grundlegende Strukturen
nebenläufiger Softwaresysteme aufzeigen, basierend darauf Anforderungen an Modellierungssprachen
für solche Systeme formulieren und existierende Modellierungssprachen auf diese
Anforderungen hin untersuchen. Dabei werden wir sehen, dass sich in diesen Systemen
kleinere, nahezu in sich abgeschlossene, Abläufe identifizieren lassen, die wir
als Operationen bezeichnen werden. Betrachtet man die Implementation so ist festzustellen,
dass hier einige einfache Konstrukte im Vordergrund stehen, auf die das Modell
abgebildet werden muss. Damit ergeben sich aus unserer Sicht zwei wesentliche
Forderungen an Modellierungssprachen: · Die Aufteilung in einzelne Operationen
soll gefördert werden. · Gängige Synchronisationskonstrukte sollen direkt dargestellt
werden, um die Lesbarkeit der Darstellung zu verbessern und um den Übergang in
die Implementierung zu vereinfachen. Im nächsten Abschnitt werden wir die grundlegende
Struktur nebenläufiger Software beschreiben, bevor wir dann Anforderungen diskutieren.
Wir werden State Charts als eine gebräuchliche Modellierungssprache hinsichtlich
dieser Anforderungen untersuchen und dabei sehen, dass diese den Forderungen nicht
vollständig gerecht werden. Dies wird an einem Beispiel vertieft. Abschließend
gehen wir kurz auf den Übergang von der Modellierung in die Implementierung ein.'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
citation:
ama: 'Mehner K, Schattkowsky T. Methodische Aspekte von Modellierungssprachen für
nebenläufige Software. In: Proceedings of the 8th GROOM Workshop: Visuelle
Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000),
Münster (Germany). Vol 24. Universität Münster; 2000:14-18.'
apa: 'Mehner, K., & Schattkowsky, T. (2000). Methodische Aspekte von Modellierungssprachen
für nebenläufige Software. In Proceedings of the 8th GROOM Workshop: Visuelle
Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000),
Münster (Germany) (Vol. 24, pp. 14–18). Universität Münster.'
bibtex: '@inproceedings{Mehner_Schattkowsky_2000, title={Methodische Aspekte von
Modellierungssprachen für nebenläufige Software}, volume={24}, booktitle={Proceedings
of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger
Softwaresysteme (VVVNS 2000), Münster (Germany)}, publisher={Universität Münster},
author={Mehner, Katharina and Schattkowsky, Tim}, year={2000}, pages={14–18} }'
chicago: 'Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen
Für Nebenläufige Software.” In Proceedings of the 8th GROOM Workshop: Visuelle
Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000),
Münster (Germany), 24:14–18. Universität Münster, 2000.'
ieee: 'K. Mehner and T. Schattkowsky, “Methodische Aspekte von Modellierungssprachen
für nebenläufige Software,” in Proceedings of the 8th GROOM Workshop: Visuelle
Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000),
Münster (Germany), 2000, vol. 24, pp. 14–18.'
mla: 'Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen
Für Nebenläufige Software.” Proceedings of the 8th GROOM Workshop: Visuelle
Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000),
Münster (Germany), vol. 24, Universität Münster, 2000, pp. 14–18.'
short: 'K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle
Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000),
Münster (Germany), Universität Münster, 2000, pp. 14–18.'
date_created: 2019-03-05T13:29:37Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 24'
language:
- iso: eng
page: 14-18
publication: 'Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung
verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)'
publisher: Universität Münster
status: public
title: Methodische Aspekte von Modellierungssprachen für nebenläufige Software
type: conference
user_id: '52534'
volume: 24
year: '2000'
...
---
_id: '8347'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Mehner K, Wagner A. Visualisierung der Synchronisation von Java-Threads mit
UML. In: Proceedings of the Workshop on Modelle Und Modellierungssprachen in
Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany).
Vol 15. Koblenzer Schriften zur Informatik. Fölbach; 2000.'
apa: Mehner, K., & Wagner, A. (2000). Visualisierung der Synchronisation von
Java-Threads mit UML. In Proceedings of the Workshop on Modelle und Modellierungssprachen
in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)
(Vol. 15). Fölbach.
bibtex: '@inproceedings{Mehner_Wagner_2000, series={Koblenzer Schriften zur Informatik},
title={Visualisierung der Synchronisation von Java-Threads mit UML}, volume={15},
booktitle={Proceedings of the Workshop on Modelle und Modellierungssprachen in
Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)},
publisher={Fölbach}, author={Mehner, Katharina and Wagner, Annika}, year={2000},
collection={Koblenzer Schriften zur Informatik} }'
chicago: Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation
von Java-Threads Mit UML.” In Proceedings of the Workshop on Modelle Und Modellierungssprachen
in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany),
Vol. 15. Koblenzer Schriften Zur Informatik. Fölbach, 2000.
ieee: K. Mehner and A. Wagner, “Visualisierung der Synchronisation von Java-Threads
mit UML,” in Proceedings of the Workshop on Modelle und Modellierungssprachen
in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany),
2000, vol. 15.
mla: Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von
Java-Threads Mit UML.” Proceedings of the Workshop on Modelle Und Modellierungssprachen
in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany),
vol. 15, Fölbach, 2000.
short: 'K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen
in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany),
Fölbach, 2000.'
date_created: 2019-03-05T13:29:39Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 15'
language:
- iso: eng
publication: Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik
und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)
publisher: Fölbach
series_title: Koblenzer Schriften zur Informatik
status: public
title: Visualisierung der Synchronisation von Java-Threads mit UML
type: conference
user_id: '52534'
volume: 15
year: '2000'
...
---
_id: '6507'
author:
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Platzner M. Reconfigurable accelerators for combinatorial problems. Computer.
2000;33(4):58-60. doi:10.1109/2.839322
apa: Platzner, M. (2000). Reconfigurable accelerators for combinatorial problems.
Computer, 33(4), 58–60. https://doi.org/10.1109/2.839322
bibtex: '@article{Platzner_2000, title={Reconfigurable accelerators for combinatorial
problems}, volume={33}, DOI={10.1109/2.839322},
number={4}, journal={Computer}, publisher={Institute of Electrical and Electronics
Engineers (IEEE)}, author={Platzner, Marco}, year={2000}, pages={58–60} }'
chicago: 'Platzner, Marco. “Reconfigurable Accelerators for Combinatorial Problems.”
Computer 33, no. 4 (2000): 58–60. https://doi.org/10.1109/2.839322.'
ieee: M. Platzner, “Reconfigurable accelerators for combinatorial problems,” Computer,
vol. 33, no. 4, pp. 58–60, 2000.
mla: Platzner, Marco. “Reconfigurable Accelerators for Combinatorial Problems.”
Computer, vol. 33, no. 4, Institute of Electrical and Electronics Engineers
(IEEE), 2000, pp. 58–60, doi:10.1109/2.839322.
short: M. Platzner, Computer 33 (2000) 58–60.
date_created: 2019-01-08T09:45:03Z
date_updated: 2022-01-06T07:03:08Z
department:
- _id: '78'
- _id: '34'
- _id: '7'
doi: 10.1109/2.839322
extern: '1'
intvolume: ' 33'
issue: '4'
language:
- iso: eng
page: 58-60
publication: Computer
publication_identifier:
issn:
- 0018-9162
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Reconfigurable accelerators for combinatorial problems
type: journal_article
user_id: '398'
volume: 33
year: '2000'
...
---
_id: '16495'
author:
- 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: Matthias
full_name: Westermann, Matthias
last_name: Westermann
citation:
ama: 'Meyer auf der Heide F, Räcke H, Westermann M. Data management in hierarchical
bus networks. In: Proceedings of the Twelfth Annual ACM Symposium on Parallel
Algorithms and Architectures - SPAA ’00. ; 2000. doi:10.1145/341800.341814'
apa: Meyer auf der Heide, F., Räcke, H., & Westermann, M. (2000). Data management
in hierarchical bus networks. Proceedings of the Twelfth Annual ACM Symposium
on Parallel Algorithms and Architectures - SPAA ’00. https://doi.org/10.1145/341800.341814
bibtex: '@inproceedings{Meyer auf der Heide_Räcke_Westermann_2000, title={Data management
in hierarchical bus networks}, DOI={10.1145/341800.341814},
booktitle={Proceedings of the twelfth annual ACM symposium on Parallel algorithms
and architectures - SPAA ’00}, author={Meyer auf der Heide, Friedhelm and Räcke,
Harald and Westermann, Matthias}, year={2000} }'
chicago: Meyer auf der Heide, Friedhelm, Harald Räcke, and Matthias Westermann.
“Data Management in Hierarchical Bus Networks.” In Proceedings of the Twelfth
Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00,
2000. https://doi.org/10.1145/341800.341814.
ieee: 'F. Meyer auf der Heide, H. Räcke, and M. Westermann, “Data management in
hierarchical bus networks,” 2000, doi: 10.1145/341800.341814.'
mla: Meyer auf der Heide, Friedhelm, et al. “Data Management in Hierarchical Bus
Networks.” Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms
and Architectures - SPAA ’00, 2000, doi:10.1145/341800.341814.
short: 'F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the
Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA
’00, 2000.'
date_created: 2020-04-09T13:06:23Z
date_updated: 2022-01-06T06:52:51Z
department:
- _id: '63'
doi: 10.1145/341800.341814
language:
- iso: eng
publication: Proceedings of the twelfth annual ACM symposium on Parallel algorithms
and architectures - SPAA '00
publication_identifier:
isbn:
- '1581131852'
publication_status: published
status: public
title: Data management in hierarchical bus networks
type: conference
user_id: '15415'
year: '2000'
...
---
_id: '16496'
abstract:
- lang: eng
text: We present a general framework for the development of on-line algorithms for
data management in networks with limited memory capacities. These algorithms dynamically
create and delete copies of shared data objects that can be read and written by
the nodes in the network. Our algorithms aim to minimize the congestion, i.e.,
the maximum communication load over all network resources, so that that none of
these resources become a communication bottleneck. We give several examples of
networks for which our framework yields efficient algorithms, including meshes,
fat-trees, hypercubic networks, and complete networks. For example, our framework
yields an $O(d cdot log n)$-competitive caching algorithm for $d$-dimensional
meshes of size $n$ with respect to the congestion on the communication links,
and an $O(1)$-competitive algorithms for complete networks with respect to the
congestion at the memory modules due to remote accesses. Previous work on data
management in networks either neglects memory capacity constraints or minimizes
only the total communication load, i.e., the sum of the communication load over
all resources, which may produce congestion as some of the links become bottlenecks.
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Berthold
full_name: Vöcking, Berthold
last_name: Vöcking
- first_name: Matthias
full_name: Westermann, Matthias
last_name: Westermann
citation:
ama: 'Meyer auf der Heide F, Vöcking B, Westermann M. Caching in networks. In: SODA
’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms.
; 2000:430–439.'
apa: 'Meyer auf der Heide, F., Vöcking, B., & Westermann, M. (2000). Caching
in networks. In SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium
on Discrete algorithms (pp. 430–439).'
bibtex: '@inproceedings{Meyer auf der Heide_Vöcking_Westermann_2000, title={Caching
in networks}, booktitle={SODA ’00: Proceedings of the eleventh annual ACM-SIAM
symposium on Discrete algorithms}, author={Meyer auf der Heide, Friedhelm and
Vöcking, Berthold and Westermann, Matthias}, year={2000}, pages={430–439} }'
chicago: 'Meyer auf der Heide, Friedhelm, Berthold Vöcking, and Matthias Westermann.
“Caching in Networks.” In SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM
Symposium on Discrete Algorithms, 430–439, 2000.'
ieee: 'F. Meyer auf der Heide, B. Vöcking, and M. Westermann, “Caching in networks,”
in SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete
algorithms, 2000, pp. 430–439.'
mla: 'Meyer auf der Heide, Friedhelm, et al. “Caching in Networks.” SODA ’00:
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms,
2000, pp. 430–439.'
short: 'F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: SODA ’00: Proceedings
of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439.'
date_created: 2020-04-09T13:16:15Z
date_updated: 2022-01-06T06:52:51Z
department:
- _id: '63'
language:
- iso: eng
page: 430–439
publication: 'SODA ''00: Proceedings of the eleventh annual ACM-SIAM symposium on
Discrete algorithms'
publication_identifier:
isbn:
- '0898714532'
status: public
title: Caching in networks
type: conference
user_id: '15415'
year: '2000'
...