---
_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: '7792'
citation:
ama: 'Engels G, Beiersdörfer K, Schäfer W, eds. Informatik ’99: Informatik Überwindet
Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn
(Germany). Berlin/Heidelberg: Springer; 1999.'
apa: 'Engels, G., Beiersdörfer, K., & Schäfer, W. (Eds.). (1999). Informatik
’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft
für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer.'
bibtex: '@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik
aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der
29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer},
year={1999}, collection={Informatik aktuell} }'
chicago: 'Engels, Gregor, K. Beiersdörfer, and Wilhelm Schäfer, eds. Informatik
’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft
Für Informatik, Paderborn (Germany). Informatik Aktuell. Berlin/Heidelberg:
Springer, 1999.'
ieee: 'G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., Informatik ’99: Informatik
überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik,
Paderborn (Germany). Berlin/Heidelberg: Springer, 1999.'
mla: 'Engels, Gregor, et al., editors. Informatik ’99: Informatik Überwindet
Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn
(Germany). Springer, 1999.'
short: 'G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik
Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik,
Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.'
date_created: 2019-02-19T19:13:34Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: K.
full_name: Beiersdörfer, K.
last_name: Beiersdörfer
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: Informatik aktuell
status: public
title: 'Informatik ''99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung
der Gesellschaft für Informatik, Paderborn (Germany)'
type: conference_editor
user_id: '52534'
year: '1999'
...
---
_id: '7849'
author:
- first_name: Dwight
full_name: Deugo, Dwight
last_name: Deugo
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Franz
full_name: Oppacher, Franz
last_name: Oppacher
- first_name: Ingo
full_name: von Otte, Ingo
last_name: von Otte
citation:
ama: 'Deugo D, Küster J, Oppacher F, von Otte I. Patterns as a Means for Intelligent
Software Engineering. In: Proceedings of the Conference on Artificial Intelligence
(IC-AI 1999) Las Vegas, Nevada (USA). Vol 2. CSREA Press; 1999:605-611.'
apa: Deugo, D., Küster, J., Oppacher, F., & von Otte, I. (1999). Patterns as
a Means for Intelligent Software Engineering. In Proceedings of the conference
on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA) (Vol. 2, pp.
605–611). CSREA Press.
bibtex: '@inproceedings{Deugo_Küster_Oppacher_von Otte_1999, title={Patterns as
a Means for Intelligent Software Engineering}, volume={2}, booktitle={Proceedings
of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)},
publisher={CSREA Press}, author={Deugo, Dwight and Küster, Jochen and Oppacher,
Franz and von Otte, Ingo}, year={1999}, pages={605–611} }'
chicago: Deugo, Dwight, Jochen Küster, Franz Oppacher, and Ingo von Otte. “Patterns
as a Means for Intelligent Software Engineering.” In Proceedings of the Conference
on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), 2:605–11.
CSREA Press, 1999.
ieee: D. Deugo, J. Küster, F. Oppacher, and I. von Otte, “Patterns as a Means for
Intelligent Software Engineering,” in Proceedings of the conference on Artificial
Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), 1999, vol. 2, pp. 605–611.
mla: Deugo, Dwight, et al. “Patterns as a Means for Intelligent Software Engineering.”
Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas,
Nevada (USA), vol. 2, CSREA Press, 1999, pp. 605–11.
short: 'D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference
on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press,
1999, pp. 605–611.'
date_created: 2019-02-20T14:13:43Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2'
language:
- iso: eng
page: 605-611
publication: Proceedings of the conference on Artificial Intelligence (IC-AI 1999)
Las Vegas, Nevada (USA)
publisher: CSREA Press
status: public
title: Patterns as a Means for Intelligent Software Engineering
type: conference
user_id: '52534'
volume: 2
year: '1999'
...
---
_id: '7850'
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. Tile Transition Systems as Structured
Coalgebras. In: Proceedings of the 12th International Symposium on Fundamentals
of Computation Theory (FCT ’99). Vol 1684. LNCS. Berlin/Heidelberg: Springer;
1999:13-38.'
apa: 'Corradini, A., Heckel, R., & Montanari, U. (1999). Tile Transition Systems
as Structured Coalgebras. In Proceedings of the 12th International Symposium
on Fundamentals of Computation Theory (FCT ’99) (Vol. 1684, pp. 13–38). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Corradini_Heckel_Montanari_1999, place={Berlin/Heidelberg},
series={LNCS}, title={Tile Transition Systems as Structured Coalgebras}, volume={1684},
booktitle={Proceedings of the 12th International Symposium on Fundamentals of
Computation Theory (FCT ’99)}, publisher={Springer}, author={Corradini, Andrea
and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={13–38}, collection={LNCS}
}'
chicago: 'Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Tile Transition Systems
as Structured Coalgebras.” In Proceedings of the 12th International Symposium
on Fundamentals of Computation Theory (FCT ’99), 1684:13–38. LNCS. Berlin/Heidelberg:
Springer, 1999.'
ieee: A. Corradini, R. Heckel, and U. Montanari, “Tile Transition Systems as Structured
Coalgebras,” in Proceedings of the 12th International Symposium on Fundamentals
of Computation Theory (FCT ’99), 1999, vol. 1684, pp. 13–38.
mla: Corradini, Andrea, et al. “Tile Transition Systems as Structured Coalgebras.”
Proceedings of the 12th International Symposium on Fundamentals of Computation
Theory (FCT ’99), vol. 1684, Springer, 1999, pp. 13–38.
short: 'A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International
Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg,
1999, pp. 13–38.'
date_created: 2019-02-20T14:14:10Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 1684'
language:
- iso: eng
page: 13-38
place: Berlin/Heidelberg
publication: Proceedings of the 12th International Symposium on Fundamentals of Computation
Theory (FCT '99)
publisher: Springer
series_title: LNCS
status: public
title: Tile Transition Systems as Structured Coalgebras
type: conference
user_id: '52534'
volume: 1684
year: '1999'
...
---
_id: '7851'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: 'Cherchago A. Application of the Structured Analysis and Design Technique (SADT)
Methodology for the Medical Information Systems Development. In: Proceedings
of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and
Technical Conference “New Information Technologies in Scientific Researches and
in Education” (Ryazan, Russia). ; 1999.'
apa: Cherchago, A. (1999). Application of the Structured Analysis and Design Technique
(SADT) Methodology for the Medical Information Systems Development. In Proceedings
of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and
Technical Conference “New Information Technologies in Scientific Researches and
in Education” (Ryazan, Russia).
bibtex: '@inproceedings{Cherchago_1999, title={Application of the Structured Analysis
and Design Technique (SADT) Methodology for the Medical Information Systems Development},
booktitle={Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’
Scientific and Technical Conference “New Information Technologies in Scientific
Researches and in Education” (Ryazan, Russia)}, author={Cherchago, Alexey}, year={1999}
}'
chicago: Cherchago, Alexey. “Application of the Structured Analysis and Design Technique
(SADT) Methodology for the Medical Information Systems Development.” In Proceedings
of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and
Technical Conference “New Information Technologies in Scientific Researches and
in Education” (Ryazan, Russia), 1999.
ieee: A. Cherchago, “Application of the Structured Analysis and Design Technique
(SADT) Methodology for the Medical Information Systems Development,” in Proceedings
of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and
Technical Conference “New Information Technologies in Scientific Researches and
in Education” (Ryazan, Russia), 1999.
mla: Cherchago, Alexey. “Application of the Structured Analysis and Design Technique
(SADT) Methodology for the Medical Information Systems Development.” Proceedings
of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and
Technical Conference “New Information Technologies in Scientific Researches and
in Education” (Ryazan, Russia), 1999.
short: 'A. Cherchago, in: Proceedings of the All-Russia Students’, Young Scientists’
and Specialists’ Scientific and Technical Conference “New Information Technologies
in Scientific Researches and in Education” (Ryazan, Russia), 1999.'
date_created: 2019-02-20T14:14:39Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’
Scientific and Technical Conference "New Information Technologies in Scientific
Researches and in Education" (Ryazan, Russia)
status: public
title: Application of the Structured Analysis and Design Technique (SADT) Methodology
for the Medical Information Systems Development
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '7852'
abstract:
- lang: eng
text: 'Today e-commerce applications use web browsers as an uniform user interface
and they rely on databases as data sources. Different technologies exist for database
access: common gateway interface (CGI), Java and its database interface java database
connectivity (JDBC), proprietary approaches of database vendors, etc. We present
criteria for the selection of an appropriate solution and we successivly apply
them in our application development process. Throughout the development process
of internet based database applications object oriented techniques can be used.
The unified modeling language (UML) is used for requirement analysis and design
of the application and the implementation proceeds with the programming language
Java. The transition from the object oriented modeling language UML to the object
oriented programming language Java succeeds smoothly. We report on our experience
with the modeling tool Rational Rose 98 of Rational, Inc. We use Java and JDBC
to implement a seminar reservation system that can be regarded as a small e-commerce
application.'
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: Christoph
full_name: Borowski, Christoph
last_name: Borowski
citation:
ama: 'Engels G, Depke R, Borowski C. Konzeption und objektorientierte Realisierung
einer internet-basierten Datenbankanwendung. In: Kolloquium Software-Entwicklung
- Methoden, Werkzeuge, Erfahrungen. Vol 8. Ostfildern: Technische Akademie
Esslingen; 1999:531-540.'
apa: 'Engels, G., Depke, R., & Borowski, C. (1999). Konzeption und objektorientierte
Realisierung einer internet-basierten Datenbankanwendung. In Kolloquium Software-Entwicklung
- Methoden, Werkzeuge, Erfahrungen (Vol. 8, pp. 531–540). Ostfildern: Technische
Akademie Esslingen.'
bibtex: '@inproceedings{Engels_Depke_Borowski_1999, place={Ostfildern}, title={Konzeption
und objektorientierte Realisierung einer internet-basierten Datenbankanwendung},
volume={8}, booktitle={Kolloquium Software-Entwicklung - Methoden, Werkzeuge,
Erfahrungen}, publisher={Technische Akademie Esslingen}, author={Engels, Gregor
and Depke, Ralph and Borowski, Christoph}, year={1999}, pages={531–540} }'
chicago: 'Engels, Gregor, Ralph Depke, and Christoph Borowski. “Konzeption Und Objektorientierte
Realisierung Einer Internet-Basierten Datenbankanwendung.” In Kolloquium Software-Entwicklung
- Methoden, Werkzeuge, Erfahrungen, 8:531–40. Ostfildern: Technische Akademie
Esslingen, 1999.'
ieee: G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung
einer internet-basierten Datenbankanwendung,” in Kolloquium Software-Entwicklung
- Methoden, Werkzeuge, Erfahrungen, 1999, vol. 8, pp. 531–540.
mla: Engels, Gregor, et al. “Konzeption Und Objektorientierte Realisierung Einer
Internet-Basierten Datenbankanwendung.” Kolloquium Software-Entwicklung - Methoden,
Werkzeuge, Erfahrungen, vol. 8, Technische Akademie Esslingen, 1999, pp. 531–40.
short: 'G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung -
Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999,
pp. 531–540.'
date_created: 2019-02-20T14:15:05Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 8'
language:
- iso: eng
page: 531-540
place: Ostfildern
publication: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen
publisher: Technische Akademie Esslingen
status: public
title: Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung
type: conference
user_id: '52534'
volume: 8
year: '1999'
...
---
_id: '7856'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Roland
full_name: Hücking, Roland
last_name: Hücking
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their
Transformation to Java. In: Proceddings of The Unified Modeling Language: Beyond
the Standard, Second International Conference (UML 99), Fort Collins, Colorado,
USA. Vol 1723. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.'
apa: 'Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration
Diagrams and Their Transformation to Java. In Proceddings of The Unified Modeling
Language: Beyond the Standard, Second International Conference (UML 99), Fort
Collins, Colorado, USA (Vol. 1723, pp. 473–488). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Engels_Hücking_Sauer_Wagner_1999, place={Berlin/Heidelberg},
series={LNCS}, title={UML Collaboration Diagrams and Their Transformation to Java},
volume={1723}, booktitle={Proceddings of The Unified Modeling Language: Beyond
the Standard, Second International Conference (UML 99), Fort Collins, Colorado,
USA}, publisher={Springer}, author={Engels, Gregor and Hücking, Roland and Sauer,
Stefan and Wagner, Annika}, year={1999}, pages={473–488}, collection={LNCS} }'
chicago: 'Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. “UML
Collaboration Diagrams and Their Transformation to Java.” In Proceddings of
The Unified Modeling Language: Beyond the Standard, Second International Conference
(UML 99), Fort Collins, Colorado, USA, 1723:473–88. LNCS. Berlin/Heidelberg:
Springer, 1999.'
ieee: 'G. Engels, R. Hücking, S. Sauer, and A. Wagner, “UML Collaboration Diagrams
and Their Transformation to Java,” in Proceddings of The Unified Modeling Language:
Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado,
USA, 1999, vol. 1723, pp. 473–488.'
mla: 'Engels, Gregor, et al. “UML Collaboration Diagrams and Their Transformation
to Java.” Proceddings of The Unified Modeling Language: Beyond the Standard,
Second International Conference (UML 99), Fort Collins, Colorado, USA, vol.
1723, Springer, 1999, pp. 473–88.'
short: 'G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified
Modeling Language: Beyond the Standard, Second International Conference (UML 99),
Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488.'
date_created: 2019-02-20T14:36:26Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 1723'
language:
- iso: eng
page: 473-488
place: Berlin/Heidelberg
publication: 'Proceddings of The Unified Modeling Language: Beyond the Standard, Second
International Conference (UML 99), Fort Collins, Colorado, USA'
publisher: Springer
series_title: LNCS
status: public
title: UML Collaboration Diagrams and Their Transformation to Java
type: conference
user_id: '52534'
volume: 1723
year: '1999'
...
---
_id: '7858'
abstract:
- lang: eng
text: In this paper the concurrent semantics of double-pushout (DPO) graph rewriting,
which is classically defined in terms of shift-equivalence classes of graph derivations,
is axiomatised via the construction of a free monoidal bi-category. In contrast
to a previous attempt based on 2-categories, the use of bi-categories allows to
define rewriting on concrete graphs. Thus, the problem of composition of isomorphism
classes of rewriting sequences is avoided. Moreover, as a first step towards the
recovery of the full expressive power of the formalism via a purely algebraic
description, the concept of disconnected rules is introduced, i.e., rules whose
interface graphs are made of disconnected nodes and edges only. It is proved that,
under reasonable assumptions, rewriting via disconnected rules enjoys similar
concurrency properties like in the classical approach.
author:
- first_name: Fabio
full_name: Gadducci, Fabio
last_name: Gadducci
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mercé
full_name: Llabrés, Mercé
last_name: Llabrés
citation:
ama: 'Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent
Graph Rewriting. In: Proceedings of the 8th Conference on Category Theory and
Computer Science (CTCS 1999), Edinburgh (UK). Vol 29. Electronic Notes in
Theoretical Computer Science. Elsevier; 1999:80-100. doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3'
apa: Gadducci, F., Heckel, R., & Llabrés, M. (1999). A Bi-Categorical Axiomatisation
of Concurrent Graph Rewriting. In Proceedings of the 8th Conference on Category
Theory and Computer Science (CTCS 1999), Edinburgh (UK) (Vol. 29, pp. 80–100).
Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80309-3
bibtex: '@inproceedings{Gadducci_Heckel_Llabrés_1999, series={Electronic Notes in
Theoretical Computer Science}, title={A Bi-Categorical Axiomatisation of Concurrent
Graph Rewriting}, volume={29}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80309-3},
booktitle={Proceedings of the 8th Conference on Category Theory and Computer Science
(CTCS 1999), Edinburgh (UK)}, publisher={Elsevier}, author={Gadducci, Fabio and
Heckel, Reiko and Llabrés, Mercé}, year={1999}, pages={80–100}, collection={Electronic
Notes in Theoretical Computer Science} }'
chicago: Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “A Bi-Categorical Axiomatisation
of Concurrent Graph Rewriting.” In Proceedings of the 8th Conference on Category
Theory and Computer Science (CTCS 1999), Edinburgh (UK), 29:80–100. Electronic
Notes in Theoretical Computer Science. Elsevier, 1999. http://dx.doi.org/10.1016/S1571-0661(05)80309-3.
ieee: F. Gadducci, R. Heckel, and M. Llabrés, “A Bi-Categorical Axiomatisation of
Concurrent Graph Rewriting,” in Proceedings of the 8th Conference on Category
Theory and Computer Science (CTCS 1999), Edinburgh (UK), 1999, vol. 29, pp.
80–100.
mla: Gadducci, Fabio, et al. “A Bi-Categorical Axiomatisation of Concurrent Graph
Rewriting.” Proceedings of the 8th Conference on Category Theory and Computer
Science (CTCS 1999), Edinburgh (UK), vol. 29, Elsevier, 1999, pp. 80–100,
doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3.
short: 'F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference
on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier,
1999, pp. 80–100.'
date_created: 2019-02-20T14:36:57Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(05)80309-3
intvolume: ' 29'
language:
- iso: eng
page: 80-100
publication: Proceedings of the 8th Conference on Category Theory and Computer Science
(CTCS 1999), Edinburgh (UK)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
type: conference
user_id: '52534'
volume: 29
year: '1999'
...
---
_id: '7859'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML.
In: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
for Software Intensive Systems. ; 1999.'
apa: Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and
UML. In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and
Design for Software Intensive Systems.
bibtex: '@inproceedings{Heckel_1999, title={Modeling Agent-Based Systems with Graph
Transformation and UML}, number={258}, booktitle={Proceedings of the Dagstuhl-Seminar
99451 on Rigorous Analysis and Design for Software Intensive Systems}, author={Heckel,
Reiko}, year={1999} }'
chicago: Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation
and UML.” In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis
and Design for Software Intensive Systems, 1999.
ieee: R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,”
in Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
for Software Intensive Systems, 1999, no. 258.
mla: Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and
UML.” Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
for Software Intensive Systems, no. 258, 1999.
short: 'R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis
and Design for Software Intensive Systems, 1999.'
date_created: 2019-02-20T14:37:40Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
issue: '258'
language:
- iso: eng
publication: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
for Software Intensive Systems
status: public
title: Modeling Agent-Based Systems with Graph Transformation and UML
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '7860'
abstract:
- lang: eng
text: An analysis of how visual modeling of structure and dynamic behavior of a
multimedia application differs from modeling conventional software yields that
aspects of the graphical user interface and time-dynamic behavior ought to be
integral parts of a coherent multimedia application model. In this sense, we extend
the model-view-controller paradigm towards multimedia.As a result, we present
OMMMA-L, a visual Language for the Object-Oriented Modeling of MultiMedia Applications
that is based on the Unified Modeling Language (UML). The structural and behavioral
diagram types of UML have been analyzed and are adapted and extended according
to multimedia application characteristics.A presentation diagram is introduced
and integrated to adequately describe the visual presentation. In addition to
explaining the different diagram types, we also give pragmatic guidelines on how
to deploy and combine the various diagrams.
author:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Sauer S, Engels G. Extending UML for Modeling of Multimedia Applications.
In: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo
(Japan). Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878'
apa: 'Sauer, S., & Engels, G. (1999). Extending UML for Modeling of Multimedia
Applications. In Proceedings of the IEEE Symposium on Visual Languages (VL
1999), Tokyo (Japan) (pp. 80–87). Tokyo, Japan: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878'
bibtex: '@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending
UML for Modeling of Multimedia Applications}, DOI={http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878},
booktitle={Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo
(Japan)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels,
Gregor}, year={1999}, pages={80–87} }'
chicago: 'Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia
Applications.” In Proceedings of the IEEE Symposium on Visual Languages (VL
1999), Tokyo (Japan), 80–87. Tokyo, Japan: IEEE Computer Society, 1999. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878.'
ieee: S. Sauer and G. Engels, “Extending UML for Modeling of Multimedia Applications,”
in Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan),
1999, pp. 80–87.
mla: Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia
Applications.” Proceedings of the IEEE Symposium on Visual Languages (VL 1999),
Tokyo (Japan), IEEE Computer Society, 1999, pp. 80–87, doi:http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878.
short: 'S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages
(VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.'
date_created: 2019-02-20T14:38:09Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878
language:
- iso: eng
page: 80-87
place: Tokyo, Japan
publication: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo
(Japan)
publisher: IEEE Computer Society
status: public
title: Extending UML for Modeling of Multimedia Applications
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8203'
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mercé
full_name: Llabrés, Mercé
last_name: Llabrés
- first_name: Fernando
full_name: Orejas, Fernando
last_name: Orejas
citation:
ama: Ehrig H, Heckel R, Llabrés M, Orejas F. Basic Properties of Double Pullback
Graph Transitions. Technical University of Berlin; 1999.
apa: Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1999). Basic Properties
of Double Pullback Graph Transitions. Technical University of Berlin.
bibtex: '@book{Ehrig_Heckel_Llabrés_Orejas_1999, title={Basic Properties of Double
Pullback Graph Transitions}, publisher={Technical University of Berlin}, author={Ehrig,
Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1999}
}'
chicago: Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. Basic
Properties of Double Pullback Graph Transitions. Technical University of Berlin,
1999.
ieee: H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, Basic Properties of Double
Pullback Graph Transitions. Technical University of Berlin, 1999.
mla: Ehrig, Hartmut, et al. Basic Properties of Double Pullback Graph Transitions.
Technical University of Berlin, 1999.
short: H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback
Graph Transitions, Technical University of Berlin, 1999.
date_created: 2019-03-03T16:13:00Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Technical University of Berlin
report_number: 99-02
status: public
title: Basic Properties of Double Pullback Graph Transitions
type: report
user_id: '52534'
year: '1999'
...
---
_id: '8204'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Roland
full_name: Hücking, Roland
last_name: Hücking
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their
Transformation to Java. University of Paderborn, Department of Computer Science;
1999.
apa: Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration
Diagrams and Their Transformation to Java. University of Paderborn, Department
of Computer Science.
bibtex: '@book{Engels_Hücking_Sauer_Wagner_1999, title={UML Collaboration Diagrams
and Their Transformation to Java}, publisher={University of Paderborn, Department
of Computer Science}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan
and Wagner, Annika}, year={1999} }'
chicago: Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. UML
Collaboration Diagrams and Their Transformation to Java. University of Paderborn,
Department of Computer Science, 1999.
ieee: G. Engels, R. Hücking, S. Sauer, and A. Wagner, UML Collaboration Diagrams
and Their Transformation to Java. University of Paderborn, Department of Computer
Science, 1999.
mla: Engels, Gregor, et al. UML Collaboration Diagrams and Their Transformation
to Java. University of Paderborn, Department of Computer Science, 1999.
short: G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and
Their Transformation to Java, University of Paderborn, Department of Computer
Science, 1999.
date_created: 2019-03-03T16:13:01Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, Department of Computer Science
report_number: 99-208
status: public
title: UML Collaboration Diagrams and Their Transformation to Java
type: report
user_id: '52534'
year: '1999'
...
---
_id: '8205'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Pieter
full_name: Jan t'Hoen, Pieter
last_name: Jan t'Hoen
- first_name: Ray
full_name: Dassen, Ray
last_name: Dassen
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Ida
full_name: G. Sprinkhuizen-Kuyper, Ida
last_name: G. Sprinkhuizen-Kuyper
- first_name: Pieter
full_name: Koopman, Pieter
last_name: Koopman
citation:
ama: Engels G, Jan t’Hoen P, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I,
Koopman P. SOCCA Extended with UML like Packages. Leiden Institute of Advanced
Computer Science; 1999:99-06.
apa: Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper,
I., & Koopman, P. (1999). SOCCA Extended with UML like Packages (pp.
99–06). Leiden Institute of Advanced Computer Science.
bibtex: '@book{Engels_Jan t’Hoen_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_1999,
title={SOCCA Extended with UML like Packages}, publisher={Leiden Institute of
Advanced Computer Science}, author={Engels, Gregor and Jan t’Hoen, Pieter and
Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman,
Pieter}, year={1999}, pages={99–06} }'
chicago: Engels, Gregor, Pieter Jan t’Hoen, Ray Dassen, Luuk Groenewegen, Ida G.
Sprinkhuizen-Kuyper, and Pieter Koopman. SOCCA Extended with UML like Packages.
Leiden Institute of Advanced Computer Science, 1999.
ieee: G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper,
and P. Koopman, SOCCA Extended with UML like Packages. Leiden Institute
of Advanced Computer Science, 1999, pp. 99–06.
mla: Engels, Gregor, et al. SOCCA Extended with UML like Packages. Leiden
Institute of Advanced Computer Science, 1999, pp. 99–06.
short: G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper,
P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced
Computer Science, 1999.
date_created: 2019-03-03T16:13:02Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
page: 99-06
publisher: Leiden Institute of Advanced Computer Science
status: public
title: SOCCA Extended with UML like Packages
type: report
user_id: '52534'
year: '1999'
...
---
_id: '8206'
abstract:
- lang: eng
text: This document starts the formalisation of the modelling language of the SOCCA
OO method in the formal specification language Z. It captures the `static' aspects
of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather
than `dynamic' aspects (dealing with the instance level (objects in execution)).
It is restricted to core SOCCA; proposed extensions are not formalised.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ray
full_name: Dassen, Ray
last_name: Dassen
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Ida
full_name: G. Sprinkhuizen-Kuyper, Ida
last_name: G. Sprinkhuizen-Kuyper
- first_name: Pieter
full_name: Koopman, Pieter
last_name: Koopman
- first_name: Pieter
full_name: Jan t'Hoen, Pieter
last_name: Jan t'Hoen
citation:
ama: 'Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan
t’Hoen P. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts.
Leiden Institute of Advanced Computer Science; 1999.'
apa: 'Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman,
P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1:
The Type Level Concepts. Leiden Institute of Advanced Computer Science.'
bibtex: '@book{Engels_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_Jan t’Hoen_1999,
title={A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}, publisher={Leiden
Institute of Advanced Computer Science}, author={Engels, Gregor and Dassen, Ray
and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and
Jan t’Hoen, Pieter}, year={1999} }'
chicago: 'Engels, Gregor, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper,
Pieter Koopman, and Pieter Jan t’Hoen. A Formalisation of SOCCA Using Z, Part
1: The Type Level Concepts. Leiden Institute of Advanced Computer Science,
1999.'
ieee: 'G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman,
and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level
Concepts. Leiden Institute of Advanced Computer Science, 1999.'
mla: 'Engels, Gregor, et al. A Formalisation of SOCCA Using Z, Part 1: The Type
Level Concepts. Leiden Institute of Advanced Computer Science, 1999.'
short: 'G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman,
P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts,
Leiden Institute of Advanced Computer Science, 1999.'
date_created: 2019-03-03T16:13:03Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Leiden Institute of Advanced Computer Science
report_number: 1999-03
status: public
title: 'A Formalisation of SOCCA using Z, part 1: The Type Level Concepts'
type: report
user_id: '52534'
year: '1999'
...
---
_id: '8321'
abstract:
- lang: eng
text: Der Entwicklungsprozeß von Multimediaanwendungen sollte ebenso wie der herkömmlicher
Softwaresysteme eine Analyse und einen Entwurf beinhalten. In dieser Arbeit diskutieren
wir, inwiefern die Modellierung der Struktur und des dynamischen Verhaltens einer
Multimediaanwendung über die Modellierung herkömmlicher Software hinausgeht. Wir
zeigen, daß Aspekte der Benutzungsschnittstelle und das Zeitverhalten integraler
Bestandteil der Modellierung sein sollten. Als Ergebnis stellen wir die objektorientierte
Modellierungssprache OMMMA-L vor, die auf der Unified Modeling Language (UML)
aufbaut. Die Struktur- und Verhaltensdiagramme von UML wurden analysiert und gemäß
der Charakteristika von Multimedia adaptiert bzw. erweitert. Im Klassendiagramm
werden die Medientypen und die logische Struktur der Anwendung modelliert. Als
Verhaltensdiagramme werden spezialisierte Sequenz- und Zustandsdiagramme eingesetzt.
Mit dem Layoutdiagramm wird ein neuer Diagrammtyp hinzugefügt, der die integrierte
und anschauliche Beschreibung der visuellen Darstellung und interaktiver Benutzereingaben
einer Multimediaanwendung erlaubt. Neben der Vorstellung der einzelnen Diagrammtypen
geben wir ein aus dem Metamodell zu UML abgeleitetes OMMMA-L-Metamodell an, in
dem das Zusammenspiel der Modellelemente aus den verschiedenen Diagrammen spezifiziert
wird.
author:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Sauer S, Engels G. UML-basierte Modellierung von Multimediaanwendungen. In:
Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März
1999 in Karlsruhe. Karlsruhe, Germany: Teubner, Stuttgart; 1999:155-170.'
apa: 'Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen.
In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI),
März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.'
bibtex: '@inproceedings{Sauer_Engels_1999, place={Karlsruhe, Germany}, title={UML-basierte
Modellierung von Multimediaanwendungen}, booktitle={Modellierung 1999, Workshop
der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe}, publisher={Teubner,
Stuttgart}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={155–170}
}'
chicago: 'Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.”
In Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI),
März 1999 in Karlsruhe, 155–70. Karlsruhe, Germany: Teubner, Stuttgart, 1999.'
ieee: S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,”
in Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI),
März 1999 in Karlsruhe, 1999, pp. 155–170.
mla: Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.”
Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März
1999 in Karlsruhe, Teubner, Stuttgart, 1999, pp. 155–70.
short: 'S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für
Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe,
Germany, 1999, pp. 155–170.'
date_created: 2019-03-05T13:29:08Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 155-170
place: Karlsruhe, Germany
publication: Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI),
März 1999 in Karlsruhe
publisher: Teubner, Stuttgart
status: public
title: UML-basierte Modellierung von Multimediaanwendungen
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8322'
abstract:
- lang: eng
text: We present an object-oriented approach based on the Unified Modeling Language
(UML) for modeling structure and dynamic behavior of a multimedia information
system. We extend the Model-View-Controller paradigm for interactive systems towards
multimedia and show that aspects of the graphical user interface and time-dynamic
behavior ought to be integral parts of a model. This is done in the intention
of achieving a coherent model of a multimedia information system. As a result,
we present OMMMA-L a UML-based language for the Object-Oriented Modeling of MultiMedia
Applications. OMMMA-L deploys class and state diagrams of UML as well as an extended
sequence diagram and a newly introduced presentation diagram to adequately specify
the visual presentation within a multimedia information system. In addition to
explaining the different diagram types, we also define pragmatic rules on how
to deploy and combine the various diagrams. Additionally, we relate OMMMA-L to
basic ideas of multimedia information systems.
author:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Sauer S, Engels G. OMMMA: An Object-Oriented Approach for Modeling Multimedia
Information Systems. In: Proceedings of the Workshop on Multimedia Information
Systems (MIS 1999), Indian Wells, CA (USA). Indian Wells, California, USA;
1999:64-71.'
apa: 'Sauer, S., & Engels, G. (1999). OMMMA: An Object-Oriented Approach for
Modeling Multimedia Information Systems. In Proceedings of the workshop on
Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) (pp. 64–71).
Indian Wells, California, USA.'
bibtex: '@inproceedings{Sauer_Engels_1999, place={Indian Wells, California, USA},
title={OMMMA: An Object-Oriented Approach for Modeling Multimedia Information
Systems}, booktitle={Proceedings of the workshop on Multimedia Information Systems
(MIS 1999), Indian Wells, CA (USA)}, author={Sauer, Stefan and Engels, Gregor},
year={1999}, pages={64–71} }'
chicago: 'Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach
for Modeling Multimedia Information Systems.” In Proceedings of the Workshop
on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 64–71.
Indian Wells, California, USA, 1999.'
ieee: 'S. Sauer and G. Engels, “OMMMA: An Object-Oriented Approach for Modeling
Multimedia Information Systems,” in Proceedings of the workshop on Multimedia
Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.'
mla: 'Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for
Modeling Multimedia Information Systems.” Proceedings of the Workshop on Multimedia
Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.'
short: 'S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information
Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999,
pp. 64–71.'
date_created: 2019-03-05T13:29:09Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 64-71
place: Indian Wells, California, USA
publication: Proceedings of the workshop on Multimedia Information Systems (MIS 1999),
Indian Wells, CA (USA)
status: public
title: 'OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems'
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8323'
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Corradini A, Große-Rhode M, Heckel R. An Algebra of Graph Derivations using
Finite (co-) limit Double Theories. In: Selected Papers of the 13th International
Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon
(Portugal). Vol 1589. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi:http://dx.doi.org/10.1007/3-540-48483-3_7'
apa: 'Corradini, A., Große-Rhode, M., & Heckel, R. (1999). An Algebra of Graph
Derivations using Finite (co-) limit Double Theories. In Selected papers of
the 13th International Workshop on Recent Trends in Algebraic Development Techniques
(WADT 1998), Lisbon (Portugal) (Vol. 1589, pp. 92–106). Berlin/Heidelberg:
Springer. http://dx.doi.org/10.1007/3-540-48483-3_7'
bibtex: '@inproceedings{Corradini_Große-Rhode_Heckel_1999, place={Berlin/Heidelberg},
series={LNCS}, title={An Algebra of Graph Derivations using Finite (co-) limit
Double Theories}, volume={1589}, DOI={http://dx.doi.org/10.1007/3-540-48483-3_7},
booktitle={Selected papers of the 13th International Workshop on Recent Trends
in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}, publisher={Springer},
author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1999},
pages={92–106}, collection={LNCS} }'
chicago: 'Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “An Algebra of
Graph Derivations Using Finite (Co-) Limit Double Theories.” In Selected Papers
of the 13th International Workshop on Recent Trends in Algebraic Development Techniques
(WADT 1998), Lisbon (Portugal), 1589:92–106. LNCS. Berlin/Heidelberg: Springer,
1999. http://dx.doi.org/10.1007/3-540-48483-3_7.'
ieee: A. Corradini, M. Große-Rhode, and R. Heckel, “An Algebra of Graph Derivations
using Finite (co-) limit Double Theories,” in Selected papers of the 13th International
Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon
(Portugal), 1999, vol. 1589, pp. 92–106.
mla: Corradini, Andrea, et al. “An Algebra of Graph Derivations Using Finite (Co-)
Limit Double Theories.” Selected Papers of the 13th International Workshop
on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal),
vol. 1589, Springer, 1999, pp. 92–106, doi:http://dx.doi.org/10.1007/3-540-48483-3_7.
short: 'A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th
International Workshop on Recent Trends in Algebraic Development Techniques (WADT
1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.'
date_created: 2019-03-05T13:29:10Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-48483-3_7
intvolume: ' 1589'
language:
- iso: eng
page: 92-106
place: Berlin/Heidelberg
publication: Selected papers of the 13th International Workshop on Recent Trends in
Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)
publisher: Springer
series_title: LNCS
status: public
title: An Algebra of Graph Derivations using Finite (co-) limit Double Theories
type: conference
user_id: '52534'
volume: 1589
year: '1999'
...
---
_id: '8324'
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. From SOS Specifications to Structured
Coalgebras: How to Make Bisimulation a Congruence. In: Proceedings of the 2nd
Workshop on Coalgebraic Methods in Computer Science (CMCS 99). Vol 19. Electronic
Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7'
apa: 'Corradini, A., Heckel, R., & Montanari, U. (1999). From SOS Specifications
to Structured Coalgebras: How to Make Bisimulation a Congruence. In Proceedings
of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) (Vol.
19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80273-7'
bibtex: '@inproceedings{Corradini_Heckel_Montanari_1999, place={Amsterdam, The Netherlands},
series={Electronic Notes in TCS}, title={From SOS Specifications to Structured
Coalgebras: How to Make Bisimulation a Congruence}, volume={19}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80273-7},
booktitle={Proceedings of the 2nd workshop on Coalgebraic Methods in Computer
Science (CMCS 99)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel,
Reiko and Montanari, Ugo}, year={1999}, pages={118–141}, collection={Electronic
Notes in TCS} }'
chicago: 'Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “From SOS Specifications
to Structured Coalgebras: How to Make Bisimulation a Congruence.” In Proceedings
of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99),
19:118–41. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier, 1999.
http://dx.doi.org/10.1016/S1571-0661(05)80273-7.'
ieee: 'A. Corradini, R. Heckel, and U. Montanari, “From SOS Specifications to Structured
Coalgebras: How to Make Bisimulation a Congruence,” in Proceedings of the 2nd
workshop on Coalgebraic Methods in Computer Science (CMCS 99), 1999, vol.
19, pp. 118–141.'
mla: 'Corradini, Andrea, et al. “From SOS Specifications to Structured Coalgebras:
How to Make Bisimulation a Congruence.” Proceedings of the 2nd Workshop on
Coalgebraic Methods in Computer Science (CMCS 99), vol. 19, Elsevier, 1999,
pp. 118–41, doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7.'
short: 'A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop
on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The
Netherlands, 1999, pp. 118–141.'
date_created: 2019-03-05T13:29:11Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(05)80273-7
intvolume: ' 19'
language:
- iso: eng
page: 118-141
place: Amsterdam, The Netherlands
publication: Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science
(CMCS 99)
publisher: Elsevier
series_title: Electronic Notes in TCS
status: public
title: 'From SOS Specifications to Structured Coalgebras: How to Make Bisimulation
a Congruence'
type: conference
user_id: '52534'
volume: 19
year: '1999'
...
---
_id: '8325'
abstract:
- lang: eng
text: 'In this paper, dynamic meta modeling is proposed as a new approach to the
operational semantics of behavioral UML diagrams. The dynamic meta model extends
the well-known static meta model by a specification of the system’s dynamics by
means of collaboration diagrams. In this way, it is possible to define the behavior
of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured
operational semantics (SOS) paradigm, a style of semantics specification for concurrent
programming languages and process calculi: Collaboration diagrams are used as
deduction rules to specify a goal-oriented interpreter for the language. The approach
is exemplified using a fragment of UML statechart and object diagrams. Formally,
collaboration diagrams are interpreted as graph transformation rules. In this
way, dynamic UML semantics can be both mathematically rigorous so as to enable
formal specifications and proofs and, due to the use of UML notation, understandable
without prior knowledge of heavy mathematic machinery. Thus, it can be used as
a reference by tool developers, teachers, and advanced users.'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Heckel R, Sauer S. Dynamic Meta Modelling: A Graphical Approach
to Operational Semantics. In: Proceedings of the Workshop on Rigorous Modeling
and Analysis with the UML: Challenges and Limitations (Satellite Event of the
Conference on Onject-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 1999)), Denver, CO (USA). ; 1999.'
apa: 'Engels, G., Heckel, R., & Sauer, S. (1999). Dynamic Meta Modelling: A
Graphical Approach to Operational Semantics. In Proceedings of the workshop
on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite
event of the Conference on Onject-Oriented Programming, Systems, Languages, and
Applications (OOPSLA 1999)), Denver, CO (USA).'
bibtex: '@inproceedings{Engels_Heckel_Sauer_1999, title={Dynamic Meta Modelling:
A Graphical Approach to Operational Semantics}, booktitle={Proceedings of the
workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations
(satellite event of the Conference on Onject-Oriented Programming, Systems, Languages,
and Applications (OOPSLA 1999)), Denver, CO (USA)}, author={Engels, Gregor and
Heckel, Reiko and Sauer, Stefan}, year={1999} }'
chicago: 'Engels, Gregor, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modelling:
A Graphical Approach to Operational Semantics.” In Proceedings of the Workshop
on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite
Event of the Conference on Onject-Oriented Programming, Systems, Languages, and
Applications (OOPSLA 1999)), Denver, CO (USA), 1999.'
ieee: 'G. Engels, R. Heckel, and S. Sauer, “Dynamic Meta Modelling: A Graphical
Approach to Operational Semantics,” in Proceedings of the workshop on Rigorous
Modeling and Analysis with the UML: Challenges and Limitations (satellite event
of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 1999)), Denver, CO (USA), 1999.'
mla: 'Engels, Gregor, et al. “Dynamic Meta Modelling: A Graphical Approach to Operational
Semantics.” Proceedings of the Workshop on Rigorous Modeling and Analysis with
the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented
Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA),
1999.'
short: 'G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous
Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event
of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 1999)), Denver, CO (USA), 1999.'
date_created: 2019-03-05T13:29:13Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: 'Proceedings of the workshop on Rigorous Modeling and Analysis with the
UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented
Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)'
status: public
title: 'Dynamic Meta Modelling: A Graphical Approach to Operational Semantics'
type: conference
user_id: '52534'
year: '1999'
...