---
_id: '8376'
author:
- first_name: Alexander
  full_name: Förster, Alexander
  last_name: Förster
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Förster A, Engels G. Quality Ensuring Development of Software Processes. In:
    <i>Proceeding of the 9th European Workshop on Software Process Technology (EWSPT
    2003), Helsinki (Finland)</i>. Vol 2786. LNCS. Berlin/Heidelberg: Springer; 2003:62-73.'
  apa: 'Förster, A., &#38; Engels, G. (2003). Quality Ensuring Development of Software
    Processes. In <i>Proceeding of the 9th European Workshop on Software Process Technology
    (EWSPT 2003), Helsinki (Finland)</i> (Vol. 2786, pp. 62–73). Berlin/Heidelberg:
    Springer.'
  bibtex: '@inproceedings{Förster_Engels_2003, place={Berlin/Heidelberg}, series={LNCS},
    title={Quality Ensuring Development of Software Processes}, volume={2786}, booktitle={Proceeding
    of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki
    (Finland)}, publisher={Springer}, author={Förster, Alexander and Engels, Gregor},
    year={2003}, pages={62–73}, collection={LNCS} }'
  chicago: 'Förster, Alexander, and Gregor Engels. “Quality Ensuring Development of
    Software Processes.” In <i>Proceeding of the 9th European Workshop on Software
    Process Technology (EWSPT 2003), Helsinki (Finland)</i>, 2786:62–73. LNCS. Berlin/Heidelberg:
    Springer, 2003.'
  ieee: A. Förster and G. Engels, “Quality Ensuring Development of Software Processes,”
    in <i>Proceeding of the 9th European Workshop on Software Process Technology (EWSPT
    2003), Helsinki (Finland)</i>, 2003, vol. 2786, pp. 62–73.
  mla: Förster, Alexander, and Gregor Engels. “Quality Ensuring Development of Software
    Processes.” <i>Proceeding of the 9th European Workshop on Software Process Technology
    (EWSPT 2003), Helsinki (Finland)</i>, vol. 2786, Springer, 2003, pp. 62–73.
  short: 'A. Förster, G. Engels, in: Proceeding of the 9th European Workshop on Software
    Process Technology (EWSPT 2003), Helsinki (Finland), Springer, Berlin/Heidelberg,
    2003, pp. 62–73.'
date_created: 2019-03-06T11:28:40Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: '      2786'
language:
- iso: eng
page: 62-73
place: Berlin/Heidelberg
publication: Proceeding of the 9th European Workshop on Software Process Technology
  (EWSPT 2003), Helsinki (Finland)
publisher: Springer
series_title: LNCS
status: public
title: Quality Ensuring Development of Software Processes
type: conference
user_id: '52534'
volume: 2786
year: '2003'
...
---
_id: '7896'
author:
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Matthew
  full_name: Langham, Matthew
  last_name: Langham
- first_name: Björn
  full_name: Lütkemeier, Björn
  last_name: Lütkemeier
- first_name: Sebastian
  full_name: Thöne, Sebastian
  last_name: Thöne
citation:
  ama: 'Depke R, Engels G, Langham M, Lütkemeier B, Thöne S. Process-Oriented, Consistent
    Integration of Software Components. In: <i>Proceedings of the Conference on Prolonging
    Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>.
    Washington, DC, USA: IEEE Computer Society; 2002:13-18. doi:<a href="http://dx.doi.org/10.1109/CMPSAC.2002.1044527">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>'
  apa: 'Depke, R., Engels, G., Langham, M., Lütkemeier, B., &#38; Thöne, S. (2002).
    Process-Oriented, Consistent Integration of Software Components. In <i>Proceedings
    of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
    2002), Oxford (England)</i> (pp. 13–18). Washington, DC, USA: IEEE Computer Society.
    <a href="http://dx.doi.org/10.1109/CMPSAC.2002.1044527">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>'
  bibtex: '@inproceedings{Depke_Engels_Langham_Lütkemeier_Thöne_2002, place={Washington,
    DC, USA}, title={Process-Oriented, Consistent Integration of Software Components},
    DOI={<a href="http://dx.doi.org/10.1109/CMPSAC.2002.1044527">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>},
    booktitle={Proceedings of the conference on Prolonging Software Life: Development
    and Redevelopment (COMPSAC 2002), Oxford (England)}, publisher={IEEE Computer
    Society}, author={Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier,
    Björn and Thöne, Sebastian}, year={2002}, pages={13–18} }'
  chicago: 'Depke, Ralph, Gregor Engels, Matthew Langham, Björn Lütkemeier, and Sebastian
    Thöne. “Process-Oriented, Consistent Integration of Software Components.” In <i>Proceedings
    of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
    2002), Oxford (England)</i>, 13–18. Washington, DC, USA: IEEE Computer Society,
    2002. <a href="http://dx.doi.org/10.1109/CMPSAC.2002.1044527">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>.'
  ieee: 'R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented,
    Consistent Integration of Software Components,” in <i>Proceedings of the conference
    on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford
    (England)</i>, 2002, pp. 13–18.'
  mla: 'Depke, Ralph, et al. “Process-Oriented, Consistent Integration of Software
    Components.” <i>Proceedings of the Conference on Prolonging Software Life: Development
    and Redevelopment (COMPSAC 2002), Oxford (England)</i>, IEEE Computer Society,
    2002, pp. 13–18, doi:<a href="http://dx.doi.org/10.1109/CMPSAC.2002.1044527">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>.'
  short: 'R. Depke, G. Engels, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings
    of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
    2002), Oxford (England), IEEE Computer Society, Washington, DC, USA, 2002, pp.
    13–18.'
date_created: 2019-02-21T10:55:46Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/CMPSAC.2002.1044527
language:
- iso: eng
page: 13-18
place: Washington, DC, USA
publication: 'Proceedings of the conference on Prolonging Software Life: Development
  and Redevelopment (COMPSAC 2002), Oxford (England)'
publisher: IEEE Computer Society
status: public
title: Process-Oriented, Consistent Integration of Software Components
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7897'
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: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
citation:
  ama: 'Engels G, Heckel R, Küster J, Groenewegen L. Consistency-Preserving Model
    Evolution through Transformations. In: <i>Proceedings of the 5th International
    Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>.
    Vol 2460. LNCS. Berlin/Heidelberg: Springer; 2002:212-226.'
  apa: 'Engels, G., Heckel, R., Küster, J., &#38; Groenewegen, L. (2002). Consistency-Preserving
    Model Evolution through Transformations. In <i>Proceedings of the 5th International
    Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>
    (Vol. 2460, pp. 212–226). Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Engels_Heckel_Küster_Groenewegen_2002, place={Berlin/Heidelberg},
    series={LNCS}, title={Consistency-Preserving Model Evolution through Transformations},
    volume={2460}, booktitle={Proceedings of the 5th International Conference on The
    Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer},
    author={Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk},
    year={2002}, pages={212–226}, collection={LNCS} }'
  chicago: 'Engels, Gregor, Reiko Heckel, Jochen Küster, and Luuk Groenewegen. “Consistency-Preserving
    Model Evolution through Transformations.” In <i>Proceedings of the 5th International
    Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>,
    2460:212–26. LNCS. Berlin/Heidelberg: Springer, 2002.'
  ieee: G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving
    Model Evolution through Transformations,” in <i>Proceedings of the 5th International
    Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>,
    2002, vol. 2460, pp. 212–226.
  mla: Engels, Gregor, et al. “Consistency-Preserving Model Evolution through Transformations.”
    <i>Proceedings of the 5th International Conference on The Unified Modeling Language
    (UML 2002), Dresden (Germany)</i>, vol. 2460, Springer, 2002, pp. 212–26.
  short: 'G. Engels, R. Heckel, J. Küster, L. Groenewegen, in: Proceedings of the
    5th International Conference on The Unified Modeling Language (UML 2002), Dresden
    (Germany), Springer, Berlin/Heidelberg, 2002, pp. 212–226.'
date_created: 2019-02-21T10:56:48Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: '      2460'
language:
- iso: eng
page: 212-226
place: Berlin/Heidelberg
publication: Proceedings of the 5th International Conference on The Unified Modeling
  Language (UML 2002), Dresden (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Consistency-Preserving Model Evolution through Transformations
type: conference
user_id: '52534'
volume: 2460
year: '2002'
...
---
_id: '7898'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
citation:
  ama: 'Engels G, Küster J, Groenewegen L. Consistent Interaction Of Software Components.
    In: <i>Proceedings of the Conference on Integrated Design and Process Technology
    (IDPT 2002), Pasadena, CA (USA)</i>. Vol 6. IOS Press; 2002:2-22.'
  apa: Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction
    Of Software Components. In <i>Proceedings of the conference on Integrated Design
    and Process Technology (IDPT 2002), Pasadena, CA (USA)</i> (Vol. 6, pp. 2–22).
    IOS Press.
  bibtex: '@inproceedings{Engels_Küster_Groenewegen_2002, title={Consistent Interaction
    Of Software Components}, volume={6}, number={4}, booktitle={Proceedings of the
    conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
    CA (USA)}, publisher={IOS Press}, author={Engels, Gregor and Küster, Jochen and
    Groenewegen, Luuk}, year={2002}, pages={2–22} }'
  chicago: Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction
    Of Software Components.” In <i>Proceedings of the Conference on Integrated Design
    and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 6:2–22. IOS Press,
    2002.
  ieee: G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software
    Components,” in <i>Proceedings of the conference on Integrated Design and Process
    Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002, vol. 6, no. 4, pp. 2–22.
  mla: Engels, Gregor, et al. “Consistent Interaction Of Software Components.” <i>Proceedings
    of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
    CA (USA)</i>, vol. 6, no. 4, IOS Press, 2002, pp. 2–22.
  short: 'G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Conference
    on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), IOS
    Press, 2002, pp. 2–22.'
date_created: 2019-02-21T10:57:29Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: '         6'
issue: '4'
language:
- iso: eng
page: 2-22
publication: Proceedings of the conference on Integrated Design and Process Technology
  (IDPT 2002), Pasadena, CA (USA)
publisher: IOS Press
status: public
title: Consistent Interaction Of Software Components
type: conference
user_id: '52534'
volume: 6
year: '2002'
...
---
_id: '7899'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Testing the Consistency of
    Dynamic UML Diagrams. In: <i>Proceedings of the Sixth International Conference
    on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>.
    ; 2002.'
  apa: Engels, G., Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2002). Testing
    the Consistency of Dynamic UML Diagrams. In <i>Proceedings of the Sixth International
    Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
    CA (USA)</i>.
  bibtex: '@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2002, title={Testing
    the Consistency of Dynamic UML Diagrams}, booktitle={Proceedings of the Sixth
    International Conference on Integrated Design and Process Technology (IDPT 2002),
    Pasadena, CA (USA)}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel,
    Reiko and Sauer, Stefan}, year={2002} }'
  chicago: Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Testing
    the Consistency of Dynamic UML Diagrams.” In <i>Proceedings of the Sixth International
    Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
    CA (USA)</i>, 2002.
  ieee: G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency
    of Dynamic UML Diagrams,” in <i>Proceedings of the Sixth International Conference
    on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>,
    2002.
  mla: Engels, Gregor, et al. “Testing the Consistency of Dynamic UML Diagrams.” <i>Proceedings
    of the Sixth International Conference on Integrated Design and Process Technology
    (IDPT 2002), Pasadena, CA (USA)</i>, 2002.
  short: 'G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of
    the Sixth International Conference on Integrated Design and Process Technology
    (IDPT 2002), Pasadena, CA (USA), 2002.'
date_created: 2019-02-21T10:58:02Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Sixth International Conference on Integrated Design
  and Process Technology (IDPT 2002), Pasadena, CA (USA)
status: public
title: Testing the Consistency of Dynamic UML Diagrams
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7387'
abstract:
- lang: eng
  text: Constructing complex software systems by integrating different software components
    is a promising and challenging approach. With the functionality of software components
    given by models it is possible to ensure consistency of such models before implementation
    in order to successfully build the system. Models consisting of different submodels,
    the absence of an overall formal semantics and the numerous possibilities of employing
    models requires the development of techniques ensuring the consistency. In this
    paper, we discuss the issue of consistency of models made up of different submodels
    proposing a concept for the management of consistency. Consistency management
    relies on a consistency concept and a process for ensuring consistency of models.
    We introduce a consistency concept for software components modeled in the Unified
    Modeling Language (UML) and devise suitable consistency checks. On this basis,
    we propose a process how to locate and resolve inconsistencies, thus ensuring
    the consistency of models and by that the consistency of componentbased systems
    derived from those models.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
citation:
  ama: 'Engels G, Küster J, Groenewegen L. Consistent Interaction of Software Components.
    <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>.
    2002;6(4):2-22.'
  apa: 'Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction
    of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design
    &#38; Process Science</i>, <i>6</i>(4), 2–22.'
  bibtex: '@article{Engels_Küster_Groenewegen_2002, title={Consistent Interaction
    of Software Components}, volume={6}, number={4}, journal={Transactions of the
    SDPS: Journal of Integrated Design &#38; Process Science}, author={Engels, Gregor
    and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }'
  chicago: 'Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction
    of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design
    &#38; Process Science</i> 6, no. 4 (2002): 2–22.'
  ieee: 'G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software
    Components,” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process
    Science</i>, vol. 6, no. 4, pp. 2–22, 2002.'
  mla: 'Engels, Gregor, et al. “Consistent Interaction of Software Components.” <i>Transactions
    of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no.
    4, 2002, pp. 2–22.'
  short: 'G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal
    of Integrated Design &#38; Process Science 6 (2002) 2–22.'
date_created: 2019-01-31T15:38:09Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         6'
issue: '4'
language:
- iso: eng
page: 2-22
publication: 'Transactions of the SDPS: Journal of Integrated Design & Process Science'
status: public
title: Consistent Interaction of Software Components
type: journal_article
user_id: '52534'
volume: 6
year: '2002'
...
---
_id: '7389'
abstract:
- lang: ger
  text: Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die
    Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die
    Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe,
    um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die
    in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur
    Distribution der entwickelten Materialien vor.
author:
- first_name: Ernst-Erich
  full_name: Doberkat, Ernst-Erich
  last_name: Doberkat
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: Doberkat E-E, Engels G. MuSofT - Multimedia in der Softwaretechnik. <i>Informatik
    Forschung und Entwicklung</i>. 2002;1(17):41-44.
  apa: Doberkat, E.-E., &#38; Engels, G. (2002). MuSofT - Multimedia in der Softwaretechnik.
    <i>Informatik Forschung Und Entwicklung</i>, <i>1</i>(17), 41–44.
  bibtex: '@article{Doberkat_Engels_2002, title={MuSofT - Multimedia in der Softwaretechnik},
    volume={1}, number={17}, journal={Informatik Forschung und Entwicklung}, author={Doberkat,
    Ernst-Erich and Engels, Gregor}, year={2002}, pages={41–44} }'
  chicago: 'Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der
    Softwaretechnik.” <i>Informatik Forschung Und Entwicklung</i> 1, no. 17 (2002):
    41–44.'
  ieee: E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,”
    <i>Informatik Forschung und Entwicklung</i>, vol. 1, no. 17, pp. 41–44, 2002.
  mla: Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.”
    <i>Informatik Forschung Und Entwicklung</i>, vol. 1, no. 17, 2002, pp. 41–44.
  short: E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002)
    41–44.
date_created: 2019-01-31T15:39:38Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         1'
issue: '17'
language:
- iso: eng
page: 41-44
publication: Informatik Forschung und Entwicklung
status: public
title: MuSofT - Multimedia in der Softwaretechnik
type: journal_article
user_id: '52534'
volume: 1
year: '2002'
...
---
_id: '7525'
abstract:
- lang: eng
  text: The paper studies and compares two different approaches to model communication
    and cooperation. The approaches are team automata, a well-defined variant of communicating
    automata, and statecharts, heavily used in object-oriented modelling methods.
    The comparison yields interesting insights for modelling communication and cooperation.
    In particular, the differences between action-based, synchronous and state-based,
    asynchronous communication are elucidated.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
citation:
  ama: 'Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative
    Work. In: <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>.
    Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.'
  apa: 'Engels, G., &#38; Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented
    Collaborative Work. In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz
    Rozenberg</i> (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.'
  bibtex: '@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS},
    title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300},
    booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
    publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={2002},
    pages={257–276}, collection={LNCS} }'
  chicago: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
    Collaborative Work.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz
    Rozenberg</i>, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.'
  ieee: 'G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented
    Collaborative Work,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz
    Rozenberg</i>, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.'
  mla: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
    Collaborative Work.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz
    Rozenberg</i>, vol. 2300, Springer, 2002, pp. 257–76.'
  short: 'G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated
    to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.'
date_created: 2019-02-04T23:03:52Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
intvolume: '      2300'
language:
- iso: eng
page: 257-276
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: Towards Team-Automata-Driven Object-Oriented Collaborative Work
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7526'
abstract:
- lang: eng
  text: Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt.
    Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema
    beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert.
    Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt.
    In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen,
    multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der
    hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre
    anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt
    hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über
    gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen
    Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Ernst-Erich
  full_name: Doberkat, Ernst-Erich
  last_name: Doberkat
citation:
  ama: 'Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: <i>Informatik
    Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes
    in Informatics</i>. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft
    für Informatik (GI); 2002:377-384.'
  apa: 'Engels, G., &#38; Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre.
    In <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002,
    Lecture Notes in Informatics</i> (Vol. P-19, pp. 377–384). Bonn: Gesellschaft
    für Informatik (GI).'
  bibtex: '@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics},
    title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik
    bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
    in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels,
    Gregor and Doberkat, Ernst-Erich}, year={2002}, pages={377–384}, collection={Lecture
    Notes in Informatics} }'
  chicago: 'Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
    In <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
    Lecture Notes in Informatics</i>, P-19:377–84. Lecture Notes in Informatics. Bonn:
    Gesellschaft für Informatik (GI), 2002.'
  ieee: 'G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in <i>Informatik
    bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
    in Informatics</i>, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp.
    377–384.'
  mla: Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
    <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
    Lecture Notes in Informatics</i>, vol. P-19, Gesellschaft für Informatik (GI),
    2002, pp. 377–84.
  short: 'G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft
    Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik
    (GI), Bonn, 2002, pp. 377–384.'
date_created: 2019-02-04T23:04:36Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 377-384
place: Bonn
publication: Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik,
  2002, Lecture Notes in Informatics
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Multimedia in der Informatik-Lehre
type: book_chapter
user_id: '52534'
volume: P-19
year: '2002'
...
---
_id: '7528'
abstract:
- lang: eng
  text: The paper studies and compares two different approaches to model communication
    and cooperation. The approaches are team automata, a well-defined variant of communicating
    automata, and statecharts, heavily used in object-oriented modelling methods.
    The comparison yields interesting insights for modelling communication and cooperation.
    In particular, the differences between action-based, synchronous and state-based,
    asynchronous communication are elucidated.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
citation:
  ama: 'Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative
    Work. In: Brauer W, Ehring H, Karhumäki J, Salomaa A, eds. <i>Formal and Natural
    Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg:
    Springer; 2002:257-276.'
  apa: 'Engels, G., &#38; Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented
    Collaborative Work. In W. Brauer, H. Ehring, J. Karhumäki, &#38; A. Salomaa (Eds.),
    <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol.
    2300, pp. 257–276). Berlin/Heidelberg: Springer.'
  bibtex: '@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS},
    title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300},
    booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
    publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, editor={Brauer,
    W.  and Ehring, H. and Karhumäki, J.  and Salomaa, A. Editors}, year={2002}, pages={257–276},
    collection={LNCS} }'
  chicago: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
    Collaborative Work.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz
    Rozenberg</i>, edited by W.  Brauer, H. Ehring, J.  Karhumäki, and A.  Salomaa,
    2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.'
  ieee: 'G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented
    Collaborative Work,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz
    Rozenberg</i>, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa,
    Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.'
  mla: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
    Collaborative Work.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz
    Rozenberg</i>, edited by W.  Brauer et al., vol. 2300, Springer, 2002, pp. 257–76.'
  short: 'G. Engels, L. Groenewegen, in: W. Brauer, H. Ehring, J. Karhumäki, A. Salomaa
    (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg,
    Springer, Berlin/Heidelberg, 2002, pp. 257–276.'
date_created: 2019-02-05T11:57:09Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'W. '
  full_name: 'Brauer, W. '
  last_name: Brauer
- first_name: H.
  full_name: Ehring, H.
  last_name: Ehring
- first_name: 'J. '
  full_name: 'Karhumäki, J. '
  last_name: Karhumäki
- first_name: 'A. '
  full_name: 'Salomaa, A. '
  last_name: Salomaa
intvolume: '      2300'
language:
- iso: eng
page: 257-276
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: Towards Team-Automata-Driven Object-Oriented Collaborative Work
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7529'
abstract:
- lang: ger
  text: Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt.
    Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema
    beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert.
    Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt.
    In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen,
    multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der
    hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre
    anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt
    hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über
    gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen
    Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Ernst-Erich
  full_name: Doberkat, Ernst-Erich
  last_name: Doberkat
citation:
  ama: 'Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Schubert S,
    Reusch B, Jesse N, eds. <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft
    Für Informatik, 2002, Lecture Notes in Informatics</i>. Vol P-19. Lecture Notes
    in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.'
  apa: 'Engels, G., &#38; Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre.
    In S. Schubert, B. Reusch, &#38; N. Jesse (Eds.), <i>Informatik bewegt. 32. Jahrestagung
    der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i> (Vol.
    P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).'
  bibtex: '@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics},
    title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik
    bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
    in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels,
    Gregor and Doberkat, Ernst-Erich}, editor={Schubert, S.  and Reusch, B.  and Jesse,
    N. Editors}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics}
    }'
  chicago: 'Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
    In <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
    Lecture Notes in Informatics</i>, edited by S.  Schubert, B.  Reusch, and N.  Jesse,
    P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
    2002.'
  ieee: 'G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in <i>Informatik
    bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
    in Informatics</i>, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn:
    Gesellschaft für Informatik (GI), 2002, pp. 377–384.'
  mla: Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
    <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
    Lecture Notes in Informatics</i>, edited by S.  Schubert et al., vol. P-19, Gesellschaft
    für Informatik (GI), 2002, pp. 377–84.
  short: 'G. Engels, E.-E. Doberkat, in: S. Schubert, B. Reusch, N. Jesse (Eds.),
    Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture
    Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.'
date_created: 2019-02-05T11:59:25Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'S. '
  full_name: 'Schubert, S. '
  last_name: Schubert
- first_name: 'B. '
  full_name: 'Reusch, B. '
  last_name: Reusch
- first_name: 'N. '
  full_name: 'Jesse, N. '
  last_name: Jesse
language:
- iso: eng
page: 377-384
place: Bonn
publication: Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik,
  2002, Lecture Notes in Informatics
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Multimedia in der Informatik-Lehre
type: book_chapter
user_id: '52534'
volume: P-19
year: '2002'
...
---
_id: '8363'
abstract:
- lang: eng
  text: A major concern of software development today is the integration of applications
    of different enterprises, e.g., over the internet. This requires a shift of focus
    from system development towards integration of enterprise models and evolution
    of systems. We propose a conceptual framework for a method addressing these issues
    and discuss its formalization by means of graph transformation concepts.
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Heckel R, Engels G. Towards a Formal Framework for Inter-Enterprise Application
    Integration. In: <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS
    (2002), Bordeaux (France)</i>. Vol 51. Electronic Notes in Theoretical Computer
    Science. Elsevier; 2002:139-151. doi:<a href="http://dx.doi.org/10.1016/S1571-0661(04)80198-1">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>'
  apa: Heckel, R., &#38; Engels, G. (2002). Towards a Formal Framework for Inter-Enterprise
    Application Integration. In <i>Proceedings of the Closing Workshop of the TMR
    Network GETGRATS (2002), Bordeaux (France)</i> (Vol. 51, pp. 139–151). Elsevier.
    <a href="http://dx.doi.org/10.1016/S1571-0661(04)80198-1">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>
  bibtex: '@inproceedings{Heckel_Engels_2002, series={Electronic Notes in Theoretical
    Computer Science}, title={Towards a Formal Framework for Inter-Enterprise Application
    Integration}, volume={51}, DOI={<a href="http://dx.doi.org/10.1016/S1571-0661(04)80198-1">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>},
    booktitle={Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002),
    Bordeaux (France)}, publisher={Elsevier}, author={Heckel, Reiko and Engels, Gregor},
    year={2002}, pages={139–151}, collection={Electronic Notes in Theoretical Computer
    Science} }'
  chicago: Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise
    Application Integration.” In <i>Proceedings of the Closing Workshop of the TMR
    Network GETGRATS (2002), Bordeaux (France)</i>, 51:139–51. Electronic Notes in
    Theoretical Computer Science. Elsevier, 2002. <a href="http://dx.doi.org/10.1016/S1571-0661(04)80198-1">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>.
  ieee: R. Heckel and G. Engels, “Towards a Formal Framework for Inter-Enterprise
    Application Integration,” in <i>Proceedings of the Closing Workshop of the TMR
    Network GETGRATS (2002), Bordeaux (France)</i>, 2002, vol. 51, pp. 139–151.
  mla: Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise
    Application Integration.” <i>Proceedings of the Closing Workshop of the TMR Network
    GETGRATS (2002), Bordeaux (France)</i>, vol. 51, Elsevier, 2002, pp. 139–51, doi:<a
    href="http://dx.doi.org/10.1016/S1571-0661(04)80198-1">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>.
  short: 'R. Heckel, G. Engels, in: Proceedings of the Closing Workshop of the TMR
    Network GETGRATS (2002), Bordeaux (France), Elsevier, 2002, pp. 139–151.'
date_created: 2019-03-06T11:12:56Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(04)80198-1
intvolume: '        51'
language:
- iso: eng
page: 139-151
publication: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002),
  Bordeaux (France)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Towards a Formal Framework for Inter-Enterprise Application Integration
type: conference
user_id: '52534'
volume: 51
year: '2002'
...
---
_id: '8364'
abstract:
- lang: eng
  text: The composition of elementary web services to larger-scale services has become
    an important means to enhance e-business collaborations. If such composite web
    services can also integrate legacy components that are not yet provided as web
    services, the number of possible compositions is increased. Following a process-oriented
    approach, the compositions can be described as control- and data-flow between
    available web services and components. This paper discusses the Business Process
    Execution Language for Web Services (BPEL4WS), an existing service composition
    language, and proposes UML-WSC as an alternative, visual language. For the advanced
    description of service interfaces, UML-WSC extends the type system of the established
    Web Service Definition Language (WSDL).
author:
- first_name: Sebastian
  full_name: Thöne, Sebastian
  last_name: Thöne
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Thöne S, Depke R, Engels G. Process-Oriented, Flexible Composition of Web
    Services with UML. In: <i>Proceedings of the International Workshop on Conceptual
    Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere
    (Finland)</i>. Vol 2784. LNCS. Berlin/Heidelberg: Springer; 2002:390-401.'
  apa: 'Thöne, S., Depke, R., &#38; Engels, G. (2002). Process-Oriented, Flexible
    Composition of Web Services with UML. In <i>Proceedings of the International Workshop
    on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO
    2002), Tampere (Finland)</i> (Vol. 2784, pp. 390–401). Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Thöne_Depke_Engels_2002, place={Berlin/Heidelberg}, series={LNCS},
    title={Process-Oriented, Flexible Composition of Web Services with UML}, volume={2784},
    booktitle={Proceedings of the International Workshop on Conceptual Modeling Approaches
    for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)}, publisher={Springer},
    author={Thöne, Sebastian and Depke, Ralph and Engels, Gregor}, year={2002}, pages={390–401},
    collection={LNCS} }'
  chicago: 'Thöne, Sebastian, Ralph Depke, and Gregor Engels. “Process-Oriented, Flexible
    Composition of Web Services with UML.” In <i>Proceedings of the International
    Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective
    (ECOMO 2002), Tampere (Finland)</i>, 2784:390–401. LNCS. Berlin/Heidelberg: Springer,
    2002.'
  ieee: 'S. Thöne, R. Depke, and G. Engels, “Process-Oriented, Flexible Composition
    of Web Services with UML,” in <i>Proceedings of the International Workshop on
    Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO
    2002), Tampere (Finland)</i>, 2002, vol. 2784, pp. 390–401.'
  mla: 'Thöne, Sebastian, et al. “Process-Oriented, Flexible Composition of Web Services
    with UML.” <i>Proceedings of the International Workshop on Conceptual Modeling
    Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland)</i>,
    vol. 2784, Springer, 2002, pp. 390–401.'
  short: 'S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop
    on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO
    2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401.'
date_created: 2019-03-06T11:12:57Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: '      2784'
language:
- iso: eng
page: 390-401
place: Berlin/Heidelberg
publication: 'Proceedings of the International Workshop on Conceptual Modeling Approaches
  for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)'
publisher: Springer
series_title: LNCS
status: public
title: Process-Oriented, Flexible Composition of Web Services with UML
type: conference
user_id: '52534'
volume: 2784
year: '2002'
...
---
_id: '8365'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Engels G, Küster J, Heckel R. Towards Consistency-Preserving Model Evolution.
    In: <i>Proceedings of the International Workshop on Principles of Software Evolution(Satellite
    Event of the ICSE 02), Orlando, Florida (USA)</i>. New York, NY, USA: ACM Press;
    2002:129-132. doi:<a href="http://doi.acm.org/10.1145/512035.512066">http://doi.acm.org/10.1145/512035.512066</a>'
  apa: 'Engels, G., Küster, J., &#38; Heckel, R. (2002). Towards Consistency-Preserving
    Model Evolution. In <i>Proceedings of the International Workshop on Principles
    of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)</i>
    (pp. 129–132). New York, NY, USA: ACM Press. <a href="http://doi.acm.org/10.1145/512035.512066">http://doi.acm.org/10.1145/512035.512066</a>'
  bibtex: '@inproceedings{Engels_Küster_Heckel_2002, place={New York, NY, USA}, title={Towards
    Consistency-Preserving Model Evolution}, DOI={<a href="http://doi.acm.org/10.1145/512035.512066">http://doi.acm.org/10.1145/512035.512066</a>},
    booktitle={Proceedings of the International Workshop on Principles of Software
    Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)}, publisher={ACM
    Press}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko}, year={2002},
    pages={129–132} }'
  chicago: 'Engels, Gregor, Jochen Küster, and Reiko Heckel. “Towards Consistency-Preserving
    Model Evolution.” In <i>Proceedings of the International Workshop on Principles
    of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA)</i>,
    129–32. New York, NY, USA: ACM Press, 2002. <a href="http://doi.acm.org/10.1145/512035.512066">http://doi.acm.org/10.1145/512035.512066</a>.'
  ieee: G. Engels, J. Küster, and R. Heckel, “Towards Consistency-Preserving Model
    Evolution,” in <i>Proceedings of the International Workshop on Principles of Software
    Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)</i>, 2002, pp.
    129–132.
  mla: Engels, Gregor, et al. “Towards Consistency-Preserving Model Evolution.” <i>Proceedings
    of the International Workshop on Principles of Software Evolution(Satellite Event
    of the ICSE 02), Orlando, Florida (USA)</i>, ACM Press, 2002, pp. 129–32, doi:<a
    href="http://doi.acm.org/10.1145/512035.512066">http://doi.acm.org/10.1145/512035.512066</a>.
  short: 'G. Engels, J. Küster, R. Heckel, in: Proceedings of the International Workshop
    on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando,
    Florida (USA), ACM Press, New York, NY, USA, 2002, pp. 129–132.'
date_created: 2019-03-06T11:12:58Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://doi.acm.org/10.1145/512035.512066
language:
- iso: eng
page: 129-132
place: New York, NY, USA
publication: Proceedings of the International Workshop on Principles of Software Evolution(satellite
  event of the ICSE 02), Orlando, Florida (USA)
publisher: ACM Press
status: public
title: Towards Consistency-Preserving Model Evolution
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7788'
citation:
  ama: 'Engels G, Oberweis A, Zündorf A, eds. <i>Modellierung 2001</i>. Vol 1. Bonn:
    Gesellschaft für Informatik (GI); 2001.'
  apa: 'Engels, G., Oberweis, A., &#38; Zündorf, A. (Eds.). (2001). <i>Modellierung
    2001</i> (Vol. 1). Bonn: Gesellschaft für Informatik (GI).'
  bibtex: '@book{Engels_Oberweis_Zündorf_2001, place={Bonn}, series={Lecture Notes
    in Informatics}, title={Modellierung 2001}, volume={1}, publisher={Gesellschaft
    für Informatik (GI)}, year={2001}, collection={Lecture Notes in Informatics} }'
  chicago: 'Engels, Gregor, A. Oberweis, and Albert Zündorf, eds. <i>Modellierung
    2001</i>. Vol. 1. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik
    (GI), 2001.'
  ieee: 'G. Engels, A. Oberweis, and A. Zündorf, Eds., <i>Modellierung 2001</i>, vol.
    1. Bonn: Gesellschaft für Informatik (GI), 2001.'
  mla: Engels, Gregor, et al., editors. <i>Modellierung 2001</i>. Vol. 1, Gesellschaft
    für Informatik (GI), 2001.
  short: G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft
    für Informatik (GI), Bonn, 2001.
date_created: 2019-02-19T19:09:37Z
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: A.
  full_name: Oberweis, A.
  last_name: Oberweis
- first_name: Albert
  full_name: Zündorf, Albert
  last_name: Zündorf
intvolume: '         1'
language:
- iso: eng
place: Bonn
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Modellierung 2001
type: conference_editor
user_id: '52534'
volume: 1
year: '2001'
...
---
_id: '7884'
abstract:
- lang: eng
  text: Object-oriented modeling favors the modeling of object behavior from different
    viewpoints and at different levels of abstraction. This gives rise to consistency
    problems between overlapping or semantically related submodels. The absence of
    a formal semantics for the UML and the numerous ways of employing the language
    within the development process lead to a number of different consistency notions.
    Therefore, general meta-level techniques are required for specifying, analyzing,
    and communicating consistency constraints. In this paper, we discuss the issue
    of consistency of behavioral models in the UML and present techniques for specifying
    and analyzing consistency. Using meta-model rules we transform elements of UML
    models into a semantic domain. Then, consistency constraints can by specified
    and validated using the language and the tools of the semantic domain. This general
    methodology is exemplified by the problem of protocol statechart inheritance.
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: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: 'Engels G, Heckel R, Küster J. Rule-Based Specification of Behavioral Consistency
    Based on the UML Meta-model. In: <i>Proceedings of the Conference on The Unified
    Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto
    (Canada)</i>. Vol 2185. Berlin/Heidelberg: Springer; 2001:272-287. doi:<a href="http://dx.doi.org/10.1007/3-540-45441-1_21">http://dx.doi.org/10.1007/3-540-45441-1_21</a>'
  apa: 'Engels, G., Heckel, R., &#38; Küster, J. (2001). Rule-Based Specification
    of Behavioral Consistency Based on the UML Meta-model. In <i>Proceedings of the
    conference on The Unified Modeling Language, Modeling Languages, Concepts, and
    Tools (UML 2001), Toronto (Canada)</i> (Vol. 2185, pp. 272–287). Berlin/Heidelberg:
    Springer. <a href="http://dx.doi.org/10.1007/3-540-45441-1_21">http://dx.doi.org/10.1007/3-540-45441-1_21</a>'
  bibtex: '@inproceedings{Engels_Heckel_Küster_2001, place={Berlin/Heidelberg}, title={Rule-Based
    Specification of Behavioral Consistency Based on the UML Meta-model}, volume={2185},
    DOI={<a href="http://dx.doi.org/10.1007/3-540-45441-1_21">http://dx.doi.org/10.1007/3-540-45441-1_21</a>},
    booktitle={Proceedings of the conference on The Unified Modeling Language, Modeling
    Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}, publisher={Springer},
    author={Engels, Gregor and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={272–287}
    }'
  chicago: 'Engels, Gregor, Reiko Heckel, and Jochen Küster. “Rule-Based Specification
    of Behavioral Consistency Based on the UML Meta-Model.” In <i>Proceedings of the
    Conference on The Unified Modeling Language, Modeling Languages, Concepts, and
    Tools (UML 2001), Toronto (Canada)</i>, 2185:272–87. Berlin/Heidelberg: Springer,
    2001. <a href="http://dx.doi.org/10.1007/3-540-45441-1_21">http://dx.doi.org/10.1007/3-540-45441-1_21</a>.'
  ieee: G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral
    Consistency Based on the UML Meta-model,” in <i>Proceedings of the conference
    on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML
    2001), Toronto (Canada)</i>, 2001, vol. 2185, pp. 272–287.
  mla: Engels, Gregor, et al. “Rule-Based Specification of Behavioral Consistency
    Based on the UML Meta-Model.” <i>Proceedings of the Conference on The Unified
    Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto
    (Canada)</i>, vol. 2185, Springer, 2001, pp. 272–87, doi:<a href="http://dx.doi.org/10.1007/3-540-45441-1_21">http://dx.doi.org/10.1007/3-540-45441-1_21</a>.
  short: 'G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The
    Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001),
    Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.'
date_created: 2019-02-21T10:42:24Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45441-1_21
intvolume: '      2185'
language:
- iso: eng
page: 272-287
place: Berlin/Heidelberg
publication: Proceedings of the conference on The Unified Modeling Language, Modeling
  Languages, Concepts, and Tools (UML 2001), Toronto (Canada)
publisher: Springer
status: public
title: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
type: conference
user_id: '52534'
volume: 2185
year: '2001'
...
---
_id: '7885'
abstract:
- lang: eng
  text: Object-oriented modeling favors the modeling of object behavior from different
    viewpoints and the successive refinement of behavioral models in the development
    process. This gives rise to consistency problems of behavioral models. The absence
    of a formal semantics for UML models and the numerous possibilities of employing
    behavioral models within the development process lead to the rise of a number
    of different consistency notions. In this paper, w e discuss the issue of consistency
    of behavioral models in the UML and present a general methodology how consistency
    problems can be dealt with. According to the methodology, those aspects of the
    models relevant to the consistency are mapped to a semantic domain in which precise
    consistency tests can be formulated. The choice of the semantic domain and the
    definition of consistency conditions can be used to construct different consistency
    notions. We show the applicability of our methodology by giving an example of
    a concrete consistency problem of concurrent object-oriented models.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Engels G, Küster J, Groenewegen L, Heckel R. A methodology for specifying
    and analyzing consistency of object-oriented behavioral models. In: <i>Proceedings
    of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT
    Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)</i>.
    Vol 26. New York, NY, USA: ACM Press; 2001:186-195. doi:<a href="http://dx.doi.org/10.1145/503271.503235">http://dx.doi.org/10.1145/503271.503235</a>'
  apa: 'Engels, G., Küster, J., Groenewegen, L., &#38; Heckel, R. (2001). A methodology
    for specifying and analyzing consistency of object-oriented behavioral models.
    In <i>Proceedings of the 8th European Software Engineering Conference (ESEC 2001)
    and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9),
    Vienna (Austria)</i> (Vol. 26, pp. 186–195). New York, NY, USA: ACM Press. <a
    href="http://dx.doi.org/10.1145/503271.503235">http://dx.doi.org/10.1145/503271.503235</a>'
  bibtex: '@inproceedings{Engels_Küster_Groenewegen_Heckel_2001, place={New York,
    NY, USA}, title={A methodology for specifying and analyzing consistency of object-oriented
    behavioral models}, volume={26}, DOI={<a href="http://dx.doi.org/10.1145/503271.503235">http://dx.doi.org/10.1145/503271.503235</a>},
    number={5}, booktitle={Proceedings of the 8th European Software Engineering Conference
    (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (FSE-9), Vienna (Austria)}, publisher={ACM Press}, author={Engels, Gregor and
    Küster, Jochen and Groenewegen, Luuk and Heckel, Reiko}, year={2001}, pages={186–195}
    }'
  chicago: 'Engels, Gregor, Jochen Küster, Luuk Groenewegen, and Reiko Heckel. “A
    Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral
    Models.” In <i>Proceedings of the 8th European Software Engineering Conference
    (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (FSE-9), Vienna (Austria)</i>, 26:186–95. New York, NY, USA: ACM Press, 2001.
    <a href="http://dx.doi.org/10.1145/503271.503235">http://dx.doi.org/10.1145/503271.503235</a>.'
  ieee: G. Engels, J. Küster, L. Groenewegen, and R. Heckel, “A methodology for specifying
    and analyzing consistency of object-oriented behavioral models,” in <i>Proceedings
    of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT
    Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)</i>,
    2001, vol. 26, no. 5, pp. 186–195.
  mla: Engels, Gregor, et al. “A Methodology for Specifying and Analyzing Consistency
    of Object-Oriented Behavioral Models.” <i>Proceedings of the 8th European Software
    Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations
    of Software Engineering (FSE-9), Vienna (Austria)</i>, vol. 26, no. 5, ACM Press,
    2001, pp. 186–95, doi:<a href="http://dx.doi.org/10.1145/503271.503235">http://dx.doi.org/10.1145/503271.503235</a>.
  short: 'G. Engels, J. Küster, L. Groenewegen, R. Heckel, in: Proceedings of the
    8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium
    on the Foundations of Software Engineering (FSE-9), Vienna (Austria), ACM Press,
    New York, NY, USA, 2001, pp. 186–195.'
date_created: 2019-02-21T10:43:26Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1145/503271.503235
intvolume: '        26'
issue: '5'
language:
- iso: eng
page: 186-195
place: New York, NY, USA
publication: Proceedings of the 8th European Software Engineering Conference (ESEC
  2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9),
  Vienna (Austria)
publisher: ACM Press
status: public
title: A methodology for specifying and analyzing consistency of object-oriented behavioral
  models
type: conference
user_id: '52534'
volume: 26
year: '2001'
...
---
_id: '7887'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Heckel R, Engels G. Graph Transformation as a Meta Language for Dynamic Modeling
    and Model Evolution. In: <i>Proceeding of International Special Session on Formal
    Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on
    Software Maintenance and Reengineering), Lisbon (Portugal)</i>. Lisbon: Universidade
    Nova de Lisboa; 2001:42-47.'
  apa: 'Heckel, R., &#38; Engels, G. (2001). Graph Transformation as a Meta Language
    for Dynamic Modeling and Model Evolution. In <i>Proceeding of International Special
    Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with
    the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)</i>
    (pp. 42–47). Lisbon: Universidade Nova de Lisboa.'
  bibtex: '@inproceedings{Heckel_Engels_2001, place={Lisbon}, title={Graph Transformation
    as a Meta Language for Dynamic Modeling and Model Evolution}, number={UNL-DI-1-2001},
    booktitle={Proceeding of International Special Session on Formal Foundations of
    Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance
    and Reengineering), Lisbon (Portugal)}, publisher={Universidade Nova de Lisboa},
    author={Heckel, Reiko and Engels, Gregor}, year={2001}, pages={42–47} }'
  chicago: 'Heckel, Reiko, and Gregor Engels. “Graph Transformation as a Meta Language
    for Dynamic Modeling and Model Evolution.” In <i>Proceeding of International Special
    Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with
    the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)</i>,
    42–47. Lisbon: Universidade Nova de Lisboa, 2001.'
  ieee: R. Heckel and G. Engels, “Graph Transformation as a Meta Language for Dynamic
    Modeling and Model Evolution,” in <i>Proceeding of International Special Session
    on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference
    on Software Maintenance and Reengineering), Lisbon (Portugal)</i>, 2001, no. UNL-DI-1-2001,
    pp. 42–47.
  mla: Heckel, Reiko, and Gregor Engels. “Graph Transformation as a Meta Language
    for Dynamic Modeling and Model Evolution.” <i>Proceeding of International Special
    Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with
    the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)</i>,
    no. UNL-DI-1-2001, Universidade Nova de Lisboa, 2001, pp. 42–47.
  short: 'R. Heckel, G. Engels, in: Proceeding of International Special Session on
    Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference
    on Software Maintenance and Reengineering), Lisbon (Portugal), Universidade Nova
    de Lisboa, Lisbon, 2001, pp. 42–47.'
date_created: 2019-02-21T10:44:34Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
issue: UNL-DI-1-2001
language:
- iso: eng
page: 42-47
place: Lisbon
publication: Proceeding of International Special Session on Formal Foundations of
  Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance
  and Reengineering), Lisbon (Portugal)
publisher: Universidade Nova de Lisboa
status: public
title: Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7893'
abstract:
- lang: eng
  text: Availability of precise, yet usable modeling languages is essential to the
    construction of multimedia systems based on software engineering principles and
    methods. Although several languages have been proposed for the specification of
    isolated multimedia system aspects, there not yet exists an integrated modeling
    language that adequately supports multimedia software development in practice.
    We propose an extension of the Unified Modeling Language (UML) for the integrated
    specification of multimedia systems based on an object-oriented development method.
    Since integration of co-existing timed procedural and interactive behavior is
    at the heart of multimedia systems, we focus on UML-based specification of behavior
    in this paper. In addition, we outline how these behavioral aspects are to be
    integrated with media, presentation, and software architecture modeling to achieve
    a coherent and consistent model.
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-based Behavior Specification of Interactive Multimedia
    Applications. In: <i>Proceedings of the IEEE Symposia on Human Centric Computing
    Languages and Environments (HCC 2001), Stresa (Italy)</i>. Washington, DC, USA:
    IEEE Computer Society; 2001:248-255. doi:<a href="http://dx.doi.org/10.1109/HCC.2001.995271">http://dx.doi.org/10.1109/HCC.2001.995271</a>'
  apa: 'Sauer, S., &#38; Engels, G. (2001). UML-based Behavior Specification of Interactive
    Multimedia Applications. In <i>Proceedings of the IEEE Symposia on Human Centric
    Computing Languages and Environments (HCC 2001), Stresa (Italy)</i> (pp. 248–255).
    Washington, DC, USA: IEEE Computer Society. <a href="http://dx.doi.org/10.1109/HCC.2001.995271">http://dx.doi.org/10.1109/HCC.2001.995271</a>'
  bibtex: '@inproceedings{Sauer_Engels_2001, place={Washington, DC, USA}, title={UML-based
    Behavior Specification of Interactive Multimedia Applications}, DOI={<a href="http://dx.doi.org/10.1109/HCC.2001.995271">http://dx.doi.org/10.1109/HCC.2001.995271</a>},
    booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages
    and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society},
    author={Sauer, Stefan and Engels, Gregor}, year={2001}, pages={248–255} }'
  chicago: 'Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of
    Interactive Multimedia Applications.” In <i>Proceedings of the IEEE Symposia on
    Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>,
    248–55. Washington, DC, USA: IEEE Computer Society, 2001. <a href="http://dx.doi.org/10.1109/HCC.2001.995271">http://dx.doi.org/10.1109/HCC.2001.995271</a>.'
  ieee: S. Sauer and G. Engels, “UML-based Behavior Specification of Interactive Multimedia
    Applications,” in <i>Proceedings of the IEEE Symposia on Human Centric Computing
    Languages and Environments (HCC 2001), Stresa (Italy)</i>, 2001, pp. 248–255.
  mla: Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of Interactive
    Multimedia Applications.” <i>Proceedings of the IEEE Symposia on Human Centric
    Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, IEEE Computer
    Society, 2001, pp. 248–55, doi:<a href="http://dx.doi.org/10.1109/HCC.2001.995271">http://dx.doi.org/10.1109/HCC.2001.995271</a>.
  short: 'S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric
    Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer
    Society, Washington, DC, USA, 2001, pp. 248–255.'
date_created: 2019-02-21T10:50:19Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/HCC.2001.995271
language:
- iso: eng
page: 248-255
place: Washington, DC, USA
publication: Proceedings of the IEEE Symposia on Human Centric Computing Languages
  and Environments (HCC 2001), Stresa (Italy)
publisher: IEEE Computer Society
status: public
title: UML-based Behavior Specification of Interactive Multimedia Applications
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '8211'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
citation:
  ama: Engels G, Küster J, Groenewegen L. <i>On the Specification and Analysis of
    Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science;
    2001.
  apa: Engels, G., Küster, J., &#38; Groenewegen, L. (2001). <i>On the Specification
    and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of
    Computer Science.
  bibtex: '@book{Engels_Küster_Groenewegen_2001, title={On the Specification and Analysis
    of Protocols in UML-RT}, publisher={University of Paderborn, Department of Computer
    Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2001}
    }'
  chicago: Engels, Gregor, Jochen Küster, and Luuk Groenewegen. <i>On the Specification
    and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of
    Computer Science, 2001.
  ieee: G. Engels, J. Küster, and L. Groenewegen, <i>On the Specification and Analysis
    of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science,
    2001.
  mla: Engels, Gregor, et al. <i>On the Specification and Analysis of Protocols in
    UML-RT</i>. University of Paderborn, Department of Computer Science, 2001.
  short: G. Engels, J. Küster, L. Groenewegen, On the Specification and Analysis of
    Protocols in UML-RT, University of Paderborn, Department of Computer Science,
    2001.
date_created: 2019-03-03T16:13:09Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, Department of Computer Science
report_number: 01-221
status: public
title: On the Specification and Analysis of Protocols in UML-RT
type: report
user_id: '52534'
year: '2001'
...