---
_id: '7938'
author:
- first_name: Ping
full_name: Guo, Ping
last_name: Guo
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Guo P, Engels G, Heckel R. Architectural Style - Based Modeling and Simulation
of Complex Software Systems. In: Proceedings of the 12th Asia-Pacific Software
Engineering Conference (APSEC 2005), Taipei (Taiwan). Washington, DC, USA:
IEEE Computer Society; 2005:367-374. doi:http://dx.doi.org/10.1109/APSEC.2005.41'
apa: 'Guo, P., Engels, G., & Heckel, R. (2005). Architectural Style - Based
Modeling and Simulation of Complex Software Systems. In Proceedings of the
12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan)
(pp. 367–374). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/APSEC.2005.41'
bibtex: '@inproceedings{Guo_Engels_Heckel_2005, place={Washington, DC, USA}, title={Architectural
Style - Based Modeling and Simulation of Complex Software Systems}, DOI={http://dx.doi.org/10.1109/APSEC.2005.41},
booktitle={Proceedings of the 12th Asia-Pacific Software Engineering Conference
(APSEC 2005), Taipei (Taiwan)}, publisher={IEEE Computer Society}, author={Guo,
Ping and Engels, Gregor and Heckel, Reiko}, year={2005}, pages={367–374} }'
chicago: 'Guo, Ping, Gregor Engels, and Reiko Heckel. “Architectural Style - Based
Modeling and Simulation of Complex Software Systems.” In Proceedings of the
12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan),
367–74. Washington, DC, USA: IEEE Computer Society, 2005. http://dx.doi.org/10.1109/APSEC.2005.41.'
ieee: P. Guo, G. Engels, and R. Heckel, “Architectural Style - Based Modeling and
Simulation of Complex Software Systems,” in Proceedings of the 12th Asia-Pacific
Software Engineering Conference (APSEC 2005), Taipei (Taiwan), 2005, pp. 367–374.
mla: Guo, Ping, et al. “Architectural Style - Based Modeling and Simulation of Complex
Software Systems.” Proceedings of the 12th Asia-Pacific Software Engineering
Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, 2005, pp.
367–74, doi:http://dx.doi.org/10.1109/APSEC.2005.41.
short: 'P. Guo, G. Engels, R. Heckel, in: Proceedings of the 12th Asia-Pacific Software
Engineering Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, Washington,
DC, USA, 2005, pp. 367–374.'
date_created: 2019-02-21T11:34:46Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/APSEC.2005.41
language:
- iso: eng
page: 367-374
place: Washington, DC, USA
publication: Proceedings of the 12th Asia-Pacific Software Engineering Conference
(APSEC 2005), Taipei (Taiwan)
publisher: IEEE Computer Society
status: public
title: Architectural Style - Based Modeling and Simulation of Complex Software Systems
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7939'
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- 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: 'Lohmann M, Sauer S, Engels G. Executable Visual Contracts. In: Proceedings
of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
2005). Washington, DC, USA: IEEE Computer Society; 2005:63-70. doi:http://dx.doi.org/10.1109/VLHCC.2005.35'
apa: 'Lohmann, M., Sauer, S., & Engels, G. (2005). Executable Visual Contracts.
In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005) (pp. 63–70). Washington, DC, USA: IEEE Computer Society.
http://dx.doi.org/10.1109/VLHCC.2005.35'
bibtex: '@inproceedings{Lohmann_Sauer_Engels_2005, place={Washington, DC, USA},
title={Executable Visual Contracts}, DOI={http://dx.doi.org/10.1109/VLHCC.2005.35},
booktitle={Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005)}, publisher={IEEE Computer Society}, author={Lohmann,
Marc and Sauer, Stefan and Engels, Gregor}, year={2005}, pages={63–70} }'
chicago: 'Lohmann, Marc, Stefan Sauer, and Gregor Engels. “Executable Visual Contracts.”
In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005), 63–70. Washington, DC, USA: IEEE Computer Society,
2005. http://dx.doi.org/10.1109/VLHCC.2005.35.'
ieee: M. Lohmann, S. Sauer, and G. Engels, “Executable Visual Contracts,” in Proceedings
of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
2005), 2005, pp. 63–70.
mla: Lohmann, Marc, et al. “Executable Visual Contracts.” Proceedings of the
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005),
IEEE Computer Society, 2005, pp. 63–70, doi:http://dx.doi.org/10.1109/VLHCC.2005.35.
short: 'M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on
Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society,
Washington, DC, USA, 2005, pp. 63–70.'
date_created: 2019-02-21T11:35:17Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/VLHCC.2005.35
language:
- iso: eng
page: 63-70
place: Washington, DC, USA
publication: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005)
publisher: IEEE Computer Society
status: public
title: Executable Visual Contracts
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7940'
author:
- first_name: Kiran
full_name: Mahajan, Kiran
last_name: Mahajan
- first_name: Christoph
full_name: Laroque, Christoph
last_name: Laroque
- first_name: Wilhelm
full_name: Dangelmaier, Wilhelm
last_name: Dangelmaier
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Michael
full_name: Kortenjan, Michael
last_name: Kortenjan
- first_name: Daniel
full_name: Kuntze, Daniel
last_name: Kuntze
citation:
ama: 'Mahajan K, Laroque C, Dangelmaier W, Soltenborn C, Kortenjan M, Kuntze D.
d3FACT insight: A motion planning algorithm for material flow simulations
in virtual environments. In: Proceedings of the Conference on Simulation and
Visualization (SimViS 2005), Magedeburg (Germany). Vol 1. Erlangen: SCS European
Publishing House; 2005:115-126.'
apa: 'Mahajan, K., Laroque, C., Dangelmaier, W., Soltenborn, C., Kortenjan, M.,
& Kuntze, D. (2005). d3FACT insight: A motion planning algorithm
for material flow simulations in virtual environments. In Proceedings of the
conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)
(Vol. 1, pp. 115–126). Erlangen: SCS European Publishing House.'
bibtex: '@inproceedings{Mahajan_Laroque_Dangelmaier_Soltenborn_Kortenjan_Kuntze_2005,
place={Erlangen}, title={d3FACT insight: A motion planning algorithm
for material flow simulations in virtual environments}, volume={1}, booktitle={Proceedings
of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)},
publisher={SCS European Publishing House}, author={Mahajan, Kiran and Laroque,
Christoph and Dangelmaier, Wilhelm and Soltenborn, Christian and Kortenjan, Michael
and Kuntze, Daniel}, year={2005}, pages={115–126} }'
chicago: 'Mahajan, Kiran, Christoph Laroque, Wilhelm Dangelmaier, Christian Soltenborn,
Michael Kortenjan, and Daniel Kuntze. “D3FACT Insight: A Motion Planning
Algorithm for Material Flow Simulations in Virtual Environments.” In Proceedings
of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany),
1:115–26. Erlangen: SCS European Publishing House, 2005.'
ieee: 'K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, and
D. Kuntze, “d3FACT insight: A motion planning algorithm for material
flow simulations in virtual environments,” in Proceedings of the conference
on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), 2005,
vol. 1, pp. 115–126.'
mla: 'Mahajan, Kiran, et al. “D3FACT Insight: A Motion Planning Algorithm
for Material Flow Simulations in Virtual Environments.” Proceedings of the
Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany),
vol. 1, SCS European Publishing House, 2005, pp. 115–26.'
short: 'K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D.
Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS
2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp.
115–126.'
date_created: 2019-02-21T11:36:08Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
intvolume: ' 1'
language:
- iso: eng
page: 115-126
place: Erlangen
publication: Proceedings of the conference on Simulation and Visualization (SimViS
2005), Magedeburg (Germany)
publisher: SCS European Publishing House
status: public
title: 'd³FACT insight: A motion planning algorithm for material flow simulations
in virtual environments'
type: conference
user_id: '14955'
volume: 1
year: '2005'
...
---
_id: '7941'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In:
Proceedings of the International Conference on Information Systems - New Generations
(ISNG 2005), Las Vegas, NV (USA). ; 2005.'
apa: Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded
Systems. In Proceedings of the International Conference on Information Systems
- New Generations (ISNG 2005), Las Vegas, NV (USA).
bibtex: '@inproceedings{Schattkowsky_Müller_2005, title={A UML Virtual Machine for
Embedded Systems}, booktitle={Proceedings of the International Conference on Information
Systems - New Generations (ISNG 2005), Las Vegas, NV (USA)}, author={Schattkowsky,
Tim and Müller, Wolfgang}, year={2005} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded
Systems.” In Proceedings of the International Conference on Information Systems
- New Generations (ISNG 2005), Las Vegas, NV (USA), 2005.
ieee: T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,”
in Proceedings of the International Conference on Information Systems - New
Generations (ISNG 2005), Las Vegas, NV (USA), 2005.
mla: Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded
Systems.” Proceedings of the International Conference on Information Systems
- New Generations (ISNG 2005), Las Vegas, NV (USA), 2005.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of the International Conference
on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA), 2005.'
date_created: 2019-02-21T11:36:44Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the International Conference on Information Systems -
New Generations (ISNG 2005), Las Vegas, NV (USA)
status: public
title: A UML Virtual Machine for Embedded Systems
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7942'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. Transformation of UML StateMachines for Direct Execution.
In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005), Dallas, TX (USA). Washington, DC, USA: IEEE Computer
Society; 2005:117-124. doi:http://dx.doi.org/10.1109/VLHCC.2005.64'
apa: 'Schattkowsky, T., & Müller, W. (2005). Transformation of UML StateMachines
for Direct Execution. In Proceedings of the IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA) (pp. 117–124).
Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/VLHCC.2005.64'
bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Washington, DC, USA}, title={Transformation
of UML StateMachines for Direct Execution}, DOI={http://dx.doi.org/10.1109/VLHCC.2005.64},
booktitle={Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005), Dallas, TX (USA)}, publisher={IEEE Computer Society},
author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005}, pages={117–124}
}'
chicago: 'Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML StateMachines
for Direct Execution.” In Proceedings of the IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), 117–24. Washington,
DC, USA: IEEE Computer Society, 2005. http://dx.doi.org/10.1109/VLHCC.2005.64.'
ieee: T. Schattkowsky and W. Müller, “Transformation of UML StateMachines for Direct
Execution,” in Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005), Dallas, TX (USA), 2005, pp. 117–124.
mla: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML StateMachines
for Direct Execution.” Proceedings of the IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), IEEE Computer
Society, 2005, pp. 117–24, doi:http://dx.doi.org/10.1109/VLHCC.2005.64.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of the IEEE Symposium on Visual
Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), IEEE Computer
Society, Washington, DC, USA, 2005, pp. 117–124.'
date_created: 2019-02-21T11:37:06Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/VLHCC.2005.64
language:
- iso: eng
page: 117-124
place: Washington, DC, USA
publication: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005), Dallas, TX (USA)
publisher: IEEE Computer Society
status: public
title: Transformation of UML StateMachines for Direct Execution
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7943'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
citation:
ama: 'Schattkowsky T. Discovery and Routing in the HEN Heterogeneous Peer-to-Peer
Network. In: Proceedings of the 4th International Conference on Networking
(ICN 2005), Reunion Island (France). Vol 3421. LNCS. Berlin/Heidelberg: Springer;
2005:653-661. doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b107118'
apa: 'Schattkowsky, T. (2005). Discovery and Routing in the HEN Heterogeneous Peer-to-Peer
Network. In Proceedings of the 4th International Conference on Networking (ICN
2005), Reunion Island (France) (Vol. 3421, pp. 653–661). Berlin/Heidelberg:
Springer. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b107118'
bibtex: '@inproceedings{Schattkowsky_2005, place={Berlin/Heidelberg}, series={LNCS},
title={Discovery and Routing in the HEN Heterogeneous Peer-to-Peer Network}, volume={3421},
DOI={https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b107118},
booktitle={Proceedings of the 4th International Conference on Networking (ICN
2005), Reunion Island (France)}, publisher={Springer}, author={Schattkowsky, Tim},
year={2005}, pages={653–661}, collection={LNCS} }'
chicago: 'Schattkowsky, Tim. “Discovery and Routing in the HEN Heterogeneous Peer-to-Peer
Network.” In Proceedings of the 4th International Conference on Networking
(ICN 2005), Reunion Island (France), 3421:653–61. LNCS. Berlin/Heidelberg:
Springer, 2005. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b107118.'
ieee: T. Schattkowsky, “Discovery and Routing in the HEN Heterogeneous Peer-to-Peer
Network,” in Proceedings of the 4th International Conference on Networking
(ICN 2005), Reunion Island (France), 2005, vol. 3421, pp. 653–661.
mla: Schattkowsky, Tim. “Discovery and Routing in the HEN Heterogeneous Peer-to-Peer
Network.” Proceedings of the 4th International Conference on Networking (ICN
2005), Reunion Island (France), vol. 3421, Springer, 2005, pp. 653–61, doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b107118.
short: 'T. Schattkowsky, in: Proceedings of the 4th International Conference on
Networking (ICN 2005), Reunion Island (France), Springer, Berlin/Heidelberg, 2005,
pp. 653–661.'
date_created: 2019-02-21T11:37:43Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b107118
intvolume: ' 3421'
language:
- iso: eng
page: 653-661
place: Berlin/Heidelberg
publication: Proceedings of the 4th International Conference on Networking (ICN 2005),
Reunion Island (France)
publisher: Springer
series_title: LNCS
status: public
title: Discovery and Routing in the HEN Heterogeneous Peer-to-Peer Network
type: conference
user_id: '52534'
volume: 3421
year: '2005'
...
---
_id: '7944'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Alexander
full_name: Förster, Alexander
last_name: Förster
citation:
ama: 'Schattkowsky T, Förster A. A Generic Component Framework for High Performance
Locally Concurrent Computing Based on UML 2.0 Activities. In: Proceedings of
the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based
Systems (ECBS 2005). Washington, DC, USA: IEEE Computer Society; 2005:3-10.'
apa: 'Schattkowsky, T., & Förster, A. (2005). A Generic Component Framework
for High Performance Locally Concurrent Computing Based on UML 2.0 Activities.
In Proceedings of the 12th IEEE International Conference and Workshops on the
Engineering of Computer-Based Systems (ECBS 2005) (pp. 3–10). Washington,
DC, USA: IEEE Computer Society.'
bibtex: '@inproceedings{Schattkowsky_Förster_2005, place={Washington, DC, USA},
title={A Generic Component Framework for High Performance Locally Concurrent Computing
Based on UML 2.0 Activities}, booktitle={Proceedings of the 12th IEEE International
Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005)},
publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Förster, Alexander},
year={2005}, pages={3–10} }'
chicago: 'Schattkowsky, Tim, and Alexander Förster. “A Generic Component Framework
for High Performance Locally Concurrent Computing Based on UML 2.0 Activities.”
In Proceedings of the 12th IEEE International Conference and Workshops on the
Engineering of Computer-Based Systems (ECBS 2005), 3–10. Washington, DC, USA:
IEEE Computer Society, 2005.'
ieee: T. Schattkowsky and A. Förster, “A Generic Component Framework for High Performance
Locally Concurrent Computing Based on UML 2.0 Activities,” in Proceedings of
the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based
Systems (ECBS 2005), 2005, pp. 3–10.
mla: Schattkowsky, Tim, and Alexander Förster. “A Generic Component Framework for
High Performance Locally Concurrent Computing Based on UML 2.0 Activities.” Proceedings
of the 12th IEEE International Conference and Workshops on the Engineering of
Computer-Based Systems (ECBS 2005), IEEE Computer Society, 2005, pp. 3–10.
short: 'T. Schattkowsky, A. Förster, in: Proceedings of the 12th IEEE International
Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005),
IEEE Computer Society, Washington, DC, USA, 2005, pp. 3–10.'
date_created: 2019-02-21T11:38:40Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 3-10
place: Washington, DC, USA
publication: Proceedings of the 12th IEEE International Conference and Workshops on
the Engineering of Computer-Based Systems (ECBS 2005)
publisher: IEEE Computer Society
status: public
title: A Generic Component Framework for High Performance Locally Concurrent Computing
Based on UML 2.0 Activities
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7945'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
Specifications on Reconfigurable Hardware. In: Proceedings of the Conference
on Design, Automation and Test in Europe (DATE 2005), Munich (Germany). Washington,
DC, USA: IEEE Computer Society; 2005:692-697. doi:http://dx.doi.org/10.1109/DATE.2005.20'
apa: 'Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach
for Executable Specifications on Reconfigurable Hardware. In Proceedings of
the conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany)
(pp. 692–697). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/DATE.2005.20'
bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Washington, DC,
USA}, title={A Model-Based Approach for Executable Specifications on Reconfigurable
Hardware}, DOI={http://dx.doi.org/10.1109/DATE.2005.20},
booktitle={Proceedings of the conference on Design, Automation and Test in Europe
(DATE 2005), Munich (Germany)}, publisher={IEEE Computer Society}, author={Schattkowsky,
Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005}, pages={692–697} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
Approach for Executable Specifications on Reconfigurable Hardware.” In Proceedings
of the Conference on Design, Automation and Test in Europe (DATE 2005), Munich
(Germany), 692–97. Washington, DC, USA: IEEE Computer Society, 2005. http://dx.doi.org/10.1109/DATE.2005.20.'
ieee: T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable
Specifications on Reconfigurable Hardware,” in Proceedings of the conference
on Design, Automation and Test in Europe (DATE 2005), Munich (Germany), 2005,
pp. 692–697.
mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specifications
on Reconfigurable Hardware.” Proceedings of the Conference on Design, Automation
and Test in Europe (DATE 2005), Munich (Germany), IEEE Computer Society, 2005,
pp. 692–97, doi:http://dx.doi.org/10.1109/DATE.2005.20.
short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of the Conference
on Design, Automation and Test in Europe (DATE 2005), Munich (Germany), IEEE Computer
Society, Washington, DC, USA, 2005, pp. 692–697.'
date_created: 2019-02-21T11:38:42Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/DATE.2005.20
language:
- iso: eng
page: 692-697
place: Washington, DC, USA
publication: Proceedings of the conference on Design, Automation and Test in Europe
(DATE 2005), Munich (Germany)
publisher: IEEE Computer Society
status: public
title: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7946'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
citation:
ama: 'Schattkowsky T. UML 2.0 - Overview and Perspectives in SoC Design. In: Proceedings
of the Conference on Design, Automation and Test in Europe (DATE 2005), Munich
(Germany). Vol 2. Washington, DC, USA: IEEE Computer Society; 2005:832-833.
doi:http://dx.doi.org/10.1109/DATE.2005.320'
apa: 'Schattkowsky, T. (2005). UML 2.0 - Overview and Perspectives in SoC Design.
In Proceedings of the conference on Design, Automation and Test in Europe (DATE
2005), Munich (Germany) (Vol. 2, pp. 832–833). Washington, DC, USA: IEEE Computer
Society. http://dx.doi.org/10.1109/DATE.2005.320'
bibtex: '@inproceedings{Schattkowsky_2005, place={Washington, DC, USA}, title={UML
2.0 - Overview and Perspectives in SoC Design}, volume={2}, DOI={http://dx.doi.org/10.1109/DATE.2005.320},
booktitle={Proceedings of the conference on Design, Automation and Test in Europe
(DATE 2005), Munich (Germany)}, publisher={IEEE Computer Society}, author={Schattkowsky,
Tim}, year={2005}, pages={832–833} }'
chicago: 'Schattkowsky, Tim. “UML 2.0 - Overview and Perspectives in SoC Design.”
In Proceedings of the Conference on Design, Automation and Test in Europe (DATE
2005), Munich (Germany), 2:832–33. Washington, DC, USA: IEEE Computer Society,
2005. http://dx.doi.org/10.1109/DATE.2005.320.'
ieee: T. Schattkowsky, “UML 2.0 - Overview and Perspectives in SoC Design,” in Proceedings
of the conference on Design, Automation and Test in Europe (DATE 2005), Munich
(Germany), 2005, vol. 2, pp. 832–833.
mla: Schattkowsky, Tim. “UML 2.0 - Overview and Perspectives in SoC Design.” Proceedings
of the Conference on Design, Automation and Test in Europe (DATE 2005), Munich
(Germany), vol. 2, IEEE Computer Society, 2005, pp. 832–33, doi:http://dx.doi.org/10.1109/DATE.2005.320.
short: 'T. Schattkowsky, in: Proceedings of the Conference on Design, Automation
and Test in Europe (DATE 2005), Munich (Germany), IEEE Computer Society, Washington,
DC, USA, 2005, pp. 832–833.'
date_created: 2019-02-21T11:40:25Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/DATE.2005.320
intvolume: ' 2'
language:
- iso: eng
page: 832-833
place: Washington, DC, USA
publication: Proceedings of the conference on Design, Automation and Test in Europe
(DATE 2005), Munich (Germany)
publisher: IEEE Computer Society
status: public
title: UML 2.0 - Overview and Perspectives in SoC Design
type: conference
user_id: '52534'
volume: 2
year: '2005'
...
---
_id: '8214'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: Engels G, Hendrik Hausmann J, Lohmann M, Sauer S. Teaching UML Is Teaching
Software Engineering Is Teaching Abstraction. Fakultät für Elektrotechnik,Informatik
und Mathematik, Universität Paderborn; 2005. doi:http://dx.doi.org/10.1007/11663430_32
apa: Engels, G., Hendrik Hausmann, J., Lohmann, M., & Sauer, S. (2005). Teaching
UML is Teaching Software Engineering is Teaching Abstraction. Fakultät für
Elektrotechnik,Informatik und Mathematik, Universität Paderborn. http://dx.doi.org/10.1007/11663430_32
bibtex: '@book{Engels_Hendrik Hausmann_Lohmann_Sauer_2005, title={Teaching UML is
Teaching Software Engineering is Teaching Abstraction}, DOI={http://dx.doi.org/10.1007/11663430_32},
publisher={Fakultät für Elektrotechnik,Informatik und Mathematik, Universität
Paderborn}, author={Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc
and Sauer, Stefan}, year={2005} }'
chicago: Engels, Gregor, Jan Hendrik Hausmann, Marc Lohmann, and Stefan Sauer. Teaching
UML Is Teaching Software Engineering Is Teaching Abstraction. Fakultät für
Elektrotechnik,Informatik und Mathematik, Universität Paderborn, 2005. http://dx.doi.org/10.1007/11663430_32.
ieee: G. Engels, J. Hendrik Hausmann, M. Lohmann, and S. Sauer, Teaching UML
is Teaching Software Engineering is Teaching Abstraction. Fakultät für Elektrotechnik,Informatik
und Mathematik, Universität Paderborn, 2005.
mla: Engels, Gregor, et al. Teaching UML Is Teaching Software Engineering Is
Teaching Abstraction. Fakultät für Elektrotechnik,Informatik und Mathematik,
Universität Paderborn, 2005, doi:http://dx.doi.org/10.1007/11663430_32.
short: G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, Teaching UML Is Teaching
Software Engineering Is Teaching Abstraction, Fakultät für Elektrotechnik,Informatik
und Mathematik, Universität Paderborn, 2005.
date_created: 2019-03-03T16:13:13Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11663430_32
language:
- iso: eng
publisher: Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn
status: public
title: Teaching UML is Teaching Software Engineering is Teaching Abstraction
type: report
user_id: '52534'
year: '2005'
...
---
_id: '7378'
author:
- first_name: Zille
full_name: Huma, Zille
last_name: Huma
- first_name: Muhammad
full_name: Rehman, Muhammad
last_name: Rehman
- first_name: Nadeem
full_name: Iftikhar, Nadeem
last_name: Iftikhar
citation:
ama: Huma Z, Rehman M, Iftikhar N. An Ontology-Based Framework for Semi-Automatic
Schema Integration. Journal of Computer Science and Technology. 2005;20(6):788-796.
apa: Huma, Z., Rehman, M., & Iftikhar, N. (2005). An Ontology-Based Framework
for Semi-Automatic Schema Integration. Journal of Computer Science and Technology,
20(6), 788–796.
bibtex: '@article{Huma_Rehman_Iftikhar_2005, title={An Ontology-Based Framework
for Semi-Automatic Schema Integration}, volume={20}, number={6}, journal={Journal
of Computer Science and Technology}, author={Huma, Zille and Rehman, Muhammad
and Iftikhar, Nadeem}, year={2005}, pages={788–796} }'
chicago: 'Huma, Zille, Muhammad Rehman, and Nadeem Iftikhar. “An Ontology-Based
Framework for Semi-Automatic Schema Integration.” Journal of Computer Science
and Technology 20, no. 6 (2005): 788–96.'
ieee: Z. Huma, M. Rehman, and N. Iftikhar, “An Ontology-Based Framework for Semi-Automatic
Schema Integration,” Journal of Computer Science and Technology, vol. 20,
no. 6, pp. 788–796, 2005.
mla: Huma, Zille, et al. “An Ontology-Based Framework for Semi-Automatic Schema
Integration.” Journal of Computer Science and Technology, vol. 20, no.
6, 2005, pp. 788–96.
short: Z. Huma, M. Rehman, N. Iftikhar, Journal of Computer Science and Technology
20 (2005) 788–796.
date_created: 2019-01-31T15:30:01Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: ' 20'
issue: '6'
language:
- iso: eng
page: 788-796
publication: Journal of Computer Science and Technology
status: public
title: An Ontology-Based Framework for Semi-Automatic Schema Integration
type: journal_article
user_id: '52534'
volume: 20
year: '2005'
...
---
_id: '7379'
abstract:
- lang: eng
text: eLearning supports the education in certain disciplines. Here, we report about
novel eLearning concepts, techniques, and tools to support education in Software
Engineering, a subdiscipline of computer science. We call this "Software Engineering
eLearning". On the other side, software support is a substantial prerequisite
for eLearning in any discipline. Thus, Software Engineering techniques have to
be applied to develop and maintain those software systems. We call this "eLearning
Software Engineering". Both aspects have been investigated in a large joint, BMBF-funded
research project, termed MuSofT (Multimedia in Software Engineering). The main
results are summarized in this paper.
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
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Jörg
full_name: Pleumann, Jörg
last_name: Pleumann
- first_name: Jens
full_name: Schröder, Jens
last_name: Schröder
citation:
ama: 'Doberkat E-E, Engels G, Hendrik Hausmann J, Lohmann M, Pleumann J, Schröder
J. Software Engineering and eLearning: The MuSofT Project. e-learning and education
(eleed) Journal. 2005;2.'
apa: 'Doberkat, E.-E., Engels, G., Hendrik Hausmann, J., Lohmann, M., Pleumann,
J., & Schröder, J. (2005). Software Engineering and eLearning: The MuSofT
Project. E-Learning and Education (Eleed) Journal, 2.'
bibtex: '@article{Doberkat_Engels_Hendrik Hausmann_Lohmann_Pleumann_Schröder_2005,
title={Software Engineering and eLearning: The MuSofT Project}, volume={2}, journal={e-learning
and education (eleed) Journal}, author={Doberkat, Ernst-Erich and Engels, Gregor
and Hendrik Hausmann, Jan and Lohmann, Marc and Pleumann, Jörg and Schröder, Jens},
year={2005} }'
chicago: 'Doberkat, Ernst-Erich, Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann,
Jörg Pleumann, and Jens Schröder. “Software Engineering and ELearning: The MuSofT
Project.” E-Learning and Education (Eleed) Journal 2 (2005).'
ieee: 'E.-E. Doberkat, G. Engels, J. Hendrik Hausmann, M. Lohmann, J. Pleumann,
and J. Schröder, “Software Engineering and eLearning: The MuSofT Project,” e-learning
and education (eleed) Journal, vol. 2, 2005.'
mla: 'Doberkat, Ernst-Erich, et al. “Software Engineering and ELearning: The MuSofT
Project.” E-Learning and Education (Eleed) Journal, vol. 2, 2005.'
short: E.-E. Doberkat, G. Engels, J. Hendrik Hausmann, M. Lohmann, J. Pleumann,
J. Schröder, E-Learning and Education (Eleed) Journal 2 (2005).
date_created: 2019-01-31T15:30:51Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: ' 2'
language:
- iso: eng
publication: e-learning and education (eleed) Journal
status: public
title: 'Software Engineering and eLearning: The MuSofT Project'
type: journal_article
user_id: '52534'
volume: 2
year: '2005'
...
---
_id: '7380'
author:
- first_name: Luciano
full_name: Baresi, Luciano
last_name: Baresi
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
- first_name: Dániel
full_name: Varró, Dániel
last_name: Varró
citation:
ama: Baresi L, Heckel R, Thöne S, Varró D. Style-Based Modeling and Refinement of
Service-Oriented Architectures. Software and Systems Modeling. 2005;5(2):187-207.
apa: Baresi, L., Heckel, R., Thöne, S., & Varró, D. (2005). Style-Based Modeling
and Refinement of Service-Oriented Architectures. Software and Systems Modeling,
5(2), 187–207.
bibtex: '@article{Baresi_Heckel_Thöne_Varró_2005, title={Style-Based Modeling and
Refinement of Service-Oriented Architectures}, volume={5}, number={2}, journal={Software
and Systems Modeling}, author={Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian
and Varró, Dániel}, year={2005}, pages={187–207} }'
chicago: 'Baresi, Luciano, Reiko Heckel, Sebastian Thöne, and Dániel Varró. “Style-Based
Modeling and Refinement of Service-Oriented Architectures.” Software and Systems
Modeling 5, no. 2 (2005): 187–207.'
ieee: L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Modeling and Refinement
of Service-Oriented Architectures,” Software and Systems Modeling, vol.
5, no. 2, pp. 187–207, 2005.
mla: Baresi, Luciano, et al. “Style-Based Modeling and Refinement of Service-Oriented
Architectures.” Software and Systems Modeling, vol. 5, no. 2, 2005, pp.
187–207.
short: L. Baresi, R. Heckel, S. Thöne, D. Varró, Software and Systems Modeling 5
(2005) 187–207.
date_created: 2019-01-31T15:31:30Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 5'
issue: '2'
language:
- iso: eng
page: 187-207
publication: Software and Systems Modeling
status: public
title: Style-Based Modeling and Refinement of Service-Oriented Architectures
type: journal_article
user_id: '52534'
volume: 5
year: '2005'
...
---
_id: '7381'
abstract:
- lang: eng
text: Web services are software components that can be discovered and employed at
runtime using the Internet. Conflicting requirements towards the nature of these
services can be identified. From a business perspective, Web services promise
to enable the formation of ad-hoc cooperations on a global scale. From a technical
perspective, a high degree of standardization and rigorous specifications are
required to enable the automated integration of Web services. A suitable technology
for Web services has to mediate these needs for flexibility and stability. To
be usable in practice, this technology has to be aligned to standard software
engineering practice to allow for a seamless development of Web service enabled
components. In this paper, we introduce a new approach to the description of Web
services. It is a visual approach based on the use of software models and graph
transformations and allows for the flexible description of innovative services
while providing a precise matching concept. A methodology enabling the seamless
development of such Web service descriptions in the context of a standard model-based
development approach is presented.
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: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: Hendrik Hausmann J, Heckel R, Lohmann M. Model-based development of Web service
descriptions enabling a precise matching concept. International Journal of
Web Services Research. 2005;2(2):67-85.
apa: Hendrik Hausmann, J., Heckel, R., & Lohmann, M. (2005). Model-based development
of Web service descriptions enabling a precise matching concept. International
Journal of Web Services Research, 2(2), 67–85.
bibtex: '@article{Hendrik Hausmann_Heckel_Lohmann_2005, title={Model-based development
of Web service descriptions enabling a precise matching concept}, volume={2},
number={2}, journal={International Journal of Web Services Research}, author={Hendrik
Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}, year={2005}, pages={67–85}
}'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Marc Lohmann. “Model-Based Development
of Web Service Descriptions Enabling a Precise Matching Concept.” International
Journal of Web Services Research 2, no. 2 (2005): 67–85.'
ieee: J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Model-based development of
Web service descriptions enabling a precise matching concept,” International
Journal of Web Services Research, vol. 2, no. 2, pp. 67–85, 2005.
mla: Hendrik Hausmann, Jan, et al. “Model-Based Development of Web Service Descriptions
Enabling a Precise Matching Concept.” International Journal of Web Services
Research, vol. 2, no. 2, 2005, pp. 67–85.
short: J. Hendrik Hausmann, R. Heckel, M. Lohmann, International Journal of Web
Services Research 2 (2005) 67–85.
date_created: 2019-01-31T15:32:54Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 2'
issue: '2'
language:
- iso: eng
page: 67-85
publication: International Journal of Web Services Research
status: public
title: Model-based development of Web service descriptions enabling a precise matching
concept
type: journal_article
user_id: '52534'
volume: 2
year: '2005'
...
---
_id: '7544'
abstract:
- lang: eng
text: This chapter presents the concepts of our Model Execution Platform (MEP).
The MEP is an approach to executable UML for the design of hardware and software
systems covering Class, State Machine, and Activity Diagrams. We present how the
MEP is employed for Handel-C code generation and briefly sketch the concepts of
a MEP based UML virtual machine.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Mueller, Wolfgang
last_name: Mueller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Mueller W, Rettberg A. A Generic Model Execution Platform
for the Design of Hardware and Software. In: Martin G, Mueller W, eds. UML
for SoC Design. Springer; 2005:63-88.'
apa: Schattkowsky, T., Mueller, W., & Rettberg, A. (2005). A Generic Model Execution
Platform for the Design of Hardware and Software. In G. Martin & W. Mueller (Eds.),
UML for SoC Design (pp. 63–88). Springer.
bibtex: '@inbook{Schattkowsky_Mueller_Rettberg_2005, title={A Generic Model Execution
Platform for the Design of Hardware and Software}, booktitle={UML for SoC Design},
publisher={Springer}, author={Schattkowsky, Tim and Mueller, Wolfgang and Rettberg,
Achim}, editor={Martin, G. and Mueller , W. Editors}, year={2005}, pages={63–88}
}'
chicago: Schattkowsky, Tim, Wolfgang Mueller, and Achim Rettberg. “A Generic Model
Execution Platform for the Design of Hardware and Software.” In UML for SoC
Design, edited by G. Martin and W. Mueller , 63–88. Springer, 2005.
ieee: T. Schattkowsky, W. Mueller, and A. Rettberg, “A Generic Model Execution Platform
for the Design of Hardware and Software,” in UML for SoC Design, G. Martin
and W. Mueller , Eds. Springer, 2005, pp. 63–88.
mla: Schattkowsky, Tim, et al. “A Generic Model Execution Platform for the Design
of Hardware and Software.” UML for SoC Design, edited by G. Martin and
W. Mueller , Springer, 2005, pp. 63–88.
short: 'T. Schattkowsky, W. Mueller, A. Rettberg, in: G. Martin, W. Mueller (Eds.),
UML for SoC Design, Springer, 2005, pp. 63–88.'
date_created: 2019-02-05T12:55:57Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'G. '
full_name: 'Martin, G. '
last_name: Martin
- first_name: 'W. '
full_name: 'Mueller , W. '
last_name: 'Mueller '
language:
- iso: eng
page: 63-88
publication: UML for SoC Design
publisher: Springer
status: public
title: A Generic Model Execution Platform for the Design of Hardware and Software
type: book_chapter
user_id: '52534'
year: '2005'
...
---
_id: '7546'
abstract:
- lang: eng
text: This chapter provides an introduction to the Unified Modeling Language (UML),
a widely adopted object-oriented modeling standard, and shows how the language
can be applied to (business) process modeling. As major perspectives of process
modeling with UML 2.0, the chapter covers control flow, data objects and object
flow, organizational structure, business partner interactions, and system-specific
process models. Various types of UML diagrams are presented with a special focus
on how these diagrams fit together and complement each other to form a coherent
view of a process. Moreover, a running example is used throughout the chapter
to illustrate the different facets of a process model.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Alexander
full_name: Förster, Alexander
last_name: Förster
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Engels G, Förster A, Heckel R, Thöne S. Process Modeling using UML. In: Dumas
M, van der Aalst W, ter Hofstede A, eds. Process-Aware Information Systems.
New York, NY: Wiley; 2005:85-117.'
apa: 'Engels, G., Förster, A., Heckel, R., & Thöne, S. (2005). Process Modeling
using UML. In M. Dumas, W. van der Aalst, & A. ter Hofstede (Eds.), Process-Aware
Information Systems (pp. 85–117). New York, NY: Wiley.'
bibtex: '@inbook{Engels_Förster_Heckel_Thöne_2005, place={New York, NY}, title={Process
Modeling using UML}, booktitle={Process-Aware Information Systems}, publisher={Wiley},
author={Engels, Gregor and Förster, Alexander and Heckel, Reiko and Thöne, Sebastian},
editor={Dumas, M. and van der Aalst, W. and ter Hofstede, A.Editors}, year={2005},
pages={85–117} }'
chicago: 'Engels, Gregor, Alexander Förster, Reiko Heckel, and Sebastian Thöne.
“Process Modeling Using UML.” In Process-Aware Information Systems, edited
by M. Dumas, W. van der Aalst, and A. ter Hofstede, 85–117. New York, NY: Wiley,
2005.'
ieee: 'G. Engels, A. Förster, R. Heckel, and S. Thöne, “Process Modeling using UML,”
in Process-Aware Information Systems, M. Dumas, W. van der Aalst, and A.
ter Hofstede, Eds. New York, NY: Wiley, 2005, pp. 85–117.'
mla: Engels, Gregor, et al. “Process Modeling Using UML.” Process-Aware Information
Systems, edited by M. Dumas et al., Wiley, 2005, pp. 85–117.
short: 'G. Engels, A. Förster, R. Heckel, S. Thöne, in: M. Dumas, W. van der Aalst,
A. ter Hofstede (Eds.), Process-Aware Information Systems, Wiley, New York, NY,
2005, pp. 85–117.'
date_created: 2019-02-05T12:58:16Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'M. '
full_name: 'Dumas, M. '
last_name: Dumas
- first_name: 'W. '
full_name: 'van der Aalst, W. '
last_name: van der Aalst
- first_name: A.
full_name: ter Hofstede, A.
last_name: ter Hofstede
language:
- iso: eng
page: 85-117
place: New York, NY
publication: Process-Aware Information Systems
publisher: Wiley
status: public
title: Process Modeling using UML
type: book_chapter
user_id: '52534'
year: '2005'
...
---
_id: '7547'
abstract:
- lang: eng
text: Modularization is a well-known concept to structure software systems as well
as their specifications. Modules are equipped with export and import interfaces
and thus can be connected with other modules requesting or providing certain features.
In this paper, we study modules the interfaces of which consist of behavioral
specifications given by typed graph transformation systems. We introduce a framework
for classifying and systematically defining relations between typed graph transformation
systems. The framework comprises a number of standard ingredients, like homomorphisms
between type graphs and mappings between sets of graph transformation rules. The
framework is applied to develop a novel concept of substitution morphism by separating
preconditions and effects in the specification of rules. This substitution morphism
is suited to define the semantic relation between export and import interfaces
of requesting and providing modules.
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: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: 'Engels G, Heckel R, Cherchago A. Flexible Interconnection of Graph Transformation
Modules - A Systematic Approach. In: Kreowski, U. Montanari, F. Orejas, G. Rozenberg,
G. Taentzer H-J, ed. Formal Methods in Software and System Modeling. Essays
Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Vol 3393.
LNCS. Berlin/Heidelberg: Springer; 2005:38-63.'
apa: 'Engels, G., Heckel, R., & Cherchago, A. (2005). Flexible Interconnection
of Graph Transformation Modules - A Systematic Approach. In H.-J. Kreowski, U.
Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Ed.), Formal Methods in Software
and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His
60th Birthday (Vol. 3393, pp. 38–63). Berlin/Heidelberg: Springer.'
bibtex: '@inbook{Engels_Heckel_Cherchago_2005, place={Berlin/Heidelberg}, series={LNCS},
title={Flexible Interconnection of Graph Transformation Modules - A Systematic
Approach}, volume={3393}, booktitle={Formal Methods in Software and System Modeling.
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday}, publisher={Springer},
author={Engels, Gregor and Heckel, Reiko and Cherchago, Alexey}, editor={ Kreowski,
U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.Editor}, year={2005},
pages={38–63}, collection={LNCS} }'
chicago: 'Engels, Gregor, Reiko Heckel, and Alexey Cherchago. “Flexible Interconnection
of Graph Transformation Modules - A Systematic Approach.” In Formal Methods
in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion
of His 60th Birthday, edited by H.-J. Kreowski, U. Montanari, F. Orejas,
G. Rozenberg, G. Taentzer, 3393:38–63. LNCS. Berlin/Heidelberg: Springer, 2005.'
ieee: 'G. Engels, R. Heckel, and A. Cherchago, “Flexible Interconnection of Graph
Transformation Modules - A Systematic Approach,” in Formal Methods in Software
and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His
60th Birthday, vol. 3393, H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg,
G. Taentzer, Ed. Berlin/Heidelberg: Springer, 2005, pp. 38–63.'
mla: Engels, Gregor, et al. “Flexible Interconnection of Graph Transformation Modules
- A Systematic Approach.” Formal Methods in Software and System Modeling. Essays
Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, edited by
H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, vol. 3393,
Springer, 2005, pp. 38–63.
short: 'G. Engels, R. Heckel, A. Cherchago, in: H.-J. Kreowski, U. Montanari, F.
Orejas, G. Rozenberg, G. Taentzer (Ed.), Formal Methods in Software and System
Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday,
Springer, Berlin/Heidelberg, 2005, pp. 38–63.'
date_created: 2019-02-05T13:00:17Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: H.-J.
full_name: ' Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.'
last_name: ' Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer'
intvolume: ' 3393'
language:
- iso: eng
page: 38-63
place: Berlin/Heidelberg
publication: Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut
Ehrig on the Occasion of His 60th Birthday
publisher: Springer
series_title: LNCS
status: public
title: Flexible Interconnection of Graph Transformation Modules - A Systematic Approach
type: book_chapter
user_id: '52534'
volume: 3393
year: '2005'
...
---
_id: '7548'
abstract:
- lang: ger
text: In der modellbasierten Softwareentwicklung wird ein Softwaresystem durch verschiedene
Teilmodelle auf unterschiedlichen Abstraktionsstufen und aus verschiedenen Sichten
modelliert. Das Ziel von Konsistenzmanagement im Entwicklungsprozess ist es, eine
gewisse Form von Konsistenz der Teilmodelle zu gewährleisten. Da objektorientierte
Verhaltensmodelle keine eindeutige formale Semantik haben und sehr unterschiedlich
eingesetzt werden, ist ein Konsistenzmanagement dieser Modelle besonders schwierig.
In der Arbeit werden sowohl Grundlagen als auch Techniken für ein systematisches
Konsistenzmanagement entwickelt und am praktischen Beispiel erprobt.
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Küster J. Konsistenzmanagement von objektorientierten Verhaltensmodellen.
In: Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk,
D. Saupe D, ed. Ausgezeichnete Informatikdissertationen 2004. Vol D5. Lecture
Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005.'
apa: 'Küster, J. (2005). Konsistenzmanagement von objektorientierten Verhaltensmodellen.
In D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R.
Reischuk, D. Saupe (Ed.), Ausgezeichnete Informatikdissertationen 2004
(Vol. D5). Bonn: Gesellschaft für Informatik (GI).'
bibtex: '@inbook{Küster_2005, place={Bonn}, series={Lecture Notes in Informatics},
title={Konsistenzmanagement von objektorientierten Verhaltensmodellen}, volume={D5},
booktitle={Ausgezeichnete Informatikdissertationen 2004}, publisher={Gesellschaft
für Informatik (GI)}, author={Küster, Jochen}, editor={Wagner, T. Dreier, O. Günther,
S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, D.Editor}, year={2005},
collection={Lecture Notes in Informatics} }'
chicago: 'Küster, Jochen. “Konsistenzmanagement von Objektorientierten Verhaltensmodellen.”
In Ausgezeichnete Informatikdissertationen 2004, edited by D. Wagner, T.
Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe,
Vol. D5. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
2005.'
ieee: 'J. Küster, “Konsistenzmanagement von objektorientierten Verhaltensmodellen,”
in Ausgezeichnete Informatikdissertationen 2004, vol. D5, D. Wagner, T.
Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe,
Ed. Bonn: Gesellschaft für Informatik (GI), 2005.'
mla: Küster, Jochen. “Konsistenzmanagement von Objektorientierten Verhaltensmodellen.”
Ausgezeichnete Informatikdissertationen 2004, edited by D. Wagner, T. Dreier,
O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, vol.
D5, Gesellschaft für Informatik (GI), 2005.
short: 'J. Küster, in: D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr,
P. Molitor, R. Reischuk, D. Saupe (Ed.), Ausgezeichnete Informatikdissertationen
2004, Gesellschaft für Informatik (GI), Bonn, 2005.'
date_created: 2019-02-05T13:01:52Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: D.
full_name: Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor,
R. Reischuk, D. Saupe, D.
last_name: Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor,
R. Reischuk, D. Saupe
language:
- iso: eng
place: Bonn
publication: Ausgezeichnete Informatikdissertationen 2004
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Konsistenzmanagement von objektorientierten Verhaltensmodellen
type: book_chapter
user_id: '52534'
volume: D5
year: '2005'
...
---
_id: '7582'
abstract:
- lang: eng
text: A good architectural design allows to capture the overall complexity of large,
distributed systems at a higher level of abstraction. This is especially important
for reconfigurable systems where the architectural configuration is subject to
(constant) changes at runtime. When designing such a dynamic architecture, the
software architect has to bring the functional business requirements and the available
communication and reconfiguration mechanisms of the intended target platform in
line. As it is a complex task to incorporate these often diverging requirements
into the architectural model, we propose a stepwise approach similar to the MDA
initiative. We start with a platformindependent model capturing the business requirements
and add platform-specific details in a later step. For each level of platform
abstraction and associated platform, we define an architectural style which describes
the characteristics of the platform. This way, conformance to the architectural
style entails consistency with the underlying platform. Besides run-time configurations
of components and connections, architectural models also comprise the description
of processes that control the communication and reconfiguration behavior. To provide
operational semantics, architectural models are formalized as graphs, and architectural
styles are formalized as graph transformation systems. UML is added as high-level
modeling language on top, and profiles are used to adapt UML to certain architectural
styles. Due to the stepwise procedure, we also have to ensure the mutual consistency
between models at different levels of abstraction. For this purpose, we define
formal criteria which require that both structural and behavioral properties are
preserved at the lower level of abstraction. Based on refinement relationships
between abstract and platform-specific architectural styles, an algorithm allows
to verify that all abstract, business-level behavior can also be realized in the
platformspecific architecture and that no new behavior is added. These refinement
techniques facilitate a stepwise, platform-consistent development of dynamic software
architectures.
author:
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Thöne S. Dynamic Software Architectures: A Style-Based Modeling and Refinement
Technique with Graph Transformations.; 2005.'
apa: 'Thöne, S. (2005). Dynamic Software Architectures: A Style-Based Modeling
and Refinement Technique with Graph Transformations.'
bibtex: '@book{Thöne_2005, title={Dynamic Software Architectures: A Style-Based
Modeling and Refinement Technique with Graph Transformations}, author={Thöne,
Sebastian}, year={2005} }'
chicago: 'Thöne, Sebastian. Dynamic Software Architectures: A Style-Based Modeling
and Refinement Technique with Graph Transformations, 2005.'
ieee: 'S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement
Technique with Graph Transformations. 2005.'
mla: 'Thöne, Sebastian. Dynamic Software Architectures: A Style-Based Modeling
and Refinement Technique with Graph Transformations. 2005.'
short: 'S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement
Technique with Graph Transformations, 2005.'
date_created: 2019-02-06T14:25:58Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: 'Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique
with Graph Transformations'
type: dissertation
user_id: '52534'
year: '2005'
...
---
_id: '7583'
abstract:
- lang: eng
text: This thesis describes an approach for automated detection of concurrent liveness
failures in the execution of Java programs. Concurrent programs are highly prone
to failure because of the inherent nondeterminism. Developers of concurrent Java
programs are not well supported in detecting concurrency failures, i.e. failures
that are due to interactions between multiple threads. These failures are neither
well documented nor do tools like debuggers allow developers to identify them
at runtime. This thesis analyses and classifies liveness failures, a special kind
of concurrency failures, and the associated potentials in Java. A UML statechart
is developed that models the interaction of Java threads. Liveness failures and
potentials are specified formally in terms of the states controlling the interaction
of threads and in terms of the events exchanged by interacting threads. Detection
algorithms are developed to identify the specified failures in a program execution.
A UML profile extending UML interaction diagrams is developed to visualise the
execution of concurrent Java programs and detected liveness failures and potentials.
In order to deploy the algorithms and the UML profile, tool support concepts are
provided. This involves the specification of a trace format and a tracing method
to collect execution data from a running Java program, and the specification of
methods to analyse the trace and to visualise the trace and the analysis results.
The concepts are implemented in the JAVIS prototype, which consists of a Java
tracer with an analysis facility for monitoring liveness in concurrent Java programs,
and a plug-in extension to the UML CASE tool Together for importing and displaying
concurrent Java traces including failures and potentials.
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
citation:
ama: Mehner K. Trace-Based Debugging and Visualisation of Concurrent Java Programs
with UML.; 2005.
apa: Mehner, K. (2005). Trace-based Debugging and Visualisation of Concurrent
Java Programs with UML.
bibtex: '@book{Mehner_2005, title={Trace-based Debugging and Visualisation of Concurrent
Java Programs with UML}, author={Mehner, Katharina}, year={2005} }'
chicago: Mehner, Katharina. Trace-Based Debugging and Visualisation of Concurrent
Java Programs with UML, 2005.
ieee: K. Mehner, Trace-based Debugging and Visualisation of Concurrent Java Programs
with UML. 2005.
mla: Mehner, Katharina. Trace-Based Debugging and Visualisation of Concurrent
Java Programs with UML. 2005.
short: K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs
with UML, 2005.
date_created: 2019-02-06T14:26:49Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Trace-based Debugging and Visualisation of Concurrent Java Programs with UML
type: dissertation
user_id: '52534'
year: '2005'
...