---
_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: <i>Multimedia
    in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>. Münster: LIT;
    2000:277-294.'
  apa: 'Engels, G., Depke, R., &#38; Mehner, K. (2000). Ergebnisse - vergleichende
    Darstellung. In <i>Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>
    (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 <i>Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>,
    277–94. Münster: LIT, 2000.'
  ieee: 'G. Engels, R. Depke, and K. Mehner, “Ergebnisse - vergleichende Darstellung,”
    in <i>Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>,
    Münster: LIT, 2000, pp. 277–294.'
  mla: Engels, Gregor, et al. “Ergebnisse - Vergleichende Darstellung.” <i>Multimedia
    in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht</i>, 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:
    <i>Proceedings of Advances in Object-Oriented Modeling</i>. The MIT Press; 2000:307-332.'
  apa: Engels, G., Groenewegen, L., &#38; Kappel, G. (2000). Coordinated Collaboration
    of Objects. In <i>Proceedings of Advances in Object-Oriented Modeling</i> (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 <i>Proceedings of Advances in Object-Oriented Modeling</i>, 307–32.
    The MIT Press, 2000.
  ieee: G. Engels, L. Groenewegen, and G. Kappel, “Coordinated Collaboration of Objects,”
    in <i>Proceedings of Advances in Object-Oriented Modeling</i>, The MIT Press,
    2000, pp. 307–332.
  mla: Engels, Gregor, et al. “Coordinated Collaboration of Objects.” <i>Proceedings
    of Advances in Object-Oriented Modeling</i>, 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: <i>Proceedings of the 6th International Workshop on Theory
    and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>.
    Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:<a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>'
  apa: 'Gadducci, F., Heckel, R., &#38; Koch, M. (2000). A Fully Abstract Model for
    Graph-Interpreted Temporal Logic. In <i>Proceedings of the 6th International Workshop
    on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>
    (Vol. 1764, pp. 310–322). London, UK: Springer. <a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>'
  bibtex: '@inproceedings{Gadducci_Heckel_Koch_2000, place={London, UK}, series={LNCS},
    title={A Fully Abstract Model for Graph-Interpreted Temporal Logic}, volume={1764},
    DOI={<a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>},
    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 <i>Proceedings of the 6th International
    Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn
    (Germany)</i>, 1764:310–22. LNCS. London, UK: Springer, 2000. <a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>.'
  ieee: F. Gadducci, R. Heckel, and M. Koch, “A Fully Abstract Model for Graph-Interpreted
    Temporal Logic,” in <i>Proceedings of the 6th International Workshop on Theory
    and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>,
    2000, vol. 1764, pp. 310–322.
  mla: Gadducci, Fabio, et al. “A Fully Abstract Model for Graph-Interpreted Temporal
    Logic.” <i>Proceedings of the 6th International Workshop on Theory and Application
    of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, vol. 1764, Springer,
    2000, pp. 310–22, doi:<a href="http://dx.doi.org/10.1007/b75045">http://dx.doi.org/10.1007/b75045</a>.
  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: <i>Proceedings of the
    International Workshop on Applications of Graph Transformations with Industrial
    Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i>. Vol 1779. LNCS. Berlin/Heidelberg:
    Springer; 2000:359-368. doi:<a href="http://dx.doi.org/10.1007/3-540-45104-8_28">http://dx.doi.org/10.1007/3-540-45104-8_28</a>'
  apa: 'Engels, G., &#38; Zamperoni, A. (2000). Formal Integration of Software Engineering
    Aspects Using Graph Rewrite Systems - A Typical Experience?! In <i>Proceedings
    of the International Workshop on Applications of Graph Transformations with Industrial
    Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i> (Vol. 1779, pp. 359–368).
    Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/3-540-45104-8_28">http://dx.doi.org/10.1007/3-540-45104-8_28</a>'
  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={<a href="http://dx.doi.org/10.1007/3-540-45104-8_28">http://dx.doi.org/10.1007/3-540-45104-8_28</a>},
    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 <i>Proceedings
    of the International Workshop on Applications of Graph Transformations with Industrial
    Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i>, 1779:359–68. LNCS. Berlin/Heidelberg:
    Springer, 2000. <a href="http://dx.doi.org/10.1007/3-540-45104-8_28">http://dx.doi.org/10.1007/3-540-45104-8_28</a>.'
  ieee: G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects
    Using Graph Rewrite Systems - A Typical Experience?!,” in <i>Proceedings of the
    International Workshop on Applications of Graph Transformations with Industrial
    Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i>, 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?!” <i>Proceedings of
    the International Workshop on Applications of Graph Transformations with Industrial
    Relevance (AGTIVE 1999), Kerkrade (The Netherlands)</i>, vol. 1779, Springer,
    2000, pp. 359–68, doi:<a href="http://dx.doi.org/10.1007/3-540-45104-8_28">http://dx.doi.org/10.1007/3-540-45104-8_28</a>.
  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: <i>Proceedings of the 7th GI-Workshop
    GROOM</i>. Vol 20. University of Koblenz-Landau; 2000:43-44.'
  apa: Heckel, R., &#38; Sauer, S. (2000). Dynamische Metamodellierung als Methode
    zur Definition einer operationalen Semantik für die UML. In <i>Proceedings of
    the 7th GI-Workshop GROOM</i> (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 <i>Proceedings of
    the 7th GI-Workshop GROOM</i>, 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 <i>Proceedings of the 7th GI-Workshop
    GROOM</i>, 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.” <i>Proceedings of the 7th
    GI-Workshop GROOM</i>, 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: <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic
    Questions, Munich (Germany)</i>. Munich (Germany): Ludwig-Maximilians-University;
    2000:63-69.'
  apa: 'Heckel, R., &#38; Sauer, S. (2000). Strengthening the Semantics of UML Collaboration
    Diagrams. In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models:
    Semantic Questions, Munich (Germany)</i> (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 <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models:
    Semantic Questions, Munich (Germany)</i>, 63–69. Munich (Germany): Ludwig-Maximilians-University,
    2000.'
  ieee: 'R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration
    Diagrams,” in <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models:
    Semantic Questions, Munich (Germany)</i>, 2000, no. 0006, pp. 63–69.'
  mla: 'Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration
    Diagrams.” <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models:
    Semantic Questions, Munich (Germany)</i>, 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: <i>Proceedings of 1st Workshop on Formal Design Techniques
    for Real-Time Systems (Satellite Event of the UML 2000), York (UK)</i>. York,
    UK: University of York; 2000.'
  apa: 'Küster, J., &#38; Stroop, J. (2000). Towards Consistency of Dynamic Models
    and Analysis of Timing Constraints. In <i>Proceedings of 1st Workshop on Formal
    Design Techniques for Real-time Systems (satellite event of the UML 2000), York
    (UK)</i>. 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 <i>Proceedings of 1st Workshop on Formal
    Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York
    (UK)</i>. York, UK: University of York, 2000.'
  ieee: J. Küster and J. Stroop, “Towards Consistency of Dynamic Models and Analysis
    of Timing Constraints,” in <i>Proceedings of 1st Workshop on Formal Design Techniques
    for Real-time Systems (satellite event of the UML 2000), York (UK)</i>, 2000.
  mla: Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models
    and Analysis of Timing Constraints.” <i>Proceedings of 1st Workshop on Formal
    Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York
    (UK)</i>, 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: <i>Proceedings of the 8th GROOM Workshop: Visuelle
    Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000),
    Münster (Germany)</i>. Vol 24. Universität Münster; 2000:14-18.'
  apa: 'Mehner, K., &#38; Schattkowsky, T. (2000). Methodische Aspekte von Modellierungssprachen
    für nebenläufige Software. In <i>Proceedings of the 8th GROOM Workshop: Visuelle
    Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000),
    Münster (Germany)</i> (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 <i>Proceedings of the 8th GROOM Workshop: Visuelle
    Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000),
    Münster (Germany)</i>, 24:14–18. Universität Münster, 2000.'
  ieee: 'K. Mehner and T. Schattkowsky, “Methodische Aspekte von Modellierungssprachen
    für nebenläufige Software,” in <i>Proceedings of the 8th GROOM Workshop: Visuelle
    Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000),
    Münster (Germany)</i>, 2000, vol. 24, pp. 14–18.'
  mla: 'Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen
    Für Nebenläufige Software.” <i>Proceedings of the 8th GROOM Workshop: Visuelle
    Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000),
    Münster (Germany)</i>, 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: <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen in
    Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>.
    Vol 15. Koblenzer Schriften zur Informatik. Fölbach; 2000.'
  apa: Mehner, K., &#38; Wagner, A. (2000). Visualisierung der Synchronisation von
    Java-Threads mit UML. In <i>Proceedings of the Workshop on Modelle und Modellierungssprachen
    in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>
    (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 <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen
    in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>,
    Vol. 15. Koblenzer Schriften Zur Informatik. Fölbach, 2000.
  ieee: K. Mehner and A. Wagner, “Visualisierung der Synchronisation von Java-Threads
    mit UML,” in <i>Proceedings of the Workshop on Modelle und Modellierungssprachen
    in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>,
    2000, vol. 15.
  mla: Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von
    Java-Threads Mit UML.” <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen
    in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>,
    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. <i>Informatik ’99: Informatik Überwindet
    Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn
    (Germany)</i>. Berlin/Heidelberg: Springer; 1999.'
  apa: 'Engels, G., Beiersdörfer, K., &#38; Schäfer, W. (Eds.). (1999). <i>Informatik
    ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft
    für Informatik, Paderborn (Germany)</i>. 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. <i>Informatik
    ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft
    Für Informatik, Paderborn (Germany)</i>. Informatik Aktuell. Berlin/Heidelberg:
    Springer, 1999.'
  ieee: 'G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., <i>Informatik ’99: Informatik
    überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik,
    Paderborn (Germany)</i>. Berlin/Heidelberg: Springer, 1999.'
  mla: 'Engels, Gregor, et al., editors. <i>Informatik ’99: Informatik Überwindet
    Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn
    (Germany)</i>. 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: <i>Proceedings of the Conference on Artificial Intelligence
    (IC-AI 1999) Las Vegas, Nevada (USA)</i>. Vol 2. CSREA Press; 1999:605-611.'
  apa: Deugo, D., Küster, J., Oppacher, F., &#38; von Otte, I. (1999). Patterns as
    a Means for Intelligent Software Engineering. In <i>Proceedings of the conference
    on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i> (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 <i>Proceedings of the Conference
    on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>, 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 <i>Proceedings of the conference on Artificial
    Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>, 1999, vol. 2, pp. 605–611.
  mla: Deugo, Dwight, et al. “Patterns as a Means for Intelligent Software Engineering.”
    <i>Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas,
    Nevada (USA)</i>, 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: <i>Proceedings of the 12th International Symposium on Fundamentals
    of Computation Theory (FCT ’99)</i>. Vol 1684. LNCS. Berlin/Heidelberg: Springer;
    1999:13-38.'
  apa: 'Corradini, A., Heckel, R., &#38; Montanari, U. (1999). Tile Transition Systems
    as Structured Coalgebras. In <i>Proceedings of the 12th International Symposium
    on Fundamentals of Computation Theory (FCT ’99)</i> (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 <i>Proceedings of the 12th International Symposium
    on Fundamentals of Computation Theory (FCT ’99)</i>, 1684:13–38. LNCS. Berlin/Heidelberg:
    Springer, 1999.'
  ieee: A. Corradini, R. Heckel, and U. Montanari, “Tile Transition Systems as Structured
    Coalgebras,” in <i>Proceedings of the 12th International Symposium on Fundamentals
    of Computation Theory (FCT ’99)</i>, 1999, vol. 1684, pp. 13–38.
  mla: Corradini, Andrea, et al. “Tile Transition Systems as Structured Coalgebras.”
    <i>Proceedings of the 12th International Symposium on Fundamentals of Computation
    Theory (FCT ’99)</i>, 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: <i>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)</i>. ; 1999.'
  apa: Cherchago, A. (1999). Application of the Structured Analysis and Design Technique
    (SADT) Methodology for the Medical Information Systems Development. In <i>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)</i>.
  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 <i>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)</i>, 1999.
  ieee: A. Cherchago, “Application of the Structured Analysis and Design Technique
    (SADT) Methodology for the Medical Information Systems Development,” in <i>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)</i>, 1999.
  mla: Cherchago, Alexey. “Application of the Structured Analysis and Design Technique
    (SADT) Methodology for the Medical Information Systems Development.” <i>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)</i>, 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: <i>Kolloquium Software-Entwicklung
    - Methoden, Werkzeuge, Erfahrungen</i>. Vol 8. Ostfildern: Technische Akademie
    Esslingen; 1999:531-540.'
  apa: 'Engels, G., Depke, R., &#38; Borowski, C. (1999). Konzeption und objektorientierte
    Realisierung einer internet-basierten Datenbankanwendung. In <i>Kolloquium Software-Entwicklung
    - Methoden, Werkzeuge, Erfahrungen</i> (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 <i>Kolloquium Software-Entwicklung
    - Methoden, Werkzeuge, Erfahrungen</i>, 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 <i>Kolloquium Software-Entwicklung
    - Methoden, Werkzeuge, Erfahrungen</i>, 1999, vol. 8, pp. 531–540.
  mla: Engels, Gregor, et al. “Konzeption Und Objektorientierte Realisierung Einer
    Internet-Basierten Datenbankanwendung.” <i>Kolloquium Software-Entwicklung - Methoden,
    Werkzeuge, Erfahrungen</i>, 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: <i>Proceddings of The Unified Modeling Language: Beyond
    the Standard, Second International Conference (UML 99), Fort Collins, Colorado,
    USA</i>. Vol 1723. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.'
  apa: 'Engels, G., Hücking, R., Sauer, S., &#38; Wagner, A. (1999). UML Collaboration
    Diagrams and Their Transformation to Java. In <i>Proceddings of The Unified Modeling
    Language: Beyond the Standard, Second International Conference (UML 99), Fort
    Collins, Colorado, USA</i> (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 <i>Proceddings of
    The Unified Modeling Language: Beyond the Standard, Second International Conference
    (UML 99), Fort Collins, Colorado, USA</i>, 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 <i>Proceddings of The Unified Modeling Language:
    Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado,
    USA</i>, 1999, vol. 1723, pp. 473–488.'
  mla: 'Engels, Gregor, et al. “UML Collaboration Diagrams and Their Transformation
    to Java.” <i>Proceddings of The Unified Modeling Language: Beyond the Standard,
    Second International Conference (UML 99), Fort Collins, Colorado, USA</i>, 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: <i>Proceedings of the 8th Conference on Category Theory and
    Computer Science (CTCS 1999), Edinburgh (UK)</i>. Vol 29. Electronic Notes in
    Theoretical Computer Science. Elsevier; 1999:80-100. doi:<a href="http://dx.doi.org/10.1016/S1571-0661(05)80309-3">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>'
  apa: Gadducci, F., Heckel, R., &#38; Llabrés, M. (1999). A Bi-Categorical Axiomatisation
    of Concurrent Graph Rewriting. In <i>Proceedings of the 8th Conference on Category
    Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i> (Vol. 29, pp. 80–100).
    Elsevier. <a href="http://dx.doi.org/10.1016/S1571-0661(05)80309-3">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>
  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={<a href="http://dx.doi.org/10.1016/S1571-0661(05)80309-3">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>},
    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 <i>Proceedings of the 8th Conference on Category
    Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>, 29:80–100. Electronic
    Notes in Theoretical Computer Science. Elsevier, 1999. <a href="http://dx.doi.org/10.1016/S1571-0661(05)80309-3">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>.
  ieee: F. Gadducci, R. Heckel, and M. Llabrés, “A Bi-Categorical Axiomatisation of
    Concurrent Graph Rewriting,” in <i>Proceedings of the 8th Conference on Category
    Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>, 1999, vol. 29, pp.
    80–100.
  mla: Gadducci, Fabio, et al. “A Bi-Categorical Axiomatisation of Concurrent Graph
    Rewriting.” <i>Proceedings of the 8th Conference on Category Theory and Computer
    Science (CTCS 1999), Edinburgh (UK)</i>, vol. 29, Elsevier, 1999, pp. 80–100,
    doi:<a href="http://dx.doi.org/10.1016/S1571-0661(05)80309-3">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>.
  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: <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
    for Software Intensive Systems</i>. ; 1999.'
  apa: Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and
    UML. In <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and
    Design for Software Intensive Systems</i>.
  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 <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis
    and Design for Software Intensive Systems</i>, 1999.
  ieee: R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,”
    in <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
    for Software Intensive Systems</i>, 1999, no. 258.
  mla: Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and
    UML.” <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
    for Software Intensive Systems</i>, 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: <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo
    (Japan)</i>. Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:<a href="http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>'
  apa: 'Sauer, S., &#38; Engels, G. (1999). Extending UML for Modeling of Multimedia
    Applications. In <i>Proceedings of the IEEE Symposium on Visual Languages (VL
    1999), Tokyo (Japan)</i> (pp. 80–87). Tokyo, Japan: IEEE Computer Society. <a
    href="http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>'
  bibtex: '@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending
    UML for Modeling of Multimedia Applications}, DOI={<a href="http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>},
    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 <i>Proceedings of the IEEE Symposium on Visual Languages (VL
    1999), Tokyo (Japan)</i>, 80–87. Tokyo, Japan: IEEE Computer Society, 1999. <a
    href="http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>.'
  ieee: S. Sauer and G. Engels, “Extending UML for Modeling of Multimedia Applications,”
    in <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>,
    1999, pp. 80–87.
  mla: Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia
    Applications.” <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999),
    Tokyo (Japan)</i>, IEEE Computer Society, 1999, pp. 80–87, doi:<a href="http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>.
  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. <i>Basic Properties of Double Pullback
    Graph Transitions</i>. Technical University of Berlin; 1999.
  apa: Ehrig, H., Heckel, R., Llabrés, M., &#38; Orejas, F. (1999). <i>Basic Properties
    of Double Pullback Graph Transitions</i>. 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. <i>Basic
    Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin,
    1999.
  ieee: H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, <i>Basic Properties of Double
    Pullback Graph Transitions</i>. Technical University of Berlin, 1999.
  mla: Ehrig, Hartmut, et al. <i>Basic Properties of Double Pullback Graph Transitions</i>.
    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. <i>UML Collaboration Diagrams and Their
    Transformation to Java</i>. University of Paderborn, Department of Computer Science;
    1999.
  apa: Engels, G., Hücking, R., Sauer, S., &#38; Wagner, A. (1999). <i>UML Collaboration
    Diagrams and Their Transformation to Java</i>. 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. <i>UML
    Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn,
    Department of Computer Science, 1999.
  ieee: G. Engels, R. Hücking, S. Sauer, and A. Wagner, <i>UML Collaboration Diagrams
    and Their Transformation to Java</i>. University of Paderborn, Department of Computer
    Science, 1999.
  mla: Engels, Gregor, et al. <i>UML Collaboration Diagrams and Their Transformation
    to Java</i>. 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'
...