---
_id: '7534'
abstract:
- lang: eng
  text: This article presents the E-COLLEG Tool Registration and Management Services
    (TRMS) with open XML-based data exchange, tool integration and remote invocation
    capabilities. TRMS is a workflow management middleware tailored to distance spanning
    engineering collaboration and security enabled data exchange. The infrastructure
    is validated through two industrial Intranet-crossing case studies between Polish,
    French, and German chip manufacturing industries applying real-world development
    scenarios. In both application scenarios, common engineering practices have been
    identified and built into engineering workflows. Further, the current truly pan-European
    collaborative industrial scenarios show promising results with respect to the
    stability of the implemented software and easy application and flexibility of
    the provided interfaces.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Mueller, Wolfgang
  last_name: Mueller
- first_name: Adam
  full_name: Pawlak, Adam
  last_name: Pawlak
citation:
  ama: 'Schattkowsky T, Mueller W, Pawlak A. Workflow Management Middleware for Secure
    Distance-Spanning Collaborative Engineering. In: Fischer L, ed. <i>Workflow Handbook
    2004</i>. Lighthouse Point, FL: Workflow Management Coalition; 2004:5-14.'
  apa: 'Schattkowsky, T., Mueller, W., &#38; Pawlak, A. (2004). Workflow Management
    Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer
    (Ed.), <i>Workflow Handbook 2004</i> (pp. 5–14). Lighthouse Point, FL: Workflow
    Management Coalition.'
  bibtex: '@inbook{Schattkowsky_Mueller_Pawlak_2004, place={Lighthouse Point, FL},
    title={Workflow Management Middleware for Secure Distance-Spanning Collaborative
    Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management
    Coalition}, author={Schattkowsky, Tim and Mueller, Wolfgang and Pawlak, Adam},
    editor={Fischer, L. Editor}, year={2004}, pages={5–14} }'
  chicago: 'Schattkowsky, Tim, Wolfgang Mueller, and Adam Pawlak. “Workflow Management
    Middleware for Secure Distance-Spanning Collaborative Engineering.” In <i>Workflow
    Handbook 2004</i>, edited by L.  Fischer, 5–14. Lighthouse Point, FL: Workflow
    Management Coalition, 2004.'
  ieee: 'T. Schattkowsky, W. Mueller, and A. Pawlak, “Workflow Management Middleware
    for Secure Distance-Spanning Collaborative Engineering,” in <i>Workflow Handbook
    2004</i>, L. Fischer, Ed. Lighthouse Point, FL: Workflow Management Coalition,
    2004, pp. 5–14.'
  mla: Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning
    Collaborative Engineering.” <i>Workflow Handbook 2004</i>, edited by L.  Fischer,
    Workflow Management Coalition, 2004, pp. 5–14.
  short: 'T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook
    2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.'
date_created: 2019-02-05T12:11:41Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'L. '
  full_name: 'Fischer, L. '
  last_name: Fischer
language:
- iso: eng
page: 5-14
place: Lighthouse Point, FL
publication: Workflow Handbook 2004
publisher: Workflow Management Coalition
status: public
title: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
type: book_chapter
user_id: '52534'
year: '2004'
...
---
_id: '7585'
author:
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: Küster J. <i>Consistency Management of Object-Oriented Behavioral Models</i>.;
    2004.
  apa: Küster, J. (2004). <i>Consistency Management of Object-Oriented Behavioral
    Models</i>.
  bibtex: '@book{Küster_2004, title={Consistency Management of Object-Oriented Behavioral
    Models}, author={Küster, Jochen}, year={2004} }'
  chicago: Küster, Jochen. <i>Consistency Management of Object-Oriented Behavioral
    Models</i>, 2004.
  ieee: J. Küster, <i>Consistency Management of Object-Oriented Behavioral Models</i>.
    2004.
  mla: Küster, Jochen. <i>Consistency Management of Object-Oriented Behavioral Models</i>.
    2004.
  short: J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.
date_created: 2019-02-06T14:27:54Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Consistency Management of Object-Oriented Behavioral Models
type: dissertation
user_id: '52534'
year: '2004'
...
---
_id: '7586'
abstract:
- lang: eng
  text: 'This dissertation describes an approach to the visual modeling of software
    systems which are composed of autonomous and proactive software entities interacting
    with their environment. These entities are named software agents. More and more
    software systems are distributed, dynamic and open with respect to their environment.
    Software agents shall ease the development of such systems. Agent based systems
    provide a modular structure. They are robust and can be adapted dynamically to
    changing requirements. The notion of software agent relies on the fundamental
    properties of autonomy, proactivity and structured interaction. According to these
    properties agents are distinguished from objects and components. For the development
    of agent based systems an appropriate modeling language and a process model describing
    the correct usage of the language are demanded. For both aspects only unsufficient
    or incomplete approaches exist. This thesis contributes to the solution in the
    following way: A new abstract and formal model of agent based systems shows, that
    the fundamental properties can be expressed precisely. Differently from existing
    models not only a single agent but a multi agent system can be modeled. The most
    important architectural models of agent-based systems are compatible with the
    abstract model. The rather restricted structure of the abstract model motivates
    the refinement by a model of coupled I/Oautomata. The Unified Modeling Language
    is widely used in industrial software development. Therefore, the new language
    AML (Agent Modeling Language) for the development of agent-based systems is defined
    as a UML profile. The semantics of AML models is defined in the semantic domain
    of graph transformation. The semantic domain is restricted to an adequate agent-oriented
    domain. There the constituents of the fundamental agent properties are defined.
    Agent based systems which are described using AML are shown to be compatible with
    I/O-automata model of multi agent systems. Constituents for proactivity are goals
    and strategies. In this thesis, it is shown that the reachability of goals through
    the application of strategies can be checked by applying a model checking method.
    The new process model APM describes, how the language AML can be applied to the
    modeling of agent-based systems.'
author:
- first_name: Ralph
  full_name: Depke, Ralph
  last_name: Depke
citation:
  ama: Depke R. <i>Visuelle Modellierung Agentenbasierter Systeme</i>.; 2004.
  apa: Depke, R. (2004). <i>Visuelle Modellierung agentenbasierter Systeme</i>.
  bibtex: '@book{Depke_2004, title={Visuelle Modellierung agentenbasierter Systeme},
    author={Depke, Ralph}, year={2004} }'
  chicago: Depke, Ralph. <i>Visuelle Modellierung Agentenbasierter Systeme</i>, 2004.
  ieee: R. Depke, <i>Visuelle Modellierung agentenbasierter Systeme</i>. 2004.
  mla: Depke, Ralph. <i>Visuelle Modellierung Agentenbasierter Systeme</i>. 2004.
  short: R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.
date_created: 2019-02-06T14:29:56Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
related_material:
  link:
  - relation: confirmation
    url: http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20040101100
status: public
title: Visuelle Modellierung agentenbasierter Systeme
type: dissertation
user_id: '52534'
year: '2004'
...
---
_id: '8386'
author:
- first_name: Shane
  full_name: Sendall, Shane
  last_name: Sendall
- first_name: Rainer
  full_name: Hauser, Rainer
  last_name: Hauser
- first_name: Jana
  full_name: Koehler, Jana
  last_name: Koehler
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Michael
  full_name: Wahler, Michael
  last_name: Wahler
citation:
  ama: 'Sendall S, Hauser R, Koehler J, Küster J, Wahler M. Understanding Model Transformation
    by Classification and Formalization. In: <i>Proceedings of the Workshop on Software
    Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference
    on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>.
    ; 2004.'
  apa: Sendall, S., Hauser, R., Koehler, J., Küster, J., &#38; Wahler, M. (2004).
    Understanding Model Transformation by Classification and Formalization. In <i>Proceedings
    of the Workshop on Software Transformation Systems (STS 2004, satellite event
    of the 3rd International Conference on Generative Programming and Component Engineering
    (GPCE 2004)), Vancouver (Canada)</i>.
  bibtex: '@inproceedings{Sendall_Hauser_Koehler_Küster_Wahler_2004, title={Understanding
    Model Transformation by Classification and Formalization}, booktitle={Proceedings
    of the Workshop on Software Transformation Systems (STS 2004, satellite event
    of the 3rd International Conference on Generative Programming and Component Engineering
    (GPCE 2004)), Vancouver (Canada)}, author={Sendall, Shane and Hauser, Rainer and
    Koehler, Jana and Küster, Jochen and Wahler, Michael}, year={2004} }'
  chicago: Sendall, Shane, Rainer Hauser, Jana Koehler, Jochen Küster, and Michael
    Wahler. “Understanding Model Transformation by Classification and Formalization.”
    In <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004,
    Satellite Event of the 3rd International Conference on Generative Programming
    and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>, 2004.
  ieee: S. Sendall, R. Hauser, J. Koehler, J. Küster, and M. Wahler, “Understanding
    Model Transformation by Classification and Formalization,” in <i>Proceedings of
    the Workshop on Software Transformation Systems (STS 2004, satellite event of
    the 3rd International Conference on Generative Programming and Component Engineering
    (GPCE 2004)), Vancouver (Canada)</i>, 2004.
  mla: Sendall, Shane, et al. “Understanding Model Transformation by Classification
    and Formalization.” <i>Proceedings of the Workshop on Software Transformation
    Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative
    Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>, 2004.
  short: 'S. Sendall, R. Hauser, J. Koehler, J. Küster, M. Wahler, in: Proceedings
    of the Workshop on Software Transformation Systems (STS 2004, Satellite Event
    of the 3rd International Conference on Generative Programming and Component Engineering
    (GPCE 2004)), Vancouver (Canada), 2004.'
date_created: 2019-03-06T11:28:52Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on Software Transformation Systems (STS 2004,
  satellite event of the 3rd International Conference on Generative Programming and
  Component Engineering (GPCE 2004)), Vancouver (Canada)
status: public
title: Understanding Model Transformation by Classification and Formalization
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8387'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Sebastian
  full_name: Thöne, Sebastian
  last_name: Thöne
citation:
  ama: 'Heckel R, Thöne S. Behavior-Preserving Refinement Relations between Dynamic
    Software Architectures. In: <i>Proceedings of the Workshop on Algebraic Development
    Techniques (WADT 2004), Barcelona (Spain)</i>. Vol 3423. LNCS. Berlin/Heidelberg:
    Springer; 2004:1-27.'
  apa: 'Heckel, R., &#38; Thöne, S. (2004). Behavior-Preserving Refinement Relations
    between Dynamic Software Architectures. In <i>Proceedings of the workshop on Algebraic
    Development Techniques (WADT 2004), Barcelona (Spain)</i> (Vol. 3423, pp. 1–27).
    Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Heckel_Thöne_2004, place={Berlin/Heidelberg}, series={LNCS},
    title={Behavior-Preserving Refinement Relations between Dynamic Software Architectures},
    volume={3423}, booktitle={Proceedings of the workshop on Algebraic Development
    Techniques (WADT 2004), Barcelona (Spain)}, publisher={Springer}, author={Heckel,
    Reiko and Thöne, Sebastian}, year={2004}, pages={1–27}, collection={LNCS} }'
  chicago: 'Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations
    between Dynamic Software Architectures.” In <i>Proceedings of the Workshop on
    Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>, 3423:1–27.
    LNCS. Berlin/Heidelberg: Springer, 2004.'
  ieee: R. Heckel and S. Thöne, “Behavior-Preserving Refinement Relations between
    Dynamic Software Architectures,” in <i>Proceedings of the workshop on Algebraic
    Development Techniques (WADT 2004), Barcelona (Spain)</i>, 2004, vol. 3423, pp.
    1–27.
  mla: Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations
    between Dynamic Software Architectures.” <i>Proceedings of the Workshop on Algebraic
    Development Techniques (WADT 2004), Barcelona (Spain)</i>, vol. 3423, Springer,
    2004, pp. 1–27.
  short: 'R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development
    Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004,
    pp. 1–27.'
date_created: 2019-03-06T11:28:53Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: '      3423'
language:
- iso: eng
page: 1-27
place: Berlin/Heidelberg
publication: Proceedings of the workshop on Algebraic Development Techniques (WADT
  2004), Barcelona (Spain)
publisher: Springer
series_title: LNCS
status: public
title: Behavior-Preserving Refinement Relations between Dynamic Software Architectures
type: conference
user_id: '52534'
volume: 3423
year: '2004'
...
---
_id: '8388'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Alexey
  full_name: Cherchago, Alexey
  last_name: Cherchago
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Heckel R, Cherchago A, Lohmann M. A Formal Approach to Service Specification
    and Matching based on Graph Transformation. In: <i>Proceedings of the First International
    Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>. Vol
    105. Elsevier; 2004:37-49. doi:<a href="http://dx.doi.org/10.1016/j.entcs.2004.05.006">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>'
  apa: Heckel, R., Cherchago, A., &#38; Lohmann, M. (2004). A Formal Approach to Service
    Specification and Matching based on Graph Transformation. In <i>Proceedings of
    the First International Workshop on Web Services and Formal Methods (WSFM 2004),
    Pisa, Italy</i> (Vol. 105, pp. 37–49). Elsevier. <a href="http://dx.doi.org/10.1016/j.entcs.2004.05.006">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>
  bibtex: '@inproceedings{Heckel_Cherchago_Lohmann_2004, title={A Formal Approach
    to Service Specification and Matching based on Graph Transformation}, volume={105},
    DOI={<a href="http://dx.doi.org/10.1016/j.entcs.2004.05.006">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>},
    booktitle={Proceedings of the First International Workshop on Web Services and
    Formal Methods (WSFM 2004), Pisa, Italy}, publisher={Elsevier}, author={Heckel,
    Reiko and Cherchago, Alexey and Lohmann, Marc}, year={2004}, pages={37–49} }'
  chicago: Heckel, Reiko, Alexey Cherchago, and Marc Lohmann. “A Formal Approach to
    Service Specification and Matching Based on Graph Transformation.” In <i>Proceedings
    of the First International Workshop on Web Services and Formal Methods (WSFM 2004),
    Pisa, Italy</i>, 105:37–49. Elsevier, 2004. <a href="http://dx.doi.org/10.1016/j.entcs.2004.05.006">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>.
  ieee: R. Heckel, A. Cherchago, and M. Lohmann, “A Formal Approach to Service Specification
    and Matching based on Graph Transformation,” in <i>Proceedings of the First International
    Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, 2004,
    vol. 105, pp. 37–49.
  mla: Heckel, Reiko, et al. “A Formal Approach to Service Specification and Matching
    Based on Graph Transformation.” <i>Proceedings of the First International Workshop
    on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, vol. 105, Elsevier,
    2004, pp. 37–49, doi:<a href="http://dx.doi.org/10.1016/j.entcs.2004.05.006">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>.
  short: 'R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International
    Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier,
    2004, pp. 37–49.'
date_created: 2019-03-06T11:28:54Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2004.05.006
intvolume: '       105'
language:
- iso: eng
page: 37-49
publication: Proceedings of the First International Workshop on Web Services and Formal
  Methods (WSFM 2004), Pisa, Italy
publisher: Elsevier
status: public
title: A Formal Approach to Service Specification and Matching based on Graph Transformation
type: conference
user_id: '52534'
volume: 105
year: '2004'
...
---
_id: '8389'
author:
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: 'Küster J. Systematic Validation of Model Transformations. In: <i>Proceedings
    3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>.
    ; 2004.'
  apa: Küster, J. (2004). Systematic Validation of Model Transformations. In <i>Proceedings
    3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>.
  bibtex: '@inproceedings{Küster_2004, title={Systematic Validation of Model Transformations},
    booktitle={Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004),
    Lisbon (Portugal)}, author={Küster, Jochen}, year={2004} }'
  chicago: Küster, Jochen. “Systematic Validation of Model Transformations.” In <i>Proceedings
    3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>,
    2004.
  ieee: J. Küster, “Systematic Validation of Model Transformations,” in <i>Proceedings
    3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>,
    2004.
  mla: Küster, Jochen. “Systematic Validation of Model Transformations.” <i>Proceedings
    3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>,
    2004.
  short: 'J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering
    (WiSME 2004), Lisbon (Portugal), 2004.'
date_created: 2019-03-06T11:28:55Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004),
  Lisbon (Portugal)
status: public
title: Systematic Validation of Model Transformations
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8390'
author:
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Shane
  full_name: Sendall, Shane
  last_name: Sendall
- first_name: Michael
  full_name: Wahler, Michael
  last_name: Wahler
citation:
  ama: 'Küster J, Sendall S, Wahler M. Comparing two Model Transformation Approaches.
    In: <i>Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite
    Event of the UML 2004), Lisbon (Portugal)</i>. University of Kent; 2004:114-127.'
  apa: Küster, J., Sendall, S., &#38; Wahler, M. (2004). Comparing two Model Transformation
    Approaches. In <i>Proceedings of the Workshop on OCL and Model Driven Engineering
    (satellite event of the UML 2004), Lisbon (Portugal)</i> (pp. 114–127). University
    of Kent.
  bibtex: '@inproceedings{Küster_Sendall_Wahler_2004, title={Comparing two Model Transformation
    Approaches}, booktitle={Proceedings of the Workshop on OCL and Model Driven Engineering
    (satellite event of the UML 2004), Lisbon (Portugal)}, publisher={University of
    Kent}, author={Küster, Jochen and Sendall, Shane and Wahler, Michael}, year={2004},
    pages={114–127} }'
  chicago: Küster, Jochen, Shane Sendall, and Michael Wahler. “Comparing Two Model
    Transformation Approaches.” In <i>Proceedings of the Workshop on OCL and Model
    Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal)</i>, 114–27.
    University of Kent, 2004.
  ieee: J. Küster, S. Sendall, and M. Wahler, “Comparing two Model Transformation
    Approaches,” in <i>Proceedings of the Workshop on OCL and Model Driven Engineering
    (satellite event of the UML 2004), Lisbon (Portugal)</i>, 2004, pp. 114–127.
  mla: Küster, Jochen, et al. “Comparing Two Model Transformation Approaches.” <i>Proceedings
    of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML
    2004), Lisbon (Portugal)</i>, University of Kent, 2004, pp. 114–27.
  short: 'J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL
    and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal),
    University of Kent, 2004, pp. 114–127.'
date_created: 2019-03-06T11:28:57Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 114-127
publication: Proceedings of the Workshop on OCL and Model Driven Engineering (satellite
  event of the UML 2004), Lisbon (Portugal)
publisher: University of Kent
status: public
title: Comparing two Model Transformation Approaches
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8391'
author:
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: 'Küster J. Towards Inconsistency Handling of Object-Oriented Behavioral Models.
    In: <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
    (Spain)</i>. Vol 109. Electronic Notes in Theoretical Computer Science. Amsterdam
    ,The Netherlands: Elsevier; 2004:57-69. doi:<a href="http://dx.doi.org/10.1016/j.entcs.2004.02.056">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>'
  apa: 'Küster, J. (2004). Towards Inconsistency Handling of Object-Oriented Behavioral
    Models. In <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
    (Spain)</i> (Vol. 109, pp. 57–69). Amsterdam ,The Netherlands: Elsevier. <a href="http://dx.doi.org/10.1016/j.entcs.2004.02.056">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>'
  bibtex: '@inproceedings{Küster_2004, place={Amsterdam ,The Netherlands}, series={Electronic
    Notes in Theoretical Computer Science}, title={Towards Inconsistency Handling
    of Object-Oriented Behavioral Models}, volume={109}, DOI={<a href="http://dx.doi.org/10.1016/j.entcs.2004.02.056">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>},
    booktitle={International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
    (Spain)}, publisher={Elsevier}, author={Küster, Jochen}, year={2004}, pages={57–69},
    collection={Electronic Notes in Theoretical Computer Science} }'
  chicago: 'Küster, Jochen. “Towards Inconsistency Handling of Object-Oriented Behavioral
    Models.” In <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
    (Spain)</i>, 109:57–69. Electronic Notes in Theoretical Computer Science. Amsterdam
    ,The Netherlands: Elsevier, 2004. <a href="http://dx.doi.org/10.1016/j.entcs.2004.02.056">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>.'
  ieee: J. Küster, “Towards Inconsistency Handling of Object-Oriented Behavioral Models,”
    in <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
    (Spain)</i>, 2004, vol. 109, pp. 57–69.
  mla: Küster, Jochen. “Towards Inconsistency Handling of Object-Oriented Behavioral
    Models.” <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
    (Spain)</i>, vol. 109, Elsevier, 2004, pp. 57–69, doi:<a href="http://dx.doi.org/10.1016/j.entcs.2004.02.056">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>.
  short: 'J. Küster, in: International Workshop on Graph Transformation (GT-VMT 2004),
    Barcelona (Spain), Elsevier, Amsterdam ,The Netherlands, 2004, pp. 57–69.'
date_created: 2019-03-06T11:28:58Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2004.02.056
intvolume: '       109'
language:
- iso: eng
page: 57-69
place: Amsterdam ,The Netherlands
publication: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
  (Spain)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Towards Inconsistency Handling of Object-Oriented Behavioral Models
type: conference
user_id: '52534'
volume: 109
year: '2004'
...
---
_id: '8392'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
citation:
  ama: 'Schattkowsky T, Rettberg A. UML for FPGA Synthesis. In: <i>Proceedings of
    the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA
    (USA)</i>. ; 2004.'
  apa: Schattkowsky, T., &#38; Rettberg, A. (2004). UML for FPGA Synthesis. In <i>Proceedings
    of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego,
    CA (USA)</i>.
  bibtex: '@inproceedings{Schattkowsky_Rettberg_2004, title={UML for FPGA Synthesis},
    booktitle={Proceedings of the International Workshop on UML for SoC Design (UML-SOC
    2004), San Diego, CA (USA)}, author={Schattkowsky, Tim and Rettberg, Achim}, year={2004}
    }'
  chicago: Schattkowsky, Tim, and Achim Rettberg. “UML for FPGA Synthesis.” In <i>Proceedings
    of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego,
    CA (USA)</i>, 2004.
  ieee: T. Schattkowsky and A. Rettberg, “UML for FPGA Synthesis,” in <i>Proceedings
    of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego,
    CA (USA)</i>, 2004.
  mla: Schattkowsky, Tim, and Achim Rettberg. “UML for FPGA Synthesis.” <i>Proceedings
    of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego,
    CA (USA)</i>, 2004.
  short: 'T. Schattkowsky, A. Rettberg, in: Proceedings of the International Workshop
    on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.'
date_created: 2019-03-06T11:28:59Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the International Workshop on UML for SoC Design (UML-SOC
  2004), San Diego, CA (USA)
status: public
title: UML for FPGA Synthesis
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8393'
author:
- first_name: Shane
  full_name: Sendall, Shane
  last_name: Sendall
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
citation:
  ama: 'Sendall S, Küster J. Taming Model Round-Trip Engineering. In: <i>Proceedings
    of Workshop on Best Practices for Model-Driven Software Development (Satellite
    Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems,
    Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>. ; 2004.'
  apa: Sendall, S., &#38; Küster, J. (2004). Taming Model Round-Trip Engineering.
    In <i>Proceedings of Workshop on Best Practices for Model-Driven Software Development
    (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming,
    Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>.
  bibtex: '@inproceedings{Sendall_Küster_2004, title={Taming Model Round-Trip Engineering},
    booktitle={Proceedings of Workshop on Best Practices for Model-Driven Software
    Development (satellite event of the 19th Annual ACM Conference on Object-Oriented
    Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)},
    author={Sendall, Shane and Küster, Jochen}, year={2004} }'
  chicago: Sendall, Shane, and Jochen Küster. “Taming Model Round-Trip Engineering.”
    In <i>Proceedings of Workshop on Best Practices for Model-Driven Software Development
    (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming,
    Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>, 2004.
  ieee: S. Sendall and J. Küster, “Taming Model Round-Trip Engineering,” in <i>Proceedings
    of Workshop on Best Practices for Model-Driven Software Development (satellite
    event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems,
    Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>, 2004.
  mla: Sendall, Shane, and Jochen Küster. “Taming Model Round-Trip Engineering.” <i>Proceedings
    of Workshop on Best Practices for Model-Driven Software Development (Satellite
    Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems,
    Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>, 2004.
  short: 'S. Sendall, J. Küster, in: Proceedings of Workshop on Best Practices for
    Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference
    on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)),
    Vancouver (Canada), 2004.'
date_created: 2019-03-06T11:29:00Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
main_file_link:
- url: http://www.zurich.ibm.com/pdf/csc/position-paper-mdsd04/_sendall.pdf
publication: Proceedings of Workshop on Best Practices for Model-Driven Software Development
  (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming,
  Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)
status: public
title: Taming Model Round-Trip Engineering
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7907'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Schattkowsky T. A Model-based Approach for Dynamic Tool Integration. In: <i>Proceedings
    of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando,
    FL (USA)</i>. ; 2003.'
  apa: Schattkowsky, T. (2003). A Model-based Approach for Dynamic Tool Integration.
    In <i>Proceedings of the conference on Systemics, Cybernetics and Informatics
    (SCI 2003), Orlando, FL (USA)</i>.
  bibtex: '@inproceedings{Schattkowsky_2003, title={A Model-based Approach for Dynamic
    Tool Integration}, booktitle={Proceedings of the conference on Systemics, Cybernetics
    and Informatics (SCI 2003), Orlando, FL (USA)}, author={Schattkowsky, Tim}, year={2003}
    }'
  chicago: Schattkowsky, Tim. “A Model-Based Approach for Dynamic Tool Integration.”
    In <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics
    (SCI 2003), Orlando, FL (USA)</i>, 2003.
  ieee: T. Schattkowsky, “A Model-based Approach for Dynamic Tool Integration,” in
    <i>Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI
    2003), Orlando, FL (USA)</i>, 2003.
  mla: Schattkowsky, Tim. “A Model-Based Approach for Dynamic Tool Integration.” <i>Proceedings
    of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando,
    FL (USA)</i>, 2003.
  short: 'T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics
    and Informatics (SCI 2003), Orlando, FL (USA), 2003.'
date_created: 2019-02-21T11:02:45Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the conference on Systemics, Cybernetics and Informatics
  (SCI 2003), Orlando, FL (USA)
status: public
title: A Model-based Approach for Dynamic Tool Integration
type: conference
user_id: '52534'
year: '2003'
...
---
_id: '7908'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
- first_name: Bettina
  full_name: Neu, Bettina
  last_name: Neu
citation:
  ama: 'Engels G, Sauer S, Neu B. Integrating software engineering and user-centred
    design for multimedia software developments. In: <i>Proceedings of the Conference
    on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New
    Zealand)</i>. Washington, DC, USA: IEEE Computer Society; 2003:254-256. doi:<a
    href="http://dx.doi.org/10.1109/HCC.2003.1260240">http://dx.doi.org/10.1109/HCC.2003.1260240</a>'
  apa: 'Engels, G., Sauer, S., &#38; Neu, B. (2003). Integrating software engineering
    and user-centred design for multimedia software developments. In <i>Proceedings
    of the conference on Human-Centric Computing Languages and Environments (HCC 2003),
    Auckland (New Zealand)</i> (pp. 254–256). Washington, DC, USA: IEEE Computer Society.
    <a href="http://dx.doi.org/10.1109/HCC.2003.1260240">http://dx.doi.org/10.1109/HCC.2003.1260240</a>'
  bibtex: '@inproceedings{Engels_Sauer_Neu_2003, place={Washington, DC, USA}, title={Integrating
    software engineering and user-centred design for multimedia software developments},
    DOI={<a href="http://dx.doi.org/10.1109/HCC.2003.1260240">http://dx.doi.org/10.1109/HCC.2003.1260240</a>},
    booktitle={Proceedings of the conference on Human-Centric Computing Languages
    and Environments (HCC 2003), Auckland (New Zealand)}, publisher={IEEE Computer
    Society}, author={Engels, Gregor and Sauer, Stefan and Neu, Bettina}, year={2003},
    pages={254–256} }'
  chicago: 'Engels, Gregor, Stefan Sauer, and Bettina Neu. “Integrating Software Engineering
    and User-Centred Design for Multimedia Software Developments.” In <i>Proceedings
    of the Conference on Human-Centric Computing Languages and Environments (HCC 2003),
    Auckland (New Zealand)</i>, 254–56. Washington, DC, USA: IEEE Computer Society,
    2003. <a href="http://dx.doi.org/10.1109/HCC.2003.1260240">http://dx.doi.org/10.1109/HCC.2003.1260240</a>.'
  ieee: G. Engels, S. Sauer, and B. Neu, “Integrating software engineering and user-centred
    design for multimedia software developments,” in <i>Proceedings of the conference
    on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New
    Zealand)</i>, 2003, pp. 254–256.
  mla: Engels, Gregor, et al. “Integrating Software Engineering and User-Centred Design
    for Multimedia Software Developments.” <i>Proceedings of the Conference on Human-Centric
    Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>, IEEE
    Computer Society, 2003, pp. 254–56, doi:<a href="http://dx.doi.org/10.1109/HCC.2003.1260240">http://dx.doi.org/10.1109/HCC.2003.1260240</a>.
  short: 'G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric
    Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE
    Computer Society, Washington, DC, USA, 2003, pp. 254–256.'
date_created: 2019-02-21T11:03:20Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/HCC.2003.1260240
language:
- iso: eng
page: 254-256
place: Washington, DC, USA
publication: Proceedings of the conference on Human-Centric Computing Languages and
  Environments (HCC 2003), Auckland (New Zealand)
publisher: IEEE Computer Society
status: public
title: Integrating software engineering and user-centred design for multimedia software
  developments
type: conference
user_id: '52534'
year: '2003'
...
---
_id: '7909'
author:
- first_name: Klaus
  full_name: Alfert, Klaus
  last_name: Alfert
- first_name: Ernst-Erich
  full_name: Doberkat, Ernst-Erich
  last_name: Doberkat
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
- first_name: Johannes
  full_name: Magenheim, Johannes
  last_name: Magenheim
- first_name: Andy
  full_name: Schürr, Andy
  last_name: Schürr
citation:
  ama: 'Alfert K, Doberkat E-E, Engels G, Lohmann M, Magenheim J, Schürr A. MuSofT:
    Multimedia in der Softwaretechnik. In: <i>Proceedings of the Conference on Software
    Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany)</i>. Heidelberg:
    dpunkt Verlag; 2003:70-80.'
  apa: 'Alfert, K., Doberkat, E.-E., Engels, G., Lohmann, M., Magenheim, J., &#38;
    Schürr, A. (2003). MuSofT: Multimedia in der Softwaretechnik. In <i>Proceedings
    of the conference on Software Engineering im Unterricht der Hochschulen (SEUH
    2003), Berlin (Germany)</i> (pp. 70–80). Heidelberg: dpunkt Verlag.'
  bibtex: '@inproceedings{Alfert_Doberkat_Engels_Lohmann_Magenheim_Schürr_2003, place={Heidelberg},
    title={MuSofT: Multimedia in der Softwaretechnik}, booktitle={Proceedings of the
    conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003),
    Berlin (Germany)}, publisher={dpunkt Verlag}, author={Alfert, Klaus and Doberkat,
    Ernst-Erich and Engels, Gregor and Lohmann, Marc and Magenheim, Johannes and Schürr,
    Andy}, year={2003}, pages={70–80} }'
  chicago: 'Alfert, Klaus, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes
    Magenheim, and Andy Schürr. “MuSofT: Multimedia in Der Softwaretechnik.” In <i>Proceedings
    of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH
    2003), Berlin (Germany)</i>, 70–80. Heidelberg: dpunkt Verlag, 2003.'
  ieee: 'K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, and A. Schürr,
    “MuSofT: Multimedia in der Softwaretechnik,” in <i>Proceedings of the conference
    on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany)</i>,
    2003, pp. 70–80.'
  mla: 'Alfert, Klaus, et al. “MuSofT: Multimedia in Der Softwaretechnik.” <i>Proceedings
    of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH
    2003), Berlin (Germany)</i>, dpunkt Verlag, 2003, pp. 70–80.'
  short: 'K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, A. Schürr,
    in: Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen
    (SEUH 2003), Berlin (Germany), dpunkt Verlag, Heidelberg, 2003, pp. 70–80.'
date_created: 2019-02-21T11:17:38Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 70-80
place: Heidelberg
publication: Proceedings of the conference on Software Engineering im Unterricht der
  Hochschulen (SEUH 2003), Berlin (Germany)
publisher: dpunkt Verlag
status: public
title: 'MuSofT: Multimedia in der Softwaretechnik'
type: conference
user_id: '52534'
year: '2003'
...
---
_id: '7910'
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. The Consistency Workbench: A Tool for Consistency
    Management in UML-based Development. In: <i>Proceedings of the 6th International
    Conference on The Unified Modeling Language: Modeling Languages and Applications
    (UML 2003), San Francisco, CA (USA)</i>. Vol 2863. LNCS. Berlin/Heidelberg: Springer;
    2003:356-359.'
  apa: 'Engels, G., Heckel, R., &#38; Küster, J. (2003). The Consistency Workbench:
    A Tool for Consistency Management in UML-based Development. In <i>Proceedings
    of the 6th International Conference on The Unified Modeling Language: Modeling
    Languages and Applications (UML 2003), San Francisco, CA (USA)</i> (Vol. 2863,
    pp. 356–359). Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Engels_Heckel_Küster_2003, place={Berlin/Heidelberg}, series={LNCS},
    title={The Consistency Workbench: A Tool for Consistency Management in UML-based
    Development}, volume={2863}, booktitle={Proceedings of the 6th International Conference
    on The Unified Modeling Language: Modeling Languages and Applications (UML 2003),
    San Francisco, CA (USA)}, publisher={Springer}, author={Engels, Gregor and Heckel,
    Reiko and Küster, Jochen}, year={2003}, pages={356–359}, collection={LNCS} }'
  chicago: 'Engels, Gregor, Reiko Heckel, and Jochen Küster. “The Consistency Workbench:
    A Tool for Consistency Management in UML-Based Development.” In <i>Proceedings
    of the 6th International Conference on The Unified Modeling Language: Modeling
    Languages and Applications (UML 2003), San Francisco, CA (USA)</i>, 2863:356–59.
    LNCS. Berlin/Heidelberg: Springer, 2003.'
  ieee: 'G. Engels, R. Heckel, and J. Küster, “The Consistency Workbench: A Tool for
    Consistency Management in UML-based Development,” in <i>Proceedings of the 6th
    International Conference on The Unified Modeling Language: Modeling Languages
    and Applications (UML 2003), San Francisco, CA (USA)</i>, 2003, vol. 2863, pp.
    356–359.'
  mla: 'Engels, Gregor, et al. “The Consistency Workbench: A Tool for Consistency
    Management in UML-Based Development.” <i>Proceedings of the 6th International
    Conference on The Unified Modeling Language: Modeling Languages and Applications
    (UML 2003), San Francisco, CA (USA)</i>, vol. 2863, Springer, 2003, pp. 356–59.'
  short: 'G. Engels, R. Heckel, J. Küster, in: Proceedings of the 6th International
    Conference on The Unified Modeling Language: Modeling Languages and Applications
    (UML 2003), San Francisco, CA (USA), Springer, Berlin/Heidelberg, 2003, pp. 356–359.'
date_created: 2019-02-21T11:19:12Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: '      2863'
language:
- iso: eng
page: 356-359
place: Berlin/Heidelberg
publication: 'Proceedings of the 6th International Conference on The Unified Modeling
  Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)'
publisher: Springer
series_title: LNCS
status: public
title: 'The Consistency Workbench: A Tool for Consistency Management in UML-based
  Development'
type: conference
user_id: '52534'
volume: 2863
year: '2003'
...
---
_id: '7911'
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
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Engels G, Küster J, Heckel R, Lohmann M. Model Based Verification and Validation
    of Properties. In: <i>Proceedings of the Conference on Uniform Approaches to Graphical
    Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003),
    Warsaw (Poland)</i>. Vol 82. Electronic Notes in Theoretical Computer Science.
    Elsevier; 2003:1-18. doi:<a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>'
  apa: Engels, G., Küster, J., Heckel, R., &#38; Lohmann, M. (2003). Model Based Verification
    and Validation of Properties. In <i>Proceedings of the conference on Uniform Approaches
    to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of
    the ETAPS 2003), Warsaw (Poland)</i> (Vol. 82, pp. 1–18). Elsevier. <a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7</a>
  bibtex: '@inproceedings{Engels_Küster_Heckel_Lohmann_2003, series={Electronic Notes
    in Theoretical Computer Science}, title={Model Based Verification and Validation
    of Properties}, volume={82}, DOI={<a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>},
    number={7}, booktitle={Proceedings of the conference on Uniform Approaches to
    Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the
    ETAPS 2003), Warsaw (Poland)}, publisher={Elsevier}, author={Engels, Gregor and
    Küster, Jochen and Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={1–18},
    collection={Electronic Notes in Theoretical Computer Science} }'
  chicago: Engels, Gregor, Jochen Küster, Reiko Heckel, and Marc Lohmann. “Model Based
    Verification and Validation of Properties.” In <i>Proceedings of the Conference
    on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003,
    Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>, 82:1–18. Electronic Notes
    in Theoretical Computer Science. Elsevier, 2003. <a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7</a>.
  ieee: G. Engels, J. Küster, R. Heckel, and M. Lohmann, “Model Based Verification
    and Validation of Properties,” in <i>Proceedings of the conference on Uniform
    Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite
    Event of the ETAPS 2003), Warsaw (Poland)</i>, 2003, vol. 82, no. 7, pp. 1–18.
  mla: Engels, Gregor, et al. “Model Based Verification and Validation of Properties.”
    <i>Proceedings of the Conference on Uniform Approaches to Graphical Process Specification
    Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>,
    vol. 82, no. 7, Elsevier, 2003, pp. 1–18, doi:<a href="https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>.
  short: 'G. Engels, J. Küster, R. Heckel, M. Lohmann, in: Proceedings of the Conference
    on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003,
    Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, 2003, pp. 1–18.'
date_created: 2019-02-21T11:19:37Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: dx.doi.org/10.1016/S1571-0661(04)80752-7
intvolume: '        82'
issue: '7'
language:
- iso: eng
page: 1-18
publication: Proceedings of the conference on Uniform Approaches to Graphical Process
  Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw
  (Poland)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Model Based Verification and Validation of Properties
type: conference
user_id: '52534'
volume: 82
year: '2003'
...
---
_id: '7912'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Sebastian
  full_name: Thöne, Sebastian
  last_name: Thöne
- first_name: Hendrik
  full_name: Voigt, Hendrik
  last_name: Voigt
citation:
  ama: 'Heckel R, Küster J, Thöne S, Voigt H. Towards Consistency of Web Service Architectures.
    In: <i>Proceedings of the 7th World Multiconference on Systemics, Cybernetics,
    and Informatics (SCI 2003), Orlando, FL (USA)</i>. ; 2003.'
  apa: Heckel, R., Küster, J., Thöne, S., &#38; Voigt, H. (2003). Towards Consistency
    of Web Service Architectures. In <i>Proceedings of the 7th World Multiconference
    on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)</i>.
  bibtex: '@inproceedings{Heckel_Küster_Thöne_Voigt_2003, title={Towards Consistency
    of Web Service Architectures}, booktitle={Proceedings of the 7th World Multiconference
    on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)}, author={Heckel,
    Reiko and Küster, Jochen and Thöne, Sebastian and Voigt, Hendrik}, year={2003}
    }'
  chicago: Heckel, Reiko, Jochen Küster, Sebastian Thöne, and Hendrik Voigt. “Towards
    Consistency of Web Service Architectures.” In <i>Proceedings of the 7th World
    Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando,
    FL (USA)</i>, 2003.
  ieee: R. Heckel, J. Küster, S. Thöne, and H. Voigt, “Towards Consistency of Web
    Service Architectures,” in <i>Proceedings of the 7th World Multiconference on
    Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)</i>, 2003.
  mla: Heckel, Reiko, et al. “Towards Consistency of Web Service Architectures.” <i>Proceedings
    of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI
    2003), Orlando, FL (USA)</i>, 2003.
  short: 'R. Heckel, J. Küster, S. Thöne, H. Voigt, in: Proceedings of the 7th World
    Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando,
    FL (USA), 2003.'
date_created: 2019-02-21T11:20:26Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 7th World Multiconference on Systemics, Cybernetics,
  and Informatics (SCI 2003), Orlando, FL (USA)
status: public
title: Towards Consistency of Web Service Architectures
type: conference
user_id: '52534'
year: '2003'
...
---
_id: '7913'
author:
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
- first_name: Stuart
  full_name: Kent, Stuart
  last_name: Kent
citation:
  ama: 'Hendrik Hausmann J, Kent S. Visualizing model mappings in UML. In: <i>Proceedings
    of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA)</i>.
    New York, NY, USA: ACM Press; 2003:169-178.'
  apa: 'Hendrik Hausmann, J., &#38; Kent, S. (2003). Visualizing model mappings in
    UML. In <i>Proceedings of the ACM symposium on Software visualization (SOFTVIS
    2003), San Diego, CA (USA)</i> (pp. 169–178). New York, NY, USA: ACM Press.'
  bibtex: '@inproceedings{Hendrik Hausmann_Kent_2003, place={New York, NY, USA}, title={Visualizing
    model mappings in UML}, booktitle={Proceedings of the ACM symposium on Software
    visualization (SOFTVIS 2003), San Diego, CA (USA)}, publisher={ACM Press}, author={Hendrik
    Hausmann, Jan and Kent, Stuart}, year={2003}, pages={169–178} }'
  chicago: 'Hendrik Hausmann, Jan, and Stuart Kent. “Visualizing Model Mappings in
    UML.” In <i>Proceedings of the ACM Symposium on Software Visualization (SOFTVIS
    2003), San Diego, CA (USA)</i>, 169–78. New York, NY, USA: ACM Press, 2003.'
  ieee: J. Hendrik Hausmann and S. Kent, “Visualizing model mappings in UML,” in <i>Proceedings
    of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA)</i>,
    2003, pp. 169–178.
  mla: Hendrik Hausmann, Jan, and Stuart Kent. “Visualizing Model Mappings in UML.”
    <i>Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003),
    San Diego, CA (USA)</i>, ACM Press, 2003, pp. 169–78.
  short: 'J. Hendrik Hausmann, S. Kent, in: Proceedings of the ACM Symposium on Software
    Visualization (SOFTVIS 2003), San Diego, CA (USA), ACM Press, New York, NY, USA,
    2003, pp. 169–178.'
date_created: 2019-02-21T11:21:04Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 169-178
place: New York, NY, USA
publication: Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003),
  San Diego, CA (USA)
publisher: ACM Press
status: public
title: Visualizing model mappings in UML
type: conference
user_id: '52534'
year: '2003'
...
---
_id: '7914'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Heckel R, Lohmann M. Model-Based Development of Web Applications Using Graphical
    Reaction Rules. In: <i>Proceedings of the 6th International Conference on Fundamental
    Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>. Vol 2621.
    LNCS. Berlin/Heidelberg: Springer; 2003:170-183. doi:<a href="http://dx.doi.org/10.1007/3-540-36578-8">http://dx.doi.org/10.1007/3-540-36578-8</a>'
  apa: 'Heckel, R., &#38; Lohmann, M. (2003). Model-Based Development of Web Applications
    Using Graphical Reaction Rules. In <i>Proceedings of the 6th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>
    (Vol. 2621, pp. 170–183). Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/3-540-36578-8">http://dx.doi.org/10.1007/3-540-36578-8</a>'
  bibtex: '@inproceedings{Heckel_Lohmann_2003, place={Berlin/Heidelberg}, series={LNCS},
    title={Model-Based Development of Web Applications Using Graphical Reaction Rules},
    volume={2621}, DOI={<a href="http://dx.doi.org/10.1007/3-540-36578-8">http://dx.doi.org/10.1007/3-540-36578-8</a>},
    booktitle={Proceedings of the 6th International Conference on Fundamental Approaches
    to Software Engineering (FASE 2003), Warsaw (Poland)}, publisher={Springer}, author={Heckel,
    Reiko and Lohmann, Marc}, year={2003}, pages={170–183}, collection={LNCS} }'
  chicago: 'Heckel, Reiko, and Marc Lohmann. “Model-Based Development of Web Applications
    Using Graphical Reaction Rules.” In <i>Proceedings of the 6th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>,
    2621:170–83. LNCS. Berlin/Heidelberg: Springer, 2003. <a href="http://dx.doi.org/10.1007/3-540-36578-8">http://dx.doi.org/10.1007/3-540-36578-8</a>.'
  ieee: R. Heckel and M. Lohmann, “Model-Based Development of Web Applications Using
    Graphical Reaction Rules,” in <i>Proceedings of the 6th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>,
    2003, vol. 2621, pp. 170–183.
  mla: Heckel, Reiko, and Marc Lohmann. “Model-Based Development of Web Applications
    Using Graphical Reaction Rules.” <i>Proceedings of the 6th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>,
    vol. 2621, Springer, 2003, pp. 170–83, doi:<a href="http://dx.doi.org/10.1007/3-540-36578-8">http://dx.doi.org/10.1007/3-540-36578-8</a>.
  short: 'R. Heckel, M. Lohmann, in: Proceedings of the 6th International Conference
    on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland),
    Springer, Berlin/Heidelberg, 2003, pp. 170–183.'
date_created: 2019-02-21T11:21:23Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-36578-8
intvolume: '      2621'
language:
- iso: eng
page: 170-183
place: Berlin/Heidelberg
publication: Proceedings of the 6th International Conference on Fundamental Approaches
  to Software Engineering (FASE 2003), Warsaw (Poland)
publisher: Springer
series_title: LNCS
status: public
title: Model-Based Development of Web Applications Using Graphical Reaction Rules
type: conference
user_id: '52534'
volume: 2621
year: '2003'
...
---
_id: '7915'
author:
- first_name: Wolfgang
  full_name: Mueller, Wolfgang
  last_name: Mueller
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Heinz-Josef
  full_name: Eikerling, Heinz-Josef
  last_name: Eikerling
- first_name: Jan
  full_name: Wegner, Jan
  last_name: Wegner
citation:
  ama: 'Mueller W, Schattkowsky T, Eikerling H-J, Wegner J. Dynamic Tool Integration
    in Heterogeneous Computer Networks. In: <i>Proceedings of the Conference on Design
    Automation and Test in Europe (DATE 2003), Munich (Germany)</i>. Washington, DC,
    USA: IEEE Computer Society; 2003:946-951. doi:<a href="http://dx.doi.org/10.1109/DATE.2003.10201">http://dx.doi.org/10.1109/DATE.2003.10201</a>'
  apa: 'Mueller, W., Schattkowsky, T., Eikerling, H.-J., &#38; Wegner, J. (2003).
    Dynamic Tool Integration in Heterogeneous Computer Networks. In <i>Proceedings
    of the conference on Design Automation and Test in Europe (DATE 2003), Munich
    (Germany)</i> (pp. 946–951). Washington, DC, USA: IEEE Computer Society. <a href="http://dx.doi.org/10.1109/DATE.2003.10201">http://dx.doi.org/10.1109/DATE.2003.10201</a>'
  bibtex: '@inproceedings{Mueller_Schattkowsky_Eikerling_Wegner_2003, place={Washington,
    DC, USA}, title={Dynamic Tool Integration in Heterogeneous Computer Networks},
    DOI={<a href="http://dx.doi.org/10.1109/DATE.2003.10201">http://dx.doi.org/10.1109/DATE.2003.10201</a>},
    booktitle={Proceedings of the conference on Design Automation and Test in Europe
    (DATE 2003), Munich (Germany)}, publisher={IEEE Computer Society}, author={Mueller,
    Wolfgang and Schattkowsky, Tim and Eikerling, Heinz-Josef and Wegner, Jan}, year={2003},
    pages={946–951} }'
  chicago: 'Mueller, Wolfgang, Tim Schattkowsky, Heinz-Josef Eikerling, and Jan Wegner.
    “Dynamic Tool Integration in Heterogeneous Computer Networks.” In <i>Proceedings
    of the Conference on Design Automation and Test in Europe (DATE 2003), Munich
    (Germany)</i>, 946–51. Washington, DC, USA: IEEE Computer Society, 2003. <a href="http://dx.doi.org/10.1109/DATE.2003.10201">http://dx.doi.org/10.1109/DATE.2003.10201</a>.'
  ieee: W. Mueller, T. Schattkowsky, H.-J. Eikerling, and J. Wegner, “Dynamic Tool
    Integration in Heterogeneous Computer Networks,” in <i>Proceedings of the conference
    on Design Automation and Test in Europe (DATE 2003), Munich (Germany)</i>, 2003,
    pp. 946–951.
  mla: Mueller, Wolfgang, et al. “Dynamic Tool Integration in Heterogeneous Computer
    Networks.” <i>Proceedings of the Conference on Design Automation and Test in Europe
    (DATE 2003), Munich (Germany)</i>, IEEE Computer Society, 2003, pp. 946–51, doi:<a
    href="http://dx.doi.org/10.1109/DATE.2003.10201">http://dx.doi.org/10.1109/DATE.2003.10201</a>.
  short: 'W. Mueller, T. Schattkowsky, H.-J. Eikerling, J. Wegner, in: Proceedings
    of the Conference on Design Automation and Test in Europe (DATE 2003), Munich
    (Germany), IEEE Computer Society, Washington, DC, USA, 2003, pp. 946–951.'
date_created: 2019-02-21T11:22:04Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/DATE.2003.10201
language:
- iso: eng
page: 946-951
place: Washington, DC, USA
publication: Proceedings of the conference on Design Automation and Test in Europe
  (DATE 2003), Munich (Germany)
publisher: IEEE Computer Society
status: public
title: Dynamic Tool Integration in Heterogeneous Computer Networks
type: conference
user_id: '52534'
year: '2003'
...