---
_id: '7901'
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: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Hendrik Hausmann J, Heckel R, Taentzer G. Detecting conflicting functional
requirements in a use case driven approach: A static analysis technique based
on graph transformation. In: Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA). New York, NY, USA:
ACM Press; 2002:105-155. doi:http://doi.acm.org/10.1145/581339.581355'
apa: 'Hendrik Hausmann, J., Heckel, R., & Taentzer, G. (2002). Detecting conflicting
functional requirements in a use case driven approach: A static analysis technique
based on graph transformation. In Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA) (pp. 105–155). New
York, NY, USA: ACM Press. http://doi.acm.org/10.1145/581339.581355'
bibtex: '@inproceedings{Hendrik Hausmann_Heckel_Taentzer_2002, place={New York,
NY, USA}, title={Detecting conflicting functional requirements in a use case driven
approach: A static analysis technique based on graph transformation}, DOI={http://doi.acm.org/10.1145/581339.581355},
booktitle={Proceedings of the 24th International Conference on Software Engineering
(ICSE 2002), Orlando, FL (USA)}, publisher={ACM Press}, author={Hendrik Hausmann,
Jan and Heckel, Reiko and Taentzer, Gabriele}, year={2002}, pages={105–155} }'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Gabriele Taentzer. “Detecting
Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis
Technique Based on Graph Transformation.” In Proceedings of the 24th International
Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), 105–55.
New York, NY, USA: ACM Press, 2002. http://doi.acm.org/10.1145/581339.581355.'
ieee: 'J. Hendrik Hausmann, R. Heckel, and G. Taentzer, “Detecting conflicting functional
requirements in a use case driven approach: A static analysis technique based
on graph transformation,” in Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA), 2002, pp. 105–155.'
mla: 'Hendrik Hausmann, Jan, et al. “Detecting Conflicting Functional Requirements
in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.”
Proceedings of the 24th International Conference on Software Engineering (ICSE
2002), Orlando, FL (USA), ACM Press, 2002, pp. 105–55, doi:http://doi.acm.org/10.1145/581339.581355.'
short: 'J. Hendrik Hausmann, R. Heckel, G. Taentzer, in: Proceedings of the 24th
International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA),
ACM Press, New York, NY, USA, 2002, pp. 105–155.'
date_created: 2019-02-21T10:59:09Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://doi.acm.org/10.1145/581339.581355
language:
- iso: eng
page: '105-155 '
place: New York, NY, USA
publication: Proceedings of the 24th International Conference on Software Engineering
(ICSE 2002), Orlando, FL (USA)
publisher: ACM Press
status: public
title: 'Detecting conflicting functional requirements in a use case driven approach:
A static analysis technique based on graph transformation'
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7902'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mourad
full_name: Chouikha, Mourad
last_name: Chouikha
citation:
ama: 'Heckel R, Chouikha M. Compositional Control Synthesis for Discrete Event Systems:
An Approach based on Open Petri Nets. In: Proceedings of the Conference on
Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA).
Grandview, TX, USA: Society of Design and Process Science; 2002:63-77.'
apa: 'Heckel, R., & Chouikha, M. (2002). Compositional Control Synthesis for
Discrete Event Systems: An Approach based on Open Petri Nets. In Proceedings
of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA) (pp. 63–77). Grandview, TX, USA: Society of Design and Process Science.'
bibtex: '@inproceedings{Heckel_Chouikha_2002, place={Grandview, TX, USA}, title={Compositional
Control Synthesis for Discrete Event Systems: An Approach based on Open Petri
Nets}, booktitle={Proceedings of the conference on Integrated Design & Process
Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={Society of Design and
Process Science}, author={Heckel, Reiko and Chouikha, Mourad}, year={2002}, pages={63–77}
}'
chicago: 'Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for
Discrete Event Systems: An Approach Based on Open Petri Nets.” In Proceedings
of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA), 63–77. Grandview, TX, USA: Society of Design and Process Science,
2002.'
ieee: 'R. Heckel and M. Chouikha, “Compositional Control Synthesis for Discrete
Event Systems: An Approach based on Open Petri Nets,” in Proceedings of the
conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA), 2002, pp. 63–77.'
mla: 'Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete
Event Systems: An Approach Based on Open Petri Nets.” Proceedings of the Conference
on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA),
Society of Design and Process Science, 2002, pp. 63–77.'
short: 'R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated
Design & Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design
and Process Science, Grandview, TX, USA, 2002, pp. 63–77.'
date_created: 2019-02-21T10:59:49Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 63-77
place: Grandview, TX, USA
publication: Proceedings of the conference on Integrated Design & Process Technology
(IDPT 2002), Pasadena, CA (USA)
publisher: Society of Design and Process Science
status: public
title: 'Compositional Control Synthesis for Discrete Event Systems: An Approach based
on Open Petri Nets'
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7903'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Heckel R, Küster J, Taentzer G. Confluence of Typed Attributed Graph Transformation
Systems. In: Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain). Berlin/Heidelberg: Springer; 2002:161-176.'
apa: 'Heckel, R., Küster, J., & Taentzer, G. (2002). Confluence of Typed Attributed
Graph Transformation Systems. In Proceedings of the First International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain) (pp. 161–176). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Heckel_Küster_Taentzer_2002, place={Berlin/Heidelberg},
title={Confluence of Typed Attributed Graph Transformation Systems}, booktitle={Proceedings
of the First International Conference on Graph Transformation (ICGT 2002), Barcelona
(Spain)}, publisher={Springer}, author={Heckel, Reiko and Küster, Jochen and Taentzer,
Gabriele}, year={2002}, pages={161–176} }'
chicago: 'Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Confluence of Typed
Attributed Graph Transformation Systems.” In Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 161–76.
Berlin/Heidelberg: Springer, 2002.'
ieee: R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph
Transformation Systems,” in Proceedings of the First International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, pp. 161–176.
mla: Heckel, Reiko, et al. “Confluence of Typed Attributed Graph Transformation
Systems.” Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain), Springer, 2002, pp. 161–76.
short: 'R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg,
2002, pp. 161–176.'
date_created: 2019-02-21T11:00:30Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 161-176
place: Berlin/Heidelberg
publication: Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)
publisher: Springer
status: public
title: Confluence of Typed Attributed Graph Transformation Systems
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7904'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
citation:
ama: 'Mehner K. JaVis: A UML-Based Visualization and Debugging Environment for Concurrent
Java Programs. In: Proceedings of the International Seminar on Software Visualization,
Dagstuhl (Germany). Vol 2269. LNCS. Berlin/Heidelberg: Springer; 2002:163-175.'
apa: 'Mehner, K. (2002). JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs. In Proceedings of the International Seminar on
Software Visualization, Dagstuhl (Germany) (Vol. 2269, pp. 163–175). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Mehner_2002, place={Berlin/Heidelberg}, series={LNCS}, title={JaVis:
A UML-Based Visualization and Debugging Environment for Concurrent Java Programs},
volume={2269}, booktitle={Proceedings of the International Seminar on Software
Visualization, Dagstuhl (Germany)}, publisher={Springer}, author={Mehner, Katharina},
year={2002}, pages={163–175}, collection={LNCS} }'
chicago: 'Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs.” In Proceedings of the International Seminar
on Software Visualization, Dagstuhl (Germany), 2269:163–75. LNCS. Berlin/Heidelberg:
Springer, 2002.'
ieee: 'K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for
Concurrent Java Programs,” in Proceedings of the International Seminar on Software
Visualization, Dagstuhl (Germany), 2002, vol. 2269, pp. 163–175.'
mla: 'Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs.” Proceedings of the International Seminar on
Software Visualization, Dagstuhl (Germany), vol. 2269, Springer, 2002, pp.
163–75.'
short: 'K. Mehner, in: Proceedings of the International Seminar on Software Visualization,
Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.'
date_created: 2019-02-21T11:01:07Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2269'
language:
- iso: eng
page: 163-175
place: Berlin/Heidelberg
publication: Proceedings of the International Seminar on Software Visualization, Dagstuhl
(Germany)
publisher: Springer
series_title: LNCS
status: public
title: 'JaVis: A UML-Based Visualization and Debugging Environment for Concurrent
Java Programs'
type: conference
user_id: '52534'
volume: 2269
year: '2002'
...
---
_id: '7905'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Schattkowsky T, Lohmann M. Rapid Development of Modular Dynamic Web Sites
Using UML. In: Proceedings of the 5th International Conference on The Unified
Modeling Language (UML 2002), Dresden (Germany). LNCS. London, UK: Springer;
2002:336-350. doi:http://dx.doi.org/10.1007/3-540-45800-X'
apa: 'Schattkowsky, T., & Lohmann, M. (2002). Rapid Development of Modular Dynamic
Web Sites Using UML. In Proceedings of the 5th International Conference on
The Unified Modeling Language (UML 2002), Dresden (Germany) (pp. 336–350).
London, UK: Springer. http://dx.doi.org/10.1007/3-540-45800-X'
bibtex: '@inproceedings{Schattkowsky_Lohmann_2002, place={London, UK}, series={LNCS},
title={Rapid Development of Modular Dynamic Web Sites Using UML}, DOI={http://dx.doi.org/10.1007/3-540-45800-X},
booktitle={Proceedings of the 5th International Conference on The Unified Modeling
Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Schattkowsky,
Tim and Lohmann, Marc}, year={2002}, pages={336–350}, collection={LNCS} }'
chicago: 'Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic
Web Sites Using UML.” In Proceedings of the 5th International Conference on
The Unified Modeling Language (UML 2002), Dresden (Germany), 336–50. LNCS.
London, UK: Springer, 2002. http://dx.doi.org/10.1007/3-540-45800-X.'
ieee: T. Schattkowsky and M. Lohmann, “Rapid Development of Modular Dynamic Web
Sites Using UML,” in Proceedings of the 5th International Conference on The
Unified Modeling Language (UML 2002), Dresden (Germany), 2002, pp. 336–350.
mla: Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic
Web Sites Using UML.” Proceedings of the 5th International Conference on The
Unified Modeling Language (UML 2002), Dresden (Germany), Springer, 2002, pp.
336–50, doi:http://dx.doi.org/10.1007/3-540-45800-X.
short: 'T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference
on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London,
UK, 2002, pp. 336–350.'
date_created: 2019-02-21T11:01:45Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45800-X
language:
- iso: eng
page: 336-350
place: London, UK
publication: Proceedings of the 5th International Conference on The Unified Modeling
Language (UML 2002), Dresden (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Rapid Development of Modular Dynamic Web Sites Using UML
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7906'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: 'Cherchago A. Formal Semantics for a UML fragment using UML/OCL metamodeling.
In: Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press; 2002.'
apa: Cherchago, A. (2002). Formal Semantics for a UML fragment using UML/OCL metamodeling.
In Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press.
bibtex: '@inproceedings{Cherchago_2002, title={Formal Semantics for a UML fragment
using UML/OCL metamodeling}, booktitle={Proceedings of the 6th IASTED International
Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA
(USA)}, publisher={ACTA Press}, author={Cherchago, Alexey}, year={2002} }'
chicago: Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.”
In Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press, 2002.
ieee: A. Cherchago, “Formal Semantics for a UML fragment using UML/OCL metamodeling,”
in Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA), 2002.
mla: Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.”
Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
short: 'A. Cherchago, in: Proceedings of the 6th IASTED International Conference
on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA
Press, 2002.'
date_created: 2019-02-21T11:02:12Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA)
publisher: ACTA Press
status: public
title: Formal Semantics for a UML fragment using UML/OCL metamodeling
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8212'
author:
- first_name: Pascal
full_name: Constanza, Pascal
last_name: Constanza
- first_name: Günther
full_name: Kniesel, Günther
last_name: Kniesel
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Elke
full_name: Pulvermüller, Elke
last_name: Pulvermüller
- first_name: Andreas
full_name: Speck, Andreas
last_name: Speck
citation:
ama: Constanza P, Kniesel G, Mehner K, Pulvermüller E, Speck A. Proceedings of
the Workshop on Aspect-Oriented Software Developement, Held by the German Society
for Informatics, Special Interest Group for Object-Oriented Software Developement.
University of Bonn; 2002.
apa: Constanza, P., Kniesel, G., Mehner, K., Pulvermüller, E., & Speck, A. (2002).
Proceedings of the Workshop on Aspect-Oriented Software Developement, held
by the German Society for Informatics, Special Interest Group for Object-Oriented
Software Developement. University of Bonn.
bibtex: '@book{Constanza_Kniesel_Mehner_Pulvermüller_Speck_2002, title={Proceedings
of the Workshop on Aspect-Oriented Software Developement, held by the German Society
for Informatics, Special Interest Group for Object-Oriented Software Developement},
publisher={University of Bonn}, author={Constanza, Pascal and Kniesel, Günther
and Mehner, Katharina and Pulvermüller, Elke and Speck, Andreas}, year={2002}
}'
chicago: Constanza, Pascal, Günther Kniesel, Katharina Mehner, Elke Pulvermüller,
and Andreas Speck. Proceedings of the Workshop on Aspect-Oriented Software
Developement, Held by the German Society for Informatics, Special Interest Group
for Object-Oriented Software Developement. University of Bonn, 2002.
ieee: P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, and A. Speck, Proceedings
of the Workshop on Aspect-Oriented Software Developement, held by the German Society
for Informatics, Special Interest Group for Object-Oriented Software Developement.
University of Bonn, 2002.
mla: Constanza, Pascal, et al. Proceedings of the Workshop on Aspect-Oriented
Software Developement, Held by the German Society for Informatics, Special Interest
Group for Object-Oriented Software Developement. University of Bonn, 2002.
short: P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. Speck, Proceedings
of the Workshop on Aspect-Oriented Software Developement, Held by the German Society
for Informatics, Special Interest Group for Object-Oriented Software Developement,
University of Bonn, 2002.
date_created: 2019-03-03T16:13:10Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Bonn
report_number: IAI-TR-2002-1
status: public
title: Proceedings of the Workshop on Aspect-Oriented Software Developement, held
by the German Society for Informatics, Special Interest Group for Object-Oriented
Software Developement
type: report
user_id: '52534'
year: '2002'
...
---
_id: '7385'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mercé
full_name: Llabrés, Mercé
last_name: Llabrés
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Fernando
full_name: Orejas, Fernando
last_name: Orejas
citation:
ama: Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency and Loose Semantics of
Open Graph Transformation Systems. Mathematical Structures in Computer Science.
2002;12(4):349-376.
apa: Heckel, R., Llabrés, M., Ehrig, H., & Orejas, F. (2002). Concurrency and
Loose Semantics of Open Graph Transformation Systems. Mathematical Structures
in Computer Science, 12(4), 349–376.
bibtex: '@article{Heckel_Llabrés_Ehrig_Orejas_2002, title={Concurrency and Loose
Semantics of Open Graph Transformation Systems}, volume={12}, number={4}, journal={Mathematical
Structures in Computer Science}, author={Heckel, Reiko and Llabrés, Mercé and
Ehrig, Hartmut and Orejas, Fernando}, year={2002}, pages={349–376} }'
chicago: 'Heckel, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. “Concurrency
and Loose Semantics of Open Graph Transformation Systems.” Mathematical Structures
in Computer Science 12, no. 4 (2002): 349–76.'
ieee: R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency and Loose Semantics
of Open Graph Transformation Systems,” Mathematical Structures in Computer
Science, vol. 12, no. 4, pp. 349–376, 2002.
mla: Heckel, Reiko, et al. “Concurrency and Loose Semantics of Open Graph Transformation
Systems.” Mathematical Structures in Computer Science, vol. 12, no. 4,
2002, pp. 349–76.
short: R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer
Science 12 (2002) 349–376.
date_created: 2019-01-31T15:36:17Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 12'
issue: '4'
language:
- iso: eng
page: 349-376
publication: Mathematical Structures in Computer Science
status: public
title: Concurrency and Loose Semantics of Open Graph Transformation Systems
type: journal_article
user_id: '52534'
volume: 12
year: '2002'
...
---
_id: '7387'
abstract:
- lang: eng
text: Constructing complex software systems by integrating different software components
is a promising and challenging approach. With the functionality of software components
given by models it is possible to ensure consistency of such models before implementation
in order to successfully build the system. Models consisting of different submodels,
the absence of an overall formal semantics and the numerous possibilities of employing
models requires the development of techniques ensuring the consistency. In this
paper, we discuss the issue of consistency of models made up of different submodels
proposing a concept for the management of consistency. Consistency management
relies on a consistency concept and a process for ensuring consistency of models.
We introduce a consistency concept for software components modeled in the Unified
Modeling Language (UML) and devise suitable consistency checks. On this basis,
we propose a process how to locate and resolve inconsistencies, thus ensuring
the consistency of models and by that the consistency of componentbased systems
derived from those 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
citation:
ama: 'Engels G, Küster J, Groenewegen L. Consistent Interaction of Software Components.
Transactions of the SDPS: Journal of Integrated Design & Process Science.
2002;6(4):2-22.'
apa: 'Engels, G., Küster, J., & Groenewegen, L. (2002). Consistent Interaction
of Software Components. Transactions of the SDPS: Journal of Integrated Design
& Process Science, 6(4), 2–22.'
bibtex: '@article{Engels_Küster_Groenewegen_2002, title={Consistent Interaction
of Software Components}, volume={6}, number={4}, journal={Transactions of the
SDPS: Journal of Integrated Design & Process Science}, author={Engels, Gregor
and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }'
chicago: 'Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction
of Software Components.” Transactions of the SDPS: Journal of Integrated Design
& Process Science 6, no. 4 (2002): 2–22.'
ieee: 'G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software
Components,” Transactions of the SDPS: Journal of Integrated Design & Process
Science, vol. 6, no. 4, pp. 2–22, 2002.'
mla: 'Engels, Gregor, et al. “Consistent Interaction of Software Components.” Transactions
of the SDPS: Journal of Integrated Design & Process Science, vol. 6, no.
4, 2002, pp. 2–22.'
short: 'G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal
of Integrated Design & Process Science 6 (2002) 2–22.'
date_created: 2019-01-31T15:38:09Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 6'
issue: '4'
language:
- iso: eng
page: 2-22
publication: 'Transactions of the SDPS: Journal of Integrated Design & Process Science'
status: public
title: Consistent Interaction of Software Components
type: journal_article
user_id: '52534'
volume: 6
year: '2002'
...
---
_id: '7388'
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. Formal Agent-Oriented Modeling with Graph Transformation.
Science of Computer Programming. 2002;44:229-252.
apa: Depke, R., Heckel, R., & Küster, J. (2002). Formal Agent-Oriented Modeling
with Graph Transformation. Science of Computer Programming, 44,
229–252.
bibtex: '@article{Depke_Heckel_Küster_2002, title={Formal Agent-Oriented Modeling
with Graph Transformation}, volume={44}, journal={Science of Computer Programming},
author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2002}, pages={229–252}
}'
chicago: 'Depke, Ralph, Reiko Heckel, and Jochen Küster. “Formal Agent-Oriented
Modeling with Graph Transformation.” Science of Computer Programming 44
(2002): 229–52.'
ieee: R. Depke, R. Heckel, and J. Küster, “Formal Agent-Oriented Modeling with Graph
Transformation,” Science of Computer Programming, vol. 44, pp. 229–252,
2002.
mla: Depke, Ralph, et al. “Formal Agent-Oriented Modeling with Graph Transformation.”
Science of Computer Programming, vol. 44, 2002, pp. 229–52.
short: R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002)
229–252.
date_created: 2019-01-31T15:39:00Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 44'
language:
- iso: eng
page: 229-252
publication: Science of Computer Programming
status: public
title: Formal Agent-Oriented Modeling with Graph Transformation
type: journal_article
user_id: '52534'
volume: 44
year: '2002'
...
---
_id: '7389'
abstract:
- lang: ger
text: Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die
Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die
Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe,
um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die
in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur
Distribution der entwickelten Materialien vor.
author:
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Doberkat E-E, Engels G. MuSofT - Multimedia in der Softwaretechnik. Informatik
Forschung und Entwicklung. 2002;1(17):41-44.
apa: Doberkat, E.-E., & Engels, G. (2002). MuSofT - Multimedia in der Softwaretechnik.
Informatik Forschung Und Entwicklung, 1(17), 41–44.
bibtex: '@article{Doberkat_Engels_2002, title={MuSofT - Multimedia in der Softwaretechnik},
volume={1}, number={17}, journal={Informatik Forschung und Entwicklung}, author={Doberkat,
Ernst-Erich and Engels, Gregor}, year={2002}, pages={41–44} }'
chicago: 'Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der
Softwaretechnik.” Informatik Forschung Und Entwicklung 1, no. 17 (2002):
41–44.'
ieee: E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,”
Informatik Forschung und Entwicklung, vol. 1, no. 17, pp. 41–44, 2002.
mla: Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.”
Informatik Forschung Und Entwicklung, vol. 1, no. 17, 2002, pp. 41–44.
short: E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002)
41–44.
date_created: 2019-01-31T15:39:38Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 1'
issue: '17'
language:
- iso: eng
page: 41-44
publication: Informatik Forschung und Entwicklung
status: public
title: MuSofT - Multimedia in der Softwaretechnik
type: journal_article
user_id: '52534'
volume: 1
year: '2002'
...
---
_id: '7390'
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Ugo
full_name: Montanari, Ugo
last_name: Montanari
citation:
ama: 'Corradini A, Heckel R, Montanari U. Compositional SOS and Beyond: A Coalgebraic
View of Open Systems. Theoretical Computer Science. 2002;280(1-2):163-192.
doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1'
apa: 'Corradini, A., Heckel, R., & Montanari, U. (2002). Compositional SOS and
Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science,
280(1–2), 163–192. http://dx.doi.org/10.1016/S0304-3975(01)00025-1'
bibtex: '@article{Corradini_Heckel_Montanari_2002, title={Compositional SOS and
Beyond: A Coalgebraic View of Open Systems}, volume={280}, DOI={http://dx.doi.org/10.1016/S0304-3975(01)00025-1},
number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea
and Heckel, Reiko and Montanari, Ugo}, year={2002}, pages={163–192} }'
chicago: 'Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Compositional SOS
and Beyond: A Coalgebraic View of Open Systems.” Theoretical Computer Science
280, no. 1–2 (2002): 163–92. http://dx.doi.org/10.1016/S0304-3975(01)00025-1.'
ieee: 'A. Corradini, R. Heckel, and U. Montanari, “Compositional SOS and Beyond:
A Coalgebraic View of Open Systems,” Theoretical Computer Science, vol.
280, no. 1–2, pp. 163–192, 2002.'
mla: 'Corradini, Andrea, et al. “Compositional SOS and Beyond: A Coalgebraic View
of Open Systems.” Theoretical Computer Science, vol. 280, no. 1–2, 2002,
pp. 163–92, doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1.'
short: A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002)
163–192.
date_created: 2019-01-31T15:40:17Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S0304-3975(01)00025-1
intvolume: ' 280'
issue: 1-2
language:
- iso: eng
page: 163-192
publication: Theoretical Computer Science
status: public
title: 'Compositional SOS and Beyond: A Coalgebraic View of Open Systems'
type: journal_article
user_id: '52534'
volume: 280
year: '2002'
...
---
_id: '7524'
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Kathrin
full_name: Hoffmann, Kathrin
last_name: Hoffmann
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Paolo
full_name: Baldan, Paolo
last_name: Baldan
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes.
In: Brauer W, Ehrig H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing:
Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg:
Springer; 2002:191-219. doi:http://dx.doi.org/10.1007/3-540-45711-9_12'
apa: 'Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002).
High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.),
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol.
2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12'
bibtex: '@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg},
series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={http://dx.doi.org/10.1007/3-540-45711-9_12},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg,
Julia and Baldan, Paolo and Heckel, Reiko}, editor={Brauer, W. and Ehrig, H. and
Karhumäki, J. and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS}
}'
chicago: 'Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko
Heckel. “High-Level Net Processes.” In Formal and Natural Computing: Essays
Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehrig, J. Karhumäki,
and A. Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. http://dx.doi.org/10.1007/3-540-45711-9_12.'
ieee: 'H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level
Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa ,
Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.'
mla: 'Ehrig, Hartmut, et al. “High-Level Net Processes.” Formal and Natural Computing:
Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer et al., vol.
2300, Springer, 2002, pp. 191–219, doi:http://dx.doi.org/10.1007/3-540-45711-9_12.'
short: 'H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer,
H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays
Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.'
date_created: 2019-02-04T23:02:26Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45711-9_12
editor:
- first_name: 'W. '
full_name: 'Brauer, W. '
last_name: Brauer
- first_name: 'H. '
full_name: 'Ehrig, H. '
last_name: Ehrig
- first_name: 'J. '
full_name: 'Karhumäki, J. '
last_name: Karhumäki
- first_name: 'A. '
full_name: 'Salomaa , A. '
last_name: 'Salomaa '
intvolume: ' 2300'
language:
- iso: eng
page: 191-219
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: High-Level Net Processes
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7525'
abstract:
- lang: eng
text: The paper studies and compares two different approaches to model communication
and cooperation. The approaches are team automata, a well-defined variant of communicating
automata, and statecharts, heavily used in object-oriented modelling methods.
The comparison yields interesting insights for modelling communication and cooperation.
In particular, the differences between action-based, synchronous and state-based,
asynchronous communication are elucidated.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative
Work. In: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg.
Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.'
apa: 'Engels, G., & Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented
Collaborative Work. In Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.'
bibtex: '@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={2002},
pages={257–276}, collection={LNCS} }'
chicago: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
Collaborative Work.” In Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.'
ieee: 'G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented
Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.'
mla: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
Collaborative Work.” Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, Springer, 2002, pp. 257–76.'
short: 'G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated
to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.'
date_created: 2019-02-04T23:03:52Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
intvolume: ' 2300'
language:
- iso: eng
page: 257-276
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: Towards Team-Automata-Driven Object-Oriented Collaborative Work
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7526'
abstract:
- lang: eng
text: Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt.
Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema
beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert.
Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt.
In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen,
multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der
hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre
anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt
hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über
gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen
Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
citation:
ama: 'Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Informatik
Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes
in Informatics. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft
für Informatik (GI); 2002:377-384.'
apa: 'Engels, G., & Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre.
In Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002,
Lecture Notes in Informatics (Vol. P-19, pp. 377–384). Bonn: Gesellschaft
für Informatik (GI).'
bibtex: '@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics},
title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik
bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels,
Gregor and Doberkat, Ernst-Erich}, year={2002}, pages={377–384}, collection={Lecture
Notes in Informatics} }'
chicago: 'Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
In Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
Lecture Notes in Informatics, P-19:377–84. Lecture Notes in Informatics. Bonn:
Gesellschaft für Informatik (GI), 2002.'
ieee: 'G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik
bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
in Informatics, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp.
377–384.'
mla: Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
Lecture Notes in Informatics, vol. P-19, Gesellschaft für Informatik (GI),
2002, pp. 377–84.
short: 'G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft
Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik
(GI), Bonn, 2002, pp. 377–384.'
date_created: 2019-02-04T23:04:36Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 377-384
place: Bonn
publication: Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik,
2002, Lecture Notes in Informatics
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Multimedia in der Informatik-Lehre
type: book_chapter
user_id: '52534'
volume: P-19
year: '2002'
...
---
_id: '7527'
abstract:
- lang: eng
text: The notion of processes for low-level Petri nets based on occurrence nets
is well known and it represents the basis for the study of the non-sequential
behavior of Petri nets. Processes for high-level nets N are often defined as processes
of the low level net Flat(N) which is obtained from N via a construction called
flattening. In this paper we define high-level processes for high-level nets based
on a suitable notion of high-level occurrence nets. The flattening of a high-level
occurrence net is in general not a low-level occurrence net, due to so called
assignment conflicts in the high-level net. The main technical result is a syntactical
characterization of assignment conflicts. But the main focus of this paper is
a conceptual discussion of future perspectives of high-level net processes including
concurrency and data type aspects. Specifically, in the second part of the paper,
we discuss possible extensions of high-level net processes, which are formally
introduced for algebraic high-level nets in the first part of this paper. Of special
interest are high-level processes with data type behavior, amalgamation, and other
kinds of constructions, which are essential aspects for a proposed component concept
for high-level nets.
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Kathrin
full_name: Hoffmann, Kathrin
last_name: Hoffmann
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Paolo
full_name: Baldan, Paolo
last_name: Baldan
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes.
In: Brauer W, Ehrig H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing:
Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg:
Springer; 2002:191-219. doi:http://dx.doi.org/10.1007/3-540-45711-9_12'
apa: 'Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002).
High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.),
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol.
2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12'
bibtex: '@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg},
series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={http://dx.doi.org/10.1007/3-540-45711-9_12},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg,
Julia and Baldan, Paolo and Heckel, Reiko}, editor={ Brauer, W. and Ehrig, H.
and Karhumäki, J. and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS}
}'
chicago: 'Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko
Heckel. “High-Level Net Processes.” In Formal and Natural Computing: Essays
Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehrig, J. Karhumäki,
and A. Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. http://dx.doi.org/10.1007/3-540-45711-9_12.'
ieee: 'H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level
Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa
, Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.'
mla: 'Ehrig, Hartmut, et al. “High-Level Net Processes.” Formal and Natural Computing:
Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer et al., vol.
2300, Springer, 2002, pp. 191–219, doi:http://dx.doi.org/10.1007/3-540-45711-9_12.'
short: 'H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer,
H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays
Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.'
date_created: 2019-02-05T11:54:53Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45711-9_12
editor:
- first_name: W.
full_name: ' Brauer, W.'
last_name: ' Brauer'
- first_name: H.
full_name: ' Ehrig, H.'
last_name: ' Ehrig'
- first_name: J.
full_name: Karhumäki, J.
last_name: Karhumäki
- first_name: 'A. '
full_name: 'Salomaa , A. '
last_name: 'Salomaa '
intvolume: ' 2300'
language:
- iso: eng
page: 191-219
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: High-Level Net Processes
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7528'
abstract:
- lang: eng
text: The paper studies and compares two different approaches to model communication
and cooperation. The approaches are team automata, a well-defined variant of communicating
automata, and statecharts, heavily used in object-oriented modelling methods.
The comparison yields interesting insights for modelling communication and cooperation.
In particular, the differences between action-based, synchronous and state-based,
asynchronous communication are elucidated.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative
Work. In: Brauer W, Ehring H, Karhumäki J, Salomaa A, eds. Formal and Natural
Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg:
Springer; 2002:257-276.'
apa: 'Engels, G., & Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented
Collaborative Work. In W. Brauer, H. Ehring, J. Karhumäki, & A. Salomaa (Eds.),
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol.
2300, pp. 257–276). Berlin/Heidelberg: Springer.'
bibtex: '@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, editor={Brauer,
W. and Ehring, H. and Karhumäki, J. and Salomaa, A. Editors}, year={2002}, pages={257–276},
collection={LNCS} }'
chicago: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
Collaborative Work.” In Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, edited by W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa,
2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.'
ieee: 'G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented
Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa,
Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.'
mla: 'Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented
Collaborative Work.” Formal and Natural Computing: Essays Dedicated to Grzegorz
Rozenberg, edited by W. Brauer et al., vol. 2300, Springer, 2002, pp. 257–76.'
short: 'G. Engels, L. Groenewegen, in: W. Brauer, H. Ehring, J. Karhumäki, A. Salomaa
(Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg,
Springer, Berlin/Heidelberg, 2002, pp. 257–276.'
date_created: 2019-02-05T11:57:09Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'W. '
full_name: 'Brauer, W. '
last_name: Brauer
- first_name: H.
full_name: Ehring, H.
last_name: Ehring
- first_name: 'J. '
full_name: 'Karhumäki, J. '
last_name: Karhumäki
- first_name: 'A. '
full_name: 'Salomaa, A. '
last_name: Salomaa
intvolume: ' 2300'
language:
- iso: eng
page: 257-276
place: Berlin/Heidelberg
publication: 'Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg'
publisher: Springer
series_title: LNCS
status: public
title: Towards Team-Automata-Driven Object-Oriented Collaborative Work
type: book_chapter
user_id: '52534'
volume: 2300
year: '2002'
...
---
_id: '7529'
abstract:
- lang: ger
text: Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt.
Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema
beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert.
Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt.
In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen,
multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der
hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre
anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt
hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über
gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen
Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
citation:
ama: 'Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Schubert S,
Reusch B, Jesse N, eds. Informatik Bewegt. 32. Jahrestagung Der Gesellschaft
Für Informatik, 2002, Lecture Notes in Informatics. Vol P-19. Lecture Notes
in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.'
apa: 'Engels, G., & Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre.
In S. Schubert, B. Reusch, & N. Jesse (Eds.), Informatik bewegt. 32. Jahrestagung
der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics (Vol.
P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).'
bibtex: '@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics},
title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik
bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels,
Gregor and Doberkat, Ernst-Erich}, editor={Schubert, S. and Reusch, B. and Jesse,
N. Editors}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics}
}'
chicago: 'Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
In Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
Lecture Notes in Informatics, edited by S. Schubert, B. Reusch, and N. Jesse,
P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
2002.'
ieee: 'G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik
bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes
in Informatics, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn:
Gesellschaft für Informatik (GI), 2002, pp. 377–384.'
mla: Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.”
Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002,
Lecture Notes in Informatics, edited by S. Schubert et al., vol. P-19, Gesellschaft
für Informatik (GI), 2002, pp. 377–84.
short: 'G. Engels, E.-E. Doberkat, in: S. Schubert, B. Reusch, N. Jesse (Eds.),
Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture
Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.'
date_created: 2019-02-05T11:59:25Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'S. '
full_name: 'Schubert, S. '
last_name: Schubert
- first_name: 'B. '
full_name: 'Reusch, B. '
last_name: Reusch
- first_name: 'N. '
full_name: 'Jesse, N. '
last_name: Jesse
language:
- iso: eng
page: 377-384
place: Bonn
publication: Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik,
2002, Lecture Notes in Informatics
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Multimedia in der Informatik-Lehre
type: book_chapter
user_id: '52534'
volume: P-19
year: '2002'
...
---
_id: '8363'
abstract:
- lang: eng
text: A major concern of software development today is the integration of applications
of different enterprises, e.g., over the internet. This requires a shift of focus
from system development towards integration of enterprise models and evolution
of systems. We propose a conceptual framework for a method addressing these issues
and discuss its formalization by means of graph transformation concepts.
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. Towards a Formal Framework for Inter-Enterprise Application
Integration. In: Proceedings of the Closing Workshop of the TMR Network GETGRATS
(2002), Bordeaux (France). Vol 51. Electronic Notes in Theoretical Computer
Science. Elsevier; 2002:139-151. doi:http://dx.doi.org/10.1016/S1571-0661(04)80198-1'
apa: Heckel, R., & Engels, G. (2002). Towards a Formal Framework for Inter-Enterprise
Application Integration. In Proceedings of the Closing Workshop of the TMR
Network GETGRATS (2002), Bordeaux (France) (Vol. 51, pp. 139–151). Elsevier.
http://dx.doi.org/10.1016/S1571-0661(04)80198-1
bibtex: '@inproceedings{Heckel_Engels_2002, series={Electronic Notes in Theoretical
Computer Science}, title={Towards a Formal Framework for Inter-Enterprise Application
Integration}, volume={51}, DOI={http://dx.doi.org/10.1016/S1571-0661(04)80198-1},
booktitle={Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002),
Bordeaux (France)}, publisher={Elsevier}, author={Heckel, Reiko and Engels, Gregor},
year={2002}, pages={139–151}, collection={Electronic Notes in Theoretical Computer
Science} }'
chicago: Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise
Application Integration.” In Proceedings of the Closing Workshop of the TMR
Network GETGRATS (2002), Bordeaux (France), 51:139–51. Electronic Notes in
Theoretical Computer Science. Elsevier, 2002. http://dx.doi.org/10.1016/S1571-0661(04)80198-1.
ieee: R. Heckel and G. Engels, “Towards a Formal Framework for Inter-Enterprise
Application Integration,” in Proceedings of the Closing Workshop of the TMR
Network GETGRATS (2002), Bordeaux (France), 2002, vol. 51, pp. 139–151.
mla: Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise
Application Integration.” Proceedings of the Closing Workshop of the TMR Network
GETGRATS (2002), Bordeaux (France), vol. 51, Elsevier, 2002, pp. 139–51, doi:http://dx.doi.org/10.1016/S1571-0661(04)80198-1.
short: 'R. Heckel, G. Engels, in: Proceedings of the Closing Workshop of the TMR
Network GETGRATS (2002), Bordeaux (France), Elsevier, 2002, pp. 139–151.'
date_created: 2019-03-06T11:12:56Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(04)80198-1
intvolume: ' 51'
language:
- iso: eng
page: 139-151
publication: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002),
Bordeaux (France)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Towards a Formal Framework for Inter-Enterprise Application Integration
type: conference
user_id: '52534'
volume: 51
year: '2002'
...
---
_id: '8364'
abstract:
- lang: eng
text: The composition of elementary web services to larger-scale services has become
an important means to enhance e-business collaborations. If such composite web
services can also integrate legacy components that are not yet provided as web
services, the number of possible compositions is increased. Following a process-oriented
approach, the compositions can be described as control- and data-flow between
available web services and components. This paper discusses the Business Process
Execution Language for Web Services (BPEL4WS), an existing service composition
language, and proposes UML-WSC as an alternative, visual language. For the advanced
description of service interfaces, UML-WSC extends the type system of the established
Web Service Definition Language (WSDL).
author:
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Thöne S, Depke R, Engels G. Process-Oriented, Flexible Composition of Web
Services with UML. In: Proceedings of the International Workshop on Conceptual
Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere
(Finland). Vol 2784. LNCS. Berlin/Heidelberg: Springer; 2002:390-401.'
apa: 'Thöne, S., Depke, R., & Engels, G. (2002). Process-Oriented, Flexible
Composition of Web Services with UML. In Proceedings of the International Workshop
on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO
2002), Tampere (Finland) (Vol. 2784, pp. 390–401). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Thöne_Depke_Engels_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Process-Oriented, Flexible Composition of Web Services with UML}, volume={2784},
booktitle={Proceedings of the International Workshop on Conceptual Modeling Approaches
for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)}, publisher={Springer},
author={Thöne, Sebastian and Depke, Ralph and Engels, Gregor}, year={2002}, pages={390–401},
collection={LNCS} }'
chicago: 'Thöne, Sebastian, Ralph Depke, and Gregor Engels. “Process-Oriented, Flexible
Composition of Web Services with UML.” In Proceedings of the International
Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective
(ECOMO 2002), Tampere (Finland), 2784:390–401. LNCS. Berlin/Heidelberg: Springer,
2002.'
ieee: 'S. Thöne, R. Depke, and G. Engels, “Process-Oriented, Flexible Composition
of Web Services with UML,” in Proceedings of the International Workshop on
Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO
2002), Tampere (Finland), 2002, vol. 2784, pp. 390–401.'
mla: 'Thöne, Sebastian, et al. “Process-Oriented, Flexible Composition of Web Services
with UML.” Proceedings of the International Workshop on Conceptual Modeling
Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland),
vol. 2784, Springer, 2002, pp. 390–401.'
short: 'S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop
on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO
2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401.'
date_created: 2019-03-06T11:12:57Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 2784'
language:
- iso: eng
page: 390-401
place: Berlin/Heidelberg
publication: 'Proceedings of the International Workshop on Conceptual Modeling Approaches
for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)'
publisher: Springer
series_title: LNCS
status: public
title: Process-Oriented, Flexible Composition of Web Services with UML
type: conference
user_id: '52534'
volume: 2784
year: '2002'
...