---
_id: '8365'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Engels G, Küster J, Heckel R. Towards Consistency-Preserving Model Evolution.
In: Proceedings of the International Workshop on Principles of Software Evolution(Satellite
Event of the ICSE 02), Orlando, Florida (USA). New York, NY, USA: ACM Press;
2002:129-132. doi:http://doi.acm.org/10.1145/512035.512066'
apa: 'Engels, G., Küster, J., & Heckel, R. (2002). Towards Consistency-Preserving
Model Evolution. In Proceedings of the International Workshop on Principles
of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)
(pp. 129–132). New York, NY, USA: ACM Press. http://doi.acm.org/10.1145/512035.512066'
bibtex: '@inproceedings{Engels_Küster_Heckel_2002, place={New York, NY, USA}, title={Towards
Consistency-Preserving Model Evolution}, DOI={http://doi.acm.org/10.1145/512035.512066},
booktitle={Proceedings of the International Workshop on Principles of Software
Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)}, publisher={ACM
Press}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko}, year={2002},
pages={129–132} }'
chicago: 'Engels, Gregor, Jochen Küster, and Reiko Heckel. “Towards Consistency-Preserving
Model Evolution.” In Proceedings of the International Workshop on Principles
of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA),
129–32. New York, NY, USA: ACM Press, 2002. http://doi.acm.org/10.1145/512035.512066.'
ieee: G. Engels, J. Küster, and R. Heckel, “Towards Consistency-Preserving Model
Evolution,” in Proceedings of the International Workshop on Principles of Software
Evolution(satellite event of the ICSE 02), Orlando, Florida (USA), 2002, pp.
129–132.
mla: Engels, Gregor, et al. “Towards Consistency-Preserving Model Evolution.” Proceedings
of the International Workshop on Principles of Software Evolution(Satellite Event
of the ICSE 02), Orlando, Florida (USA), ACM Press, 2002, pp. 129–32, doi:http://doi.acm.org/10.1145/512035.512066.
short: 'G. Engels, J. Küster, R. Heckel, in: Proceedings of the International Workshop
on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando,
Florida (USA), ACM Press, New York, NY, USA, 2002, pp. 129–132.'
date_created: 2019-03-06T11:12:58Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://doi.acm.org/10.1145/512035.512066
language:
- iso: eng
page: 129-132
place: New York, NY, USA
publication: Proceedings of the International Workshop on Principles of Software Evolution(satellite
event of the ICSE 02), Orlando, Florida (USA)
publisher: ACM Press
status: public
title: Towards Consistency-Preserving Model Evolution
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8366'
author:
- first_name: Szilvia
full_name: Gyapay, Szilvia
last_name: Gyapay
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Gyapay S, Heckel R. Towards Graph Transformation with Time. In: Proceedings
of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, Satellite
Event of the ETAPS 2002), Grenoble (France). Universität Bremen; 2002:131-140.'
apa: Gyapay, S., & Heckel, R. (2002). Towards Graph Transformation with Time.
In Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation
(AGT 2002, satellite event of the ETAPS 2002), Grenoble (France) (pp. 131–140).
Universität Bremen.
bibtex: '@inproceedings{Gyapay_Heckel_2002, title={Towards Graph Transformation
with Time}, booktitle={Proceedings of the APPLIGRAPH Workshop on Application of
Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)},
publisher={Universität Bremen}, author={Gyapay, Szilvia and Heckel, Reiko}, year={2002},
pages={131–140} }'
chicago: Gyapay, Szilvia, and Reiko Heckel. “Towards Graph Transformation with Time.”
In Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation
(AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), 131–40.
Universität Bremen, 2002.
ieee: S. Gyapay and R. Heckel, “Towards Graph Transformation with Time,” in Proceedings
of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, satellite
event of the ETAPS 2002), Grenoble (France), 2002, pp. 131–140.
mla: Gyapay, Szilvia, and Reiko Heckel. “Towards Graph Transformation with Time.”
Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation
(AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität
Bremen, 2002, pp. 131–40.
short: 'S. Gyapay, R. Heckel, in: Proceedings of the APPLIGRAPH Workshop on Application
of Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble
(France), Universität Bremen, 2002, pp. 131–140.'
date_created: 2019-03-06T11:12:59Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 131-140
publication: Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation
(AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)
publisher: Universität Bremen
status: public
title: Towards Graph Transformation with Time
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8367'
abstract:
- lang: eng
text: The use of UML for software specification leads usually to lots of diagrams
showing different aspects and components of the software system in several views.
In order to support a view-oriented approach to system modeling, consistency views
and in between views has to be manageable. It is a reasonable approach to consistency
management when first chossing a suitable semantic domain, provide a partial mapping
into this domain, and specity as well as verify consistency constraints formulated
in that domain. Annotated meta model rules can be used to translate elements of
UML models into the semantic domain chosen. In this contribution, we consider
triple graph grammars and attributed graph transformation approaches for the precise
definition of meta model rules an outline the tool support for automatic translation.
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: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Heckel R, Küster J, Taentzer G. Towards Automatic Translation of UML Models
into Semantic Domains. In: Proceedings of the APPLIGRAPH Workshop on Applied
Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France).
Universität Bremen; 2002:11-21.'
apa: Heckel, R., Küster, J., & Taentzer, G. (2002). Towards Automatic Translation
of UML Models into Semantic Domains. In Proceedings of the APPLIGRAPH Workshop
on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002),
Grenoble (France) (pp. 11–21). Universität Bremen.
bibtex: '@inproceedings{Heckel_Küster_Taentzer_2002, title={Towards Automatic Translation
of UML Models into Semantic Domains}, booktitle={Proceedings of the APPLIGRAPH
Workshop on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS
2002), Grenoble (France)}, publisher={Universität Bremen}, author={Heckel, Reiko
and Küster, Jochen and Taentzer, Gabriele}, year={2002}, pages={11–21} }'
chicago: Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Towards Automatic
Translation of UML Models into Semantic Domains.” In Proceedings of the APPLIGRAPH
Workshop on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS
2002), Grenoble (France), 11–21. Universität Bremen, 2002.
ieee: R. Heckel, J. Küster, and G. Taentzer, “Towards Automatic Translation of UML
Models into Semantic Domains,” in Proceedings of the APPLIGRAPH Workshop on
Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble
(France), 2002, pp. 11–21.
mla: Heckel, Reiko, et al. “Towards Automatic Translation of UML Models into Semantic
Domains.” Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation
(AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität
Bremen, 2002, pp. 11–21.
short: 'R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the APPLIGRAPH Workshop
on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002),
Grenoble (France), Universität Bremen, 2002, pp. 11–21.'
date_created: 2019-03-06T11:13:00Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 11-21
publication: Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation
(AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)
publisher: Universität Bremen
status: public
title: Towards Automatic Translation of UML Models into Semantic Domains
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8368'
abstract:
- lang: eng
text: Consistency of models and model transformations are strongly interrelated
topics. It is thus desirable to have a single notation to express model properties
concerning both aspects. When using meta modeling techniques, graph transformations
are a natural candidate to express model transformations. This paper explores
the use of graph transformations for denoting consistency conditions between models.
This technique yields benefits for different types of interrelation between transformation
and consistency. A special focus is put on the generation of automatic consistency-establishing
transformations.
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Hendrik Hausmann J, Heckel R, Sauer S. Extended Model Relations with Graphical
Consistency Conditions. In: Proceeding of the Workshop on Consistency Problems
in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany).
Department of Software Engineering and Computer Science, Blekinge Institute of
Technology; 2002:61-74.'
apa: Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2002). Extended Model Relations
with Graphical Consistency Conditions. In Proceeding of the Workshop on Consistency
Problems in UML-based Software Development (satellite event of the UML 2002),
Dresden (Germany) (pp. 61–74). Department of Software Engineering and Computer
Science, Blekinge Institute of Technology.
bibtex: '@inproceedings{Hendrik Hausmann_Heckel_Sauer_2002, title={Extended Model
Relations with Graphical Consistency Conditions}, booktitle={Proceeding of the
Workshop on Consistency Problems in UML-based Software Development (satellite
event of the UML 2002), Dresden (Germany)}, publisher={Department of Software
Engineering and Computer Science, Blekinge Institute of Technology}, author={Hendrik
Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2002}, pages={61–74}
}'
chicago: Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Extended Model
Relations with Graphical Consistency Conditions.” In Proceeding of the Workshop
on Consistency Problems in UML-Based Software Development (Satellite Event of
the UML 2002), Dresden (Germany), 61–74. Department of Software Engineering
and Computer Science, Blekinge Institute of Technology, 2002.
ieee: J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Extended Model Relations with
Graphical Consistency Conditions,” in Proceeding of the Workshop on Consistency
Problems in UML-based Software Development (satellite event of the UML 2002),
Dresden (Germany), 2002, pp. 61–74.
mla: Hendrik Hausmann, Jan, et al. “Extended Model Relations with Graphical Consistency
Conditions.” Proceeding of the Workshop on Consistency Problems in UML-Based
Software Development (Satellite Event of the UML 2002), Dresden (Germany),
Department of Software Engineering and Computer Science, Blekinge Institute of
Technology, 2002, pp. 61–74.
short: 'J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop
on Consistency Problems in UML-Based Software Development (Satellite Event of
the UML 2002), Dresden (Germany), Department of Software Engineering and Computer
Science, Blekinge Institute of Technology, 2002, pp. 61–74.'
date_created: 2019-03-06T11:13:02Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 61-74
publication: Proceeding of the Workshop on Consistency Problems in UML-based Software
Development (satellite event of the UML 2002), Dresden (Germany)
publisher: Department of Software Engineering and Computer Science, Blekinge Institute
of Technology
status: public
title: Extended Model Relations with Graphical Consistency Conditions
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8369'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Awais
full_name: Rashid, Awais
last_name: Rashid
citation:
ama: 'Mehner K, Rashid A. Towards a Standard Interface for Runtime Inspection in
AOP Environments. In: Proceedings Workshop on Tools for Aspect-Oriented Software
Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA). ; 2002.'
apa: Mehner, K., & Rashid, A. (2002). Towards a Standard Interface for Runtime
Inspection in AOP Environments. In Proceedings Workshop on Tools for Aspect-Oriented
Software Developement (satellite event of the OOPSLA 2002), Seattle, WA (USA).
bibtex: '@inproceedings{Mehner_Rashid_2002, title={Towards a Standard Interface
for Runtime Inspection in AOP Environments}, booktitle={Proceedings Workshop on
Tools for Aspect-Oriented Software Developement (satellite event of the OOPSLA
2002), Seattle, WA (USA)}, author={Mehner, Katharina and Rashid, Awais}, year={2002}
}'
chicago: Mehner, Katharina, and Awais Rashid. “Towards a Standard Interface for
Runtime Inspection in AOP Environments.” In Proceedings Workshop on Tools for
Aspect-Oriented Software Developement (Satellite Event of the OOPSLA 2002), Seattle,
WA (USA), 2002.
ieee: K. Mehner and A. Rashid, “Towards a Standard Interface for Runtime Inspection
in AOP Environments,” in Proceedings Workshop on Tools for Aspect-Oriented
Software Developement (satellite event of the OOPSLA 2002), Seattle, WA (USA),
2002.
mla: Mehner, Katharina, and Awais Rashid. “Towards a Standard Interface for Runtime
Inspection in AOP Environments.” Proceedings Workshop on Tools for Aspect-Oriented
Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA),
2002.
short: 'K. Mehner, A. Rashid, in: Proceedings Workshop on Tools for Aspect-Oriented
Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA),
2002.'
date_created: 2019-03-06T11:13:03Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings Workshop on Tools for Aspect-Oriented Software Developement
(satellite event of the OOPSLA 2002), Seattle, WA (USA)
status: public
title: Towards a Standard Interface for Runtime Inspection in AOP Environments
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8370'
abstract:
- lang: eng
text: Development of small- or medium scale Web applications is usually performed
by teams consisting of graphic designers responsible for the layout and software
developers realizing the business logic. Due to short production cycles, these
people have to work in parallel on the implementation. Because of the different
backgrounds of the people involved and the relative simplicity of the application,
a simple design process and modeling approach is required which supports communication
between team members and helps to identify and relate their respective tasks.
We propose a simple subset of the UML adapted to the problem domain by means of
stereotypes. Based on the design, we propose a strategy for generating code templates
specifically tailored to the tasks of each team member, so that the implementation
can immediately start in parallel when the modeling is complete.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Schattkowsky T, Lohmann M, Heckel R. Lightweight Modeling of Dynamic Websites
using UML. In: Proceedings of Workshop on Web Engineering (Satellite Event
of the ICSE 2002), Orlando, FL (USA). ; 2002.'
apa: Schattkowsky, T., Lohmann, M., & Heckel, R. (2002). Lightweight Modeling
of Dynamic Websites using UML. In Proceedings of Workshop on Web Engineering
(satellite event of the ICSE 2002), Orlando, FL (USA).
bibtex: '@inproceedings{Schattkowsky_Lohmann_Heckel_2002, title={Lightweight Modeling
of Dynamic Websites using UML}, booktitle={Proceedings of Workshop on Web Engineering
(satellite event of the ICSE 2002), Orlando, FL (USA)}, author={Schattkowsky,
Tim and Lohmann, Marc and Heckel, Reiko}, year={2002} }'
chicago: Schattkowsky, Tim, Marc Lohmann, and Reiko Heckel. “Lightweight Modeling
of Dynamic Websites Using UML.” In Proceedings of Workshop on Web Engineering
(Satellite Event of the ICSE 2002), Orlando, FL (USA), 2002.
ieee: T. Schattkowsky, M. Lohmann, and R. Heckel, “Lightweight Modeling of Dynamic
Websites using UML,” in Proceedings of Workshop on Web Engineering (satellite
event of the ICSE 2002), Orlando, FL (USA), 2002.
mla: Schattkowsky, Tim, et al. “Lightweight Modeling of Dynamic Websites Using UML.”
Proceedings of Workshop on Web Engineering (Satellite Event of the ICSE 2002),
Orlando, FL (USA), 2002.
short: 'T. Schattkowsky, M. Lohmann, R. Heckel, in: Proceedings of Workshop on Web
Engineering (Satellite Event of the ICSE 2002), Orlando, FL (USA), 2002.'
date_created: 2019-03-06T11:13:04Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of Workshop on Web Engineering (satellite event of the ICSE
2002), Orlando, FL (USA)
status: public
title: Lightweight Modeling of Dynamic Websites using UML
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7787'
citation:
ama: Mehner K, Mezini M, Pulvermüller E, Speck A, eds. Proceedings of the Workshop
on Aspect-Orientation, German Society for Informatics, Special Interest Group
for Object-Oriented Software Developement, Paderborn (Germany). Vol tr-ri-01-223.
University of Paderborn; 2001.
apa: Mehner, K., Mezini, M., Pulvermüller, E., & Speck, A. (Eds.). (2001). Proceedings
of the workshop on Aspect-Orientation, German Society for Informatics, Special
Interest Group for Object-Oriented Software Developement, Paderborn (Germany)
(Vol. tr-ri-01-223). University of Paderborn.
bibtex: '@book{Mehner_Mezini_Pulvermüller_Speck_2001, series={Forschungsbericht},
title={Proceedings of the workshop on Aspect-Orientation, German Society for Informatics,
Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)},
volume={tr-ri-01-223}, publisher={University of Paderborn}, year={2001}, collection={Forschungsbericht}
}'
chicago: Mehner, Katharina, M. Mezini, Elke Pulvermüller, and Andreas Speck, eds.
Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics,
Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany).
Vol. tr-ri-01-223. Forschungsbericht. University of Paderborn, 2001.
ieee: K. Mehner, M. Mezini, E. Pulvermüller, and A. Speck, Eds., Proceedings
of the workshop on Aspect-Orientation, German Society for Informatics, Special
Interest Group for Object-Oriented Software Developement, Paderborn (Germany),
vol. tr-ri-01-223. University of Paderborn, 2001.
mla: Mehner, Katharina, et al., editors. Proceedings of the Workshop on Aspect-Orientation,
German Society for Informatics, Special Interest Group for Object-Oriented Software
Developement, Paderborn (Germany). Vol. tr-ri-01-223, University of Paderborn,
2001.
short: K. Mehner, M. Mezini, E. Pulvermüller, A. Speck, eds., Proceedings of the
Workshop on Aspect-Orientation, German Society for Informatics, Special Interest
Group for Object-Oriented Software Developement, Paderborn (Germany), University
of Paderborn, 2001.
date_created: 2019-02-19T19:08:50Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: M.
full_name: Mezini, M.
last_name: Mezini
- first_name: Elke
full_name: Pulvermüller, Elke
last_name: Pulvermüller
- first_name: Andreas
full_name: Speck, Andreas
last_name: Speck
language:
- iso: eng
publisher: University of Paderborn
series_title: Forschungsbericht
status: public
title: Proceedings of the workshop on Aspect-Orientation, German Society for Informatics,
Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)
type: conference_editor
user_id: '52534'
volume: tr-ri-01-223
year: '2001'
...
---
_id: '7788'
citation:
ama: 'Engels G, Oberweis A, Zündorf A, eds. Modellierung 2001. Vol 1. Bonn:
Gesellschaft für Informatik (GI); 2001.'
apa: 'Engels, G., Oberweis, A., & Zündorf, A. (Eds.). (2001). Modellierung
2001 (Vol. 1). Bonn: Gesellschaft für Informatik (GI).'
bibtex: '@book{Engels_Oberweis_Zündorf_2001, place={Bonn}, series={Lecture Notes
in Informatics}, title={Modellierung 2001}, volume={1}, publisher={Gesellschaft
für Informatik (GI)}, year={2001}, collection={Lecture Notes in Informatics} }'
chicago: 'Engels, Gregor, A. Oberweis, and Albert Zündorf, eds. Modellierung
2001. Vol. 1. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik
(GI), 2001.'
ieee: 'G. Engels, A. Oberweis, and A. Zündorf, Eds., Modellierung 2001, vol.
1. Bonn: Gesellschaft für Informatik (GI), 2001.'
mla: Engels, Gregor, et al., editors. Modellierung 2001. Vol. 1, Gesellschaft
für Informatik (GI), 2001.
short: G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft
für Informatik (GI), Bonn, 2001.
date_created: 2019-02-19T19:09:37Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: A.
full_name: Oberweis, A.
last_name: Oberweis
- first_name: Albert
full_name: Zündorf, Albert
last_name: Zündorf
intvolume: ' 1'
language:
- iso: eng
place: Bonn
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Modellierung 2001
type: conference_editor
user_id: '52534'
volume: 1
year: '2001'
...
---
_id: '7789'
citation:
ama: Böllert K, Streitferdt D, Heuzeroth D, Mehner K, Hanenberg S, eds. Proceedings
of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium
on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany).;
2001.
apa: Böllert, K., Streitferdt, D., Heuzeroth, D., Mehner, K., & Hanenberg, S.
(Eds.). (2001). Proceedings of the 3rd Young Researchers Workshop, satellite
of the 3rd International Symposium on Generative and Component-Based Engineering
(GCSE ’01), Erfurt (Germany).
bibtex: '@book{Böllert_Streitferdt_Heuzeroth_Mehner_Hanenberg_2001, title={Proceedings
of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium
on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany)}, year={2001}
}'
chicago: Böllert, K., D. Streitferdt, D. Heuzeroth, Katharina Mehner, and S. Hanenberg,
eds. Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd
International Symposium on Generative and Component-Based Engineering (GCSE ’01),
Erfurt (Germany), 2001.
ieee: K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, and S. Hanenberg, Eds.,
Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International
Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany).
2001.
mla: Böllert, K., et al., editors. Proceedings of the 3rd Young Researchers Workshop,
Satellite of the 3rd International Symposium on Generative and Component-Based
Engineering (GCSE ’01), Erfurt (Germany). 2001.
short: K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, S. Hanenberg, eds.,
Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International
Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany),
2001.
date_created: 2019-02-19T19:10:41Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: K.
full_name: Böllert, K.
last_name: Böllert
- first_name: D.
full_name: Streitferdt, D.
last_name: Streitferdt
- first_name: D.
full_name: Heuzeroth, D.
last_name: Heuzeroth
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: S.
full_name: Hanenberg, S.
last_name: Hanenberg
language:
- iso: eng
status: public
title: Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International
Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany)
type: conference_editor
user_id: '52534'
year: '2001'
...
---
_id: '7879'
author:
- first_name: Björn
full_name: Lütkemeier, Björn
last_name: Lütkemeier
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Lütkemeier B, Thöne S. Prozessorientierte Integration von Softwarekomponenten
durch XML-basierte Workflow-Modelle. In: Proceedings of the Fachwissenschaftlicher
Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany). Konradin-Verlag;
2001.'
apa: Lütkemeier, B., & Thöne, S. (2001). Prozessorientierte Integration von
Softwarekomponenten durch XML-basierte Workflow-Modelle. In Proceedings of
the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried
(Germany). Konradin-Verlag.
bibtex: '@inproceedings{Lütkemeier_Thöne_2001, title={Prozessorientierte Integration
von Softwarekomponenten durch XML-basierte Workflow-Modelle}, booktitle={Proceedings
of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried
(Germany)}, publisher={Konradin-Verlag}, author={Lütkemeier, Björn and Thöne,
Sebastian}, year={2001} }'
chicago: Lütkemeier, Björn, and Sebastian Thöne. “Prozessorientierte Integration
von Softwarekomponenten Durch XML-Basierte Workflow-Modelle.” In Proceedings
of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried
(Germany). Konradin-Verlag, 2001.
ieee: B. Lütkemeier and S. Thöne, “Prozessorientierte Integration von Softwarekomponenten
durch XML-basierte Workflow-Modelle,” in Proceedings of the Fachwissenschaftlicher
Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), 2001.
mla: Lütkemeier, Björn, and Sebastian Thöne. “Prozessorientierte Integration von
Softwarekomponenten Durch XML-Basierte Workflow-Modelle.” Proceedings of the
Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried
(Germany), Konradin-Verlag, 2001.
short: 'B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress
(Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.'
date_created: 2019-02-21T10:39:54Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage
2001), Bad Schussenried (Germany)
publisher: Konradin-Verlag
status: public
title: Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7880'
author:
- first_name: Paolo
full_name: Baldan, Paolo
last_name: Baldan
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Baldan P, Corradini A, Ehrig H, Heckel R. Compositional Modeling of Reactive
Systems Using Open Nets. In: Proceedings of the Conference on Concurrency Theory
(CONCUR 2001), Aalborg (Denmark). Vol 2154. LNCS. Berlin/Heidelberg: Springer;
2001:502-518.'
apa: 'Baldan, P., Corradini, A., Ehrig, H., & Heckel, R. (2001). Compositional
Modeling of Reactive Systems Using Open Nets. In Proceedings of the conference
on Concurrency Theory (CONCUR 2001), Aalborg (Denmark) (Vol. 2154, pp. 502–518).
Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Baldan_Corradini_Ehrig_Heckel_2001, place={Berlin/Heidelberg},
series={LNCS}, title={Compositional Modeling of Reactive Systems Using Open Nets},
volume={2154}, booktitle={Proceedings of the conference on Concurrency Theory
(CONCUR 2001), Aalborg (Denmark)}, publisher={Springer}, author={Baldan, Paolo
and Corradini, Andrea and Ehrig, Hartmut and Heckel, Reiko}, year={2001}, pages={502–518},
collection={LNCS} }'
chicago: 'Baldan, Paolo, Andrea Corradini, Hartmut Ehrig, and Reiko Heckel. “Compositional
Modeling of Reactive Systems Using Open Nets.” In Proceedings of the Conference
on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), 2154:502–18. LNCS.
Berlin/Heidelberg: Springer, 2001.'
ieee: P. Baldan, A. Corradini, H. Ehrig, and R. Heckel, “Compositional Modeling
of Reactive Systems Using Open Nets,” in Proceedings of the conference on Concurrency
Theory (CONCUR 2001), Aalborg (Denmark), 2001, vol. 2154, pp. 502–518.
mla: Baldan, Paolo, et al. “Compositional Modeling of Reactive Systems Using Open
Nets.” Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg
(Denmark), vol. 2154, Springer, 2001, pp. 502–18.
short: 'P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference
on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg,
2001, pp. 502–518.'
date_created: 2019-02-21T10:40:17Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2154'
language:
- iso: eng
page: 502-518
place: Berlin/Heidelberg
publication: Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg
(Denmark)
publisher: Springer
series_title: LNCS
status: public
title: Compositional Modeling of Reactive Systems Using Open Nets
type: conference
user_id: '52534'
volume: 2154
year: '2001'
...
---
_id: '7881'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Joachim
full_name: Stroop, Joachim
last_name: Stroop
citation:
ama: 'Küster J, Stroop J. Consistent Design of Embedded Real-Time Systems with UML-RT.
In: Proceedings of the Conference on Object-Oriented Real-Time Distributed
Computing (ISORC 2001), Magdeburg (Germany). Washington, DC, USA: IEEE Computer
Society; 2001:31-40. doi:https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815'
apa: 'Küster, J., & Stroop, J. (2001). Consistent Design of Embedded Real-Time
Systems with UML-RT. In Proceedings of the conference on Object-Oriented Real-Time
Distributed Computing (ISORC 2001), Magdeburg (Germany) (pp. 31–40). Washington,
DC, USA: IEEE Computer Society. https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815'
bibtex: '@inproceedings{Küster_Stroop_2001, place={Washington, DC, USA}, title={Consistent
Design of Embedded Real-Time Systems with UML-RT}, DOI={https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815},
booktitle={Proceedings of the conference on Object-Oriented Real-Time Distributed
Computing (ISORC 2001), Magdeburg (Germany)}, publisher={IEEE Computer Society},
author={Küster, Jochen and Stroop, Joachim}, year={2001}, pages={31–40} }'
chicago: 'Küster, Jochen, and Joachim Stroop. “Consistent Design of Embedded Real-Time
Systems with UML-RT.” In Proceedings of the Conference on Object-Oriented Real-Time
Distributed Computing (ISORC 2001), Magdeburg (Germany), 31–40. Washington,
DC, USA: IEEE Computer Society, 2001. https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815.'
ieee: J. Küster and J. Stroop, “Consistent Design of Embedded Real-Time Systems
with UML-RT,” in Proceedings of the conference on Object-Oriented Real-Time
Distributed Computing (ISORC 2001), Magdeburg (Germany), 2001, pp. 31–40.
mla: Küster, Jochen, and Joachim Stroop. “Consistent Design of Embedded Real-Time
Systems with UML-RT.” Proceedings of the Conference on Object-Oriented Real-Time
Distributed Computing (ISORC 2001), Magdeburg (Germany), IEEE Computer Society,
2001, pp. 31–40, doi:https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815.
short: 'J. Küster, J. Stroop, in: Proceedings of the Conference on Object-Oriented
Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), IEEE Computer
Society, Washington, DC, USA, 2001, pp. 31–40.'
date_created: 2019-02-21T10:40:47Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815
language:
- iso: eng
page: 31-40
place: Washington, DC, USA
publication: Proceedings of the conference on Object-Oriented Real-Time Distributed
Computing (ISORC 2001), Magdeburg (Germany)
publisher: IEEE Computer Society
status: public
title: Consistent Design of Embedded Real-Time Systems with UML-RT
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7882'
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. Improving the Agent-Oriented Modeling Process
with Roles. In: Proceedings of the Fifth International Conference on Autonomous
Agents (AGENTS 2001), Montreal (Canada). New York, NY, USA: ACM Press; 2001:640-647.'
apa: 'Depke, R., Heckel, R., & Küster, J. (2001). Improving the Agent-Oriented
Modeling Process with Roles. In Proceedings of the Fifth International Conference
on Autonomous Agents (AGENTS 2001), Montreal (Canada) (pp. 640–647). New York,
NY, USA: ACM Press.'
bibtex: '@inproceedings{Depke_Heckel_Küster_2001, place={New York, NY, USA}, title={Improving
the Agent-Oriented Modeling Process with Roles}, booktitle={Proceedings of the
Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)},
publisher={ACM Press}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen},
year={2001}, pages={640–647} }'
chicago: 'Depke, Ralph, Reiko Heckel, and Jochen Küster. “Improving the Agent-Oriented
Modeling Process with Roles.” In Proceedings of the Fifth International Conference
on Autonomous Agents (AGENTS 2001), Montreal (Canada), 640–47. New York, NY,
USA: ACM Press, 2001.'
ieee: R. Depke, R. Heckel, and J. Küster, “Improving the Agent-Oriented Modeling
Process with Roles,” in Proceedings of the Fifth International Conference on
Autonomous Agents (AGENTS 2001), Montreal (Canada), 2001, pp. 640–647.
mla: Depke, Ralph, et al. “Improving the Agent-Oriented Modeling Process with Roles.”
Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS
2001), Montreal (Canada), ACM Press, 2001, pp. 640–47.
short: 'R. Depke, R. Heckel, J. Küster, in: Proceedings of the Fifth International
Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), ACM Press, New
York, NY, USA, 2001, pp. 640–647.'
date_created: 2019-02-21T10:41:13Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 640-647
place: New York, NY, USA
publication: Proceedings of the Fifth International Conference on Autonomous Agents
(AGENTS 2001), Montreal (Canada)
publisher: ACM Press
status: public
title: Improving the Agent-Oriented Modeling Process with Roles
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7883'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Depke R, Heckel R. Modellierung von Prozessen mit UML und Realisierung durch
eine Internet-Agentenplattform. In: Proceedings of the 9. Kolloquium Software-Entwicklung
Für Internet Und Intranet, Ostfildern (Germany). Technische Akademie Esslingen;
2001.'
apa: Depke, R., & Heckel, R. (2001). Modellierung von Prozessen mit UML und
Realisierung durch eine Internet-Agentenplattform. In Proceedings of the 9.
Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany).
Technische Akademie Esslingen.
bibtex: '@inproceedings{Depke_Heckel_2001, title={Modellierung von Prozessen mit
UML und Realisierung durch eine Internet-Agentenplattform}, booktitle={Proceedings
of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern
(Germany)}, publisher={Technische Akademie Esslingen}, author={Depke, Ralph and
Heckel, Reiko}, year={2001} }'
chicago: Depke, Ralph, and Reiko Heckel. “Modellierung von Prozessen Mit UML Und
Realisierung Durch Eine Internet-Agentenplattform.” In Proceedings of the 9.
Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany).
Technische Akademie Esslingen, 2001.
ieee: R. Depke and R. Heckel, “Modellierung von Prozessen mit UML und Realisierung
durch eine Internet-Agentenplattform,” in Proceedings of the 9. Kolloquium
Software-Entwicklung für Internet und Intranet, Ostfildern (Germany), 2001.
mla: Depke, Ralph, and Reiko Heckel. “Modellierung von Prozessen Mit UML Und Realisierung
Durch Eine Internet-Agentenplattform.” Proceedings of the 9. Kolloquium Software-Entwicklung
Für Internet Und Intranet, Ostfildern (Germany), Technische Akademie Esslingen,
2001.
short: 'R. Depke, R. Heckel, in: Proceedings of the 9. Kolloquium Software-Entwicklung
Für Internet Und Intranet, Ostfildern (Germany), Technische Akademie Esslingen,
2001.'
date_created: 2019-02-21T10:41:47Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und
Intranet, Ostfildern (Germany)
publisher: Technische Akademie Esslingen
status: public
title: Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7884'
abstract:
- lang: eng
text: Object-oriented modeling favors the modeling of object behavior from different
viewpoints and at different levels of abstraction. This gives rise to consistency
problems between overlapping or semantically related submodels. The absence of
a formal semantics for the UML and the numerous ways of employing the language
within the development process lead to a number of different consistency notions.
Therefore, general meta-level techniques are required for specifying, analyzing,
and communicating consistency constraints. In this paper, we discuss the issue
of consistency of behavioral models in the UML and present techniques for specifying
and analyzing consistency. Using meta-model rules we transform elements of UML
models into a semantic domain. Then, consistency constraints can by specified
and validated using the language and the tools of the semantic domain. This general
methodology is exemplified by the problem of protocol statechart inheritance.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Engels G, Heckel R, Küster J. Rule-Based Specification of Behavioral Consistency
Based on the UML Meta-model. In: Proceedings of the Conference on The Unified
Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto
(Canada). Vol 2185. Berlin/Heidelberg: Springer; 2001:272-287. doi:http://dx.doi.org/10.1007/3-540-45441-1_21'
apa: 'Engels, G., Heckel, R., & Küster, J. (2001). Rule-Based Specification
of Behavioral Consistency Based on the UML Meta-model. In Proceedings of the
conference on The Unified Modeling Language, Modeling Languages, Concepts, and
Tools (UML 2001), Toronto (Canada) (Vol. 2185, pp. 272–287). Berlin/Heidelberg:
Springer. http://dx.doi.org/10.1007/3-540-45441-1_21'
bibtex: '@inproceedings{Engels_Heckel_Küster_2001, place={Berlin/Heidelberg}, title={Rule-Based
Specification of Behavioral Consistency Based on the UML Meta-model}, volume={2185},
DOI={http://dx.doi.org/10.1007/3-540-45441-1_21},
booktitle={Proceedings of the conference on The Unified Modeling Language, Modeling
Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}, publisher={Springer},
author={Engels, Gregor and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={272–287}
}'
chicago: 'Engels, Gregor, Reiko Heckel, and Jochen Küster. “Rule-Based Specification
of Behavioral Consistency Based on the UML Meta-Model.” In Proceedings of the
Conference on The Unified Modeling Language, Modeling Languages, Concepts, and
Tools (UML 2001), Toronto (Canada), 2185:272–87. Berlin/Heidelberg: Springer,
2001. http://dx.doi.org/10.1007/3-540-45441-1_21.'
ieee: G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral
Consistency Based on the UML Meta-model,” in Proceedings of the conference
on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML
2001), Toronto (Canada), 2001, vol. 2185, pp. 272–287.
mla: Engels, Gregor, et al. “Rule-Based Specification of Behavioral Consistency
Based on the UML Meta-Model.” Proceedings of the Conference on The Unified
Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto
(Canada), vol. 2185, Springer, 2001, pp. 272–87, doi:http://dx.doi.org/10.1007/3-540-45441-1_21.
short: 'G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The
Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001),
Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.'
date_created: 2019-02-21T10:42:24Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45441-1_21
intvolume: ' 2185'
language:
- iso: eng
page: 272-287
place: Berlin/Heidelberg
publication: Proceedings of the conference on The Unified Modeling Language, Modeling
Languages, Concepts, and Tools (UML 2001), Toronto (Canada)
publisher: Springer
status: public
title: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
type: conference
user_id: '52534'
volume: 2185
year: '2001'
...
---
_id: '7885'
abstract:
- lang: eng
text: Object-oriented modeling favors the modeling of object behavior from different
viewpoints and the successive refinement of behavioral models in the development
process. This gives rise to consistency problems of behavioral models. The absence
of a formal semantics for UML models and the numerous possibilities of employing
behavioral models within the development process lead to the rise of a number
of different consistency notions. In this paper, w e discuss the issue of consistency
of behavioral models in the UML and present a general methodology how consistency
problems can be dealt with. According to the methodology, those aspects of the
models relevant to the consistency are mapped to a semantic domain in which precise
consistency tests can be formulated. The choice of the semantic domain and the
definition of consistency conditions can be used to construct different consistency
notions. We show the applicability of our methodology by giving an example of
a concrete consistency problem of concurrent object-oriented models.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Engels G, Küster J, Groenewegen L, Heckel R. A methodology for specifying
and analyzing consistency of object-oriented behavioral models. In: Proceedings
of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT
Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria).
Vol 26. New York, NY, USA: ACM Press; 2001:186-195. doi:http://dx.doi.org/10.1145/503271.503235'
apa: 'Engels, G., Küster, J., Groenewegen, L., & Heckel, R. (2001). A methodology
for specifying and analyzing consistency of object-oriented behavioral models.
In Proceedings of the 8th European Software Engineering Conference (ESEC 2001)
and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9),
Vienna (Austria) (Vol. 26, pp. 186–195). New York, NY, USA: ACM Press. http://dx.doi.org/10.1145/503271.503235'
bibtex: '@inproceedings{Engels_Küster_Groenewegen_Heckel_2001, place={New York,
NY, USA}, title={A methodology for specifying and analyzing consistency of object-oriented
behavioral models}, volume={26}, DOI={http://dx.doi.org/10.1145/503271.503235},
number={5}, booktitle={Proceedings of the 8th European Software Engineering Conference
(ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering
(FSE-9), Vienna (Austria)}, publisher={ACM Press}, author={Engels, Gregor and
Küster, Jochen and Groenewegen, Luuk and Heckel, Reiko}, year={2001}, pages={186–195}
}'
chicago: 'Engels, Gregor, Jochen Küster, Luuk Groenewegen, and Reiko Heckel. “A
Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral
Models.” In Proceedings of the 8th European Software Engineering Conference
(ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering
(FSE-9), Vienna (Austria), 26:186–95. New York, NY, USA: ACM Press, 2001.
http://dx.doi.org/10.1145/503271.503235.'
ieee: G. Engels, J. Küster, L. Groenewegen, and R. Heckel, “A methodology for specifying
and analyzing consistency of object-oriented behavioral models,” in Proceedings
of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT
Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria),
2001, vol. 26, no. 5, pp. 186–195.
mla: Engels, Gregor, et al. “A Methodology for Specifying and Analyzing Consistency
of Object-Oriented Behavioral Models.” Proceedings of the 8th European Software
Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE-9), Vienna (Austria), vol. 26, no. 5, ACM Press,
2001, pp. 186–95, doi:http://dx.doi.org/10.1145/503271.503235.
short: 'G. Engels, J. Küster, L. Groenewegen, R. Heckel, in: Proceedings of the
8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium
on the Foundations of Software Engineering (FSE-9), Vienna (Austria), ACM Press,
New York, NY, USA, 2001, pp. 186–195.'
date_created: 2019-02-21T10:43:26Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1145/503271.503235
intvolume: ' 26'
issue: '5'
language:
- iso: eng
page: 186-195
place: New York, NY, USA
publication: Proceedings of the 8th European Software Engineering Conference (ESEC
2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9),
Vienna (Austria)
publisher: ACM Press
status: public
title: A methodology for specifying and analyzing consistency of object-oriented behavioral
models
type: conference
user_id: '52534'
volume: 26
year: '2001'
...
---
_id: '7886'
author:
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Geiger C, Flake S, Küster J. Towards UML-based Analysis and Design of Multi-Agent
Systems. In: Proceedings of International NAISO Symposium on Information Science
Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS
2001), Dubai (United Arab Emirates). ; 2001.'
apa: Geiger, C., Flake, S., & Küster, J. (2001). Towards UML-based Analysis
and Design of Multi-Agent Systems. In Proceedings of International NAISO Symposium
on Information Science Innovations in Engineering of Natural and Artificial Intelligent
Systems (ENAIS 2001), Dubai (United Arab Emirates).
bibtex: '@inproceedings{Geiger_Flake_Küster_2001, title={Towards UML-based Analysis
and Design of Multi-Agent Systems}, booktitle={Proceedings of International NAISO
Symposium on Information Science Innovations in Engineering of Natural and Artificial
Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)}, author={Geiger,
Christian and Flake, Stephan and Küster, Jochen}, year={2001} }'
chicago: Geiger, Christian, Stephan Flake, and Jochen Küster. “Towards UML-Based
Analysis and Design of Multi-Agent Systems.” In Proceedings of International
NAISO Symposium on Information Science Innovations in Engineering of Natural and
Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates),
2001.
ieee: C. Geiger, S. Flake, and J. Küster, “Towards UML-based Analysis and Design
of Multi-Agent Systems,” in Proceedings of International NAISO Symposium on
Information Science Innovations in Engineering of Natural and Artificial Intelligent
Systems (ENAIS 2001), Dubai (United Arab Emirates), 2001.
mla: Geiger, Christian, et al. “Towards UML-Based Analysis and Design of Multi-Agent
Systems.” Proceedings of International NAISO Symposium on Information Science
Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS
2001), Dubai (United Arab Emirates), 2001.
short: 'C. Geiger, S. Flake, J. Küster, in: Proceedings of International NAISO Symposium
on Information Science Innovations in Engineering of Natural and Artificial Intelligent
Systems (ENAIS 2001), Dubai (United Arab Emirates), 2001.'
date_created: 2019-02-21T10:44:10Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of International NAISO Symposium on Information Science Innovations
in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai
(United Arab Emirates)
status: public
title: Towards UML-based Analysis and Design of Multi-Agent Systems
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7887'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Heckel R, Engels G. Graph Transformation as a Meta Language for Dynamic Modeling
and Model Evolution. In: Proceeding of International Special Session on Formal
Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on
Software Maintenance and Reengineering), Lisbon (Portugal). Lisbon: Universidade
Nova de Lisboa; 2001:42-47.'
apa: 'Heckel, R., & Engels, G. (2001). Graph Transformation as a Meta Language
for Dynamic Modeling and Model Evolution. In Proceeding of International Special
Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with
the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)
(pp. 42–47). Lisbon: Universidade Nova de Lisboa.'
bibtex: '@inproceedings{Heckel_Engels_2001, place={Lisbon}, title={Graph Transformation
as a Meta Language for Dynamic Modeling and Model Evolution}, number={UNL-DI-1-2001},
booktitle={Proceeding of International Special Session on Formal Foundations of
Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance
and Reengineering), Lisbon (Portugal)}, publisher={Universidade Nova de Lisboa},
author={Heckel, Reiko and Engels, Gregor}, year={2001}, pages={42–47} }'
chicago: 'Heckel, Reiko, and Gregor Engels. “Graph Transformation as a Meta Language
for Dynamic Modeling and Model Evolution.” In Proceeding of International Special
Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with
the Conference on Software Maintenance and Reengineering), Lisbon (Portugal),
42–47. Lisbon: Universidade Nova de Lisboa, 2001.'
ieee: R. Heckel and G. Engels, “Graph Transformation as a Meta Language for Dynamic
Modeling and Model Evolution,” in Proceeding of International Special Session
on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference
on Software Maintenance and Reengineering), Lisbon (Portugal), 2001, no. UNL-DI-1-2001,
pp. 42–47.
mla: Heckel, Reiko, and Gregor Engels. “Graph Transformation as a Meta Language
for Dynamic Modeling and Model Evolution.” Proceeding of International Special
Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with
the Conference on Software Maintenance and Reengineering), Lisbon (Portugal),
no. UNL-DI-1-2001, Universidade Nova de Lisboa, 2001, pp. 42–47.
short: 'R. Heckel, G. Engels, in: Proceeding of International Special Session on
Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference
on Software Maintenance and Reengineering), Lisbon (Portugal), Universidade Nova
de Lisboa, Lisbon, 2001, pp. 42–47.'
date_created: 2019-02-21T10:44:34Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
issue: UNL-DI-1-2001
language:
- iso: eng
page: 42-47
place: Lisbon
publication: Proceeding of International Special Session on Formal Foundations of
Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance
and Reengineering), Lisbon (Portugal)
publisher: Universidade Nova de Lisboa
status: public
title: Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7888'
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Hendrik Hausmann J, Heckel R, Sauer S. Towards Dynamic Meta Modeling of UML
Extensions: An Extensible Semantics for UML Sequence Diagrams. In: Proceedings
of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC
2001), Stresa (Italy). Washington, DC, USA: IEEE Computer Society; 2001:80-87.'
apa: 'Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2001). Towards Dynamic
Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.
In Proceedings of the IEEE Symposia on Human Centric Computing Languages and
Environments (HCC 2001), Stresa (Italy) (pp. 80–87). Washington, DC, USA:
IEEE Computer Society.'
bibtex: '@inproceedings{Hendrik Hausmann_Heckel_Sauer_2001, place={Washington, DC,
USA}, title={Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics
for UML Sequence Diagrams}, booktitle={Proceedings of the IEEE Symposia on Human
Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE
Computer Society}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer,
Stefan}, year={2001}, pages={80–87} }'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Towards Dynamic
Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.”
In Proceedings of the IEEE Symposia on Human Centric Computing Languages and
Environments (HCC 2001), Stresa (Italy), 80–87. Washington, DC, USA: IEEE
Computer Society, 2001.'
ieee: 'J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Towards Dynamic Meta Modeling
of UML Extensions: An Extensible Semantics for UML Sequence Diagrams,” in Proceedings
of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC
2001), Stresa (Italy), 2001, pp. 80–87.'
mla: 'Hendrik Hausmann, Jan, et al. “Towards Dynamic Meta Modeling of UML Extensions:
An Extensible Semantics for UML Sequence Diagrams.” Proceedings of the IEEE
Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa
(Italy), IEEE Computer Society, 2001, pp. 80–87.'
short: 'J. Hendrik Hausmann, R. Heckel, S. Sauer, 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. 80–87.'
date_created: 2019-02-21T10:45:17Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 80-87
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: 'Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for
UML Sequence Diagrams'
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7889'
abstract:
- lang: eng
text: 'In Requirements Engineering structural and functional requirements for a
new software system are gathered, analyzed, and manifested. Unfortunately the
connection between these aspects gets lost in the standard object oriented methodology
and has to be re-established later on. Not only is this tedious work but the detection
of conflicts and inconsistencies in early phases is hindered by the separation
of static and dynamic aspects. We propose the use of graph transformations to
specify the connection between these aspects. Based on what we call an integrated
business model, consistency analysis at the requirements model level becomes possible.
Keywords: UML, Unified Process, functional specifications, integrated business
model, graph transformation 1 Introduction At the beginning of each software development
there are several ideas or visions of what the system to be build should achieve.
The techniques developed in the area of requirements engineering are concerned
with gathering, structuring and integrating these different ideas for the new
system. It is the goal of this process to achieve a set of reasonable and consistent
requirements for the further development process. The main problem is the detection
and resolution of inconsistencies and conflicts between competing requirements.
The application of formal methods and notations promises to support this task
by enabling automated analysis. Although multiple formal methods have been proposed
by scientists (see e.g. [7] for a survey), the standard methodologies in object
oriented software engineering still use very informal and imprecise techniques
in this phase of the development process. In particular, what is missing is a
coupling between the structural (data) description (captured in class diagrams)
and the behavior of the system (captured in activity and use case diagrams). In
this paper we will show how to improve this situation by giving use cases a precise
description, thus achieving a coupling of the dynamic and static parts of the
model. This allows to apply formal techniques of consistency analysis. The paper
is organized as follows: Section 2 gives an introduction to the requirements analysis
phase in the Unified Process (UP) and points out some weak points of this approach.
We will advance the basic ideas presented in the UP by further elaborating the
ideas of a business model and formalizing their notion in Section 3. Section 4
introduces use case diagrams and their new role in the context of the integrated
business model. Section 5 extends the notion of views to structure the whole requirements
model and the concluding Section 6 gives perspectives toward further work on this
topic.'
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Hendrik Hausmann J, Heckel R. Use Cases as views: A formal approach to Requirements
engineering in the Unified Process. In: Proceedings of the GI/OCG-Jahrestagung
on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit
(2001), Wien (Österreich). Vol 1. Wien (Österreich): Österreichische Computer
Gesellschaft; 2001:595-599.'
apa: 'Hendrik Hausmann, J., & Heckel, R. (2001). Use Cases as views: A formal
approach to Requirements engineering in the Unified Process. In Proceedings
of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy
- Visionen und Wirklichkeit (2001), Wien (Österreich) (Vol. 1, pp. 595–599).
Wien (Österreich): Österreichische Computer Gesellschaft.'
bibtex: '@inproceedings{Hendrik Hausmann_Heckel_2001, place={Wien (Österreich)},
title={Use Cases as views: A formal approach to Requirements engineering in the
Unified Process}, volume={1}, booktitle={Proceedings of the GI/OCG-Jahrestagung
on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit
(2001), Wien (Österreich)}, publisher={Österreichische Computer Gesellschaft},
author={Hendrik Hausmann, Jan and Heckel, Reiko}, year={2001}, pages={595–599}
}'
chicago: 'Hendrik Hausmann, Jan, and Reiko Heckel. “Use Cases as Views: A Formal
Approach to Requirements Engineering in the Unified Process.” In Proceedings
of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy
- Visionen Und Wirklichkeit (2001), Wien (Österreich), 1:595–99. Wien (Österreich):
Österreichische Computer Gesellschaft, 2001.'
ieee: 'J. Hendrik Hausmann and R. Heckel, “Use Cases as views: A formal approach
to Requirements engineering in the Unified Process,” in Proceedings of the
GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen
und Wirklichkeit (2001), Wien (Österreich), 2001, vol. 1, pp. 595–599.'
mla: 'Hendrik Hausmann, Jan, and Reiko Heckel. “Use Cases as Views: A Formal Approach
to Requirements Engineering in the Unified Process.” Proceedings of the GI/OCG-Jahrestagung
on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit
(2001), Wien (Österreich), vol. 1, Österreichische Computer Gesellschaft,
2001, pp. 595–99.'
short: 'J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung
on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit
(2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich),
2001, pp. 595–599.'
date_created: 2019-02-21T10:46:46Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 1'
language:
- iso: eng
page: 595-599
place: Wien (Österreich)
publication: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft
in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)
publisher: Österreichische Computer Gesellschaft
status: public
title: 'Use Cases as views: A formal approach to Requirements engineering in the Unified
Process'
type: conference
user_id: '52534'
volume: 1
year: '2001'
...