---
_id: '7890'
abstract:
- lang: eng
  text: One important application of Petri nets is thespecification of workflows.
    Such a specification is needed, for example, when interoperability of the workflows
    is an issue, which is frequently the case when business processes of different
    organizations shall be integrated.A workflow net is a Petri net satisfying some
    structural constraints, like the existence of one initial and one final place,
    and a corresponding soundness condition.An interorganizational workflow is modeled
    as a set of such workflow nets connected through additional places for asynchronous
    communication and synchronization requirements on transitions.In this contribution
    we interpret an interorganizational workflow as acomposition of open nets. This
    allows us to project processes of the overall net to open processes of the local
    nets and,vice versa, to deduce the global behavior from the behavior of the components.Such
    a compositional uunderstanding of workflows can be used to simulate and test local
    workflow nets in an unknown environment, and it provides the semantic justification
    for reusable components.
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Heckel R. Open Petri Nets as Semantic Model for Business Process Integration.
    In: <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies
    for Modelling Communication Based Systems</i>. DFG Research Group “Petri Net Technology”;
    2001:129-134.'
  apa: Heckel, R. (2001). Open Petri Nets as Semantic Model for Business Process Integration.
    In <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies
    for Modelling Communication Based Systems</i> (pp. 129–134). DFG Research Group
    “Petri Net Technology.”
  bibtex: '@inproceedings{Heckel_2001, title={Open Petri Nets as Semantic Model for
    Business Process Integration}, booktitle={Proceedings of the 2nd International
    Colloquium on Petri Net Technologies for Modelling Communication Based Systems},
    publisher={DFG Research Group “Petri Net Technology”}, author={Heckel, Reiko},
    year={2001}, pages={129–134} }'
  chicago: Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process
    Integration.” In <i>Proceedings of the 2nd International Colloquium on Petri Net
    Technologies for Modelling Communication Based Systems</i>, 129–34. DFG Research
    Group “Petri Net Technology,” 2001.
  ieee: R. Heckel, “Open Petri Nets as Semantic Model for Business Process Integration,”
    in <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies
    for Modelling Communication Based Systems</i>, 2001, pp. 129–134.
  mla: Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process Integration.”
    <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for
    Modelling Communication Based Systems</i>, DFG Research Group “Petri Net Technology,”
    2001, pp. 129–34.
  short: 'R. Heckel, in: Proceedings of the 2nd International Colloquium on Petri
    Net Technologies for Modelling Communication Based Systems, DFG Research Group
    “Petri Net Technology,” 2001, pp. 129–134.'
date_created: 2019-02-21T10:47:49Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 129-134
publication: Proceedings of the 2nd International Colloquium on Petri Net Technologies
  for Modelling Communication Based Systems
publisher: DFG Research Group "Petri Net Technology"
status: public
title: Open Petri Nets as Semantic Model for Business Process Integration
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7891'
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 UML Collaboration Diagrams by State Transformations.
    In: <i>Proceedings of the 4th International Conference on Fundamental Approaches
    to Software Engineering (FASE 2001), Genova (Italy)</i>. Vol 2029. LNCS. London,
    UK: Springer; 2001:109-123. doi:<a href="http://dx.doi.org/10.1007/3-540-45314-8_9">http://dx.doi.org/10.1007/3-540-45314-8_9</a>'
  apa: 'Heckel, R., &#38; Sauer, S. (2001). Strengthening UML Collaboration Diagrams
    by State Transformations. In <i>Proceedings of the 4th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>
    (Vol. 2029, pp. 109–123). London, UK: Springer. <a href="http://dx.doi.org/10.1007/3-540-45314-8_9">http://dx.doi.org/10.1007/3-540-45314-8_9</a>'
  bibtex: '@inproceedings{Heckel_Sauer_2001, place={London, UK}, series={LNCS}, title={Strengthening
    UML Collaboration Diagrams by State Transformations}, volume={2029}, DOI={<a href="http://dx.doi.org/10.1007/3-540-45314-8_9">http://dx.doi.org/10.1007/3-540-45314-8_9</a>},
    booktitle={Proceedings of the 4th International Conference on Fundamental Approaches
    to Software Engineering (FASE 2001), Genova (Italy)}, publisher={Springer}, author={Heckel,
    Reiko and Sauer, Stefan}, year={2001}, pages={109–123}, collection={LNCS} }'
  chicago: 'Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams
    by State Transformations.” In <i>Proceedings of the 4th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>,
    2029:109–23. LNCS. London, UK: Springer, 2001. <a href="http://dx.doi.org/10.1007/3-540-45314-8_9">http://dx.doi.org/10.1007/3-540-45314-8_9</a>.'
  ieee: R. Heckel and S. Sauer, “Strengthening UML Collaboration Diagrams by State
    Transformations,” in <i>Proceedings of the 4th International Conference on Fundamental
    Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>, 2001, vol.
    2029, pp. 109–123.
  mla: Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams
    by State Transformations.” <i>Proceedings of the 4th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>,
    vol. 2029, Springer, 2001, pp. 109–23, doi:<a href="http://dx.doi.org/10.1007/3-540-45314-8_9">http://dx.doi.org/10.1007/3-540-45314-8_9</a>.
  short: 'R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy),
    Springer, London, UK, 2001, pp. 109–123.'
date_created: 2019-02-21T10:48:46Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45314-8_9
intvolume: '      2029'
language:
- iso: eng
page: 109-123
place: London, UK
publication: Proceedings of the 4th International Conference on Fundamental Approaches
  to Software Engineering (FASE 2001), Genova (Italy)
publisher: Springer
series_title: LNCS
status: public
title: Strengthening UML Collaboration Diagrams by State Transformations
type: conference
user_id: '52534'
volume: 2029
year: '2001'
...
---
_id: '7892'
author:
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: 'Küster J. Towards Behavior Consistent Modeling in UML-RT. In: <i>Proceedings
    of the Forum on Design Languages (FDL’01)</i>. Lyon, France; 2001.'
  apa: Küster, J. (2001). Towards Behavior Consistent Modeling in UML-RT. In <i>Proceedings
    of the Forum on Design Languages (FDL’01)</i>. Lyon, France.
  bibtex: '@inproceedings{Küster_2001, place={Lyon, France}, title={Towards Behavior
    Consistent Modeling in UML-RT}, booktitle={Proceedings of the Forum on Design
    Languages (FDL’01)}, author={Küster, Jochen}, year={2001} }'
  chicago: Küster, Jochen. “Towards Behavior Consistent Modeling in UML-RT.” In <i>Proceedings
    of the Forum on Design Languages (FDL’01)</i>. Lyon, France, 2001.
  ieee: J. Küster, “Towards Behavior Consistent Modeling in UML-RT,” in <i>Proceedings
    of the Forum on Design Languages (FDL’01)</i>, 2001.
  mla: Küster, Jochen. “Towards Behavior Consistent Modeling in UML-RT.” <i>Proceedings
    of the Forum on Design Languages (FDL’01)</i>, 2001.
  short: 'J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon,
    France, 2001.'
date_created: 2019-02-21T10:49:48Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
place: Lyon, France
publication: Proceedings of the Forum on Design Languages (FDL'01)
status: public
title: Towards Behavior Consistent Modeling in UML-RT
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: '7894'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Albert
  full_name: Zündorf, Albert
  last_name: Zündorf
citation:
  ama: 'Heckel R, Zündorf A. How to Specify a Graph Transformation Approach - A Meta
    Model for Fujaba. In: Ehrig H, Padberg J, eds. <i>Proceeding of the Workshop on
    Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001,
    Satellite Event of the ETAPS 2001)</i>. Vol 44. Electronic Notes in Theoretical
    Computer Science. Genova (Italy): Elsevier; 2001:41-51.'
  apa: 'Heckel, R., &#38; Zündorf, A. (2001). How to Specify a Graph Transformation
    Approach - A Meta Model for Fujaba. In H. Ehrig &#38; J. Padberg (Eds.), <i>Proceeding
    of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques
    (UNIGRA 2001, satellite event of the ETAPS 2001)</i> (Vol. 44, pp. 41–51). Genova
    (Italy): Elsevier.'
  bibtex: '@inproceedings{Heckel_Zündorf_2001, place={Genova (Italy)}, series={Electronic
    Notes in Theoretical Computer Science}, title={How to Specify a Graph Transformation
    Approach - A Meta Model for Fujaba}, volume={44}, booktitle={Proceeding of the
    workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA
    2001, satellite event of the ETAPS 2001)}, publisher={Elsevier}, author={Heckel,
    Reiko and Zündorf, Albert}, editor={Ehrig, H. and Padberg, J.Editors}, year={2001},
    pages={41–51}, collection={Electronic Notes in Theoretical Computer Science} }'
  chicago: 'Heckel, Reiko, and Albert Zündorf. “How to Specify a Graph Transformation
    Approach - A Meta Model for Fujaba.” In <i>Proceeding of the Workshop on Uniform
    Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite
    Event of the ETAPS 2001)</i>, edited by H. Ehrig and J. Padberg, 44:41–51. Electronic
    Notes in Theoretical Computer Science. Genova (Italy): Elsevier, 2001.'
  ieee: R. Heckel and A. Zündorf, “How to Specify a Graph Transformation Approach
    - A Meta Model for Fujaba,” in <i>Proceeding of the workshop on Uniform Approaches
    to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of
    the ETAPS 2001)</i>, 2001, vol. 44, pp. 41–51.
  mla: Heckel, Reiko, and Albert Zündorf. “How to Specify a Graph Transformation Approach
    - A Meta Model for Fujaba.” <i>Proceeding of the Workshop on Uniform Approaches
    to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of
    the ETAPS 2001)</i>, edited by H. Ehrig and J. Padberg, vol. 44, Elsevier, 2001,
    pp. 41–51.
  short: 'R. Heckel, A. Zündorf, in: H. Ehrig, J. Padberg (Eds.), Proceeding of the
    Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA
    2001, Satellite Event of the ETAPS 2001), Elsevier, Genova (Italy), 2001, pp.
    41–51.'
date_created: 2019-02-21T10:51:09Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
editor:
- first_name: H.
  full_name: Ehrig, H.
  last_name: Ehrig
- first_name: J.
  full_name: Padberg, J.
  last_name: Padberg
intvolume: '        44'
language:
- iso: eng
page: 41-51
place: Genova (Italy)
publication: Proceeding of the workshop on Uniform Approaches to Graphical Process
  Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: How to Specify a Graph Transformation Approach - A Meta Model for Fujaba
type: conference
user_id: '52534'
volume: 44
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'
...
---
_id: '7391'
author:
- first_name: Julia
  full_name: Padberg, Julia
  last_name: Padberg
- first_name: Lars
  full_name: Jansen, Lars
  last_name: Jansen
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: E.
  full_name: Schnieder, E.
  last_name: Schnieder
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Padberg J, Jansen L, Ehrig H, Schnieder E, Heckel R. Cooperability in Train
    Control Systems: Specification of Scenarios using Open Nets. <i>Transactions of
    the Society for Design and Process Science</i>. 2001;5(1):3-21.'
  apa: 'Padberg, J., Jansen, L., Ehrig, H., Schnieder, E., &#38; Heckel, R. (2001).
    Cooperability in Train Control Systems: Specification of Scenarios using Open
    Nets. <i>Transactions of the Society for Design and Process Science</i>, <i>5</i>(1),
    3–21.'
  bibtex: '@article{Padberg_Jansen_Ehrig_Schnieder_Heckel_2001, title={Cooperability
    in Train Control Systems: Specification of Scenarios using Open Nets}, volume={5},
    number={1}, journal={Transactions of the Society for Design and Process Science},
    author={Padberg, Julia and Jansen, Lars and Ehrig, Hartmut and Schnieder, E. and
    Heckel, Reiko}, year={2001}, pages={3–21} }'
  chicago: 'Padberg, Julia, Lars Jansen, Hartmut Ehrig, E. Schnieder, and Reiko Heckel.
    “Cooperability in Train Control Systems: Specification of Scenarios Using Open
    Nets.” <i>Transactions of the Society for Design and Process Science</i> 5, no.
    1 (2001): 3–21.'
  ieee: 'J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, and R. Heckel, “Cooperability
    in Train Control Systems: Specification of Scenarios using Open Nets,” <i>Transactions
    of the Society for Design and Process Science</i>, vol. 5, no. 1, pp. 3–21, 2001.'
  mla: 'Padberg, Julia, et al. “Cooperability in Train Control Systems: Specification
    of Scenarios Using Open Nets.” <i>Transactions of the Society for Design and Process
    Science</i>, vol. 5, no. 1, 2001, pp. 3–21.'
  short: J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of
    the Society for Design and Process Science 5 (2001) 3–21.
date_created: 2019-01-31T15:40:49Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         5'
issue: '1'
language:
- iso: eng
page: 3-21
publication: Transactions of the Society for Design and Process Science
status: public
title: 'Cooperability in Train Control Systems: Specification of Scenarios using Open
  Nets'
type: journal_article
user_id: '52534'
volume: 5
year: '2001'
...
---
_id: '7392'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Uwe
  full_name: Wolter, Uwe
  last_name: Wolter
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
citation:
  ama: Heckel R, Ehrig H, Wolter U, Corradini A. Double Pullback Transitions and Coalgebraic
    Loose Semantics for Graph Transformation Systems. <i>Applied Categorical Structures</i>.
    2001;9(1):83-110.
  apa: Heckel, R., Ehrig, H., Wolter, U., &#38; Corradini, A. (2001). Double Pullback
    Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
    <i>Applied Categorical Structures</i>, <i>9</i>(1), 83–110.
  bibtex: '@article{Heckel_Ehrig_Wolter_Corradini_2001, title={Double Pullback Transitions
    and Coalgebraic Loose Semantics for Graph Transformation Systems}, volume={9},
    number={1}, journal={Applied Categorical Structures}, author={Heckel, Reiko and
    Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={2001}, pages={83–110}
    }'
  chicago: 'Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Double
    Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation
    Systems.” <i>Applied Categorical Structures</i> 9, no. 1 (2001): 83–110.'
  ieee: R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Double Pullback Transitions
    and Coalgebraic Loose Semantics for Graph Transformation Systems,” <i>Applied
    Categorical Structures</i>, vol. 9, no. 1, pp. 83–110, 2001.
  mla: Heckel, Reiko, et al. “Double Pullback Transitions and Coalgebraic Loose Semantics
    for Graph Transformation Systems.” <i>Applied Categorical Structures</i>, vol.
    9, no. 1, 2001, pp. 83–110.
  short: R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures
    9 (2001) 83–110.
date_created: 2019-01-31T15:41:19Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         9'
issue: '1'
language:
- iso: eng
page: 83-110
publication: Applied Categorical Structures
status: public
title: Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation
  Systems
type: journal_article
user_id: '52534'
volume: 9
year: '2001'
...
---
_id: '7393'
abstract:
- lang: eng
  text: In this paper, we perform such an analysis and identify requirements for a
    general role concept. We develop such a role concept for a modeling approach based
    on the UML and graph transformation systems and exemplify its use for the specification
    (and application) of protocols. Finally, we provide a run-time semantics for roles
    based on concepts from the theory of graph transformation.
author:
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: Depke R, Heckel R, Küster J. Roles in Agent-Oriented Modeling. <i>International
    Journal of Software Engineering and Knowledge Engineering</i>. 2001;11(3):281-302.
    doi:<a href="http://dx.doi.org/10.1142/S0218194001000529">http://dx.doi.org/10.1142/S0218194001000529</a>
  apa: Depke, R., Heckel, R., &#38; Küster, J. (2001). Roles in Agent-Oriented Modeling.
    <i>International Journal of Software Engineering and Knowledge Engineering</i>,
    <i>11</i>(3), 281–302. <a href="http://dx.doi.org/10.1142/S0218194001000529">http://dx.doi.org/10.1142/S0218194001000529</a>
  bibtex: '@article{Depke_Heckel_Küster_2001, title={Roles in Agent-Oriented Modeling},
    volume={11}, DOI={<a href="http://dx.doi.org/10.1142/S0218194001000529">http://dx.doi.org/10.1142/S0218194001000529</a>},
    number={3}, journal={International Journal of Software Engineering and Knowledge
    Engineering}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001},
    pages={281–302} }'
  chicago: 'Depke, Ralph, Reiko Heckel, and Jochen Küster. “Roles in Agent-Oriented
    Modeling.” <i>International Journal of Software Engineering and Knowledge Engineering</i>
    11, no. 3 (2001): 281–302. <a href="http://dx.doi.org/10.1142/S0218194001000529">http://dx.doi.org/10.1142/S0218194001000529</a>.'
  ieee: R. Depke, R. Heckel, and J. Küster, “Roles in Agent-Oriented Modeling,” <i>International
    Journal of Software Engineering and Knowledge Engineering</i>, vol. 11, no. 3,
    pp. 281–302, 2001.
  mla: Depke, Ralph, et al. “Roles in Agent-Oriented Modeling.” <i>International Journal
    of Software Engineering and Knowledge Engineering</i>, vol. 11, no. 3, 2001, pp.
    281–302, doi:<a href="http://dx.doi.org/10.1142/S0218194001000529">http://dx.doi.org/10.1142/S0218194001000529</a>.
  short: R. Depke, R. Heckel, J. Küster, International Journal of Software Engineering
    and Knowledge Engineering 11 (2001) 281–302.
date_created: 2019-01-31T15:41:42Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S0218194001000529
intvolume: '        11'
issue: '3'
language:
- iso: eng
page: 281-302
publication: International Journal of Software Engineering and Knowledge Engineering
status: public
title: Roles in Agent-Oriented Modeling
type: journal_article
user_id: '52534'
volume: 11
year: '2001'
...
---
_id: '7394'
author:
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
- first_name: Martin
  full_name: Große-Rhode, Martin
  last_name: Große-Rhode
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: Corradini A, Große-Rhode M, Heckel R. A Coalgebraic presentation of structured
    transition systems. <i>Theoretical Computer Science</i>. 2001;260(1-2):27-55.
    doi:<a href="http://dx.doi.org/10.1016/S0304-3975(00)00121-3">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>
  apa: Corradini, A., Große-Rhode, M., &#38; Heckel, R. (2001). A Coalgebraic presentation
    of structured transition systems. <i>Theoretical Computer Science</i>, <i>260</i>(1–2),
    27–55. <a href="http://dx.doi.org/10.1016/S0304-3975(00)00121-3">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>
  bibtex: '@article{Corradini_Große-Rhode_Heckel_2001, title={A Coalgebraic presentation
    of structured transition systems}, volume={260}, DOI={<a href="http://dx.doi.org/10.1016/S0304-3975(00)00121-3">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>},
    number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea
    and Große-Rhode, Martin and Heckel, Reiko}, year={2001}, pages={27–55} }'
  chicago: 'Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “A Coalgebraic
    Presentation of Structured Transition Systems.” <i>Theoretical Computer Science</i>
    260, no. 1–2 (2001): 27–55. <a href="http://dx.doi.org/10.1016/S0304-3975(00)00121-3">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>.'
  ieee: A. Corradini, M. Große-Rhode, and R. Heckel, “A Coalgebraic presentation of
    structured transition systems,” <i>Theoretical Computer Science</i>, vol. 260,
    no. 1–2, pp. 27–55, 2001.
  mla: Corradini, Andrea, et al. “A Coalgebraic Presentation of Structured Transition
    Systems.” <i>Theoretical Computer Science</i>, vol. 260, no. 1–2, 2001, pp. 27–55,
    doi:<a href="http://dx.doi.org/10.1016/S0304-3975(00)00121-3">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>.
  short: A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260
    (2001) 27–55.
date_created: 2019-01-31T15:42:22Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S0304-3975(00)00121-3
intvolume: '       260'
issue: 1-2
language:
- iso: eng
page: 27-55
publication: Theoretical Computer Science
status: public
title: A Coalgebraic presentation of structured transition systems
type: journal_article
user_id: '52534'
volume: 260
year: '2001'
...
---
_id: '7395'
abstract:
- lang: ger
  text: Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen
    durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger
    Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst
    ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen,
    die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein
    einheitliches Verständnis des Modells ermöglicht.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jens
  full_name: Gaulke, Jens
  last_name: Gaulke
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: Engels G, Gaulke J, Sauer S. Modelle für automobile Software - Objektorientierte
    Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil. <i>Forschungsforum
    Paderborn</i>. 2001;4:24-29.
  apa: Engels, G., Gaulke, J., &#38; Sauer, S. (2001). Modelle für automobile Software
    - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen
    im Automobil. <i>Forschungsforum Paderborn</i>, <i>4</i>, 24–29.
  bibtex: '@article{Engels_Gaulke_Sauer_2001, title={Modelle für automobile Software
    - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen
    im Automobil}, volume={4}, journal={Forschungsforum Paderborn}, author={Engels,
    Gregor and Gaulke, Jens and Sauer, Stefan}, year={2001}, pages={24–29} }'
  chicago: 'Engels, Gregor, Jens Gaulke, and Stefan Sauer. “Modelle Für Automobile
    Software - Objektorientierte Modellierung von Eingebetteten, Interaktiven Softwaresystemen
    Im Automobil.” <i>Forschungsforum Paderborn</i> 4 (2001): 24–29.'
  ieee: G. Engels, J. Gaulke, and S. Sauer, “Modelle für automobile Software - Objektorientierte
    Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil,” <i>Forschungsforum
    Paderborn</i>, vol. 4, pp. 24–29, 2001.
  mla: Engels, Gregor, et al. “Modelle Für Automobile Software - Objektorientierte
    Modellierung von Eingebetteten, Interaktiven Softwaresystemen Im Automobil.” <i>Forschungsforum
    Paderborn</i>, vol. 4, 2001, pp. 24–29.
  short: G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
date_created: 2019-01-31T15:42:58Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         4'
language:
- iso: eng
page: 24-29
publication: Forschungsforum Paderborn
status: public
title: Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten,
  interaktiven Softwaresystemen im Automobil
type: journal_article
user_id: '52534'
volume: 4
year: '2001'
...
---
_id: '8355'
author:
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
- first_name: Annika
  full_name: Wagner, Annika
  last_name: Wagner
citation:
  ama: 'Lohmann M, Wagner A. Using an XML-capable mailtool for the communication in
    software development projects. In: <i>Proceedings of the Workshop on XML Technologies
    and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada)</i>.
    ; 2001.'
  apa: Lohmann, M., &#38; Wagner, A. (2001). Using an XML-capable mailtool for the
    communication in software development projects. In <i>Proceedings of the Workshop
    on XML Technologies and Software Engineering (XSE; satellite event of the ICSE
    2001), Toronto (Canada)</i>.
  bibtex: '@inproceedings{Lohmann_Wagner_2001, title={Using an XML-capable mailtool
    for the communication in software development projects}, booktitle={Proceedings
    of the Workshop on XML Technologies and Software Engineering (XSE; satellite event
    of the ICSE 2001), Toronto (Canada)}, author={Lohmann, Marc and Wagner, Annika},
    year={2001} }'
  chicago: Lohmann, Marc, and Annika Wagner. “Using an XML-Capable Mailtool for the
    Communication in Software Development Projects.” In <i>Proceedings of the Workshop
    on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE
    2001), Toronto (Canada)</i>, 2001.
  ieee: M. Lohmann and A. Wagner, “Using an XML-capable mailtool for the communication
    in software development projects,” in <i>Proceedings of the Workshop on XML Technologies
    and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada)</i>,
    2001.
  mla: Lohmann, Marc, and Annika Wagner. “Using an XML-Capable Mailtool for the Communication
    in Software Development Projects.” <i>Proceedings of the Workshop on XML Technologies
    and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada)</i>,
    2001.
  short: 'M. Lohmann, A. Wagner, in: Proceedings of the Workshop on XML Technologies
    and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada),
    2001.'
date_created: 2019-03-06T11:12:46Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on XML Technologies and Software Engineering
  (XSE; satellite event of the ICSE 2001), Toronto (Canada)
status: public
title: Using an XML-capable mailtool for the communication in software development
  projects
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '8356'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Katharina
  full_name: Mehner, Katharina
  last_name: Mehner
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
citation:
  ama: 'Schattkowsky T, Mehner K, Depke R. Using UML models for the Description of
    Concurrent Behavior in Component Interfaces. In: <i>Proceedings of the Workshop
    on Concurrency Issues of the UML (Satellite Event of the International Conference
    on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>. ; 2001.'
  apa: Schattkowsky, T., Mehner, K., &#38; Depke, R. (2001). Using UML models for
    the Description of Concurrent Behavior in Component Interfaces. In <i>Proceedings
    of the Workshop on Concurrency Issues of the UML (satellite event of the International
    Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>.
  bibtex: '@inproceedings{Schattkowsky_Mehner_Depke_2001, title={Using UML models
    for the Description of Concurrent Behavior in Component Interfaces}, booktitle={Proceedings
    of the Workshop on Concurrency Issues of the UML (satellite event of the International
    Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)}, author={Schattkowsky,
    Tim and Mehner, Katharina and Depke, Ralph}, year={2001} }'
  chicago: Schattkowsky, Tim, Katharina Mehner, and Ralph Depke. “Using UML Models
    for the Description of Concurrent Behavior in Component Interfaces.” In <i>Proceedings
    of the Workshop on Concurrency Issues of the UML (Satellite Event of the International
    Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>,
    2001.
  ieee: T. Schattkowsky, K. Mehner, and R. Depke, “Using UML models for the Description
    of Concurrent Behavior in Component Interfaces,” in <i>Proceedings of the Workshop
    on Concurrency Issues of the UML (satellite event of the International Conference
    on the Unified Modeling Language - UML 2001), Toronto (Canada)</i>, 2001.
  mla: Schattkowsky, Tim, et al. “Using UML Models for the Description of Concurrent
    Behavior in Component Interfaces.” <i>Proceedings of the Workshop on Concurrency
    Issues of the UML (Satellite Event of the International Conference on the Unified
    Modeling Language - UML 2001), Toronto (Canada)</i>, 2001.
  short: 'T. Schattkowsky, K. Mehner, R. Depke, in: Proceedings of the Workshop on
    Concurrency Issues of the UML (Satellite Event of the International Conference
    on the Unified Modeling Language - UML 2001), Toronto (Canada), 2001.'
date_created: 2019-03-06T11:12:47Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on Concurrency Issues of the UML (satellite
  event of the International Conference on the Unified Modeling Language - UML 2001),
  Toronto (Canada)
status: public
title: Using UML models for the Description of Concurrent Behavior in Component Interfaces
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '8357'
author:
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: 'Depke R, Heckel R, Küster J. Agent-oriented Modeling with Graph Transformation.
    In: <i>Proceedings of the First International Workshop on Agent-Oriented Software
    Engineering (AOSE 2000), Limerick (Ireland)</i>. Vol 1957. LNCS. Berlin/Heidelberg:
    Springer; 2001:105-120. doi:<a href="http://dx.doi.org/10.1007/3-540-44564-1_7">http://dx.doi.org/10.1007/3-540-44564-1_7</a>'
  apa: 'Depke, R., Heckel, R., &#38; Küster, J. (2001). Agent-oriented Modeling with
    Graph Transformation. In <i>Proceedings of the First international workshop on
    Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)</i> (Vol.
    1957, pp. 105–120). Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/3-540-44564-1_7">http://dx.doi.org/10.1007/3-540-44564-1_7</a>'
  bibtex: '@inproceedings{Depke_Heckel_Küster_2001, place={Berlin/Heidelberg}, series={LNCS},
    title={Agent-oriented Modeling with Graph Transformation}, volume={1957}, DOI={<a
    href="http://dx.doi.org/10.1007/3-540-44564-1_7">http://dx.doi.org/10.1007/3-540-44564-1_7</a>},
    booktitle={Proceedings of the First international workshop on Agent-oriented software
    engineering (AOSE 2000), Limerick (Ireland)}, publisher={Springer}, author={Depke,
    Ralph and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={105–120}, collection={LNCS}
    }'
  chicago: 'Depke, Ralph, Reiko Heckel, and Jochen Küster. “Agent-Oriented Modeling
    with Graph Transformation.” In <i>Proceedings of the First International Workshop
    on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland)</i>, 1957:105–20.
    LNCS. Berlin/Heidelberg: Springer, 2001. <a href="http://dx.doi.org/10.1007/3-540-44564-1_7">http://dx.doi.org/10.1007/3-540-44564-1_7</a>.'
  ieee: R. Depke, R. Heckel, and J. Küster, “Agent-oriented Modeling with Graph Transformation,”
    in <i>Proceedings of the First international workshop on Agent-oriented software
    engineering (AOSE 2000), Limerick (Ireland)</i>, 2001, vol. 1957, pp. 105–120.
  mla: Depke, Ralph, et al. “Agent-Oriented Modeling with Graph Transformation.” <i>Proceedings
    of the First International Workshop on Agent-Oriented Software Engineering (AOSE
    2000), Limerick (Ireland)</i>, vol. 1957, Springer, 2001, pp. 105–20, doi:<a href="http://dx.doi.org/10.1007/3-540-44564-1_7">http://dx.doi.org/10.1007/3-540-44564-1_7</a>.
  short: 'R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International
    Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland),
    Springer, Berlin/Heidelberg, 2001, pp. 105–120.'
date_created: 2019-03-06T11:12:49Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-44564-1_7
intvolume: '      1957'
language:
- iso: eng
page: 105-120
place: Berlin/Heidelberg
publication: Proceedings of the First international workshop on Agent-oriented software
  engineering (AOSE 2000), Limerick (Ireland)
publisher: Springer
series_title: LNCS
status: public
title: Agent-oriented Modeling with Graph Transformation
type: conference
user_id: '52534'
volume: 1957
year: '2001'
...
---
_id: '8358'
author:
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
- first_name: Katharina
  full_name: Mehner, Katharina
  last_name: Mehner
citation:
  ama: 'Depke R, Mehner K. “Separation of Concern” mit Rollen, Subjekten und Aspekten.
    In: <i>Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe
    2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)</i>.
    Technical Report. Universität Paderborn; 2001:1-7.'
  apa: Depke, R., &#38; Mehner, K. (2001). “Separation of Concern” mit Rollen, Subjekten
    und Aspekten. In <i>Proceedings of the workshop on Aspektorientierung - Workshop
    der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn
    (Germany)</i> (pp. 1–7). Universität Paderborn.
  bibtex: '@inproceedings{Depke_Mehner_2001, series={Technical Report}, title={“Separation
    of Concern” mit Rollen, Subjekten und Aspekten}, number={tr-ri-01-223}, booktitle={Proceedings
    of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte
    Software-Entwicklung (2001), Paderborn (Germany)}, publisher={Universität Paderborn},
    author={Depke, Ralph and Mehner, Katharina}, year={2001}, pages={1–7}, collection={Technical
    Report} }'
  chicago: Depke, Ralph, and Katharina Mehner. “‘Separation of Concern’ Mit Rollen,
    Subjekten Und Aspekten.” In <i>Proceedings of the Workshop on Aspektorientierung
    - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001),
    Paderborn (Germany)</i>, 1–7. Technical Report. Universität Paderborn, 2001.
  ieee: R. Depke and K. Mehner, “‘Separation of Concern’ mit Rollen, Subjekten und
    Aspekten,” in <i>Proceedings of the workshop on Aspektorientierung - Workshop
    der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn
    (Germany)</i>, 2001, no. tr-ri-01-223, pp. 1–7.
  mla: Depke, Ralph, and Katharina Mehner. “‘Separation of Concern’ Mit Rollen, Subjekten
    Und Aspekten.” <i>Proceedings of the Workshop on Aspektorientierung - Workshop
    Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn
    (Germany)</i>, no. tr-ri-01-223, Universität Paderborn, 2001, pp. 1–7.
  short: 'R. Depke, K. Mehner, in: Proceedings of the Workshop on Aspektorientierung
    - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001),
    Paderborn (Germany), Universität Paderborn, 2001, pp. 1–7.'
date_created: 2019-03-06T11:12:50Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
issue: tr-ri-01-223
language:
- iso: eng
page: 1-7
publication: Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe
  2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)
publisher: Universität Paderborn
series_title: Technical Report
status: public
title: '"Separation of Concern" mit Rollen, Subjekten und Aspekten'
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '8359'
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
citation:
  ama: 'Engels G, Küster J. Enhancing UML-RT Concepts for Behavioral Consistent Architecture
    Models. In: <i>Proceedings of the 1st Workshop on Describing Software Architecture
    with UML (Satellite Event of the ICSE 2001), Toronto (Canada)</i>. ; 2001.'
  apa: Engels, G., &#38; Küster, J. (2001). Enhancing UML-RT Concepts for Behavioral
    Consistent Architecture Models. In <i>Proceedings of the 1st Workshop on Describing
    Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)</i>.
  bibtex: '@inproceedings{Engels_Küster_2001, title={Enhancing UML-RT Concepts for
    Behavioral Consistent Architecture Models}, booktitle={Proceedings of the 1st
    Workshop on Describing Software Architecture with UML (satellite event of the
    ICSE 2001), Toronto (Canada)}, author={Engels, Gregor and Küster, Jochen}, year={2001}
    }'
  chicago: Engels, Gregor, and Jochen Küster. “Enhancing UML-RT Concepts for Behavioral
    Consistent Architecture Models.” In <i>Proceedings of the 1st Workshop on Describing
    Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada)</i>,
    2001.
  ieee: G. Engels and J. Küster, “Enhancing UML-RT Concepts for Behavioral Consistent
    Architecture Models,” in <i>Proceedings of the 1st Workshop on Describing Software
    Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)</i>,
    2001.
  mla: Engels, Gregor, and Jochen Küster. “Enhancing UML-RT Concepts for Behavioral
    Consistent Architecture Models.” <i>Proceedings of the 1st Workshop on Describing
    Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada)</i>,
    2001.
  short: 'G. Engels, J. Küster, in: Proceedings of the 1st Workshop on Describing
    Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada),
    2001.'
date_created: 2019-03-06T11:12:51Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 1st Workshop on Describing Software Architecture with
  UML (satellite event of the ICSE 2001), Toronto (Canada)
status: public
title: Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '8360'
abstract:
- lang: eng
  text: Although UMS sequence diagrams are widely used in practical software development,
    there is still a great demand for improvements. Their use both within and outside
    the standard interpretation of the UML specification is not seldom confused because
    different interpretations for sequence diagrams exist without means to distinguish
    between them. Furthermore, alternative sequence diagram notations with more syntactical
    features and different semantics still have a big influence and are readily used
    (explicitly as well as implicitly) alongside UML's sequence diagrams.
author:
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Hendrik Hausmann J, Küster J, Sauer S. Identifiying Semantic Dimensions of
    (UML) Sequence Diagrams. In: <i>Proceedings of the Workshop on Practical UML-Based
    Rigorous Development Methods - Countering or Integrating the EXtremists (PUML,
    Colocated with the UML 2001), Toronto (Canada)</i>. Vol 7. Lecture Notes in Informatics.
    Bonn: Gesellschaft für Informatik (GI); 2001:142-157.'
  apa: 'Hendrik Hausmann, J., Küster, J., &#38; Sauer, S. (2001). Identifiying Semantic
    Dimensions of (UML) Sequence Diagrams. In <i>Proceedings of the workshop on Practical
    UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
    (pUML, colocated with the UML 2001), Toronto (Canada)</i> (Vol. 7, pp. 142–157).
    Bonn: Gesellschaft für Informatik (GI).'
  bibtex: '@inproceedings{Hendrik Hausmann_Küster_Sauer_2001, place={Bonn}, series={Lecture
    Notes in Informatics}, title={Identifiying Semantic Dimensions of (UML) Sequence
    Diagrams}, volume={7}, booktitle={Proceedings of the workshop on Practical UML-Based
    Rigorous Development Methods - Countering or Integrating the eXtremists (pUML,
    colocated with the UML 2001), Toronto (Canada)}, publisher={Gesellschaft für Informatik
    (GI)}, author={Hendrik Hausmann, Jan and Küster, Jochen and Sauer, Stefan}, year={2001},
    pages={142–157}, collection={Lecture Notes in Informatics} }'
  chicago: 'Hendrik Hausmann, Jan, Jochen Küster, and Stefan Sauer. “Identifiying
    Semantic Dimensions of (UML) Sequence Diagrams.” In <i>Proceedings of the Workshop
    on Practical UML-Based Rigorous Development Methods - Countering or Integrating
    the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada)</i>, 7:142–57.
    Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2001.'
  ieee: J. Hendrik Hausmann, J. Küster, and S. Sauer, “Identifiying Semantic Dimensions
    of (UML) Sequence Diagrams,” in <i>Proceedings of the workshop on Practical UML-Based
    Rigorous Development Methods - Countering or Integrating the eXtremists (pUML,
    colocated with the UML 2001), Toronto (Canada)</i>, 2001, vol. 7, pp. 142–157.
  mla: Hendrik Hausmann, Jan, et al. “Identifiying Semantic Dimensions of (UML) Sequence
    Diagrams.” <i>Proceedings of the Workshop on Practical UML-Based Rigorous Development
    Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML
    2001), Toronto (Canada)</i>, vol. 7, Gesellschaft für Informatik (GI), 2001, pp.
    142–57.
  short: 'J. Hendrik Hausmann, J. Küster, S. Sauer, in: Proceedings of the Workshop
    on Practical UML-Based Rigorous Development Methods - Countering or Integrating
    the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada), Gesellschaft
    für Informatik (GI), Bonn, 2001, pp. 142–157.'
date_created: 2019-03-06T11:12:52Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: '         7'
language:
- iso: eng
page: 142-157
place: Bonn
publication: Proceedings of the workshop on Practical UML-Based Rigorous Development
  Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML
  2001), Toronto (Canada)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Identifiying Semantic Dimensions of (UML) Sequence Diagrams
type: conference
user_id: '52534'
volume: 7
year: '2001'
...
---
_id: '8361'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: 'Heckel R, Küster J. Behavioral Constraints for Visual Models. In: <i>Proceeding
    of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT
    2001, Satellite Event of the ICALP 2001), Heraklion (Greece)</i>. Vol 50. Electronic
    Notes in Theoretical Computer Science. Elsevier; 2001. doi:<a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X">dx.doi.org/10.1016/S1571-0661(04)00177-X</a>'
  apa: Heckel, R., &#38; Küster, J. (2001). Behavioral Constraints for Visual Models.
    In <i>Proceeding of the Workshop on Graph Transformation and Visual Modelling
    Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)</i>
    (Vol. 50). Elsevier. <a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X</a>
  bibtex: '@inproceedings{Heckel_Küster_2001, series={Electronic Notes in Theoretical
    Computer Science}, title={Behavioral Constraints for Visual Models}, volume={50},
    DOI={<a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X">dx.doi.org/10.1016/S1571-0661(04)00177-X</a>},
    number={3}, booktitle={Proceeding of the Workshop on Graph Transformation and
    Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001),
    Heraklion (Greece)}, publisher={Elsevier}, author={Heckel, Reiko and Küster, Jochen},
    year={2001}, collection={Electronic Notes in Theoretical Computer Science} }'
  chicago: Heckel, Reiko, and Jochen Küster. “Behavioral Constraints for Visual Models.”
    In <i>Proceeding of the Workshop on Graph Transformation and Visual Modelling
    Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece)</i>,
    Vol. 50. Electronic Notes in Theoretical Computer Science. Elsevier, 2001. <a
    href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X</a>.
  ieee: R. Heckel and J. Küster, “Behavioral Constraints for Visual Models,” in <i>Proceeding
    of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT
    2001, satellite event of the ICALP 2001), Heraklion (Greece)</i>, 2001, vol. 50,
    no. 3.
  mla: Heckel, Reiko, and Jochen Küster. “Behavioral Constraints for Visual Models.”
    <i>Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques
    (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece)</i>, vol.
    50, no. 3, Elsevier, 2001, doi:<a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X">dx.doi.org/10.1016/S1571-0661(04)00177-X</a>.
  short: 'R. Heckel, J. Küster, in: Proceeding of the Workshop on Graph Transformation
    and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001),
    Heraklion (Greece), Elsevier, 2001.'
date_created: 2019-03-06T11:12:53Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: dx.doi.org/10.1016/S1571-0661(04)00177-X
intvolume: '        50'
issue: '3'
language:
- iso: eng
publication: Proceeding of the Workshop on Graph Transformation and Visual Modelling
  Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Behavioral Constraints for Visual Models
type: conference
user_id: '52534'
volume: 50
year: '2001'
...
---
_id: '8362'
author:
- first_name: Katharina
  full_name: Mehner, Katharina
  last_name: Mehner
- first_name: Bernd
  full_name: Weymann, Bernd
  last_name: Weymann
citation:
  ama: 'Mehner K, Weymann B. Visualization and Debugging of Concurrent Java Programs
    with UML. In: <i>Proceedings of the Workshop on Software Visualization (Satellite
    Event of the International Conference on Software Engineering - ICSE 2001), Toronto
    (Canada)</i>. ; 2001.'
  apa: Mehner, K., &#38; Weymann, B. (2001). Visualization and Debugging of Concurrent
    Java Programs with UML. In <i>Proceedings of the Workshop on Software Visualization
    (satellite event of the International Conference on Software Engineering - ICSE
    2001), Toronto (Canada)</i>.
  bibtex: '@inproceedings{Mehner_Weymann_2001, title={Visualization and Debugging
    of Concurrent Java Programs with UML}, booktitle={Proceedings of the Workshop
    on Software Visualization (satellite event of the International Conference on
    Software Engineering - ICSE 2001), Toronto (Canada)}, author={Mehner, Katharina
    and Weymann, Bernd}, year={2001} }'
  chicago: Mehner, Katharina, and Bernd Weymann. “Visualization and Debugging of Concurrent
    Java Programs with UML.” In <i>Proceedings of the Workshop on Software Visualization
    (Satellite Event of the International Conference on Software Engineering - ICSE
    2001), Toronto (Canada)</i>, 2001.
  ieee: K. Mehner and B. Weymann, “Visualization and Debugging of Concurrent Java
    Programs with UML,” in <i>Proceedings of the Workshop on Software Visualization
    (satellite event of the International Conference on Software Engineering - ICSE
    2001), Toronto (Canada)</i>, 2001.
  mla: Mehner, Katharina, and Bernd Weymann. “Visualization and Debugging of Concurrent
    Java Programs with UML.” <i>Proceedings of the Workshop on Software Visualization
    (Satellite Event of the International Conference on Software Engineering - ICSE
    2001), Toronto (Canada)</i>, 2001.
  short: 'K. Mehner, B. Weymann, in: Proceedings of the Workshop on Software Visualization
    (Satellite Event of the International Conference on Software Engineering - ICSE
    2001), Toronto (Canada), 2001.'
date_created: 2019-03-06T11:12:55Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on Software Visualization (satellite event
  of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)
status: public
title: Visualization and Debugging of Concurrent Java Programs with UML
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7790'
citation:
  ama: 'Ehrig H, Engels G, Kreowksi H-J, Taentzer G, eds. <i>Special Issue: Selected
    Papers of GRATRA 2000</i>. Vol 44. Amsterdam, The Netherlands: Elsevier; 2000.'
  apa: 'Ehrig, H., Engels, G., Kreowksi, H.-J., &#38; Taentzer, G. (Eds.). (2000).
    <i>Special Issue: Selected Papers of GRATRA 2000</i> (Vol. 44). Amsterdam, The
    Netherlands: Elsevier.'
  bibtex: '@book{Ehrig_Engels_Kreowksi_Taentzer_2000, place={Amsterdam, The Netherlands},
    series={Science of Computer Programming}, title={Special Issue: Selected Papers
    of GRATRA 2000}, volume={44}, number={2}, publisher={Elsevier}, year={2000}, collection={Science
    of Computer Programming} }'
  chicago: 'Ehrig, Hartmut, Gregor Engels, H.-J. Kreowksi, and Gabriele Taentzer,
    eds. <i>Special Issue: Selected Papers of GRATRA 2000</i>. Vol. 44. Science of
    Computer Programming. Amsterdam, The Netherlands: Elsevier, 2000.'
  ieee: 'H. Ehrig, G. Engels, H.-J. Kreowksi, and G. Taentzer, Eds., <i>Special Issue:
    Selected Papers of GRATRA 2000</i>, vol. 44, no. 2. Amsterdam, The Netherlands:
    Elsevier, 2000.'
  mla: 'Ehrig, Hartmut, et al., editors. <i>Special Issue: Selected Papers of GRATRA
    2000</i>. Vol. 44, no. 2, Elsevier, 2000.'
  short: 'H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected
    Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.'
date_created: 2019-02-19T19:12:26Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: H.-J.
  full_name: Kreowksi, H.-J.
  last_name: Kreowksi
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
intvolume: '        44'
issue: '2'
language:
- iso: eng
place: Amsterdam, The Netherlands
publisher: Elsevier
series_title: Science of Computer Programming
status: public
title: 'Special Issue: Selected Papers of GRATRA 2000'
type: conference_editor
user_id: '52534'
volume: 44
year: '2000'
...