---
_id: '7950'
author:
- first_name: Andreas
full_name: Pleuß, Andreas
last_name: Pleuß
- first_name: Jan
full_name: Van den Bergh, Jan
last_name: Van den Bergh
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Heinrich
full_name: Hußmann, Heinrich
last_name: Hußmann
citation:
ama: 'Pleuß A, Van den Bergh J, Sauer S, Hußmann H. Workshop Report: Model Driven
Development of Advanced User Interfaces (MDDAUI). In: Satellite Events at the
MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium,
Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica). Vol 3844.
LNCS. Berlin/Heidelberg: Springer; 2006:182-190. doi:dx.doi.org/10.1007/11663430_19'
apa: 'Pleuß, A., Van den Bergh, J., Sauer, S., & Hußmann, H. (2006). Workshop
Report: Model Driven Development of Advanced User Interfaces (MDDAUI). In Satellite
Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral
Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)
(Vol. 3844, pp. 182–190). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/11663430_19'
bibtex: '@inproceedings{Pleuß_Van den Bergh_Sauer_Hußmann_2006, place={Berlin/Heidelberg},
series={LNCS}, title={Workshop Report: Model Driven Development of Advanced User
Interfaces (MDDAUI)}, volume={3844}, DOI={dx.doi.org/10.1007/11663430_19},
booktitle={Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International
Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego
Bay (Jamaica)}, publisher={Springer}, author={Pleuß, Andreas and Van den Bergh,
Jan and Sauer, Stefan and Hußmann, Heinrich}, year={2006}, pages={182–190}, collection={LNCS}
}'
chicago: 'Pleuß, Andreas, Jan Van den Bergh, Stefan Sauer, and Heinrich Hußmann.
“Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI).”
In Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International
Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego
Bay (Jamaica), 3844:182–90. LNCS. Berlin/Heidelberg: Springer, 2006. https://doi.org/dx.doi.org/10.1007/11663430_19.'
ieee: 'A. Pleuß, J. Van den Bergh, S. Sauer, and H. Hußmann, “Workshop Report: Model
Driven Development of Advanced User Interfaces (MDDAUI),” in Satellite Events
at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium,
Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica), 2006,
vol. 3844, pp. 182–190.'
mla: 'Pleuß, Andreas, et al. “Workshop Report: Model Driven Development of Advanced
User Interfaces (MDDAUI).” Satellite Events at the MoDELS 2005 Conference,
MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium,
Revised Selected Papers, Montego Bay (Jamaica), vol. 3844, Springer, 2006,
pp. 182–90, doi:dx.doi.org/10.1007/11663430_19.'
short: 'A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, in: Satellite Events at
the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium,
Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica), Springer,
Berlin/Heidelberg, 2006, pp. 182–190.'
date_created: 2019-02-21T11:44:16Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/11663430_19
intvolume: ' 3844'
language:
- iso: eng
page: 182-190
place: Berlin/Heidelberg
publication: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International
Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego
Bay (Jamaica)
publisher: Springer
series_title: LNCS
status: public
title: 'Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)'
type: conference
user_id: '52534'
volume: 3844
year: '2006'
...
---
_id: '7951'
author:
- first_name: Karsten
full_name: Ehrig, Karsten
last_name: Ehrig
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Jessica
full_name: Winkelmann, Jessica
last_name: Winkelmann
citation:
ama: 'Ehrig K, Taentzer G, Küster J, Winkelmann J. Generating Instance Models from
Meta Models. In: Proceedings of the Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS 2006), Bologna (Italy). Vol 4037/2006. LNCS. Berlin/Heidelberg:
Springer; 2006:156-170. doi:dx.doi.org/10.1007/11768869_13'
apa: 'Ehrig, K., Taentzer, G., Küster, J., & Winkelmann, J. (2006). Generating
Instance Models from Meta Models. In Proceedings of the conference on Formal
Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)
(Vol. 4037/2006, pp. 156–170). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/11768869_13'
bibtex: '@inproceedings{Ehrig_Taentzer_Küster_Winkelmann_2006, place={Berlin/Heidelberg},
series={LNCS}, title={Generating Instance Models from Meta Models}, volume={4037/2006},
DOI={dx.doi.org/10.1007/11768869_13},
booktitle={Proceedings of the conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS 2006), Bologna (Italy)}, publisher={Springer}, author={Ehrig,
Karsten and Taentzer, Gabriele and Küster, Jochen and Winkelmann, Jessica}, year={2006},
pages={156–170}, collection={LNCS} }'
chicago: 'Ehrig, Karsten, Gabriele Taentzer, Jochen Küster, and Jessica Winkelmann.
“Generating Instance Models from Meta Models.” In Proceedings of the Conference
on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna
(Italy), 4037/2006:156–70. LNCS. Berlin/Heidelberg: Springer, 2006. https://doi.org/dx.doi.org/10.1007/11768869_13.'
ieee: K. Ehrig, G. Taentzer, J. Küster, and J. Winkelmann, “Generating Instance
Models from Meta Models,” in Proceedings of the conference on Formal Methods
for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy),
2006, vol. 4037/2006, pp. 156–170.
mla: Ehrig, Karsten, et al. “Generating Instance Models from Meta Models.” Proceedings
of the Conference on Formal Methods for Open Object-Based Distributed Systems
(FMOODS 2006), Bologna (Italy), vol. 4037/2006, Springer, 2006, pp. 156–70,
doi:dx.doi.org/10.1007/11768869_13.
short: 'K. Ehrig, G. Taentzer, J. Küster, J. Winkelmann, in: Proceedings of the
Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS
2006), Bologna (Italy), Springer, Berlin/Heidelberg, 2006, pp. 156–170.'
date_created: 2019-02-21T11:44:17Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/11768869_13
language:
- iso: eng
page: 156-170
place: Berlin/Heidelberg
publication: Proceedings of the conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS 2006), Bologna (Italy)
publisher: Springer
series_title: LNCS
status: public
title: Generating Instance Models from Meta Models
type: conference
user_id: '52534'
volume: 4037/2006
year: '2006'
...
---
_id: '7952'
author:
- first_name: Rainer
full_name: Hauser, Rainer
last_name: Hauser
- first_name: Michael
full_name: Friess, Michael
last_name: Friess
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Jussi
full_name: Vanhatalo, Jussi
last_name: Vanhatalo
citation:
ama: 'Hauser R, Friess M, Küster J, Vanhatalo J. Combining Analysis of Unstructured
Workflows with Transformation to Structured Workflows. In: Proceedings of the
10th IEEE International Enterprise Distributed Object Computing Conference (EDOC
2006). Washington, DC, USA: IEEE Computer Society; 2006:129-140. doi:http://dx.doi.org/10.1109/EDOC.2006.21'
apa: 'Hauser, R., Friess, M., Küster, J., & Vanhatalo, J. (2006). Combining
Analysis of Unstructured Workflows with Transformation to Structured Workflows.
In Proceedings of the 10th IEEE International Enterprise Distributed Object
Computing Conference (EDOC 2006) (pp. 129–140). Washington, DC, USA: IEEE
Computer Society. http://dx.doi.org/10.1109/EDOC.2006.21'
bibtex: '@inproceedings{Hauser_Friess_Küster_Vanhatalo_2006, place={Washington,
DC, USA}, title={Combining Analysis of Unstructured Workflows with Transformation
to Structured Workflows}, DOI={http://dx.doi.org/10.1109/EDOC.2006.21},
booktitle={Proceedings of the 10th IEEE International Enterprise Distributed Object
Computing Conference (EDOC 2006)}, publisher={IEEE Computer Society}, author={Hauser,
Rainer and Friess, Michael and Küster, Jochen and Vanhatalo, Jussi}, year={2006},
pages={129–140} }'
chicago: 'Hauser, Rainer, Michael Friess, Jochen Küster, and Jussi Vanhatalo. “Combining
Analysis of Unstructured Workflows with Transformation to Structured Workflows.”
In Proceedings of the 10th IEEE International Enterprise Distributed Object
Computing Conference (EDOC 2006), 129–40. Washington, DC, USA: IEEE Computer
Society, 2006. http://dx.doi.org/10.1109/EDOC.2006.21.'
ieee: R. Hauser, M. Friess, J. Küster, and J. Vanhatalo, “Combining Analysis of
Unstructured Workflows with Transformation to Structured Workflows,” in Proceedings
of the 10th IEEE International Enterprise Distributed Object Computing Conference
(EDOC 2006), 2006, pp. 129–140.
mla: Hauser, Rainer, et al. “Combining Analysis of Unstructured Workflows with Transformation
to Structured Workflows.” Proceedings of the 10th IEEE International Enterprise
Distributed Object Computing Conference (EDOC 2006), IEEE Computer Society,
2006, pp. 129–40, doi:http://dx.doi.org/10.1109/EDOC.2006.21.
short: 'R. Hauser, M. Friess, J. Küster, J. Vanhatalo, in: Proceedings of the 10th
IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006),
IEEE Computer Society, Washington, DC, USA, 2006, pp. 129–140.'
date_created: 2019-02-21T11:44:18Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/EDOC.2006.21
language:
- iso: eng
page: 129-140
place: Washington, DC, USA
publication: Proceedings of the 10th IEEE International Enterprise Distributed Object
Computing Conference (EDOC 2006)
publisher: IEEE Computer Society
status: public
title: Combining Analysis of Unstructured Workflows with Transformation to Structured
Workflows
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '7953'
abstract:
- lang: eng
text: As the Unified Modeling Language (UML) has by now seen widespread and successful
use in the software industry and academia alike, it has also found its way into
many computer science curricula. An outstanding advantage of teaching UML is that
it enables an illustration of many crucial concepts of software engineering, far
beyond its concrete notation. Most important among these concepts is that of abstraction.
We present a course design which demonstrates the use of UML as a vehicle for
teaching such core concepts of software engineering. Multimedia elements and tools
help to efficiently convey the courses message to the students.
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. In: Proceedings of the Satellite
Events at the MoDELS 2005 Conference, Montego Bay (Jamaica). Vol 3844 / 2006.
LNCS. Berlin/Heidelberg: Springer; 2006:306-319.'
apa: 'Engels, G., Hendrik Hausmann, J., Lohmann, M., & Sauer, S. (2006). Teaching
UML Is Teaching Software Engineering Is Teaching Abstraction. In Proceedings
of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)
(Vol. 3844 / 2006, pp. 306–319). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Engels_Hendrik Hausmann_Lohmann_Sauer_2006, place={Berlin/Heidelberg},
series={LNCS}, title={Teaching UML Is Teaching Software Engineering Is Teaching
Abstraction}, volume={3844 / 2006}, booktitle={Proceedings of the Satellite Events
at the MoDELS 2005 Conference, Montego Bay (Jamaica)}, publisher={Springer}, author={Engels,
Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}, year={2006},
pages={306–319}, collection={LNCS} }'
chicago: 'Engels, Gregor, Jan Hendrik Hausmann, Marc Lohmann, and Stefan Sauer.
“Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.” In Proceedings
of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica),
3844 / 2006:306–19. LNCS. Berlin/Heidelberg: Springer, 2006.'
ieee: G. Engels, J. Hendrik Hausmann, M. Lohmann, and S. Sauer, “Teaching UML Is
Teaching Software Engineering Is Teaching Abstraction,” in Proceedings of the
Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), 2006,
vol. 3844 / 2006, pp. 306–319.
mla: Engels, Gregor, et al. “Teaching UML Is Teaching Software Engineering Is Teaching
Abstraction.” Proceedings of the Satellite Events at the MoDELS 2005 Conference,
Montego Bay (Jamaica), vol. 3844 / 2006, Springer, 2006, pp. 306–19.
short: 'G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, in: Proceedings of
the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), Springer,
Berlin/Heidelberg, 2006, pp. 306–319.'
date_created: 2019-02-21T11:44:20Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 306-319
place: Berlin/Heidelberg
publication: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego
Bay (Jamaica)
publisher: Springer
series_title: LNCS
status: public
title: Teaching UML Is Teaching Software Engineering Is Teaching Abstraction
type: conference
user_id: '52534'
volume: 3844 / 2006
year: '2006'
...
---
_id: '7954'
abstract:
- lang: eng
text: The model-driven development (MDD) approach for constructing software systems
advocates a stepwise refinement and transformation process starting from high-level
models to concrete program code. In contrast to numerous research efforts that
try to generate executable function code from models, we propose a novel approach
termed model-driven monitoring. Here, models are used to specify minimal requirements
and are transformed into assertions on the code level for monitoring hand-coded
programs during execution. We show how well-understood results from the graph
transformation community can be deployed to support this model-driven monitoring
approach. In particular, models in the form of visual contracts are defined by
graph transitions with loose semantics, while the automatic transformation from
models to JML assertions on the code level is defined by strict graph transformation
rules. Both aspects are supported and realized by a dedicated Eclipse plug-in.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Engels G, Lohmann M, Sauer S, Heckel R. Model-Driven Monitoring: An Application
of Graph Transformation for Design by Contract. In: Proceedings of the 3rd
International Conference on Graph Transformation (ICGT 2006), Natal (Brazil).
Vol 4178. LNCS. Berlin/Heidelberg: Springer; 2006:336-350. doi:http://dx.doi.org/10.1007/11841883'
apa: 'Engels, G., Lohmann, M., Sauer, S., & Heckel, R. (2006). Model-Driven
Monitoring: An Application of Graph Transformation for Design by Contract. In
Proceedings of the 3rd International Conference on Graph Transformation (ICGT
2006), Natal (Brazil) (Vol. 4178, pp. 336–350). Berlin/Heidelberg: Springer.
http://dx.doi.org/10.1007/11841883'
bibtex: '@inproceedings{Engels_Lohmann_Sauer_Heckel_2006, place={Berlin/Heidelberg},
series={LNCS}, title={Model-Driven Monitoring: An Application of Graph Transformation
for Design by Contract}, volume={4178}, DOI={http://dx.doi.org/10.1007/11841883},
booktitle={Proceedings of the 3rd International Conference on Graph Transformation
(ICGT 2006), Natal (Brazil)}, publisher={Springer}, author={Engels, Gregor and
Lohmann, Marc and Sauer, Stefan and Heckel, Reiko}, year={2006}, pages={336–350},
collection={LNCS} }'
chicago: 'Engels, Gregor, Marc Lohmann, Stefan Sauer, and Reiko Heckel. “Model-Driven
Monitoring: An Application of Graph Transformation for Design by Contract.” In
Proceedings of the 3rd International Conference on Graph Transformation (ICGT
2006), Natal (Brazil), 4178:336–50. LNCS. Berlin/Heidelberg: Springer, 2006.
http://dx.doi.org/10.1007/11841883.'
ieee: 'G. Engels, M. Lohmann, S. Sauer, and R. Heckel, “Model-Driven Monitoring:
An Application of Graph Transformation for Design by Contract,” in Proceedings
of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal
(Brazil), 2006, vol. 4178, pp. 336–350.'
mla: 'Engels, Gregor, et al. “Model-Driven Monitoring: An Application of Graph Transformation
for Design by Contract.” Proceedings of the 3rd International Conference on
Graph Transformation (ICGT 2006), Natal (Brazil), vol. 4178, Springer, 2006,
pp. 336–50, doi:http://dx.doi.org/10.1007/11841883.'
short: 'G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International
Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg,
2006, pp. 336–350.'
date_created: 2019-02-21T11:44:21Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11841883
intvolume: ' 4178'
language:
- iso: eng
page: 336-350
place: Berlin/Heidelberg
publication: Proceedings of the 3rd International Conference on Graph Transformation
(ICGT 2006), Natal (Brazil)
publisher: Springer
series_title: LNCS
status: public
title: 'Model-Driven Monitoring: An Application of Graph Transformation for Design
by Contract'
type: conference
user_id: '52534'
volume: 4178
year: '2006'
...
---
_id: '7955'
author:
- first_name: Alexander
full_name: Förster, Alexander
last_name: Förster
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ragnhild
full_name: Van Der Straeten, Ragnhild
last_name: Van Der Straeten
citation:
ama: 'Förster A, Schattkowsky T, Engels G, Van Der Straeten R. A Pattern-driven
Development Process for Quality Standard-conforming Business Process Models. In:
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006),
Brighton (UK). Washington, DC, USA: IEEE Computer Society; 2006:135-142.'
apa: 'Förster, A., Schattkowsky, T., Engels, G., & Van Der Straeten, R. (2006).
A Pattern-driven Development Process for Quality Standard-conforming Business
Process Models. In IEEE Symposium on Visual Languages and Human-Centric Computing
(VL/HCC 2006), Brighton (UK) (pp. 135–142). Washington, DC, USA: IEEE Computer
Society.'
bibtex: '@inproceedings{Förster_Schattkowsky_Engels_Van Der Straeten_2006, place={Washington,
DC, USA}, title={A Pattern-driven Development Process for Quality Standard-conforming
Business Process Models}, booktitle={IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2006), Brighton (UK)}, publisher={IEEE Computer Society}, author={Förster,
Alexander and Schattkowsky, Tim and Engels, Gregor and Van Der Straeten, Ragnhild},
year={2006}, pages={135–142} }'
chicago: 'Förster, Alexander, Tim Schattkowsky, Gregor Engels, and Ragnhild Van
Der Straeten. “A Pattern-Driven Development Process for Quality Standard-Conforming
Business Process Models.” In IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2006), Brighton (UK), 135–42. Washington, DC, USA: IEEE
Computer Society, 2006.'
ieee: A. Förster, T. Schattkowsky, G. Engels, and R. Van Der Straeten, “A Pattern-driven
Development Process for Quality Standard-conforming Business Process Models,”
in IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006),
Brighton (UK), 2006, pp. 135–142.
mla: Förster, Alexander, et al. “A Pattern-Driven Development Process for Quality
Standard-Conforming Business Process Models.” IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC 2006), Brighton (UK), IEEE Computer Society,
2006, pp. 135–42.
short: 'A. Förster, T. Schattkowsky, G. Engels, R. Van Der Straeten, in: IEEE Symposium
on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK),
IEEE Computer Society, Washington, DC, USA, 2006, pp. 135–142.'
date_created: 2019-02-21T11:44:22Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 135-142
place: Washington, DC, USA
publication: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
2006), Brighton (UK)
publisher: IEEE Computer Society
status: public
title: A Pattern-driven Development Process for Quality Standard-conforming Business
Process Models
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '7956'
abstract:
- lang: eng
text: The Visual Contract Workbench is a tool that supports model-driven development
of software systems by lifting the Design by Contract idea, which is usually used
at the code level, to the model level. It uses visual contracts for graphically
specifying the pre- and post-conditions of an operation. Java classes with JML
(Java Modeling Language) assertions are generated from visual contracts to facilitate
automatic monitoring of the correctness of the programmer's implementation.
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- 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: 'Lohmann M, Engels G, Sauer S. Model-driven Monitoring: Generating Assertions
from Visual Contracts. In: Proceedings of the 21st IEEE International Conference
on Automated Software Engineering (ASE 06), Tokyo (Japan). Los Alamitos, CA,
USA: IEEE Computer Society; 2006:355-356. doi:http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52'
apa: 'Lohmann, M., Engels, G., & Sauer, S. (2006). Model-driven Monitoring:
Generating Assertions from Visual Contracts. In Proceedings of the 21st IEEE
International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)
(pp. 355–356). Los Alamitos, CA, USA: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52'
bibtex: '@inproceedings{Lohmann_Engels_Sauer_2006, place={Los Alamitos, CA, USA},
title={Model-driven Monitoring: Generating Assertions from Visual Contracts},
DOI={http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52},
booktitle={Proceedings of the 21st IEEE International Conference on Automated
Software Engineering (ASE 06), Tokyo (Japan)}, publisher={IEEE Computer Society},
author={Lohmann, Marc and Engels, Gregor and Sauer, Stefan}, year={2006}, pages={355–356}
}'
chicago: 'Lohmann, Marc, Gregor Engels, and Stefan Sauer. “Model-Driven Monitoring:
Generating Assertions from Visual Contracts.” In Proceedings of the 21st IEEE
International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan),
355–56. Los Alamitos, CA, USA: IEEE Computer Society, 2006. http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52.'
ieee: 'M. Lohmann, G. Engels, and S. Sauer, “Model-driven Monitoring: Generating
Assertions from Visual Contracts,” in Proceedings of the 21st IEEE International
Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), 2006,
pp. 355–356.'
mla: 'Lohmann, Marc, et al. “Model-Driven Monitoring: Generating Assertions from
Visual Contracts.” Proceedings of the 21st IEEE International Conference on
Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society,
2006, pp. 355–56, doi:http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52.'
short: 'M. Lohmann, G. Engels, S. Sauer, in: Proceedings of the 21st IEEE International
Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer
Society, Los Alamitos, CA, USA, 2006, pp. 355–356.'
date_created: 2019-02-21T11:44:23Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52
language:
- iso: eng
page: 355-356
place: Los Alamitos, CA, USA
publication: Proceedings of the 21st IEEE International Conference on Automated Software
Engineering (ASE 06), Tokyo (Japan)
publisher: IEEE Computer Society
status: public
title: 'Model-driven Monitoring: Generating Assertions from Visual Contracts'
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '7957'
abstract:
- lang: eng
text: Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente
Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse
eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise
Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert
eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen
Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist
an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden.
Das Papier stellt die Ergebnisse der ersten Phase einer umfangreichen industriellen
Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im
Kontext einer SOA vor.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Oliver
full_name: Juwig, Oliver
last_name: Juwig
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Jan-Peter
full_name: Richter, Jan-Peter
last_name: Richter
citation:
ama: 'Engels G, Güldali B, Juwig O, Lohmann M, Richter J-P. Industrielle Fallstudie:
Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: Proceedings
of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik
(SE 2006), Leipzig (Germany). Vol 79. Lecture Notes in Informatics. Bonn:
Gesellschaft für Informatik (GI); 2006:111-122. doi:http://dx.doi.org/10.1007/11841883'
apa: 'Engels, G., Güldali, B., Juwig, O., Lohmann, M., & Richter, J.-P. (2006).
Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen.
In Proceedings of the conference on Software Enginneering, Fachtagung des GI
Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany) (Vol. 79, pp. 111–122).
Bonn: Gesellschaft für Informatik (GI). http://dx.doi.org/10.1007/11841883'
bibtex: '@inproceedings{Engels_Güldali_Juwig_Lohmann_Richter_2006, place={Bonn},
series={Lecture Notes in Informatics}, title={Industrielle Fallstudie: Einsatz
visueller Kontrakte in serviceorientierten Architekturen}, volume={79}, DOI={http://dx.doi.org/10.1007/11841883},
booktitle={Proceedings of the conference on Software Enginneering, Fachtagung
des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)}, publisher={Gesellschaft
für Informatik (GI)}, author={Engels, Gregor and Güldali, Baris and Juwig, Oliver
and Lohmann, Marc and Richter, Jan-Peter}, year={2006}, pages={111–122}, collection={Lecture
Notes in Informatics} }'
chicago: 'Engels, Gregor, Baris Güldali, Oliver Juwig, Marc Lohmann, and Jan-Peter
Richter. “Industrielle Fallstudie: Einsatz Visueller Kontrakte in Serviceorientierten
Architekturen.” In Proceedings of the Conference on Software Enginneering,
Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany),
79:111–22. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
2006. http://dx.doi.org/10.1007/11841883.'
ieee: 'G. Engels, B. Güldali, O. Juwig, M. Lohmann, and J.-P. Richter, “Industrielle
Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen,”
in Proceedings of the conference on Software Enginneering, Fachtagung des GI
Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany), 2006, vol. 79,
pp. 111–122.'
mla: 'Engels, Gregor, et al. “Industrielle Fallstudie: Einsatz Visueller Kontrakte
in Serviceorientierten Architekturen.” Proceedings of the Conference on Software
Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig
(Germany), vol. 79, Gesellschaft für Informatik (GI), 2006, pp. 111–22, doi:http://dx.doi.org/10.1007/11841883.'
short: 'G. Engels, B. Güldali, O. Juwig, M. Lohmann, J.-P. Richter, in: Proceedings
of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik
(SE 2006), Leipzig (Germany), Gesellschaft für Informatik (GI), Bonn, 2006, pp.
111–122.'
date_created: 2019-02-21T11:44:25Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11841883
intvolume: ' 79'
language:
- iso: eng
page: 111-122
place: Bonn
publication: Proceedings of the conference on Software Enginneering, Fachtagung des
GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: 'Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten
Architekturen'
type: conference
user_id: '52534'
volume: 79
year: '2006'
...
---
_id: '8215'
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Jan-Peter
full_name: Richter, Jan-Peter
last_name: Richter
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Oliver
full_name: Juwig, Oliver
last_name: Juwig
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: Lohmann M, Richter J-P, Engels G, Güldali B, Juwig O, Sauer S. Semantische
Beschreibung von Enterprise Services – Eine Industrielle Fallstudie. University
of Paderborn, s-lab; 2006.
apa: Lohmann, M., Richter, J.-P., Engels, G., Güldali, B., Juwig, O., & Sauer,
S. (2006). Semantische Beschreibung von Enterprise Services – Eine industrielle
Fallstudie. University of Paderborn, s-lab.
bibtex: '@book{Lohmann_Richter_Engels_Güldali_Juwig_Sauer_2006, title={Semantische
Beschreibung von Enterprise Services – Eine industrielle Fallstudie}, publisher={University
of Paderborn, s-lab}, author={Lohmann, Marc and Richter, Jan-Peter and Engels,
Gregor and Güldali, Baris and Juwig, Oliver and Sauer, Stefan}, year={2006} }'
chicago: Lohmann, Marc, Jan-Peter Richter, Gregor Engels, Baris Güldali, Oliver
Juwig, and Stefan Sauer. Semantische Beschreibung von Enterprise Services –
Eine Industrielle Fallstudie. University of Paderborn, s-lab, 2006.
ieee: M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, and S. Sauer,
Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie.
University of Paderborn, s-lab, 2006.
mla: Lohmann, Marc, et al. Semantische Beschreibung von Enterprise Services –
Eine Industrielle Fallstudie. University of Paderborn, s-lab, 2006.
short: M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, S. Sauer, Semantische
Beschreibung von Enterprise Services – Eine Industrielle Fallstudie, University
of Paderborn, s-lab, 2006.
date_created: 2019-03-03T16:13:14Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, s-lab
report_number: '1'
status: public
title: Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie
type: report
user_id: '52534'
year: '2006'
...
---
_id: '7376'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Heckel R, Lohmann M. Model-Driven Development of Reactive Information Systems:
From Graph Transformation Rules to JML Contracts. International Journal on
Software Tools for Technology Transfer (STTT). 2006;9(2):193-207.'
apa: 'Heckel, R., & Lohmann, M. (2006). Model-Driven Development of Reactive
Information Systems: From Graph Transformation Rules to JML Contracts. International
Journal on Software Tools for Technology Transfer (STTT), 9(2), 193–207.'
bibtex: '@article{Heckel_Lohmann_2006, title={Model-Driven Development of Reactive
Information Systems: From Graph Transformation Rules to JML Contracts}, volume={9},
number={2}, journal={International Journal on Software Tools for Technology Transfer
(STTT)}, author={Heckel, Reiko and Lohmann, Marc}, year={2006}, pages={193–207}
}'
chicago: 'Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive
Information Systems: From Graph Transformation Rules to JML Contracts.” International
Journal on Software Tools for Technology Transfer (STTT) 9, no. 2 (2006):
193–207.'
ieee: 'R. Heckel and M. Lohmann, “Model-Driven Development of Reactive Information
Systems: From Graph Transformation Rules to JML Contracts,” International Journal
on Software Tools for Technology Transfer (STTT), vol. 9, no. 2, pp. 193–207,
2006.'
mla: 'Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive Information
Systems: From Graph Transformation Rules to JML Contracts.” International Journal
on Software Tools for Technology Transfer (STTT), vol. 9, no. 2, 2006, pp.
193–207.'
short: R. Heckel, M. Lohmann, International Journal on Software Tools for Technology
Transfer (STTT) 9 (2006) 193–207.
date_created: 2019-01-31T15:28:56Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: ' 9'
issue: '2'
language:
- iso: eng
page: 193-207
publication: International Journal on Software Tools for Technology Transfer (STTT)
status: public
title: 'Model-Driven Development of Reactive Information Systems: From Graph Transformation
Rules to JML Contracts'
type: journal_article
user_id: '52534'
volume: 9
year: '2006'
...
---
_id: '7377'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: Küster J. Definition and Validation of Model Transformations. Software and
Systems Modeling. 2006;5(3):233-259. doi:http://dx.doi.org/10.1007/s10270-006-0018-8
apa: Küster, J. (2006). Definition and Validation of Model Transformations. Software
and Systems Modeling, 5(3), 233–259. http://dx.doi.org/10.1007/s10270-006-0018-8
bibtex: '@article{Küster_2006, title={Definition and Validation of Model Transformations},
volume={5}, DOI={http://dx.doi.org/10.1007/s10270-006-0018-8},
number={3}, journal={Software and Systems Modeling}, author={Küster, Jochen},
year={2006}, pages={233–259} }'
chicago: 'Küster, Jochen. “Definition and Validation of Model Transformations.”
Software and Systems Modeling 5, no. 3 (2006): 233–59. http://dx.doi.org/10.1007/s10270-006-0018-8.'
ieee: J. Küster, “Definition and Validation of Model Transformations,” Software
and Systems Modeling, vol. 5, no. 3, pp. 233–259, 2006.
mla: Küster, Jochen. “Definition and Validation of Model Transformations.” Software
and Systems Modeling, vol. 5, no. 3, 2006, pp. 233–59, doi:http://dx.doi.org/10.1007/s10270-006-0018-8.
short: J. Küster, Software and Systems Modeling 5 (2006) 233–259.
date_created: 2019-01-31T15:29:26Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/s10270-006-0018-8
intvolume: ' 5'
issue: '3'
language:
- iso: eng
page: 233-259
publication: Software and Systems Modeling
status: public
title: Definition and Validation of Model Transformations
type: journal_article
user_id: '52534'
volume: 5
year: '2006'
...
---
_id: '7549'
abstract:
- lang: eng
text: The current situation of ad hoc development of Web applications reminds us
of the software development practices of the 1960s, before it was realized that
the development of applications required more than programming expertise. This
book counteracts this situation by giving a comprehensive, practice-oriented and
thorough insight into the new discipline of Web Engineering. The text highlights
the need to examine and re-use the body of knowledge found within software engineering.
It demonstrates how to use that knowledge within the Web environment, in order
to achieve a highly disciplined and methodological means of producing Web-based
software, putting emphasize on current practices, experiences and pitfalls. The
book demonstrates the distinctions between software engineering and Web engineering,
for instance, the shorter lead times that Web engineering has compared to its
software counterpart, whilst also demonstrating the rapid prototyping and agile
methods of development needed to meet these criteria. The book covers important
topics of Web Engineering, including requirements analysis, design, architectures,
technologies, test, operation and maintenance; this is complemented by in-depth
knowledge about Web project management and process issues as well as important
quality aspects of Web applications like usability, performance and security.
An overview of Semantic Web concepts points the way to the development of future
Web applications.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Engels G, Lohmann M, Wagner A. The Web Application Development Process. In:
Kappel, B. Pröll, S. Reich, W. Retschitzegger G, ed. Web Engineering: The Discipline
of Systematic Development of Web Applications. Wiley; 2006.'
apa: 'Engels, G., Lohmann, M., & Wagner, A. (2006). The Web Application Development
Process. In G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), Web Engineering:
The Discipline of Systematic Development of Web Applications. Wiley.'
bibtex: '@inbook{Engels_Lohmann_Wagner_2006, title={The Web Application Development
Process}, booktitle={Web Engineering: The Discipline of Systematic Development
of Web Applications}, publisher={Wiley}, author={Engels, Gregor and Lohmann, Marc
and Wagner, Annika}, editor={Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.Editor},
year={2006} }'
chicago: 'Engels, Gregor, Marc Lohmann, and Annika Wagner. “The Web Application
Development Process.” In Web Engineering: The Discipline of Systematic Development
of Web Applications, edited by G. Kappel, B. Pröll, S. Reich, W. Retschitzegger.
Wiley, 2006.'
ieee: 'G. Engels, M. Lohmann, and A. Wagner, “The Web Application Development Process,”
in Web Engineering: The Discipline of Systematic Development of Web Applications,
G. Kappel, B. Pröll, S. Reich, W. Retschitzegger, Ed. Wiley, 2006.'
mla: 'Engels, Gregor, et al. “The Web Application Development Process.” Web Engineering:
The Discipline of Systematic Development of Web Applications, edited by G.
Kappel, B. Pröll, S. Reich, W. Retschitzegger, Wiley, 2006.'
short: 'G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Pröll, S. Reich, W.
Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development
of Web Applications, Wiley, 2006.'
date_created: 2019-02-05T13:03:09Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: G.
full_name: Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.
last_name: Kappel, B. Pröll, S. Reich, W. Retschitzegger
language:
- iso: eng
publication: 'Web Engineering: The Discipline of Systematic Development of Web Applications'
publisher: Wiley
status: public
title: The Web Application Development Process
type: book_chapter
user_id: '52534'
year: '2006'
...
---
_id: '7580'
abstract:
- lang: eng
text: 'Service oriented architectures promise an easy integration of existing IT
systems inside and outside of an organization. Service descriptions and software
developers are the pivotal elements when systems are integrated over a service
oriented architecture. The integration of a service into a client is based on
its public service description. On the service provider side, a software developer
develops a service description and implements a service accordingly. Today, a
service is implemented mainly manual. Automated code generation techniques are
seldom used. On the service requestor side, if a software developer needs a specific
functionality he searches for a sufficient service. Thus, the success of service
oriented architectures is strongly coupled to the content and usability of service
descriptions by software developers. In this thesis we describe how to use contracts
on the model level to enable a correct implementation and retrieval of services.
In our approach we take the pivotal roles of the software developer and the public
service description into account. Especially, we allow for a model-based semantic
description, monitoring of the correctness of a service and the comparison of
existing service descriptions. Therefore, our approach is based on three important
techniques: Visual contracts allow for specifying the semantics of a service.
A visual contract consists of a pair of UML composite structure diagrams for the
representation of the pre- and post-condition of a service. By using UML composite
structure diagrams, we have chosen a graphical notation that is familiar to software
developers and easily integrates with today’s model-driven software development
processes. By embedding our visual contracts into a software development process
we are able to monitor the correctness of a hand-coded implementation. Therefore,
we will show how models can be used to generate assertions which monitor the execution
of the hand-coded implementation. Herewith, violations of the modeled requirements
will be detected at runtime. We call this novel approach model-driven monitoring.
Model-driven Matching is a new approach to enable a model-based query of existing
services. Therefore, we allow for using visual contracts on the service requestor
side to describe a needed service. A matching procedure checks the compatibility
of a service description and a service query.'
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: Lohmann M. Kontraktbasierte Modellierung, Implementierung Und Suche von
Komponenten in Serviceorientierten Architekturen.; 2006.
apa: Lohmann, M. (2006). Kontraktbasierte Modellierung, Implementierung und Suche
von Komponenten in serviceorientierten Architekturen.
bibtex: '@book{Lohmann_2006, title={Kontraktbasierte Modellierung, Implementierung
und Suche von Komponenten in serviceorientierten Architekturen}, author={Lohmann,
Marc}, year={2006} }'
chicago: Lohmann, Marc. Kontraktbasierte Modellierung, Implementierung Und Suche
von Komponenten in Serviceorientierten Architekturen, 2006.
ieee: M. Lohmann, Kontraktbasierte Modellierung, Implementierung und Suche von
Komponenten in serviceorientierten Architekturen. 2006.
mla: Lohmann, Marc. Kontraktbasierte Modellierung, Implementierung Und Suche
von Komponenten in Serviceorientierten Architekturen. 2006.
short: M. Lohmann, Kontraktbasierte Modellierung, Implementierung Und Suche von
Komponenten in Serviceorientierten Architekturen, 2006.
date_created: 2019-02-06T14:24:25Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in
serviceorientierten Architekturen
type: dissertation
user_id: '52534'
year: '2006'
...
---
_id: '7581'
abstract:
- lang: eng
text: One of the main tasks of modern application integration projects is to allow
one business unit (requestor) to use services offered by another business unit
(provider). When software systems of business partners are composed, an import
interface of the requestor system is connected to an exportinterface of the provider
system. Here, the import interface specification containing the requestor's requirements
for a needed service has to be matched against the export interface specification
describing the provided service. Usually, software engineers carry out matching
of interface specifications manually; it makes the design and implementation of
composite software expensive and error-prone. Therefore, the demand for instruments
that would automate the matching procedure is high. In this thesis, we develop
a new technique facilitating integration of software systems. To this end, we
solve a problem of how to construct visual and formal interface specifications
comprising semantic descriptions. Our method also includes a matching procedure
that checks compatibility of such specifications. Interface specifications consist
of structural and behavioural compartments. The structural compartment, given
by a signature analogous to those appearing in algebraic specifications, defines
operation declarations. The behavioural compartment, modelled by a conditional
graph transformation system (GTS), contains operation contracts in the form of
graph transformation rules. The rules of conditional GTS are equipped with loose
semantics to describe operations in the import interface, and with strict semantics
to describe those in the export interface. Composition of two compartments leads
to an integral interface specification which is represented by the novel concept
of parameterized conditional GTS. We develop three kinds of compatibility relations
underlying the matching procedure. The intended correspondence between declarations
and contracts of the required and provided operations is reflected by structural
and behavioural compatibility relations that are established over the corresponding
compartments of interface specifications. These two compatibility relations are
combined into an integral compatibility relation that links the integral specification
of the import interface to the one of the export interface. Furthermore, the constructed
relations are equipped with rigorously formulated semantic requirements to compatibility
and are justified against them. The introduced mathematical theory is supplemented
with a conceptual framework. It is aimed at generating interface specifications
that are suitable for automation of the matching process. The framework is based
on an industry standard that outlines a uniform way of generating specifications.
We use the standard issued by the Open Travel Alliance (OTA) in our example scenario
where we develop and match standard-based interface specifications of Web services
taken from the travelling business domain. Compatibility of interface specifications
is necessary but not sufficient for accurate interactions between systems. The
integration process is based on the assumption that these systems are correct.
First and foremost, this correctness means that interface specifications representing
externally visible parts of systems are consistent with implementations which
appear internally in the systems. To check this assumption, we propose a model
describing external as well as internal parts of a system. The model, formally
represented by a graph transformation module, defines consistency relations between
external and internal specifications and allows to validate correctness of systems
prior to the integration. The proposed model and the matching procedure developed
in the thesis are the key elements of a technology designed to improve the application
integration process, making it theoretically well-defined and practically machine-processable.
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: Cherchago A. Service Specification and Matching Based on Graph Transformation.;
2006.
apa: Cherchago, A. (2006). Service Specification and Matching Based on Graph
Transformation.
bibtex: '@book{Cherchago_2006, title={Service Specification and Matching Based on
Graph Transformation}, author={Cherchago, Alexey}, year={2006} }'
chicago: Cherchago, Alexey. Service Specification and Matching Based on Graph
Transformation, 2006.
ieee: A. Cherchago, Service Specification and Matching Based on Graph Transformation.
2006.
mla: Cherchago, Alexey. Service Specification and Matching Based on Graph Transformation.
2006.
short: A. Cherchago, Service Specification and Matching Based on Graph Transformation,
2006.
date_created: 2019-02-06T14:25:17Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Service Specification and Matching Based on Graph Transformation
type: dissertation
user_id: '52534'
year: '2006'
...
---
_id: '837'
author:
- first_name: Christian
full_name: Hoene, Christian
last_name: Hoene
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
citation:
ama: Hoene C, Karl H, Wolisz A. A perceptual quality model intended for adaptive
VoIP applications. Int J Communication Systems. 2006;(3):299--316. doi:10.1002/dac.755
apa: Hoene, C., Karl, H., & Wolisz, A. (2006). A perceptual quality model intended
for adaptive VoIP applications. Int. J. Communication Systems, (3), 299--316.
https://doi.org/10.1002/dac.755
bibtex: '@article{Hoene_Karl_Wolisz_2006, title={A perceptual quality model intended
for adaptive VoIP applications}, DOI={10.1002/dac.755},
number={3}, journal={Int. J. Communication Systems}, author={Hoene, Christian
and Karl, Holger and Wolisz, Adam}, year={2006}, pages={299--316} }'
chicago: 'Hoene, Christian, Holger Karl, and Adam Wolisz. “A Perceptual Quality
Model Intended for Adaptive VoIP Applications.” Int. J. Communication Systems,
no. 3 (2006): 299--316. https://doi.org/10.1002/dac.755.'
ieee: C. Hoene, H. Karl, and A. Wolisz, “A perceptual quality model intended for
adaptive VoIP applications,” Int. J. Communication Systems, no. 3, pp.
299--316, 2006.
mla: Hoene, Christian, et al. “A Perceptual Quality Model Intended for Adaptive
VoIP Applications.” Int. J. Communication Systems, no. 3, 2006, pp. 299--316,
doi:10.1002/dac.755.
short: C. Hoene, H. Karl, A. Wolisz, Int. J. Communication Systems (2006) 299--316.
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1002/dac.755
issue: '3'
page: 299--316
publication: Int. J. Communication Systems
status: public
title: A perceptual quality model intended for adaptive VoIP applications
type: journal_article
user_id: '15572'
year: '2006'
...
---
_id: '838'
author:
- first_name: James
full_name: Gross, James
last_name: Gross
- first_name: Hans{-}Florian
full_name: Geerdes, Hans{-}Florian
last_name: Geerdes
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
citation:
ama: Gross J, Geerdes H-}Florian, Karl H, Wolisz A. Performance analysis of dynamic
OFDMA systems with inband signaling. IEEE Journal on Selected Areas in Communications.
2006;(3):427--436. doi:10.1109/JSAC.2005.862386
apa: Gross, J., Geerdes, H.-}Florian, Karl, H., & Wolisz, A. (2006). Performance
analysis of dynamic OFDMA systems with inband signaling. IEEE Journal on Selected
Areas in Communications, (3), 427--436. https://doi.org/10.1109/JSAC.2005.862386
bibtex: '@article{Gross_Geerdes_Karl_Wolisz_2006, title={Performance analysis of
dynamic OFDMA systems with inband signaling}, DOI={10.1109/JSAC.2005.862386},
number={3}, journal={IEEE Journal on Selected Areas in Communications}, author={Gross,
James and Geerdes, Hans{-}Florian and Karl, Holger and Wolisz, Adam}, year={2006},
pages={427--436} }'
chicago: 'Gross, James, Hans{-}Florian Geerdes, Holger Karl, and Adam Wolisz. “Performance
Analysis of Dynamic OFDMA Systems with Inband Signaling.” IEEE Journal on Selected
Areas in Communications, no. 3 (2006): 427--436. https://doi.org/10.1109/JSAC.2005.862386.'
ieee: J. Gross, H.-}Florian Geerdes, H. Karl, and A. Wolisz, “Performance analysis
of dynamic OFDMA systems with inband signaling,” IEEE Journal on Selected Areas
in Communications, no. 3, pp. 427--436, 2006.
mla: Gross, James, et al. “Performance Analysis of Dynamic OFDMA Systems with Inband
Signaling.” IEEE Journal on Selected Areas in Communications, no. 3, 2006,
pp. 427--436, doi:10.1109/JSAC.2005.862386.
short: J. Gross, H.-}Florian Geerdes, H. Karl, A. Wolisz, IEEE Journal on Selected
Areas in Communications (2006) 427--436.
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1109/JSAC.2005.862386
issue: '3'
page: 427--436
publication: IEEE Journal on Selected Areas in Communications
status: public
title: Performance analysis of dynamic OFDMA systems with inband signaling
type: journal_article
user_id: '15572'
year: '2006'
...
---
_id: '839'
author:
- first_name: E.
full_name: Carlson, E.
last_name: Carlson
- first_name: Christian
full_name: Prehofer, Christian
last_name: Prehofer
- first_name: Christian
full_name: Bettstetter, Christian
last_name: Bettstetter
- first_name: Holger
full_name: Karl, Holger
last_name: Karl
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
citation:
ama: Carlson E, Prehofer C, Bettstetter C, Karl H, Wolisz A. A Distributed End-to-End
Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks. IEEE Journal
on Selected Areas in Communications. 2006;(11):2018--2027. doi:10.1109/JSAC.2006.881633
apa: Carlson, E., Prehofer, C., Bettstetter, C., Karl, H., & Wolisz, A. (2006).
A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh
Networks. IEEE Journal on Selected Areas in Communications, (11), 2018--2027.
https://doi.org/10.1109/JSAC.2006.881633
bibtex: '@article{Carlson_Prehofer_Bettstetter_Karl_Wolisz_2006, title={A Distributed
End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks},
DOI={10.1109/JSAC.2006.881633},
number={11}, journal={IEEE Journal on Selected Areas in Communications}, author={Carlson,
E. and Prehofer, Christian and Bettstetter, Christian and Karl, Holger and Wolisz,
Adam}, year={2006}, pages={2018--2027} }'
chicago: 'Carlson, E., Christian Prehofer, Christian Bettstetter, Holger Karl, and
Adam Wolisz. “A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based
Wireless Mesh Networks.” IEEE Journal on Selected Areas in Communications,
no. 11 (2006): 2018--2027. https://doi.org/10.1109/JSAC.2006.881633.'
ieee: E. Carlson, C. Prehofer, C. Bettstetter, H. Karl, and A. Wolisz, “A Distributed
End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks,”
IEEE Journal on Selected Areas in Communications, no. 11, pp. 2018--2027,
2006.
mla: Carlson, E., et al. “A Distributed End-to-End Reservation Protocol for IEEE
802.11-Based Wireless Mesh Networks.” IEEE Journal on Selected Areas in Communications,
no. 11, 2006, pp. 2018--2027, doi:10.1109/JSAC.2006.881633.
short: E. Carlson, C. Prehofer, C. Bettstetter, H. Karl, A. Wolisz, IEEE Journal
on Selected Areas in Communications (2006) 2018--2027.
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '75'
doi: 10.1109/JSAC.2006.881633
issue: '11'
page: 2018--2027
publication: IEEE Journal on Selected Areas in Communications
status: public
title: A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless
Mesh Networks
type: journal_article
user_id: '15572'
year: '2006'
...
---
_id: '840'
author:
- first_name: Friedemann
full_name: Mattern, Friedemann
last_name: Mattern
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Kay
full_name: Römer, Kay
last_name: Römer
citation:
ama: 'Mattern F, Karl H, Römer K. Wireless Sensor Networks. In: R{\"{o}}mer K, Karl
H, Mattern F, eds. Third European Workshop, {EWSN} 2006, Zurich, Switzerland,
February 13-15, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006.
doi:10.1007/11669463'
apa: Mattern, F., Karl, H., & Römer, K. (2006). Wireless Sensor Networks. In
K. R{\"{o}}mer, H. Karl, & F. Mattern (Eds.), Third European Workshop,
{EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings. https://doi.org/10.1007/11669463
bibtex: '@inproceedings{Mattern_Karl_Römer_2006, series={Lecture Notes in Computer
Science}, title={Wireless Sensor Networks}, DOI={10.1007/11669463},
booktitle={Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February
13-15, 2006, Proceedings}, author={Mattern, Friedemann and Karl, Holger and Römer,
Kay}, editor={R{\"{o}}mer, Kay and Karl, Holger and Mattern, FriedemannEditors},
year={2006}, collection={Lecture Notes in Computer Science} }'
chicago: Mattern, Friedemann, Holger Karl, and Kay Römer. “Wireless Sensor Networks.”
In Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15,
2006, Proceedings, edited by Kay R{\"{o}}mer, Holger Karl, and Friedemann
Mattern. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11669463.
ieee: F. Mattern, H. Karl, and K. Römer, “Wireless Sensor Networks,” in Third
European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings,
2006.
mla: Mattern, Friedemann, et al. “Wireless Sensor Networks.” Third European Workshop,
{EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings, edited
by Kay R{\"{o}}mer et al., 2006, doi:10.1007/11669463.
short: 'F. Mattern, H. Karl, K. Römer, in: K. R{\"{o}}mer, H. Karl, F. Mattern (Eds.),
Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006,
Proceedings, 2006.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '75'
doi: 10.1007/11669463
editor:
- first_name: Kay
full_name: R{\"{o}}mer, Kay
last_name: R{\"{o}}mer
- first_name: Holger
full_name: Karl, Holger
last_name: Karl
- first_name: Friedemann
full_name: Mattern, Friedemann
last_name: Mattern
publication: Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15,
2006, Proceedings
publication_identifier:
isbn:
- 3-540-32158-6
series_title: Lecture Notes in Computer Science
status: public
title: Wireless Sensor Networks
type: conference
user_id: '15572'
year: '2006'
...
---
_id: '8404'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
- first_name: Rainer
full_name: Dömer, Rainer
last_name: Dömer
citation:
ama: 'Schattkowsky T, Rettberg A, Dömer R. Design Space Exploration through Interactive
Model Mappings for UML-based Specifications. In: Proceedings of the 3rd UML
for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference
(DAC 2006)), San Francisco, CA (USA). ; 2006:25-28.'
apa: Schattkowsky, T., Rettberg, A., & Dömer, R. (2006). Design Space Exploration
through Interactive Model Mappings for UML-based Specifications. In Proceedings
of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation
Conference (DAC 2006)), San Francisco, CA (USA) (pp. 25–28).
bibtex: '@inproceedings{Schattkowsky_Rettberg_Dömer_2006, title={Design Space Exploration
through Interactive Model Mappings for UML-based Specifications}, booktitle={Proceedings
of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation
Conference (DAC 2006)), San Francisco, CA (USA)}, author={Schattkowsky, Tim and
Rettberg, Achim and Dömer, Rainer}, year={2006}, pages={25–28} }'
chicago: Schattkowsky, Tim, Achim Rettberg, and Rainer Dömer. “Design Space Exploration
through Interactive Model Mappings for UML-Based Specifications.” In Proceedings
of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation
Conference (DAC 2006)), San Francisco, CA (USA), 25–28, 2006.
ieee: T. Schattkowsky, A. Rettberg, and R. Dömer, “Design Space Exploration through
Interactive Model Mappings for UML-based Specifications,” in Proceedings of
the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation
Conference (DAC 2006)), San Francisco, CA (USA), 2006, pp. 25–28.
mla: Schattkowsky, Tim, et al. “Design Space Exploration through Interactive Model
Mappings for UML-Based Specifications.” Proceedings of the 3rd UML for SoC
Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC
2006)), San Francisco, CA (USA), 2006, pp. 25–28.
short: 'T. Schattkowsky, A. Rettberg, R. Dömer, in: Proceedings of the 3rd UML for
SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference
(DAC 2006)), San Francisco, CA (USA), 2006, pp. 25–28.'
date_created: 2019-03-06T11:44:45Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 25-28
publication: Proceedings of the 3rd UML for SoC Design Workshop (satellite event of
the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)
status: public
title: Design Space Exploration through Interactive Model Mappings for UML-based Specifications
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '8405'
abstract:
- lang: eng
text: The Model-Driven Architecture (MDA) approach for constructing software systems
advocates a stepwise refinement and transformation process starting from high-level
models to concrete program code. In contrast to numerous research efforts that
try to generate executable function code from models, we propose a novel approach
termed model-driven monitoring. On the model level the behavior of an operation
is specified with a pair of UML composite structure diagrams (visual contract),
a visual notation for pre- and post-conditions. The specified behavior is implemented
by a programmer manually. An automatic translation from our visual contracts to
JML assertions allows for monitoring the hand-coded programs during their execution.
In this paper we present an approach to extend our model-driven monitoring approach
to allow for model-driven unit testing. In this approach we utilize the generated
JML assertions as test oracles. Further, we present an idea how to generate sufficient
test cases from our visual contracts with the help of model-checking techniques.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: Proceedings
of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France).
Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA; 2006:16-29.'
apa: 'Engels, G., Güldali, B., & Lohmann, M. (2006). Towards Model-Driven Unit
Testing. In Proceedings of the workshop on Model Design and Validation (MoDeVa
2006), Toulouse (France) (pp. 16–29). Berlin / Heidelberg: Le Commissariat
à l’Energie Atomique - CEA.'
bibtex: '@inproceedings{Engels_Güldali_Lohmann_2006, place={Berlin / Heidelberg},
title={Towards Model-Driven Unit Testing}, booktitle={Proceedings of the workshop
on Model Design and Validation (MoDeVa 2006), Toulouse (France)}, publisher={Le
Commissariat à l’Energie Atomique - CEA}, author={Engels, Gregor and Güldali,
Baris and Lohmann, Marc}, year={2006}, pages={16–29} }'
chicago: 'Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven
Unit Testing.” In Proceedings of the Workshop on Model Design and Validation
(MoDeVa 2006), Toulouse (France), 16–29. Berlin / Heidelberg: Le Commissariat
à l’Energie Atomique - CEA, 2006.'
ieee: G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,”
in Proceedings of the workshop on Model Design and Validation (MoDeVa 2006),
Toulouse (France), 2006, pp. 16–29.
mla: Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” Proceedings
of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France),
Le Commissariat à l’Energie Atomique - CEA, 2006, pp. 16–29.
short: 'G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the Workshop on Model
Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie
Atomique - CEA, Berlin / Heidelberg, 2006, pp. 16–29.'
date_created: 2019-03-06T11:44:46Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 16-29
place: Berlin / Heidelberg
publication: Proceedings of the workshop on Model Design and Validation (MoDeVa 2006),
Toulouse (France)
publisher: Le Commissariat à l'Energie Atomique - CEA
status: public
title: Towards Model-Driven Unit Testing
type: conference
user_id: '52534'
year: '2006'
...