---
_id: '22323'
author:
- first_name: Detmar
full_name: Zimmer, Detmar
id: '604'
last_name: Zimmer
citation:
ama: Zimmer D. Berechnung des kegeligen Längspressverbands bei Einsteckritzeln.
Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion
. 2001;53(1):50-52.
apa: Zimmer, D. (2001). Berechnung des kegeligen Längspressverbands bei Einsteckritzeln.
Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften VDI-Z Und Konstruktion
, 53(1), 50–52.
bibtex: '@article{Zimmer_2001, title={Berechnung des kegeligen Längspressverbands
bei Einsteckritzeln}, volume={53}, number={1}, journal={Special Antriebstechnik
- Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion }, publisher={Vereinigte
Fachverlage GmbH}, author={Zimmer, Detmar}, year={2001}, pages={50–52} }'
chicago: 'Zimmer, Detmar. “Berechnung Des Kegeligen Längspressverbands Bei Einsteckritzeln.”
Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften VDI-Z Und Konstruktion
53, no. 1 (2001): 50–52.'
ieee: D. Zimmer, “Berechnung des kegeligen Längspressverbands bei Einsteckritzeln,”
Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion
, vol. 53, no. 1, pp. 50–52, 2001.
mla: Zimmer, Detmar. “Berechnung Des Kegeligen Längspressverbands Bei Einsteckritzeln.”
Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften VDI-Z Und Konstruktion
, vol. 53, no. 1, Vereinigte Fachverlage GmbH, 2001, pp. 50–52.
short: D. Zimmer, Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften
VDI-Z Und Konstruktion 53 (2001) 50–52.
date_created: 2021-06-15T11:07:57Z
date_updated: 2022-01-06T06:55:31Z
department:
- _id: '9'
- _id: '146'
intvolume: ' 53'
issue: '1'
language:
- iso: eng
page: 50-52
publication: 'Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z
und Konstruktion '
publisher: Vereinigte Fachverlage GmbH
status: public
title: Berechnung des kegeligen Längspressverbands bei Einsteckritzeln
type: journal_article
user_id: '38077'
volume: 53
year: '2001'
...
---
_id: '22917'
author:
- first_name: Rolf
full_name: König, Rolf
last_name: König
- first_name: Caren
full_name: Sureth-Sloane, Caren
id: '530'
last_name: Sureth-Sloane
citation:
ama: König R, Sureth-Sloane C. Der Einfluss der Unternehmenssteuerreform auf die
rechtsformspezifische Steuerbelastung. Steuern und Bilanzen. 2001;3(3):117-121.
apa: König, R., & Sureth-Sloane, C. (2001). Der Einfluss der Unternehmenssteuerreform
auf die rechtsformspezifische Steuerbelastung. Steuern Und Bilanzen, 3(3),
117–121.
bibtex: '@article{König_Sureth-Sloane_2001, title={Der Einfluss der Unternehmenssteuerreform
auf die rechtsformspezifische Steuerbelastung}, volume={3}, number={3}, journal={Steuern
und Bilanzen}, publisher={Herne Berlin}, author={König, Rolf and Sureth-Sloane,
Caren}, year={2001}, pages={117–121} }'
chicago: 'König, Rolf, and Caren Sureth-Sloane. “Der Einfluss Der Unternehmenssteuerreform
Auf Die Rechtsformspezifische Steuerbelastung.” Steuern Und Bilanzen 3,
no. 3 (2001): 117–21.'
ieee: R. König and C. Sureth-Sloane, “Der Einfluss der Unternehmenssteuerreform
auf die rechtsformspezifische Steuerbelastung,” Steuern und Bilanzen, vol.
3, no. 3, pp. 117–121, 2001.
mla: König, Rolf, and Caren Sureth-Sloane. “Der Einfluss Der Unternehmenssteuerreform
Auf Die Rechtsformspezifische Steuerbelastung.” Steuern Und Bilanzen, vol.
3, no. 3, Herne Berlin, 2001, pp. 117–21.
short: R. König, C. Sureth-Sloane, Steuern Und Bilanzen 3 (2001) 117–121.
date_created: 2021-08-02T11:45:32Z
date_updated: 2022-01-06T06:55:43Z
department:
- _id: '187'
intvolume: ' 3'
issue: '3'
language:
- iso: eng
page: 117-121
publication: Steuern und Bilanzen
publisher: Herne Berlin
status: public
title: Der Einfluss der Unternehmenssteuerreform auf die rechtsformspezifische Steuerbelastung
type: journal_article
user_id: '68751'
volume: 3
year: '2001'
...
---
_id: '23347'
author:
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
citation:
ama: Trächtler A. Integration der fahrdynamischen Funktionen durch Vehicle Dynamics
Management. Tagung “Fahrdynamikregelung”, Haus der Technik. 2001.
apa: Trächtler, A. (2001). Integration der fahrdynamischen Funktionen durch Vehicle
Dynamics Management. Tagung “Fahrdynamikregelung”, Haus Der Technik.
bibtex: '@article{Trächtler_2001, title={Integration der fahrdynamischen Funktionen
durch Vehicle Dynamics Management}, journal={Tagung “Fahrdynamikregelung”, Haus
der Technik}, author={Trächtler, Ansgar}, year={2001} }'
chicago: Trächtler, Ansgar. “Integration Der Fahrdynamischen Funktionen Durch Vehicle
Dynamics Management.” Tagung “Fahrdynamikregelung”, Haus Der Technik, 2001.
ieee: A. Trächtler, “Integration der fahrdynamischen Funktionen durch Vehicle Dynamics
Management,” Tagung “Fahrdynamikregelung”, Haus der Technik, 2001.
mla: Trächtler, Ansgar. “Integration Der Fahrdynamischen Funktionen Durch Vehicle
Dynamics Management.” Tagung “Fahrdynamikregelung”, Haus Der Technik, 2001.
short: A. Trächtler, Tagung “Fahrdynamikregelung”, Haus Der Technik (2001).
date_created: 2021-08-09T09:31:51Z
date_updated: 2022-01-06T06:55:49Z
department:
- _id: '153'
language:
- iso: eng
publication: Tagung "Fahrdynamikregelung", Haus der Technik
status: public
title: Integration der fahrdynamischen Funktionen durch Vehicle Dynamics Management
type: journal_article
user_id: '24876'
year: '2001'
...
---
_id: '23348'
author:
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
citation:
ama: Trächtler A. Tomographische Methoden in der Meßtechnik . Fortschritt-Berichte
VDI Reihe 8 Nr 897. 2001.
apa: Trächtler, A. (2001). Tomographische Methoden in der Meßtechnik . Fortschritt-Berichte
VDI Reihe 8 Nr. 897.
bibtex: '@article{Trächtler_2001, title={Tomographische Methoden in der Meßtechnik
}, journal={Fortschritt-Berichte VDI Reihe 8 Nr. 897}, author={Trächtler, Ansgar},
year={2001} }'
chicago: Trächtler, Ansgar. “Tomographische Methoden in Der Meßtechnik .” Fortschritt-Berichte
VDI Reihe 8 Nr. 897, 2001.
ieee: A. Trächtler, “Tomographische Methoden in der Meßtechnik ,” Fortschritt-Berichte
VDI Reihe 8 Nr. 897, 2001.
mla: Trächtler, Ansgar. “Tomographische Methoden in Der Meßtechnik .” Fortschritt-Berichte
VDI Reihe 8 Nr. 897, 2001.
short: A. Trächtler, Fortschritt-Berichte VDI Reihe 8 Nr. 897 (2001).
date_created: 2021-08-09T09:31:52Z
date_updated: 2022-01-06T06:55:49Z
department:
- _id: '153'
language:
- iso: eng
publication: Fortschritt-Berichte VDI Reihe 8 Nr. 897
status: public
title: 'Tomographische Methoden in der Meßtechnik '
type: journal_article
user_id: '24876'
year: '2001'
...
---
_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'
...
---
_id: '7890'
abstract:
- lang: eng
text: One important application of Petri nets is thespecification of workflows.
Such a specification is needed, for example, when interoperability of the workflows
is an issue, which is frequently the case when business processes of different
organizations shall be integrated.A workflow net is a Petri net satisfying some
structural constraints, like the existence of one initial and one final place,
and a corresponding soundness condition.An interorganizational workflow is modeled
as a set of such workflow nets connected through additional places for asynchronous
communication and synchronization requirements on transitions.In this contribution
we interpret an interorganizational workflow as acomposition of open nets. This
allows us to project processes of the overall net to open processes of the local
nets and,vice versa, to deduce the global behavior from the behavior of the components.Such
a compositional uunderstanding of workflows can be used to simulate and test local
workflow nets in an unknown environment, and it provides the semantic justification
for reusable components.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Heckel R. Open Petri Nets as Semantic Model for Business Process Integration.
In: Proceedings of the 2nd International Colloquium on Petri Net Technologies
for Modelling Communication Based Systems. DFG Research Group “Petri Net Technology”;
2001:129-134.'
apa: Heckel, R. (2001). Open Petri Nets as Semantic Model for Business Process Integration.
In Proceedings of the 2nd International Colloquium on Petri Net Technologies
for Modelling Communication Based Systems (pp. 129–134). DFG Research Group
“Petri Net Technology.”
bibtex: '@inproceedings{Heckel_2001, title={Open Petri Nets as Semantic Model for
Business Process Integration}, booktitle={Proceedings of the 2nd International
Colloquium on Petri Net Technologies for Modelling Communication Based Systems},
publisher={DFG Research Group “Petri Net Technology”}, author={Heckel, Reiko},
year={2001}, pages={129–134} }'
chicago: Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process
Integration.” In Proceedings of the 2nd International Colloquium on Petri Net
Technologies for Modelling Communication Based Systems, 129–34. DFG Research
Group “Petri Net Technology,” 2001.
ieee: R. Heckel, “Open Petri Nets as Semantic Model for Business Process Integration,”
in Proceedings of the 2nd International Colloquium on Petri Net Technologies
for Modelling Communication Based Systems, 2001, pp. 129–134.
mla: Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process Integration.”
Proceedings of the 2nd International Colloquium on Petri Net Technologies for
Modelling Communication Based Systems, DFG Research Group “Petri Net Technology,”
2001, pp. 129–34.
short: 'R. Heckel, in: Proceedings of the 2nd International Colloquium on Petri
Net Technologies for Modelling Communication Based Systems, DFG Research Group
“Petri Net Technology,” 2001, pp. 129–134.'
date_created: 2019-02-21T10:47:49Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 129-134
publication: Proceedings of the 2nd International Colloquium on Petri Net Technologies
for Modelling Communication Based Systems
publisher: DFG Research Group "Petri Net Technology"
status: public
title: Open Petri Nets as Semantic Model for Business Process Integration
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7891'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Heckel R, Sauer S. Strengthening UML Collaboration Diagrams by State Transformations.
In: Proceedings of the 4th International Conference on Fundamental Approaches
to Software Engineering (FASE 2001), Genova (Italy). Vol 2029. LNCS. London,
UK: Springer; 2001:109-123. doi:http://dx.doi.org/10.1007/3-540-45314-8_9'
apa: 'Heckel, R., & Sauer, S. (2001). Strengthening UML Collaboration Diagrams
by State Transformations. In Proceedings of the 4th International Conference
on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)
(Vol. 2029, pp. 109–123). London, UK: Springer. http://dx.doi.org/10.1007/3-540-45314-8_9'
bibtex: '@inproceedings{Heckel_Sauer_2001, place={London, UK}, series={LNCS}, title={Strengthening
UML Collaboration Diagrams by State Transformations}, volume={2029}, DOI={http://dx.doi.org/10.1007/3-540-45314-8_9},
booktitle={Proceedings of the 4th International Conference on Fundamental Approaches
to Software Engineering (FASE 2001), Genova (Italy)}, publisher={Springer}, author={Heckel,
Reiko and Sauer, Stefan}, year={2001}, pages={109–123}, collection={LNCS} }'
chicago: 'Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams
by State Transformations.” In Proceedings of the 4th International Conference
on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy),
2029:109–23. LNCS. London, UK: Springer, 2001. http://dx.doi.org/10.1007/3-540-45314-8_9.'
ieee: R. Heckel and S. Sauer, “Strengthening UML Collaboration Diagrams by State
Transformations,” in Proceedings of the 4th International Conference on Fundamental
Approaches to Software Engineering (FASE 2001), Genova (Italy), 2001, vol.
2029, pp. 109–123.
mla: Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams
by State Transformations.” Proceedings of the 4th International Conference
on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy),
vol. 2029, Springer, 2001, pp. 109–23, doi:http://dx.doi.org/10.1007/3-540-45314-8_9.
short: 'R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference
on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy),
Springer, London, UK, 2001, pp. 109–123.'
date_created: 2019-02-21T10:48:46Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45314-8_9
intvolume: ' 2029'
language:
- iso: eng
page: 109-123
place: London, UK
publication: Proceedings of the 4th International Conference on Fundamental Approaches
to Software Engineering (FASE 2001), Genova (Italy)
publisher: Springer
series_title: LNCS
status: public
title: Strengthening UML Collaboration Diagrams by State Transformations
type: conference
user_id: '52534'
volume: 2029
year: '2001'
...