---
_id: '7919'
author:
- first_name: Fevzi
full_name: Belli, Fevzi
last_name: Belli
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
citation:
ama: 'Belli F, Güldali B. Software Testing via Model Checking. In: Proceedings
of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
(Turkey). Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:http://dx.doi.org/10.1007/b101749'
apa: 'Belli, F., & Güldali, B. (2004). Software Testing via Model Checking.
In Proceedings of the conference on Computer and Information Sciences (ISCIS
2004), Kemer-Antalya (Turkey) (Vol. 3280, pp. 907–916). Berlin/Heidelberg:
Springer. http://dx.doi.org/10.1007/b101749'
bibtex: '@inproceedings{Belli_Güldali_2004, place={Berlin/Heidelberg}, series={LNCS},
title={Software Testing via Model Checking}, volume={3280}, DOI={http://dx.doi.org/10.1007/b101749},
booktitle={Proceedings of the conference on Computer and Information Sciences
(ISCIS 2004), Kemer-Antalya (Turkey)}, publisher={Springer}, author={Belli, Fevzi
and Güldali, Baris}, year={2004}, pages={907–916}, collection={LNCS} }'
chicago: 'Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.”
In Proceedings of the Conference on Computer and Information Sciences (ISCIS
2004), Kemer-Antalya (Turkey), 3280:907–16. LNCS. Berlin/Heidelberg: Springer,
2004. http://dx.doi.org/10.1007/b101749.'
ieee: F. Belli and B. Güldali, “Software Testing via Model Checking,” in Proceedings
of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
(Turkey), 2004, vol. 3280, pp. 907–916.
mla: Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” Proceedings
of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
(Turkey), vol. 3280, Springer, 2004, pp. 907–16, doi:http://dx.doi.org/10.1007/b101749.
short: 'F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and
Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg,
2004, pp. 907–916.'
date_created: 2019-02-21T11:24:23Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b101749
intvolume: ' 3280'
language:
- iso: eng
page: 907-916
place: Berlin/Heidelberg
publication: Proceedings of the conference on Computer and Information Sciences (ISCIS
2004), Kemer-Antalya (Turkey)
publisher: Springer
series_title: LNCS
status: public
title: Software Testing via Model Checking
type: conference
user_id: '52534'
volume: 3280
year: '2004'
...
---
_id: '7920'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Ping
full_name: Guo, Ping
last_name: Guo
citation:
ama: 'Heckel R, Guo P. Conceptual Modeling of Styles For Mobile Systems: A layered
approach based on graph transformation. In: Proceedings of the Conference on
Mobile Information Systems (MOBIS 2004), Oslo (Norway). Vol 158. IFIP - International
Federation for Information Processing. Berlin/Heidelberg: Springer; 2004:65-79.
doi:dx.doi.org/10.1007/0-387-22874-8_5'
apa: 'Heckel, R., & Guo, P. (2004). Conceptual Modeling of Styles For Mobile
Systems: A layered approach based on graph transformation. In Proceedings of
the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway) (Vol.
158, pp. 65–79). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5'
bibtex: '@inproceedings{Heckel_Guo_2004, place={Berlin/Heidelberg}, series={IFIP
- International Federation for Information Processing}, title={Conceptual Modeling
of Styles For Mobile Systems: A layered approach based on graph transformation},
volume={158}, DOI={dx.doi.org/10.1007/0-387-22874-8_5},
booktitle={Proceedings of the conference on Mobile Information Systems (MOBIS
2004), Oslo (Norway)}, publisher={Springer}, author={Heckel, Reiko and Guo, Ping},
year={2004}, pages={65–79}, collection={IFIP - International Federation for Information
Processing} }'
chicago: 'Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile
Systems: A Layered Approach Based on Graph Transformation.” In Proceedings
of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway),
158:65–79. IFIP - International Federation for Information Processing. Berlin/Heidelberg:
Springer, 2004. https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5.'
ieee: 'R. Heckel and P. Guo, “Conceptual Modeling of Styles For Mobile Systems:
A layered approach based on graph transformation,” in Proceedings of the conference
on Mobile Information Systems (MOBIS 2004), Oslo (Norway), 2004, vol. 158,
pp. 65–79.'
mla: 'Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile Systems:
A Layered Approach Based on Graph Transformation.” Proceedings of the Conference
on Mobile Information Systems (MOBIS 2004), Oslo (Norway), vol. 158, Springer,
2004, pp. 65–79, doi:dx.doi.org/10.1007/0-387-22874-8_5.'
short: 'R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information
Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.'
date_created: 2019-02-21T11:24:58Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/0-387-22874-8_5
intvolume: ' 158'
language:
- iso: eng
page: 65-79
place: Berlin/Heidelberg
publication: Proceedings of the conference on Mobile Information Systems (MOBIS 2004),
Oslo (Norway)
publisher: Springer
series_title: IFIP - International Federation for Information Processing
status: public
title: 'Conceptual Modeling of Styles For Mobile Systems: A layered approach based
on graph transformation'
type: conference
user_id: '52534'
volume: 158
year: '2004'
...
---
_id: '7921'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: 'Heckel R, Cherchago A. Application of Graph Transformation for Automating
Web Service Discovery. In: Proceedings of the Seminar on Language Engineering
for Model-Driven Software Development (2003), Dagstuhl (Germany). Dagstuhl
Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum
für Informatik (IBFI); 2004.'
apa: 'Heckel, R., & Cherchago, A. (2004). Application of Graph Transformation
for Automating Web Service Discovery. In Proceedings of the seminar on Language
Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany).
Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik
(IBFI).'
bibtex: '@inproceedings{Heckel_Cherchago_2004, place={Dagstuhl, Germany}, series={Dagstuhl
Seminar Proceedings}, title={Application of Graph Transformation for Automating
Web Service Discovery}, booktitle={Proceedings of the seminar on Language Engineering
for Model-Driven Software Development (2003), Dagstuhl (Germany)}, publisher={Internationales
Begegnungs- und Forschungszentrum für Informatik (IBFI)}, author={Heckel, Reiko
and Cherchago, Alexey}, year={2004}, collection={Dagstuhl Seminar Proceedings}
}'
chicago: 'Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation
for Automating Web Service Discovery.” In Proceedings of the Seminar on Language
Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany).
Dagstuhl Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und
Forschungszentrum für Informatik (IBFI), 2004.'
ieee: R. Heckel and A. Cherchago, “Application of Graph Transformation for Automating
Web Service Discovery,” in Proceedings of the seminar on Language Engineering
for Model-Driven Software Development (2003), Dagstuhl (Germany), 2004.
mla: Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation for
Automating Web Service Discovery.” Proceedings of the Seminar on Language Engineering
for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales
Begegnungs- und Forschungszentrum für Informatik (IBFI), 2004.
short: 'R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering
for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales
Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.'
date_created: 2019-02-21T11:25:33Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
place: Dagstuhl, Germany
publication: Proceedings of the seminar on Language Engineering for Model-Driven Software
Development (2003), Dagstuhl (Germany)
publisher: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)
series_title: Dagstuhl Seminar Proceedings
status: public
title: Application of Graph Transformation for Automating Web Service Discovery
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7922'
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. Model-Based Design of Embedded Systems. In: Proceedings
of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed
Computing (ISORC 2004), Vienna (Austria). Los Alamitos, CA, USA: IEEE Computer
Society; 2004:121-128.'
apa: 'Schattkowsky, T., & Müller, W. (2004). Model-Based Design of Embedded
Systems. In Proceedings of the 7th IEEE International Symposium on Object-Oriented
Real-Time Distributed Computing (ISORC 2004), Vienna (Austria) (pp. 121–128).
Los Alamitos, CA, USA: IEEE Computer Society.'
bibtex: '@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA},
title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of the
7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
(ISORC 2004), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Schattkowsky,
Tim and Müller, Wolfgang}, year={2004}, pages={121–128} }'
chicago: 'Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded
Systems.” In Proceedings of the 7th IEEE International Symposium on Object-Oriented
Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), 121–28. Los
Alamitos, CA, USA: IEEE Computer Society, 2004.'
ieee: T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” in
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time
Distributed Computing (ISORC 2004), Vienna (Austria), 2004, pp. 121–128.
mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.”
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time
Distributed Computing (ISORC 2004), Vienna (Austria), IEEE Computer Society,
2004, pp. 121–28.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International
Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna
(Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.'
date_created: 2019-02-21T11:25:54Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 121-128
place: Los Alamitos, CA, USA
publication: Proceedings of the 7th IEEE International Symposium on Object-Oriented
Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)
publisher: IEEE Computer Society
status: public
title: Model-Based Design of Embedded Systems
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7923'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Cherchago A, Heckel R. Specification Matching of Web Services Using Conditional
Graph Transformation Rules. In: Proceedings of the Conference on Graph Transformation
(ICGT 2004), Rome (Italy). Vol 3256 / 2004. LNCS. Berlin/Heidelberg: Springer;
2004:304-318. doi:http://dx.doi.org/10.1007/b100934'
apa: 'Cherchago, A., & Heckel, R. (2004). Specification Matching of Web Services
Using Conditional Graph Transformation Rules. In Proceedings of the conference
on Graph Transformation (ICGT 2004), Rome (Italy) (Vol. 3256 / 2004, pp. 304–318).
Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b100934'
bibtex: '@inproceedings{Cherchago_Heckel_2004, place={Berlin/Heidelberg}, series={LNCS},
title={Specification Matching of Web Services Using Conditional Graph Transformation
Rules}, volume={3256 / 2004}, DOI={http://dx.doi.org/10.1007/b100934},
booktitle={Proceedings of the conference on Graph Transformation (ICGT 2004),
Rome (Italy)}, publisher={Springer}, author={Cherchago, Alexey and Heckel, Reiko},
year={2004}, pages={304–318}, collection={LNCS} }'
chicago: 'Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services
Using Conditional Graph Transformation Rules.” In Proceedings of the Conference
on Graph Transformation (ICGT 2004), Rome (Italy), 3256 / 2004:304–18. LNCS.
Berlin/Heidelberg: Springer, 2004. http://dx.doi.org/10.1007/b100934.'
ieee: A. Cherchago and R. Heckel, “Specification Matching of Web Services Using
Conditional Graph Transformation Rules,” in Proceedings of the conference on
Graph Transformation (ICGT 2004), Rome (Italy), 2004, vol. 3256 / 2004, pp.
304–318.
mla: Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services
Using Conditional Graph Transformation Rules.” Proceedings of the Conference
on Graph Transformation (ICGT 2004), Rome (Italy), vol. 3256 / 2004, Springer,
2004, pp. 304–18, doi:http://dx.doi.org/10.1007/b100934.
short: 'A. Cherchago, R. Heckel, in: Proceedings of the Conference on Graph Transformation
(ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004, pp. 304–318.'
date_created: 2019-02-21T11:26:28Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b100934
language:
- iso: eng
page: 304-318
place: Berlin/Heidelberg
publication: Proceedings of the conference on Graph Transformation (ICGT 2004), Rome
(Italy)
publisher: Springer
series_title: LNCS
status: public
title: Specification Matching of Web Services Using Conditional Graph Transformation
Rules
type: conference
user_id: '52534'
volume: 3256 / 2004
year: '2004'
...
---
_id: '7924'
author:
- first_name: Stefan
full_name: Böttcher, Stefan
last_name: Böttcher
- first_name: Sven
full_name: Groppe, Sven
last_name: Groppe
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
citation:
ama: 'Böttcher S, Groppe S, Schattkowsky T. Automated Data and Service Mapping for
Integrated Electronic Markets. In: Proceedings of the 8th World Multi-Conference
on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA). ;
2004.'
apa: Böttcher, S., Groppe, S., & Schattkowsky, T. (2004). Automated Data and
Service Mapping for Integrated Electronic Markets. In Proceedings of the 8th
World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando,
FL (USA).
bibtex: '@inproceedings{Böttcher_Groppe_Schattkowsky_2004, title={Automated Data
and Service Mapping for Integrated Electronic Markets}, booktitle={Proceedings
of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI
2004), Orlando, FL (USA)}, author={Böttcher, Stefan and Groppe, Sven and Schattkowsky,
Tim}, year={2004} }'
chicago: Böttcher, Stefan, Sven Groppe, and Tim Schattkowsky. “Automated Data and
Service Mapping for Integrated Electronic Markets.” In Proceedings of the 8th
World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando,
FL (USA), 2004.
ieee: S. Böttcher, S. Groppe, and T. Schattkowsky, “Automated Data and Service Mapping
for Integrated Electronic Markets,” in Proceedings of the 8th World Multi-Conference
on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
mla: Böttcher, Stefan, et al. “Automated Data and Service Mapping for Integrated
Electronic Markets.” Proceedings of the 8th World Multi-Conference on Systemics,
Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
short: 'S. Böttcher, S. Groppe, T. Schattkowsky, in: Proceedings of the 8th World
Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando,
FL (USA), 2004.'
date_created: 2019-02-21T11:27:02Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics
and Informatics (SCI 2004), Orlando, FL (USA)
status: public
title: Automated Data and Service Mapping for Integrated Electronic Markets
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7925'
author:
- first_name: Jonas
full_name: Eden, Jonas
last_name: Eden
- first_name: Matthias
full_name: Weber, Matthias
last_name: Weber
- first_name: Mark-Oliver
full_name: Reiser, Mark-Oliver
last_name: Reiser
- first_name: Thomas
full_name: Wierczoch, Thomas
last_name: Wierczoch
- first_name: Ulrich
full_name: Freund, Ulrich
last_name: Freund
- first_name: Orazio
full_name: Gurrieri, Orazio
last_name: Gurrieri
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Henrik
full_name: Lönn, Henrik
last_name: Lönn
- first_name: Jörn
full_name: Migge, Jörn
last_name: Migge
citation:
ama: 'Eden J, Weber M, Reiser M-O, et al. An Architecture Description Language for
Developing Automotive ECU-Software. In: Proceedings of the 14th International
Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse
(France). ; 2004:101-112.'
apa: Eden, J., Weber, M., Reiser, M.-O., Wierczoch, T., Freund, U., Gurrieri, O.,
… Migge, J. (2004). An Architecture Description Language for Developing Automotive
ECU-Software. In Proceedings of the 14th International Symposium and 4th European
Systems Engineering Conference (INCOSE 2004), Toulouse (France) (pp. 101–112).
bibtex: '@inproceedings{Eden_Weber_Reiser_Wierczoch_Freund_Gurrieri_Küster_Lönn_Migge_2004,
title={An Architecture Description Language for Developing Automotive ECU-Software},
booktitle={Proceedings of the 14th International Symposium and 4th European Systems
Engineering Conference (INCOSE 2004), Toulouse (France)}, author={Eden, Jonas
and Weber, Matthias and Reiser, Mark-Oliver and Wierczoch, Thomas and Freund,
Ulrich and Gurrieri, Orazio and Küster, Jochen and Lönn, Henrik and Migge, Jörn},
year={2004}, pages={101–112} }'
chicago: Eden, Jonas, Matthias Weber, Mark-Oliver Reiser, Thomas Wierczoch, Ulrich
Freund, Orazio Gurrieri, Jochen Küster, Henrik Lönn, and Jörn Migge. “An Architecture
Description Language for Developing Automotive ECU-Software.” In Proceedings
of the 14th International Symposium and 4th European Systems Engineering Conference
(INCOSE 2004), Toulouse (France), 101–12, 2004.
ieee: J. Eden et al., “An Architecture Description Language for Developing
Automotive ECU-Software,” in Proceedings of the 14th International Symposium
and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France),
2004, pp. 101–112.
mla: Eden, Jonas, et al. “An Architecture Description Language for Developing Automotive
ECU-Software.” Proceedings of the 14th International Symposium and 4th European
Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp.
101–12.
short: 'J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J.
Küster, H. Lönn, J. Migge, in: Proceedings of the 14th International Symposium
and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France),
2004, pp. 101–112.'
date_created: 2019-02-21T11:27:37Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 101-112
publication: Proceedings of the 14th International Symposium and 4th European Systems
Engineering Conference (INCOSE 2004), Toulouse (France)
status: public
title: An Architecture Description Language for Developing Automotive ECU-Software
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7926'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Sauer S. Guest Editors’ Introduction. In: International Journal
of Software Engineering and Knowledge Engineering (IJSEKE). Vol 14. World
Scientific Publishing; 2004:543-544. doi:http://dx.doi.org/10.1142/S021819400400183X'
apa: Engels, G., & Sauer, S. (2004). Guest Editors’ Introduction. In International
Journal of Software Engineering and Knowledge Engineering (IJSEKE) (Vol. 14,
pp. 543–544). World Scientific Publishing. http://dx.doi.org/10.1142/S021819400400183X
bibtex: '@inproceedings{Engels_Sauer_2004, title={Guest Editors’ Introduction},
volume={14}, DOI={http://dx.doi.org/10.1142/S021819400400183X},
number={6}, booktitle={International Journal of Software Engineering and Knowledge
Engineering (IJSEKE)}, publisher={World Scientific Publishing}, author={Engels,
Gregor and Sauer, Stefan}, year={2004}, pages={543–544} }'
chicago: Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” In International
Journal of Software Engineering and Knowledge Engineering (IJSEKE), 14:543–44.
World Scientific Publishing, 2004. http://dx.doi.org/10.1142/S021819400400183X.
ieee: G. Engels and S. Sauer, “Guest Editors’ Introduction,” in International
Journal of Software Engineering and Knowledge Engineering (IJSEKE), 2004,
vol. 14, no. 6, pp. 543–544.
mla: Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” International
Journal of Software Engineering and Knowledge Engineering (IJSEKE), vol. 14,
no. 6, World Scientific Publishing, 2004, pp. 543–44, doi:http://dx.doi.org/10.1142/S021819400400183X.
short: 'G. Engels, S. Sauer, in: International Journal of Software Engineering and
Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.'
date_created: 2019-02-21T11:28:11Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S021819400400183X
intvolume: ' 14'
issue: '6'
language:
- iso: eng
page: 543-544
publication: International Journal of Software Engineering and Knowledge Engineering
(IJSEKE)
publisher: World Scientific Publishing
status: public
title: Guest Editors' Introduction
type: conference
user_id: '52534'
volume: 14
year: '2004'
...
---
_id: '7927'
author:
- first_name: Ping
full_name: Guo, Ping
last_name: Guo
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Guo P, Heckel R. Modeling and Simulation of Context-Aware Mobile Systems.
In: Proceedings of the 19th IEEE International Conference on Automated Software
Engineering (ASE 2004). Washington, DC, USA: IEEE Computer Society; 2004:430-433.'
apa: 'Guo, P., & Heckel, R. (2004). Modeling and Simulation of Context-Aware
Mobile Systems. In Proceedings of the 19th IEEE international conference on
Automated software engineering (ASE 2004) (pp. 430–433). Washington, DC, USA:
IEEE Computer Society.'
bibtex: '@inproceedings{Guo_Heckel_2004, place={Washington, DC, USA}, title={Modeling
and Simulation of Context-Aware Mobile Systems}, booktitle={Proceedings of the
19th IEEE international conference on Automated software engineering (ASE 2004)},
publisher={IEEE Computer Society}, author={Guo, Ping and Heckel, Reiko}, year={2004},
pages={430–433} }'
chicago: 'Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware
Mobile Systems.” In Proceedings of the 19th IEEE International Conference on
Automated Software Engineering (ASE 2004), 430–33. Washington, DC, USA: IEEE
Computer Society, 2004.'
ieee: P. Guo and R. Heckel, “Modeling and Simulation of Context-Aware Mobile Systems,”
in Proceedings of the 19th IEEE international conference on Automated software
engineering (ASE 2004), 2004, pp. 430–433.
mla: Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware Mobile
Systems.” Proceedings of the 19th IEEE International Conference on Automated
Software Engineering (ASE 2004), IEEE Computer Society, 2004, pp. 430–33.
short: 'P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference
on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington,
DC, USA, 2004, pp. 430–433.'
date_created: 2019-02-21T11:28:49Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 430-433
place: Washington, DC, USA
publication: Proceedings of the 19th IEEE international conference on Automated software
engineering (ASE 2004)
publisher: IEEE Computer Society
status: public
title: Modeling and Simulation of Context-Aware Mobile Systems
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7928'
author:
- first_name: Ping
full_name: Guo, Ping
last_name: Guo
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Guo P, Heckel R. Simulation and Testing of Mobile Computing Systems using
Fujaba. In: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt
(Germany). Darmstadt, Germany; 2004.'
apa: Guo, P., & Heckel, R. (2004). Simulation and Testing of Mobile Computing
Systems using Fujaba. In Proceedings of the 2nd International Fujaba Days (2004),
Darmstadt (Germany). Darmstadt, Germany.
bibtex: '@inproceedings{Guo_Heckel_2004, place={Darmstadt, Germany}, title={Simulation
and Testing of Mobile Computing Systems using Fujaba}, booktitle={Proceedings
of the 2nd International Fujaba Days (2004), Darmstadt (Germany)}, author={Guo,
Ping and Heckel, Reiko}, year={2004} }'
chicago: Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing
Systems Using Fujaba.” In Proceedings of the 2nd International Fujaba Days
(2004), Darmstadt (Germany). Darmstadt, Germany, 2004.
ieee: P. Guo and R. Heckel, “Simulation and Testing of Mobile Computing Systems
using Fujaba,” in Proceedings of the 2nd International Fujaba Days (2004),
Darmstadt (Germany), 2004.
mla: Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing Systems
Using Fujaba.” Proceedings of the 2nd International Fujaba Days (2004), Darmstadt
(Germany), 2004.
short: 'P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days
(2004), Darmstadt (Germany), Darmstadt, Germany, 2004.'
date_created: 2019-02-21T11:29:13Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
place: Darmstadt, Germany
publication: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)
status: public
title: Simulation and Testing of Mobile Computing Systems using Fujaba
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7929'
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. Model-Based Specification and Execution of Embedded
Real-Time Systems. In: Proceedings of the Conference on Design Automation and
Test in Europe (DATE 2004), Paris, France. Vol 2. Los Alamitos, CA, USA: IEEE
Computer Society; 2004:1392-1393. doi:http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103'
apa: 'Schattkowsky, T., & Müller, W. (2004). Model-Based Specification and Execution
of Embedded Real-Time Systems. In Proceedings of the conference on Design Automation
and Test in Europe (DATE 2004), Paris, France (Vol. 2, pp. 1392–1393). Los
Alamitos, CA, USA: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103'
bibtex: '@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA},
title={Model-Based Specification and Execution of Embedded Real-Time Systems},
volume={2}, DOI={http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103},
booktitle={Proceedings of the conference on Design Automation and Test in Europe
(DATE 2004), Paris, France}, publisher={IEEE Computer Society}, author={Schattkowsky,
Tim and Müller, Wolfgang}, year={2004}, pages={1392–1393} }'
chicago: 'Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and
Execution of Embedded Real-Time Systems.” In Proceedings of the Conference
on Design Automation and Test in Europe (DATE 2004), Paris, France, 2:1392–93.
Los Alamitos, CA, USA: IEEE Computer Society, 2004. http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103.'
ieee: T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of
Embedded Real-Time Systems,” in Proceedings of the conference on Design Automation
and Test in Europe (DATE 2004), Paris, France, 2004, vol. 2, pp. 1392–1393.
mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution
of Embedded Real-Time Systems.” Proceedings of the Conference on Design Automation
and Test in Europe (DATE 2004), Paris, France, vol. 2, IEEE Computer Society,
2004, pp. 1392–93, doi:http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design
Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society,
Los Alamitos, CA, USA, 2004, pp. 1392–1393.'
date_created: 2019-02-21T11:29:52Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103
intvolume: ' 2'
language:
- iso: eng
page: 1392-1393
place: Los Alamitos, CA, USA
publication: Proceedings of the conference on Design Automation and Test in Europe
(DATE 2004), Paris, France
publisher: IEEE Computer Society
status: public
title: Model-Based Specification and Execution of Embedded Real-Time Systems
type: conference
user_id: '52534'
volume: 2
year: '2004'
...
---
_id: '7930'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
citation:
ama: 'Schattkowsky T. Direct Execution of UML 2.0 Sequence Diagrams. In: Proceedings
of the 10th International Conference on Information Systems Analysis and Synthesis
(ISAS 2004), Orlando, FL (USA). ; 2004.'
apa: Schattkowsky, T. (2004). Direct Execution of UML 2.0 Sequence Diagrams. In
Proceedings of the 10th International Conference on Information Systems Analysis
and Synthesis (ISAS 2004), Orlando, FL (USA).
bibtex: '@inproceedings{Schattkowsky_2004, title={Direct Execution of UML 2.0 Sequence
Diagrams}, booktitle={Proceedings of the 10th International Conference on Information
Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)}, author={Schattkowsky,
Tim}, year={2004} }'
chicago: Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” In
Proceedings of the 10th International Conference on Information Systems Analysis
and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.
ieee: T. Schattkowsky, “Direct Execution of UML 2.0 Sequence Diagrams,” in Proceedings
of the 10th International Conference on Information Systems Analysis and Synthesis
(ISAS 2004), Orlando, FL (USA), 2004.
mla: Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” Proceedings
of the 10th International Conference on Information Systems Analysis and Synthesis
(ISAS 2004), Orlando, FL (USA), 2004.
short: 'T. Schattkowsky, in: Proceedings of the 10th International Conference on
Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.'
date_created: 2019-02-21T11:30:21Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 10th International Conference on Information Systems
Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)
status: public
title: Direct Execution of UML 2.0 Sequence Diagrams
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7931'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
citation:
ama: 'Schattkowsky T. Efficient Execution of UML State Machines on a Virtual Machine.
In: Proceedings of the Conference on Systemics, Cybernetics and Informatics
(SCI 2004), Orlando, FL (USA). ; 2004.'
apa: Schattkowsky, T. (2004). Efficient Execution of UML State Machines on a Virtual
Machine. In Proceedings of the conference on Systemics, Cybernetics and Informatics
(SCI 2004), Orlando, FL (USA).
bibtex: '@inproceedings{Schattkowsky_2004, title={Efficient Execution of UML State
Machines on a Virtual Machine}, booktitle={Proceedings of the conference on Systemics,
Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, author={Schattkowsky,
Tim}, year={2004} }'
chicago: Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual
Machine.” In Proceedings of the Conference on Systemics, Cybernetics and Informatics
(SCI 2004), Orlando, FL (USA), 2004.
ieee: T. Schattkowsky, “Efficient Execution of UML State Machines on a Virtual Machine,”
in Proceedings of the conference on Systemics, Cybernetics and Informatics
(SCI 2004), Orlando, FL (USA), 2004.
mla: Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual
Machine.” Proceedings of the Conference on Systemics, Cybernetics and Informatics
(SCI 2004), Orlando, FL (USA), 2004.
short: 'T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics
and Informatics (SCI 2004), Orlando, FL (USA), 2004.'
date_created: 2019-02-21T11:30:50Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the conference on Systemics, Cybernetics and Informatics
(SCI 2004), Orlando, FL (USA)
status: public
title: Efficient Execution of UML State Machines on a Virtual Machine
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7932'
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 Discovery of Web Services.
In: Proceedings of the IEEE International Conference on Web Services (ICWS
2004). Washington, DC, USA: IEEE Computer Society; 2004:324-331. doi:http://dx.doi.org/10.1109/ICWS.2004.80'
apa: 'Hendrik Hausmann, J., Heckel, R., & Lohmann, M. (2004). Model-based Discovery
of Web Services. In Proceedings of the IEEE International Conference on Web
Services (ICWS 2004) (pp. 324–331). Washington, DC, USA: IEEE Computer Society.
http://dx.doi.org/10.1109/ICWS.2004.80'
bibtex: '@inproceedings{Hendrik Hausmann_Heckel_Lohmann_2004, place={Washington,
DC, USA}, title={Model-based Discovery of Web Services}, DOI={http://dx.doi.org/10.1109/ICWS.2004.80},
booktitle={Proceedings of the IEEE International Conference on Web Services (ICWS
2004)}, publisher={IEEE Computer Society}, author={Hendrik Hausmann, Jan and Heckel,
Reiko and Lohmann, Marc}, year={2004}, pages={324–331} }'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Marc Lohmann. “Model-Based Discovery
of Web Services.” In Proceedings of the IEEE International Conference on Web
Services (ICWS 2004), 324–31. Washington, DC, USA: IEEE Computer Society,
2004. http://dx.doi.org/10.1109/ICWS.2004.80.'
ieee: J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Model-based Discovery of
Web Services,” in Proceedings of the IEEE International Conference on Web Services
(ICWS 2004), 2004, pp. 324–331.
mla: Hendrik Hausmann, Jan, et al. “Model-Based Discovery of Web Services.” Proceedings
of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer
Society, 2004, pp. 324–31, doi:http://dx.doi.org/10.1109/ICWS.2004.80.
short: 'J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE
International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington,
DC, USA, 2004, pp. 324–331.'
date_created: 2019-02-21T11:31:16Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/ICWS.2004.80
language:
- iso: eng
page: 324-331
place: Washington, DC, USA
publication: Proceedings of the IEEE International Conference on Web Services (ICWS
2004)
publisher: IEEE Computer Society
status: public
title: Model-based Discovery of Web Services
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7933'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Christoph
full_name: Loeser, Christoph
last_name: Loeser
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
citation:
ama: 'Schattkowsky T, Loeser C, Müller W. Peer-to-Peer-based Web Services for Collaborative
Engineering Environments. In: Proceedings of the International Conference on
Networking (ICN 2004), Guadeloupe (France). Los Alamitos, CA, USA: IEEE Computer
Society; 2004.'
apa: 'Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-to-Peer-based
Web Services for Collaborative Engineering Environments. In Proceedings of
the International Conference on Networking (ICN 2004), Guadeloupe (France).
Los Alamitos, CA, USA: IEEE Computer Society.'
bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Los Alamitos, CA,
USA}, title={Peer-to-Peer-based Web Services for Collaborative Engineering Environments},
booktitle={Proceedings of the International Conference on Networking (ICN 2004),
Guadeloupe (France)}, publisher={IEEE Computer Society}, author={Schattkowsky,
Tim and Loeser, Christoph and Müller, Wolfgang}, year={2004} }'
chicago: 'Schattkowsky, Tim, Christoph Loeser, and Wolfgang Müller. “Peer-to-Peer-Based
Web Services for Collaborative Engineering Environments.” In Proceedings of
the International Conference on Networking (ICN 2004), Guadeloupe (France).
Los Alamitos, CA, USA: IEEE Computer Society, 2004.'
ieee: T. Schattkowsky, C. Loeser, and W. Müller, “Peer-to-Peer-based Web Services
for Collaborative Engineering Environments,” in Proceedings of the International
Conference on Networking (ICN 2004), Guadeloupe (France), 2004.
mla: Schattkowsky, Tim, et al. “Peer-to-Peer-Based Web Services for Collaborative
Engineering Environments.” Proceedings of the International Conference on Networking
(ICN 2004), Guadeloupe (France), IEEE Computer Society, 2004.
short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International
Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society,
Los Alamitos, CA, USA, 2004.'
date_created: 2019-02-21T11:31:58Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
place: Los Alamitos, CA, USA
publication: Proceedings of the International Conference on Networking (ICN 2004),
Guadeloupe (France)
publisher: IEEE Computer Society
status: public
title: Peer-to-Peer-based Web Services for Collaborative Engineering Environments
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7382'
abstract:
- lang: eng
text: UML offers different diagram types to model behavior and dynamics of software
systems. In some domains like embedded real-time systems or multimedia systems,
it is necessary to include specifications of time since the correctness of these
applications depends on the fulfillment of temporal requirements in addition to
functional requirements. UML thus already incorporates language features to model
time and temporal constraints. Such model elements must have an equivalent in
the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for
the specification of the formal operational semantics of UML models by applying
graph transformation to the meta modeling of dynamic behavior. Within this paper,
we extend this approach to also account for time by building on timed graph transformations.
We apply these concepts to the domain of multimedia application modeling in which
we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter
that can be used to analyze or test a model of multimedia sequence diagrams.
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying
the Semantics of Multimedia Sequence Diagrams. Software and Systems Modeling.
2004;3(3):181-193.'
apa: 'Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2004). Dynamic Meta Modeling
with Time: Specifying the Semantics of Multimedia Sequence Diagrams. Software
and Systems Modeling, 3(3), 181–193.'
bibtex: '@article{Hendrik Hausmann_Heckel_Sauer_2004, title={Dynamic Meta Modeling
with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={3},
number={3}, journal={Software and Systems Modeling}, author={Hendrik Hausmann,
Jan and Heckel, Reiko and Sauer, Stefan}, year={2004}, pages={181–193} }'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling
with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” Software
and Systems Modeling 3, no. 3 (2004): 181–93.'
ieee: 'J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with
Time: Specifying the Semantics of Multimedia Sequence Diagrams,” Software and
Systems Modeling, vol. 3, no. 3, pp. 181–193, 2004.'
mla: 'Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying
the Semantics of Multimedia Sequence Diagrams.” Software and Systems Modeling,
vol. 3, no. 3, 2004, pp. 181–93.'
short: J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3
(2004) 181–193.
date_created: 2019-01-31T15:33:39Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 3'
issue: '3'
language:
- iso: eng
page: 181-193
publication: Software and Systems Modeling
status: public
title: 'Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence
Diagrams'
type: journal_article
user_id: '52534'
volume: 3
year: '2004'
...
---
_id: '7533'
abstract:
- lang: eng
text: We present the adaptive cruise controller case study for B modelling and the
model checking by RAVEN. Individual translations of B operations, data types,
and invariants to the RAVEN Input Language are presented by the example of the
case study.
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Ola
full_name: Lundkvist, Ola
last_name: Lundkvist
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Colin
full_name: Snook, Colin
last_name: Snook
citation:
ama: 'Krupp A, Lundkvist O, Schattkowsky T, Snook C. Adaptive Cruise Controller
Case Study. In: Mermet J, ed. UML-B System Specification for Proven Electronic
Design. Dordrecht: Kluwer; 2004.'
apa: 'Krupp, A., Lundkvist, O., Schattkowsky, T., & Snook, C. (2004). Adaptive
Cruise Controller Case Study. In J. Mermet (Ed.), UML-B System Specification
for Proven Electronic Design. Dordrecht: Kluwer.'
bibtex: '@inbook{Krupp_Lundkvist_Schattkowsky_Snook_2004, place={Dordrecht}, title={Adaptive
Cruise Controller Case Study}, booktitle={UML-B System Specification for Proven
Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Lundkvist,
Ola and Schattkowsky, Tim and Snook, Colin}, editor={Mermet, J. Editor}, year={2004}
}'
chicago: 'Krupp, Alexander, Ola Lundkvist, Tim Schattkowsky, and Colin Snook. “Adaptive
Cruise Controller Case Study.” In UML-B System Specification for Proven Electronic
Design, edited by J. Mermet. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller
Case Study,” in UML-B System Specification for Proven Electronic Design,
J. Mermet, Ed. Dordrecht: Kluwer, 2004.'
mla: Krupp, Alexander, et al. “Adaptive Cruise Controller Case Study.” UML-B
System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer,
2004.
short: 'A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.),
UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.'
date_created: 2019-02-05T12:10:31Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'J. '
full_name: 'Mermet, J. '
last_name: Mermet
language:
- iso: eng
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publisher: Kluwer
status: public
title: Adaptive Cruise Controller Case Study
type: book_chapter
user_id: '52534'
year: '2004'
...
---
_id: '7534'
abstract:
- lang: eng
text: This article presents the E-COLLEG Tool Registration and Management Services
(TRMS) with open XML-based data exchange, tool integration and remote invocation
capabilities. TRMS is a workflow management middleware tailored to distance spanning
engineering collaboration and security enabled data exchange. The infrastructure
is validated through two industrial Intranet-crossing case studies between Polish,
French, and German chip manufacturing industries applying real-world development
scenarios. In both application scenarios, common engineering practices have been
identified and built into engineering workflows. Further, the current truly pan-European
collaborative industrial scenarios show promising results with respect to the
stability of the implemented software and easy application and flexibility of
the provided interfaces.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Mueller, Wolfgang
last_name: Mueller
- first_name: Adam
full_name: Pawlak, Adam
last_name: Pawlak
citation:
ama: 'Schattkowsky T, Mueller W, Pawlak A. Workflow Management Middleware for Secure
Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook
2004. Lighthouse Point, FL: Workflow Management Coalition; 2004:5-14.'
apa: 'Schattkowsky, T., Mueller, W., & Pawlak, A. (2004). Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer
(Ed.), Workflow Handbook 2004 (pp. 5–14). Lighthouse Point, FL: Workflow
Management Coalition.'
bibtex: '@inbook{Schattkowsky_Mueller_Pawlak_2004, place={Lighthouse Point, FL},
title={Workflow Management Middleware for Secure Distance-Spanning Collaborative
Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management
Coalition}, author={Schattkowsky, Tim and Mueller, Wolfgang and Pawlak, Adam},
editor={Fischer, L. Editor}, year={2004}, pages={5–14} }'
chicago: 'Schattkowsky, Tim, Wolfgang Mueller, and Adam Pawlak. “Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow
Handbook 2004, edited by L. Fischer, 5–14. Lighthouse Point, FL: Workflow
Management Coalition, 2004.'
ieee: 'T. Schattkowsky, W. Mueller, and A. Pawlak, “Workflow Management Middleware
for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook
2004, L. Fischer, Ed. Lighthouse Point, FL: Workflow Management Coalition,
2004, pp. 5–14.'
mla: Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning
Collaborative Engineering.” Workflow Handbook 2004, edited by L. Fischer,
Workflow Management Coalition, 2004, pp. 5–14.
short: 'T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook
2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.'
date_created: 2019-02-05T12:11:41Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'L. '
full_name: 'Fischer, L. '
last_name: Fischer
language:
- iso: eng
page: 5-14
place: Lighthouse Point, FL
publication: Workflow Handbook 2004
publisher: Workflow Management Coalition
status: public
title: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
type: book_chapter
user_id: '52534'
year: '2004'
...
---
_id: '7585'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: Küster J. Consistency Management of Object-Oriented Behavioral Models.;
2004.
apa: Küster, J. (2004). Consistency Management of Object-Oriented Behavioral
Models.
bibtex: '@book{Küster_2004, title={Consistency Management of Object-Oriented Behavioral
Models}, author={Küster, Jochen}, year={2004} }'
chicago: Küster, Jochen. Consistency Management of Object-Oriented Behavioral
Models, 2004.
ieee: J. Küster, Consistency Management of Object-Oriented Behavioral Models.
2004.
mla: Küster, Jochen. Consistency Management of Object-Oriented Behavioral Models.
2004.
short: J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.
date_created: 2019-02-06T14:27:54Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Consistency Management of Object-Oriented Behavioral Models
type: dissertation
user_id: '52534'
year: '2004'
...
---
_id: '7586'
abstract:
- lang: eng
text: 'This dissertation describes an approach to the visual modeling of software
systems which are composed of autonomous and proactive software entities interacting
with their environment. These entities are named software agents. More and more
software systems are distributed, dynamic and open with respect to their environment.
Software agents shall ease the development of such systems. Agent based systems
provide a modular structure. They are robust and can be adapted dynamically to
changing requirements. The notion of software agent relies on the fundamental
properties of autonomy, proactivity and structured interaction. According to these
properties agents are distinguished from objects and components. For the development
of agent based systems an appropriate modeling language and a process model describing
the correct usage of the language are demanded. For both aspects only unsufficient
or incomplete approaches exist. This thesis contributes to the solution in the
following way: A new abstract and formal model of agent based systems shows, that
the fundamental properties can be expressed precisely. Differently from existing
models not only a single agent but a multi agent system can be modeled. The most
important architectural models of agent-based systems are compatible with the
abstract model. The rather restricted structure of the abstract model motivates
the refinement by a model of coupled I/Oautomata. The Unified Modeling Language
is widely used in industrial software development. Therefore, the new language
AML (Agent Modeling Language) for the development of agent-based systems is defined
as a UML profile. The semantics of AML models is defined in the semantic domain
of graph transformation. The semantic domain is restricted to an adequate agent-oriented
domain. There the constituents of the fundamental agent properties are defined.
Agent based systems which are described using AML are shown to be compatible with
I/O-automata model of multi agent systems. Constituents for proactivity are goals
and strategies. In this thesis, it is shown that the reachability of goals through
the application of strategies can be checked by applying a model checking method.
The new process model APM describes, how the language AML can be applied to the
modeling of agent-based systems.'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
citation:
ama: Depke R. Visuelle Modellierung Agentenbasierter Systeme.; 2004.
apa: Depke, R. (2004). Visuelle Modellierung agentenbasierter Systeme.
bibtex: '@book{Depke_2004, title={Visuelle Modellierung agentenbasierter Systeme},
author={Depke, Ralph}, year={2004} }'
chicago: Depke, Ralph. Visuelle Modellierung Agentenbasierter Systeme, 2004.
ieee: R. Depke, Visuelle Modellierung agentenbasierter Systeme. 2004.
mla: Depke, Ralph. Visuelle Modellierung Agentenbasierter Systeme. 2004.
short: R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.
date_created: 2019-02-06T14:29:56Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
related_material:
link:
- relation: confirmation
url: http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20040101100
status: public
title: Visuelle Modellierung agentenbasierter Systeme
type: dissertation
user_id: '52534'
year: '2004'
...