---
_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'
...
---
_id: '7892'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Küster J. Towards Behavior Consistent Modeling in UML-RT. In: Proceedings
of the Forum on Design Languages (FDL’01). Lyon, France; 2001.'
apa: Küster, J. (2001). Towards Behavior Consistent Modeling in UML-RT. In Proceedings
of the Forum on Design Languages (FDL’01). Lyon, France.
bibtex: '@inproceedings{Küster_2001, place={Lyon, France}, title={Towards Behavior
Consistent Modeling in UML-RT}, booktitle={Proceedings of the Forum on Design
Languages (FDL’01)}, author={Küster, Jochen}, year={2001} }'
chicago: Küster, Jochen. “Towards Behavior Consistent Modeling in UML-RT.” In Proceedings
of the Forum on Design Languages (FDL’01). Lyon, France, 2001.
ieee: J. Küster, “Towards Behavior Consistent Modeling in UML-RT,” in Proceedings
of the Forum on Design Languages (FDL’01), 2001.
mla: Küster, Jochen. “Towards Behavior Consistent Modeling in UML-RT.” Proceedings
of the Forum on Design Languages (FDL’01), 2001.
short: 'J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon,
France, 2001.'
date_created: 2019-02-21T10:49:48Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
place: Lyon, France
publication: Proceedings of the Forum on Design Languages (FDL'01)
status: public
title: Towards Behavior Consistent Modeling in UML-RT
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7893'
abstract:
- lang: eng
text: Availability of precise, yet usable modeling languages is essential to the
construction of multimedia systems based on software engineering principles and
methods. Although several languages have been proposed for the specification of
isolated multimedia system aspects, there not yet exists an integrated modeling
language that adequately supports multimedia software development in practice.
We propose an extension of the Unified Modeling Language (UML) for the integrated
specification of multimedia systems based on an object-oriented development method.
Since integration of co-existing timed procedural and interactive behavior is
at the heart of multimedia systems, we focus on UML-based specification of behavior
in this paper. In addition, we outline how these behavioral aspects are to be
integrated with media, presentation, and software architecture modeling to achieve
a coherent and consistent model.
author:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Sauer S, Engels G. UML-based Behavior Specification of Interactive Multimedia
Applications. In: Proceedings of the IEEE Symposia on Human Centric Computing
Languages and Environments (HCC 2001), Stresa (Italy). Washington, DC, USA:
IEEE Computer Society; 2001:248-255. doi:http://dx.doi.org/10.1109/HCC.2001.995271'
apa: 'Sauer, S., & Engels, G. (2001). UML-based Behavior Specification of Interactive
Multimedia Applications. In Proceedings of the IEEE Symposia on Human Centric
Computing Languages and Environments (HCC 2001), Stresa (Italy) (pp. 248–255).
Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/HCC.2001.995271'
bibtex: '@inproceedings{Sauer_Engels_2001, place={Washington, DC, USA}, title={UML-based
Behavior Specification of Interactive Multimedia Applications}, DOI={http://dx.doi.org/10.1109/HCC.2001.995271},
booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages
and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society},
author={Sauer, Stefan and Engels, Gregor}, year={2001}, pages={248–255} }'
chicago: 'Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of
Interactive Multimedia Applications.” In Proceedings of the IEEE Symposia on
Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy),
248–55. Washington, DC, USA: IEEE Computer Society, 2001. http://dx.doi.org/10.1109/HCC.2001.995271.'
ieee: S. Sauer and G. Engels, “UML-based Behavior Specification of Interactive Multimedia
Applications,” in Proceedings of the IEEE Symposia on Human Centric Computing
Languages and Environments (HCC 2001), Stresa (Italy), 2001, pp. 248–255.
mla: Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of Interactive
Multimedia Applications.” Proceedings of the IEEE Symposia on Human Centric
Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer
Society, 2001, pp. 248–55, doi:http://dx.doi.org/10.1109/HCC.2001.995271.
short: 'S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric
Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer
Society, Washington, DC, USA, 2001, pp. 248–255.'
date_created: 2019-02-21T10:50:19Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/HCC.2001.995271
language:
- iso: eng
page: 248-255
place: Washington, DC, USA
publication: Proceedings of the IEEE Symposia on Human Centric Computing Languages
and Environments (HCC 2001), Stresa (Italy)
publisher: IEEE Computer Society
status: public
title: UML-based Behavior Specification of Interactive Multimedia Applications
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '7894'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Albert
full_name: Zündorf, Albert
last_name: Zündorf
citation:
ama: 'Heckel R, Zündorf A. How to Specify a Graph Transformation Approach - A Meta
Model for Fujaba. In: Ehrig H, Padberg J, eds. Proceeding of the Workshop on
Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001,
Satellite Event of the ETAPS 2001). Vol 44. Electronic Notes in Theoretical
Computer Science. Genova (Italy): Elsevier; 2001:41-51.'
apa: 'Heckel, R., & Zündorf, A. (2001). How to Specify a Graph Transformation
Approach - A Meta Model for Fujaba. In H. Ehrig & J. Padberg (Eds.), Proceeding
of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques
(UNIGRA 2001, satellite event of the ETAPS 2001) (Vol. 44, pp. 41–51). Genova
(Italy): Elsevier.'
bibtex: '@inproceedings{Heckel_Zündorf_2001, place={Genova (Italy)}, series={Electronic
Notes in Theoretical Computer Science}, title={How to Specify a Graph Transformation
Approach - A Meta Model for Fujaba}, volume={44}, booktitle={Proceeding of the
workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA
2001, satellite event of the ETAPS 2001)}, publisher={Elsevier}, author={Heckel,
Reiko and Zündorf, Albert}, editor={Ehrig, H. and Padberg, J.Editors}, year={2001},
pages={41–51}, collection={Electronic Notes in Theoretical Computer Science} }'
chicago: 'Heckel, Reiko, and Albert Zündorf. “How to Specify a Graph Transformation
Approach - A Meta Model for Fujaba.” In Proceeding of the Workshop on Uniform
Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite
Event of the ETAPS 2001), edited by H. Ehrig and J. Padberg, 44:41–51. Electronic
Notes in Theoretical Computer Science. Genova (Italy): Elsevier, 2001.'
ieee: R. Heckel and A. Zündorf, “How to Specify a Graph Transformation Approach
- A Meta Model for Fujaba,” in Proceeding of the workshop on Uniform Approaches
to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of
the ETAPS 2001), 2001, vol. 44, pp. 41–51.
mla: Heckel, Reiko, and Albert Zündorf. “How to Specify a Graph Transformation Approach
- A Meta Model for Fujaba.” Proceeding of the Workshop on Uniform Approaches
to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of
the ETAPS 2001), edited by H. Ehrig and J. Padberg, vol. 44, Elsevier, 2001,
pp. 41–51.
short: 'R. Heckel, A. Zündorf, in: H. Ehrig, J. Padberg (Eds.), Proceeding of the
Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA
2001, Satellite Event of the ETAPS 2001), Elsevier, Genova (Italy), 2001, pp.
41–51.'
date_created: 2019-02-21T10:51:09Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
editor:
- first_name: H.
full_name: Ehrig, H.
last_name: Ehrig
- first_name: J.
full_name: Padberg, J.
last_name: Padberg
intvolume: ' 44'
language:
- iso: eng
page: 41-51
place: Genova (Italy)
publication: Proceeding of the workshop on Uniform Approaches to Graphical Process
Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: How to Specify a Graph Transformation Approach - A Meta Model for Fujaba
type: conference
user_id: '52534'
volume: 44
year: '2001'
...
---
_id: '8211'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: Engels G, Küster J, Groenewegen L. On the Specification and Analysis of
Protocols in UML-RT. University of Paderborn, Department of Computer Science;
2001.
apa: Engels, G., Küster, J., & Groenewegen, L. (2001). On the Specification
and Analysis of Protocols in UML-RT. University of Paderborn, Department of
Computer Science.
bibtex: '@book{Engels_Küster_Groenewegen_2001, title={On the Specification and Analysis
of Protocols in UML-RT}, publisher={University of Paderborn, Department of Computer
Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2001}
}'
chicago: Engels, Gregor, Jochen Küster, and Luuk Groenewegen. On the Specification
and Analysis of Protocols in UML-RT. University of Paderborn, Department of
Computer Science, 2001.
ieee: G. Engels, J. Küster, and L. Groenewegen, On the Specification and Analysis
of Protocols in UML-RT. University of Paderborn, Department of Computer Science,
2001.
mla: Engels, Gregor, et al. On the Specification and Analysis of Protocols in
UML-RT. University of Paderborn, Department of Computer Science, 2001.
short: G. Engels, J. Küster, L. Groenewegen, On the Specification and Analysis of
Protocols in UML-RT, University of Paderborn, Department of Computer Science,
2001.
date_created: 2019-03-03T16:13:09Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, Department of Computer Science
report_number: 01-221
status: public
title: On the Specification and Analysis of Protocols in UML-RT
type: report
user_id: '52534'
year: '2001'
...
---
_id: '7391'
author:
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Lars
full_name: Jansen, Lars
last_name: Jansen
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: E.
full_name: Schnieder, E.
last_name: Schnieder
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Padberg J, Jansen L, Ehrig H, Schnieder E, Heckel R. Cooperability in Train
Control Systems: Specification of Scenarios using Open Nets. Transactions of
the Society for Design and Process Science. 2001;5(1):3-21.'
apa: 'Padberg, J., Jansen, L., Ehrig, H., Schnieder, E., & Heckel, R. (2001).
Cooperability in Train Control Systems: Specification of Scenarios using Open
Nets. Transactions of the Society for Design and Process Science, 5(1),
3–21.'
bibtex: '@article{Padberg_Jansen_Ehrig_Schnieder_Heckel_2001, title={Cooperability
in Train Control Systems: Specification of Scenarios using Open Nets}, volume={5},
number={1}, journal={Transactions of the Society for Design and Process Science},
author={Padberg, Julia and Jansen, Lars and Ehrig, Hartmut and Schnieder, E. and
Heckel, Reiko}, year={2001}, pages={3–21} }'
chicago: 'Padberg, Julia, Lars Jansen, Hartmut Ehrig, E. Schnieder, and Reiko Heckel.
“Cooperability in Train Control Systems: Specification of Scenarios Using Open
Nets.” Transactions of the Society for Design and Process Science 5, no.
1 (2001): 3–21.'
ieee: 'J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, and R. Heckel, “Cooperability
in Train Control Systems: Specification of Scenarios using Open Nets,” Transactions
of the Society for Design and Process Science, vol. 5, no. 1, pp. 3–21, 2001.'
mla: 'Padberg, Julia, et al. “Cooperability in Train Control Systems: Specification
of Scenarios Using Open Nets.” Transactions of the Society for Design and Process
Science, vol. 5, no. 1, 2001, pp. 3–21.'
short: J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of
the Society for Design and Process Science 5 (2001) 3–21.
date_created: 2019-01-31T15:40:49Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 5'
issue: '1'
language:
- iso: eng
page: 3-21
publication: Transactions of the Society for Design and Process Science
status: public
title: 'Cooperability in Train Control Systems: Specification of Scenarios using Open
Nets'
type: journal_article
user_id: '52534'
volume: 5
year: '2001'
...
---
_id: '7392'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Uwe
full_name: Wolter, Uwe
last_name: Wolter
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
citation:
ama: Heckel R, Ehrig H, Wolter U, Corradini A. Double Pullback Transitions and Coalgebraic
Loose Semantics for Graph Transformation Systems. Applied Categorical Structures.
2001;9(1):83-110.
apa: Heckel, R., Ehrig, H., Wolter, U., & Corradini, A. (2001). Double Pullback
Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Applied Categorical Structures, 9(1), 83–110.
bibtex: '@article{Heckel_Ehrig_Wolter_Corradini_2001, title={Double Pullback Transitions
and Coalgebraic Loose Semantics for Graph Transformation Systems}, volume={9},
number={1}, journal={Applied Categorical Structures}, author={Heckel, Reiko and
Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={2001}, pages={83–110}
}'
chicago: 'Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Double
Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation
Systems.” Applied Categorical Structures 9, no. 1 (2001): 83–110.'
ieee: R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Double Pullback Transitions
and Coalgebraic Loose Semantics for Graph Transformation Systems,” Applied
Categorical Structures, vol. 9, no. 1, pp. 83–110, 2001.
mla: Heckel, Reiko, et al. “Double Pullback Transitions and Coalgebraic Loose Semantics
for Graph Transformation Systems.” Applied Categorical Structures, vol.
9, no. 1, 2001, pp. 83–110.
short: R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures
9 (2001) 83–110.
date_created: 2019-01-31T15:41:19Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 9'
issue: '1'
language:
- iso: eng
page: 83-110
publication: Applied Categorical Structures
status: public
title: Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation
Systems
type: journal_article
user_id: '52534'
volume: 9
year: '2001'
...
---
_id: '7393'
abstract:
- lang: eng
text: In this paper, we perform such an analysis and identify requirements for a
general role concept. We develop such a role concept for a modeling approach based
on the UML and graph transformation systems and exemplify its use for the specification
(and application) of protocols. Finally, we provide a run-time semantics for roles
based on concepts from the theory of graph transformation.
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: Depke R, Heckel R, Küster J. Roles in Agent-Oriented Modeling. International
Journal of Software Engineering and Knowledge Engineering. 2001;11(3):281-302.
doi:http://dx.doi.org/10.1142/S0218194001000529
apa: Depke, R., Heckel, R., & Küster, J. (2001). Roles in Agent-Oriented Modeling.
International Journal of Software Engineering and Knowledge Engineering,
11(3), 281–302. http://dx.doi.org/10.1142/S0218194001000529
bibtex: '@article{Depke_Heckel_Küster_2001, title={Roles in Agent-Oriented Modeling},
volume={11}, DOI={http://dx.doi.org/10.1142/S0218194001000529},
number={3}, journal={International Journal of Software Engineering and Knowledge
Engineering}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001},
pages={281–302} }'
chicago: 'Depke, Ralph, Reiko Heckel, and Jochen Küster. “Roles in Agent-Oriented
Modeling.” International Journal of Software Engineering and Knowledge Engineering
11, no. 3 (2001): 281–302. http://dx.doi.org/10.1142/S0218194001000529.'
ieee: R. Depke, R. Heckel, and J. Küster, “Roles in Agent-Oriented Modeling,” International
Journal of Software Engineering and Knowledge Engineering, vol. 11, no. 3,
pp. 281–302, 2001.
mla: Depke, Ralph, et al. “Roles in Agent-Oriented Modeling.” International Journal
of Software Engineering and Knowledge Engineering, vol. 11, no. 3, 2001, pp.
281–302, doi:http://dx.doi.org/10.1142/S0218194001000529.
short: R. Depke, R. Heckel, J. Küster, International Journal of Software Engineering
and Knowledge Engineering 11 (2001) 281–302.
date_created: 2019-01-31T15:41:42Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S0218194001000529
intvolume: ' 11'
issue: '3'
language:
- iso: eng
page: 281-302
publication: International Journal of Software Engineering and Knowledge Engineering
status: public
title: Roles in Agent-Oriented Modeling
type: journal_article
user_id: '52534'
volume: 11
year: '2001'
...
---
_id: '7394'
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: Corradini A, Große-Rhode M, Heckel R. A Coalgebraic presentation of structured
transition systems. Theoretical Computer Science. 2001;260(1-2):27-55.
doi:http://dx.doi.org/10.1016/S0304-3975(00)00121-3
apa: Corradini, A., Große-Rhode, M., & Heckel, R. (2001). A Coalgebraic presentation
of structured transition systems. Theoretical Computer Science, 260(1–2),
27–55. http://dx.doi.org/10.1016/S0304-3975(00)00121-3
bibtex: '@article{Corradini_Große-Rhode_Heckel_2001, title={A Coalgebraic presentation
of structured transition systems}, volume={260}, DOI={http://dx.doi.org/10.1016/S0304-3975(00)00121-3},
number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea
and Große-Rhode, Martin and Heckel, Reiko}, year={2001}, pages={27–55} }'
chicago: 'Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “A Coalgebraic
Presentation of Structured Transition Systems.” Theoretical Computer Science
260, no. 1–2 (2001): 27–55. http://dx.doi.org/10.1016/S0304-3975(00)00121-3.'
ieee: A. Corradini, M. Große-Rhode, and R. Heckel, “A Coalgebraic presentation of
structured transition systems,” Theoretical Computer Science, vol. 260,
no. 1–2, pp. 27–55, 2001.
mla: Corradini, Andrea, et al. “A Coalgebraic Presentation of Structured Transition
Systems.” Theoretical Computer Science, vol. 260, no. 1–2, 2001, pp. 27–55,
doi:http://dx.doi.org/10.1016/S0304-3975(00)00121-3.
short: A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260
(2001) 27–55.
date_created: 2019-01-31T15:42:22Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S0304-3975(00)00121-3
intvolume: ' 260'
issue: 1-2
language:
- iso: eng
page: 27-55
publication: Theoretical Computer Science
status: public
title: A Coalgebraic presentation of structured transition systems
type: journal_article
user_id: '52534'
volume: 260
year: '2001'
...
---
_id: '7395'
abstract:
- lang: ger
text: Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen
durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger
Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst
ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen,
die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein
einheitliches Verständnis des Modells ermöglicht.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jens
full_name: Gaulke, Jens
last_name: Gaulke
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: Engels G, Gaulke J, Sauer S. Modelle für automobile Software - Objektorientierte
Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil. Forschungsforum
Paderborn. 2001;4:24-29.
apa: Engels, G., Gaulke, J., & Sauer, S. (2001). Modelle für automobile Software
- Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen
im Automobil. Forschungsforum Paderborn, 4, 24–29.
bibtex: '@article{Engels_Gaulke_Sauer_2001, title={Modelle für automobile Software
- Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen
im Automobil}, volume={4}, journal={Forschungsforum Paderborn}, author={Engels,
Gregor and Gaulke, Jens and Sauer, Stefan}, year={2001}, pages={24–29} }'
chicago: 'Engels, Gregor, Jens Gaulke, and Stefan Sauer. “Modelle Für Automobile
Software - Objektorientierte Modellierung von Eingebetteten, Interaktiven Softwaresystemen
Im Automobil.” Forschungsforum Paderborn 4 (2001): 24–29.'
ieee: G. Engels, J. Gaulke, and S. Sauer, “Modelle für automobile Software - Objektorientierte
Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil,” Forschungsforum
Paderborn, vol. 4, pp. 24–29, 2001.
mla: Engels, Gregor, et al. “Modelle Für Automobile Software - Objektorientierte
Modellierung von Eingebetteten, Interaktiven Softwaresystemen Im Automobil.” Forschungsforum
Paderborn, vol. 4, 2001, pp. 24–29.
short: G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
date_created: 2019-01-31T15:42:58Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 4'
language:
- iso: eng
page: 24-29
publication: Forschungsforum Paderborn
status: public
title: Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten,
interaktiven Softwaresystemen im Automobil
type: journal_article
user_id: '52534'
volume: 4
year: '2001'
...
---
_id: '8355'
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Lohmann M, Wagner A. Using an XML-capable mailtool for the communication in
software development projects. In: Proceedings of the Workshop on XML Technologies
and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada).
; 2001.'
apa: Lohmann, M., & Wagner, A. (2001). Using an XML-capable mailtool for the
communication in software development projects. In Proceedings of the Workshop
on XML Technologies and Software Engineering (XSE; satellite event of the ICSE
2001), Toronto (Canada).
bibtex: '@inproceedings{Lohmann_Wagner_2001, title={Using an XML-capable mailtool
for the communication in software development projects}, booktitle={Proceedings
of the Workshop on XML Technologies and Software Engineering (XSE; satellite event
of the ICSE 2001), Toronto (Canada)}, author={Lohmann, Marc and Wagner, Annika},
year={2001} }'
chicago: Lohmann, Marc, and Annika Wagner. “Using an XML-Capable Mailtool for the
Communication in Software Development Projects.” In Proceedings of the Workshop
on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE
2001), Toronto (Canada), 2001.
ieee: M. Lohmann and A. Wagner, “Using an XML-capable mailtool for the communication
in software development projects,” in Proceedings of the Workshop on XML Technologies
and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada),
2001.
mla: Lohmann, Marc, and Annika Wagner. “Using an XML-Capable Mailtool for the Communication
in Software Development Projects.” Proceedings of the Workshop on XML Technologies
and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada),
2001.
short: 'M. Lohmann, A. Wagner, in: Proceedings of the Workshop on XML Technologies
and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada),
2001.'
date_created: 2019-03-06T11:12:46Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on XML Technologies and Software Engineering
(XSE; satellite event of the ICSE 2001), Toronto (Canada)
status: public
title: Using an XML-capable mailtool for the communication in software development
projects
type: conference
user_id: '52534'
year: '2001'
...
---
_id: '8356'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
citation:
ama: 'Schattkowsky T, Mehner K, Depke R. Using UML models for the Description of
Concurrent Behavior in Component Interfaces. In: Proceedings of the Workshop
on Concurrency Issues of the UML (Satellite Event of the International Conference
on the Unified Modeling Language - UML 2001), Toronto (Canada). ; 2001.'
apa: Schattkowsky, T., Mehner, K., & Depke, R. (2001). Using UML models for
the Description of Concurrent Behavior in Component Interfaces. In Proceedings
of the Workshop on Concurrency Issues of the UML (satellite event of the International
Conference on the Unified Modeling Language - UML 2001), Toronto (Canada).
bibtex: '@inproceedings{Schattkowsky_Mehner_Depke_2001, title={Using UML models
for the Description of Concurrent Behavior in Component Interfaces}, booktitle={Proceedings
of the Workshop on Concurrency Issues of the UML (satellite event of the International
Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)}, author={Schattkowsky,
Tim and Mehner, Katharina and Depke, Ralph}, year={2001} }'
chicago: Schattkowsky, Tim, Katharina Mehner, and Ralph Depke. “Using UML Models
for the Description of Concurrent Behavior in Component Interfaces.” In Proceedings
of the Workshop on Concurrency Issues of the UML (Satellite Event of the International
Conference on the Unified Modeling Language - UML 2001), Toronto (Canada),
2001.
ieee: T. Schattkowsky, K. Mehner, and R. Depke, “Using UML models for the Description
of Concurrent Behavior in Component Interfaces,” in Proceedings of the Workshop
on Concurrency Issues of the UML (satellite event of the International Conference
on the Unified Modeling Language - UML 2001), Toronto (Canada), 2001.
mla: Schattkowsky, Tim, et al. “Using UML Models for the Description of Concurrent
Behavior in Component Interfaces.” Proceedings of the Workshop on Concurrency
Issues of the UML (Satellite Event of the International Conference on the Unified
Modeling Language - UML 2001), Toronto (Canada), 2001.
short: 'T. Schattkowsky, K. Mehner, R. Depke, in: Proceedings of the Workshop on
Concurrency Issues of the UML (Satellite Event of the International Conference
on the Unified Modeling Language - UML 2001), Toronto (Canada), 2001.'
date_created: 2019-03-06T11:12:47Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on Concurrency Issues of the UML (satellite
event of the International Conference on the Unified Modeling Language - UML 2001),
Toronto (Canada)
status: public
title: Using UML models for the Description of Concurrent Behavior in Component Interfaces
type: conference
user_id: '52534'
year: '2001'
...