---
_id: '231'
abstract:
- lang: eng
text: 'Existing approaches towards service composition demand requirements of the
customers in terms of service templates, service query profiles, or partial process
models. However, addressed non-expert customers may be unable to fill-in the slots
of service templates as requested or to describe, for example, pre- and postconditions,
or even have difficulties in formalizing their requirements. Thus, our idea is
to provide non-experts with suggestions how to complete or clarify their requirement
descriptions written in natural language. Two main issues have to be tackled:
(1) partial or full inability (incapacity) of non-experts to specify their requirements
correctly in formal and precise ways, and (2) problems in text analysis due to
fuzziness in natural language. We present ideas how to face these challenges by
means of requirement disambiguation and completion. Therefore, we conduct ontology-based
requirement extraction and similarity retrieval based on requirement descriptions
that are gathered from App marketplaces. The innovative aspect of our work is
that we support users without expert knowledge in writing their requirements by
simultaneously resolving ambiguity, vagueness, and underspecification in natural
language.'
author:
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
- first_name: Sabine
full_name: Schulze, Sabine
last_name: Schulze
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
citation:
ama: 'Geierhos M, Schulze S, Bäumer FS. What did you mean? Facing the Challenges
of User-generated Software Requirements. In: Loiseau S, Filipe J, Duval B, van
den Herik J, eds. Proceedings of the 7th International Conference on Agents
and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification,
and Natural Language Processing (PUaNLP 2015). Setúbal, Portugal: SciTePress
- Science and Technology Publications; 2015:277-283. doi:10.5220/0005346002770283'
apa: 'Geierhos, M., Schulze, S., & Bäumer, F. S. (2015). What did you mean?
Facing the Challenges of User-generated Software Requirements. In S. Loiseau,
J. Filipe, B. Duval, & J. van den Herik (Eds.), Proceedings of the 7th
International Conference on Agents and Artificial Intelligence (ICAART), Special
Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP
2015) (pp. 277–283). Setúbal, Portugal: SciTePress - Science and Technology
Publications. https://doi.org/10.5220/0005346002770283'
bibtex: '@inproceedings{Geierhos_Schulze_Bäumer_2015, place={Setúbal, Portugal},
title={What did you mean? Facing the Challenges of User-generated Software Requirements},
DOI={10.5220/0005346002770283},
booktitle={Proceedings of the 7th International Conference on Agents and Artificial
Intelligence (ICAART), Special Session on Partiality, Underspecification, and
Natural Language Processing (PUaNLP 2015)}, publisher={SciTePress - Science and
Technology Publications}, author={Geierhos, Michaela and Schulze, Sabine and Bäumer,
Frederik Simon}, editor={Loiseau, Stephane and Filipe, Joaquim and Duval, Béatrice and
van den Herik, JaapEditors}, year={2015}, pages={277–283} }'
chicago: 'Geierhos, Michaela, Sabine Schulze, and Frederik Simon Bäumer. “What Did
You Mean? Facing the Challenges of User-Generated Software Requirements.” In Proceedings
of the 7th International Conference on Agents and Artificial Intelligence (ICAART),
Special Session on Partiality, Underspecification, and Natural Language Processing
(PUaNLP 2015), edited by Stephane Loiseau, Joaquim Filipe, Béatrice Duval,
and Jaap van den Herik, 277–83. Setúbal, Portugal: SciTePress - Science and Technology
Publications, 2015. https://doi.org/10.5220/0005346002770283.'
ieee: M. Geierhos, S. Schulze, and F. S. Bäumer, “What did you mean? Facing the
Challenges of User-generated Software Requirements,” in Proceedings of the
7th International Conference on Agents and Artificial Intelligence (ICAART), Special
Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP
2015), 2015, pp. 277–283.
mla: Geierhos, Michaela, et al. “What Did You Mean? Facing the Challenges of User-Generated
Software Requirements.” Proceedings of the 7th International Conference on
Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification,
and Natural Language Processing (PUaNLP 2015), edited by Stephane Loiseau
et al., SciTePress - Science and Technology Publications, 2015, pp. 277–83, doi:10.5220/0005346002770283.
short: 'M. Geierhos, S. Schulze, F.S. Bäumer, in: S. Loiseau, J. Filipe, B. Duval,
J. van den Herik (Eds.), Proceedings of the 7th International Conference on Agents
and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification,
and Natural Language Processing (PUaNLP 2015), SciTePress - Science and Technology
Publications, Setúbal, Portugal, 2015, pp. 277–283.'
date_created: 2017-10-17T12:41:37Z
date_updated: 2022-01-06T06:55:46Z
ddc:
- '040'
department:
- _id: '36'
- _id: '1'
- _id: '579'
doi: 10.5220/0005346002770283
editor:
- first_name: 'Stephane '
full_name: 'Loiseau, Stephane '
last_name: Loiseau
- first_name: 'Joaquim '
full_name: 'Filipe, Joaquim '
last_name: Filipe
- first_name: 'Béatrice '
full_name: 'Duval, Béatrice '
last_name: Duval
- first_name: Jaap
full_name: van den Herik, Jaap
last_name: van den Herik
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:31:17Z
date_updated: 2018-03-21T10:31:17Z
file_id: '1503'
file_name: 231-GeierhosSchulzeBäumer2015.pdf
file_size: 1192736
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:31:17Z
has_accepted_license: '1'
language:
- iso: eng
page: 277-283
place: Setúbal, Portugal
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: Proceedings of the 7th International Conference on Agents and Artificial
Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural
Language Processing (PUaNLP 2015)
publication_identifier:
isbn:
- ' 978-989-758-073-4'
publication_status: published
publisher: SciTePress - Science and Technology Publications
quality_controlled: '1'
status: public
title: What did you mean? Facing the Challenges of User-generated Software Requirements
type: conference
user_id: '15504'
year: '2015'
...
---
_id: '4792'
author:
- first_name: Robin
full_name: Senge, Robin
last_name: Senge
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: Senge R, Hüllermeier E. Fast Fuzzy Pattern Tree Learning for Classification.
IEEE Transactions on Fuzzy Systems. 2015;23(6):2024-2033. doi:10.1109/tfuzz.2015.2396078
apa: Senge, R., & Hüllermeier, E. (2015). Fast Fuzzy Pattern Tree Learning for
Classification. IEEE Transactions on Fuzzy Systems, 23(6), 2024–2033.
https://doi.org/10.1109/tfuzz.2015.2396078
bibtex: '@article{Senge_Hüllermeier_2015, title={Fast Fuzzy Pattern Tree Learning
for Classification}, volume={23}, DOI={10.1109/tfuzz.2015.2396078},
number={6}, journal={IEEE Transactions on Fuzzy Systems}, publisher={Institute
of Electrical and Electronics Engineers (IEEE)}, author={Senge, Robin and Hüllermeier,
Eyke}, year={2015}, pages={2024–2033} }'
chicago: 'Senge, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning
for Classification.” IEEE Transactions on Fuzzy Systems 23, no. 6 (2015):
2024–33. https://doi.org/10.1109/tfuzz.2015.2396078.'
ieee: R. Senge and E. Hüllermeier, “Fast Fuzzy Pattern Tree Learning for Classification,”
IEEE Transactions on Fuzzy Systems, vol. 23, no. 6, pp. 2024–2033, 2015.
mla: Senge, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning for Classification.”
IEEE Transactions on Fuzzy Systems, vol. 23, no. 6, Institute of Electrical
and Electronics Engineers (IEEE), 2015, pp. 2024–33, doi:10.1109/tfuzz.2015.2396078.
short: R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 23 (2015) 2024–2033.
date_created: 2018-10-22T06:53:37Z
date_updated: 2022-01-06T07:01:22Z
ddc:
- '000'
department:
- _id: '355'
doi: 10.1109/tfuzz.2015.2396078
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:53:23Z
date_updated: 2018-11-02T15:53:23Z
file_id: '5316'
file_name: 07018950.pdf
file_size: 732827
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:53:23Z
has_accepted_license: '1'
intvolume: ' 23'
issue: '6'
language:
- iso: eng
page: 2024-2033
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '11'
name: SFB 901 - Subproject B3
publication: IEEE Transactions on Fuzzy Systems
publication_identifier:
issn:
- 1063-6706
- 1941-0034
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Fast Fuzzy Pattern Tree Learning for Classification
type: journal_article
user_id: '49109'
volume: 23
year: '2015'
...
---
_id: '5207'
author:
- first_name: Li
full_name: Li, Li
last_name: Li
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Tegawende F.
full_name: Bissyande, Tegawende F.
last_name: Bissyande
- first_name: Jacques
full_name: Klein, Jacques
last_name: Klein
- first_name: Yves
full_name: Le Traon, Yves
last_name: Le Traon
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Damien
full_name: Octeau, Damien
last_name: Octeau
- first_name: Patrick
full_name: McDaniel, Patrick
last_name: McDaniel
citation:
ama: 'Li L, Bartel A, Bissyande TF, et al. IccTA: Detecting Inter-Component Privacy
Leaks in Android Apps. In: 2015 International Conference on Software Engineering
(ICSE). ; 2015:280-291.'
apa: 'Li, L., Bartel, A., Bissyande, T. F., Klein, J., Le Traon, Y., Arzt, S., …
McDaniel, P. (2015). IccTA: Detecting Inter-Component Privacy Leaks in Android
Apps. In 2015 International Conference on Software Engineering (ICSE) (pp.
280–291).'
bibtex: '@inproceedings{Li_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015,
title={IccTA: Detecting Inter-Component Privacy Leaks in Android Apps}, booktitle={2015
International Conference on Software Engineering (ICSE)}, author={Li, Li and Bartel,
Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and
Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and
McDaniel, Patrick}, year={2015}, pages={280–291} }'
chicago: 'Li, Li, Alexandre Bartel, Tegawende F. Bissyande, Jacques Klein, Yves
Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, and Patrick
McDaniel. “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.” In
2015 International Conference on Software Engineering (ICSE), 280–91, 2015.'
ieee: 'L. Li et al., “IccTA: Detecting Inter-Component Privacy Leaks in Android
Apps,” in 2015 International Conference on Software Engineering (ICSE),
2015, pp. 280–291.'
mla: 'Li, Li, et al. “IccTA: Detecting Inter-Component Privacy Leaks in Android
Apps.” 2015 International Conference on Software Engineering (ICSE), 2015,
pp. 280–91.'
short: 'L. Li, A. Bartel, T.F. Bissyande, J. Klein, Y. Le Traon, S. Arzt, S. Rasthofer,
E. Bodden, D. Octeau, P. McDaniel, in: 2015 International Conference on Software
Engineering (ICSE), 2015, pp. 280–291.'
date_created: 2018-10-31T12:59:44Z
date_updated: 2022-01-06T07:01:46Z
ddc:
- '000'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:10:22Z
date_updated: 2018-11-02T14:10:22Z
file_id: '5263'
file_name: lbb+15iccta.pdf
file_size: 206378
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:10:22Z
has_accepted_license: '1'
keyword:
- CROSSING
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/lbb+15iccta.pdf
page: 280-291
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: 2015 International Conference on Software Engineering (ICSE)
publication_identifier:
isbn:
- 978-1-4799-1934-5
status: public
title: 'IccTA: Detecting Inter-Component Privacy Leaks in Android Apps'
type: conference
user_id: '477'
year: '2015'
...
---
_id: '10714'
author:
- first_name: Roland
full_name: Meißner, Roland
last_name: Meißner
citation:
ama: Meißner R. Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung
Virtueller FPGAs. Universität Paderborn; 2015.
apa: Meißner, R. (2015). Konzept und Implementation einer Benutzeroberfläche
zur Generierung virtueller FPGAs. Universität Paderborn.
bibtex: '@book{Meißner_2015, title={Konzept und Implementation einer Benutzeroberfläche
zur Generierung virtueller FPGAs}, publisher={Universität Paderborn}, author={Meißner,
Roland}, year={2015} }'
chicago: Meißner, Roland. Konzept Und Implementation Einer Benutzeroberfläche
Zur Generierung Virtueller FPGAs. Universität Paderborn, 2015.
ieee: R. Meißner, Konzept und Implementation einer Benutzeroberfläche zur Generierung
virtueller FPGAs. Universität Paderborn, 2015.
mla: Meißner, Roland. Konzept Und Implementation Einer Benutzeroberfläche Zur
Generierung Virtueller FPGAs. Universität Paderborn, 2015.
short: R. Meißner, Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung
Virtueller FPGAs, Universität Paderborn, 2015.
date_created: 2019-07-10T11:48:25Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
language:
- iso: eng
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
title: Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller
FPGAs
type: bachelorsthesis
user_id: '477'
year: '2015'
...
---
_id: '331'
author:
- first_name: Sen
full_name: Wu, Sen
last_name: Wu
citation:
ama: Wu S. Webcam Application Using Virtual FPGA. Universität Paderborn;
2014.
apa: Wu, S. (2014). Webcam application using virtual FPGA. Universität Paderborn.
bibtex: '@book{Wu_2014, title={Webcam application using virtual FPGA}, publisher={Universität
Paderborn}, author={Wu, Sen}, year={2014} }'
chicago: Wu, Sen. Webcam Application Using Virtual FPGA. Universität Paderborn,
2014.
ieee: S. Wu, Webcam application using virtual FPGA. Universität Paderborn,
2014.
mla: Wu, Sen. Webcam Application Using Virtual FPGA. Universität Paderborn,
2014.
short: S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:56Z
date_updated: 2022-01-06T06:59:10Z
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Webcam application using virtual FPGA
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '333'
author:
- first_name: Sebastian
full_name: Osterbrink, Sebastian
last_name: Osterbrink
citation:
ama: Osterbrink S. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn;
2014.
apa: Osterbrink, S. (2014). Visualisierung von SMT-Solver-Ausgaben. Universität
Paderborn.
bibtex: '@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben},
publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014}
}'
chicago: Osterbrink, Sebastian. Visualisierung von SMT-Solver-Ausgaben. Universität
Paderborn, 2014.
ieee: S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben. Universität
Paderborn, 2014.
mla: Osterbrink, Sebastian. Visualisierung von SMT-Solver-Ausgaben. Universität
Paderborn, 2014.
short: S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn,
2014.
date_created: 2017-10-17T12:41:56Z
date_updated: 2022-01-06T06:59:10Z
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Visualisierung von SMT-Solver-Ausgaben
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '336'
abstract:
- lang: eng
text: Today, service compositions often need to be assembled or changed on-the-fly,
which leaves only little time for quality assurance. Moreover, quality assurance
is complicated by service providers only giving information on their services
in terms of domain specific concepts with only limited semantic meaning. In this
paper, we propose a method to construct service compositions based on pre-verifiedtemplates.
Templates, given as workflow descriptions, are typed over a (domain-independent)
template ontology defining concepts and predicates. Templates are proven correct
using an abstract semantics, leaving the specific meaning of ontology concepts
open, however, only up to given ontology rules. Construction of service compositions
amounts to instantiation of templates with domain-specific services.Correctness
of an instantiation can then simply be checked by verifying that the domain ontology(a)
adheres to the rules of the template ontology, and (b) fulfills the constraints
of the employed template.
author:
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction.
In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium
on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3'
apa: Walther, S., & Wehrheim, H. (2014). Verified Service Compositions by Template-Based
Construction. In I. Lanese & E. Madelaine (Eds.), Proceedings of the 11th
International Symposium on Formal Aspects of Component Software (FACS) (pp.
31–48). https://doi.org/10.1007/978-3-319-15317-9_3
bibtex: '@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service
Compositions by Template-Based Construction}, DOI={10.1007/978-3-319-15317-9_3},
booktitle={Proceedings of the 11th International Symposium on Formal Aspects of
Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese,
Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS}
}'
chicago: Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based
Construction.” In Proceedings of the 11th International Symposium on Formal
Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine,
31–48. LNCS, 2014. https://doi.org/10.1007/978-3-319-15317-9_3.
ieee: S. Walther and H. Wehrheim, “Verified Service Compositions by Template-Based
Construction,” in Proceedings of the 11th International Symposium on Formal
Aspects of Component Software (FACS), 2014, pp. 31–48.
mla: Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based
Construction.” Proceedings of the 11th International Symposium on Formal Aspects
of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 2014,
pp. 31–48, doi:10.1007/978-3-319-15317-9_3.
short: 'S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings
of the 11th International Symposium on Formal Aspects of Component Software (FACS),
2014, pp. 31–48.'
date_created: 2017-10-17T12:41:57Z
date_updated: 2022-01-06T06:59:13Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-15317-9_3
editor:
- first_name: Ivan
full_name: Lanese, Ivan
last_name: Lanese
- first_name: Eric
full_name: Madelaine, Eric
last_name: Madelaine
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:29:29Z
date_updated: 2018-03-20T07:29:29Z
file_id: '1423'
file_name: 336-facs2014_walther.pdf
file_size: 484422
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:29:29Z
has_accepted_license: '1'
language:
- iso: eng
page: 31-48
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 11th International Symposium on Formal Aspects of
Component Software (FACS)
series_title: LNCS
status: public
title: Verified Service Compositions by Template-Based Construction
type: conference
user_id: '477'
year: '2014'
...
---
_id: '340'
author:
- first_name: Philipp
full_name: Korth, Philipp
last_name: Korth
citation:
ama: Korth P. Untersuchung transitiver Eigenschaften der Technik “Programs from
Proofs.” Universität Paderborn; 2014.
apa: Korth, P. (2014). Untersuchung transitiver Eigenschaften der Technik “Programs
from Proofs.” Universität Paderborn.
bibtex: '@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik
“Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp},
year={2014} }'
chicago: Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs
from Proofs.” Universität Paderborn, 2014.
ieee: P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs
from Proofs.” Universität Paderborn, 2014.
mla: Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs
from Proofs.” Universität Paderborn, 2014.
short: P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from
Proofs,” Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:58Z
date_updated: 2022-01-06T06:59:14Z
department:
- _id: '77'
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
last_name: Wehrheim
title: Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
type: bachelorsthesis
user_id: '15504'
year: '2014'
...
---
_id: '342'
author:
- first_name: Christoph
full_name: Klauke, Christoph
last_name: Klauke
citation:
ama: Klauke C. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen.
Universität Paderborn; 2014.
apa: Klauke, C. (2014). Transformation graphischer Protokollspezifikationen in
Model-Checker-Anfragen. Universität Paderborn.
bibtex: '@book{Klauke_2014, title={Transformation graphischer Protokollspezifikationen
in Model-Checker-Anfragen}, publisher={Universität Paderborn}, author={Klauke,
Christoph}, year={2014} }'
chicago: Klauke, Christoph. Transformation Graphischer Protokollspezifikationen
in Model-Checker-Anfragen. Universität Paderborn, 2014.
ieee: C. Klauke, Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen.
Universität Paderborn, 2014.
mla: Klauke, Christoph. Transformation Graphischer Protokollspezifikationen in
Model-Checker-Anfragen. Universität Paderborn, 2014.
short: C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen,
Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:58Z
date_updated: 2022-01-06T06:59:15Z
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '344'
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Galina
full_name: Besova, Galina
last_name: Besova
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration
for Architecture Validation. In: Proceedings of the 40th Euromicro Conference
on Software Engineering and Advanced Applications (Work in Progress Session).
; 2014.'
apa: Becker, M., Becker, S., Besova, G., Walther, S., & Wehrheim, H. (2014).
Towards Systematic Configuration for Architecture Validation. In Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(Work in Progress Session).
bibtex: '@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards
Systematic Configuration for Architecture Validation}, booktitle={Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and
Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }'
chicago: Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike
Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(Work in Progress Session), 2014.
ieee: M. Becker, S. Becker, G. Besova, S. Walther, and H. Wehrheim, “Towards Systematic
Configuration for Architecture Validation,” in Proceedings of the 40th Euromicro
Conference on Software Engineering and Advanced Applications (Work in Progress
Session), 2014.
mla: Becker, Matthias, et al. “Towards Systematic Configuration for Architecture
Validation.” Proceedings of the 40th Euromicro Conference on Software Engineering
and Advanced Applications (Work in Progress Session), 2014.
short: 'M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(Work in Progress Session), 2014.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:17Z
ddc:
- '040'
department:
- _id: '77'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:27:54Z
date_updated: 2018-03-20T07:27:54Z
file_id: '1420'
file_name: 344-paper_CAMERA_READY.pdf
file_size: 80674
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:27:54Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 40th Euromicro Conference on Software Engineering
and Advanced Applications (Work in Progress Session)
status: public
title: Towards Systematic Configuration for Architecture Validation
type: conference
user_id: '477'
year: '2014'
...
---
_id: '345'
abstract:
- lang: eng
text: Automatically composing service-based software solutions is a challenging
task. Considering context information during this service composition process
is even more challenging. In domains such as image processing, however, context-sensitivity
is inherent and cannot be ignored when developing techniques for automatic service
composition. Formal approaches tend to create ambiguous solutions, whenever the
expressive power of the applied formalism is limited. For example, services may
have the same formal specification, although their actual functionality depends
on the concrete context. In order to satisfy individual user requests while providing
data-dependent functionality, formal approaches have to be extended. We propose
to incorporate Reinforcement Learning techniques and combine them with planning
based composition approaches. While planning ensures formally correct solutions,
learning enables the composition process to resolve ambiguity by implicitly considering
context information. Preliminary results show that our combined approach adapts
to a static context while still satisfying formally specified requirements.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for
Service-Oriented Image Processing. In: Proceedings of the 6th International
Conference on Cloud Computing Technology and Science (CloudCom). ; 2014:755-758.
doi:10.1109/CloudCom.2014.154'
apa: Jungmann, A., & Kleinjohann, B. (2014). Towards Context-Sensitive Service
Composition for Service-Oriented Image Processing. In Proceedings of the 6th
International Conference on Cloud Computing Technology and Science (CloudCom)
(pp. 755–758). https://doi.org/10.1109/CloudCom.2014.154
bibtex: '@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive
Service Composition for Service-Oriented Image Processing}, DOI={10.1109/CloudCom.2014.154},
booktitle={Proceedings of the 6th International Conference on Cloud Computing
Technology and Science (CloudCom)}, author={Jungmann, Alexander and Kleinjohann,
Bernd}, year={2014}, pages={755–758} }'
chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive
Service Composition for Service-Oriented Image Processing.” In Proceedings
of the 6th International Conference on Cloud Computing Technology and Science
(CloudCom), 755–58, 2014. https://doi.org/10.1109/CloudCom.2014.154.
ieee: A. Jungmann and B. Kleinjohann, “Towards Context-Sensitive Service Composition
for Service-Oriented Image Processing,” in Proceedings of the 6th International
Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp.
755–758.
mla: Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service
Composition for Service-Oriented Image Processing.” Proceedings of the 6th
International Conference on Cloud Computing Technology and Science (CloudCom),
2014, pp. 755–58, doi:10.1109/CloudCom.2014.154.
short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference
on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:17Z
ddc:
- '040'
doi: 10.1109/CloudCom.2014.154
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:27:24Z
date_updated: 2018-03-20T07:27:24Z
file_id: '1419'
file_name: 345-cloudcom2014-Jungmann.pdf
file_size: 508878
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:27:24Z
has_accepted_license: '1'
page: 755-758
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 6th International Conference on Cloud Computing Technology
and Science (CloudCom)
status: public
title: Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
type: conference
user_id: '15504'
year: '2014'
...
---
_id: '346'
abstract:
- lang: eng
text: One future goal of service-oriented computing is to realize global markets
of composed services. On such markets, service providers offer services that can
be flexibly combined with each other. However, most often, market participants
are not able to individually estimate the quality of traded services in advance.
As a consequence, even potentially profitable transactions between customers and
providers might not take place. In the worst case, this can induce a market failure.
To overcome this problem, we propose the incorporation of reputation information
as an indicator for expected service quality. We address On-The-Fly Computing
as a representative environment of markets of composed services. In this environment,
customers provide feedback on transactions. We present a conceptual design of
a reputation system which collects and processes user feedback, and provides it
to participants in the market. Our contribution includes the identification of
requirements for such a reputation system from a technical and an economic perspective.
Based on these requirements, we propose a flexible solution that facilitates the
incorporation of reputation information into markets of composed services while
simultaneously preserving privacy of customers who provide feedback. The requirements
we formulate in this paper have just been partially met in literature. An integrated
approach, however, has not been addressed yet.
author:
- first_name: Sonja
full_name: Brangewitz, Sonja
last_name: Brangewitz
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Ronald
full_name: Petrlic, Ronald
last_name: Petrlic
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
citation:
ama: 'Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and
Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings
of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION).
; 2014:49-57.'
apa: Brangewitz, S., Jungmann, A., Petrlic, R., & Platenius, M. C. (2014). Towards
a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.
In Proceedings of the 6th International Conferences on Advanced Service Computing
(SERVICE COMPUTATION) (pp. 49–57).
bibtex: '@inproceedings{Brangewitz_Jungmann_Petrlic_Platenius_2014, title={Towards
a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services},
booktitle={Proceedings of the 6th International Conferences on Advanced Service
Computing (SERVICE COMPUTATION)}, author={Brangewitz, Sonja and Jungmann, Alexander
and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57}
}'
chicago: Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin
Platenius. “Towards a Flexible and Privacy-Preserving Reputation System for Markets
of Composed Services.” In Proceedings of the 6th International Conferences
on Advanced Service Computing (SERVICE COMPUTATION), 49–57, 2014.
ieee: S. Brangewitz, A. Jungmann, R. Petrlic, and M. C. Platenius, “Towards a Flexible
and Privacy-Preserving Reputation System for Markets of Composed Services,” in
Proceedings of the 6th International Conferences on Advanced Service Computing
(SERVICE COMPUTATION), 2014, pp. 49–57.
mla: Brangewitz, Sonja, et al. “Towards a Flexible and Privacy-Preserving Reputation
System for Markets of Composed Services.” Proceedings of the 6th International
Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp.
49–57.
short: 'S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings
of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION),
2014, pp. 49–57.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:18Z
ddc:
- '040'
department:
- _id: '205'
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:26:49Z
date_updated: 2018-03-20T07:26:49Z
file_id: '1418'
file_name: 346-service_computation_2014_3_10_10005.pdf
file_size: 334101
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:26:49Z
has_accepted_license: '1'
language:
- iso: eng
page: 49-57
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '10'
name: SFB 901 - Subproject B2
- _id: '2'
name: SFB 901 - Project Area A
- _id: '3'
name: SFB 901 - Project Area B
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 6th International Conferences on Advanced Service
Computing (SERVICE COMPUTATION)
status: public
title: Towards a Flexible and Privacy-Preserving Reputation System for Markets of
Composed Services
type: conference
user_id: '477'
year: '2014'
...
---
_id: '353'
abstract:
- lang: eng
text: 'There are many technologies for the automation of processesthat deal with
services; examples are service discovery and composition.Automation of these processes
requires that the services are described semantically. However, semantically described
services are currently not oronly rarely available, which limits the applicability
of discovery and composition approaches. The systematic support for creating new
semanticservices usable by automated technologies is an open problem.We tackle
this problem with a template based approach: Domain independent templates are
instantiated with domain specific services andboolean expressions. The obtained
services have semantic descriptionswhose correctness directly follows from the
correctness of the template.Besides the theory, we present experimental results
for a service repository in which 85% of the services were generated automatically.'
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
citation:
ama: 'Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings
of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203.
doi:10.1007/978-3-319-14130-5_14'
apa: Mohr, F., & Walther, S. (2014). Template-based Generation of Semantic Services.
In Proceedings of the 14th International Conference on Software Reuse (ICSR)
(pp. 188–203). https://doi.org/10.1007/978-3-319-14130-5_14
bibtex: '@inproceedings{Mohr_Walther_2014, series={LNCS}, title={Template-based
Generation of Semantic Services}, DOI={10.1007/978-3-319-14130-5_14},
booktitle={Proceedings of the 14th International Conference on Software Reuse
(ICSR)}, author={Mohr, Felix and Walther, Sven}, year={2014}, pages={188–203},
collection={LNCS} }'
chicago: Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”
In Proceedings of the 14th International Conference on Software Reuse (ICSR),
188–203. LNCS, 2014. https://doi.org/10.1007/978-3-319-14130-5_14.
ieee: F. Mohr and S. Walther, “Template-based Generation of Semantic Services,”
in Proceedings of the 14th International Conference on Software Reuse (ICSR),
2014, pp. 188–203.
mla: Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”
Proceedings of the 14th International Conference on Software Reuse (ICSR),
2014, pp. 188–203, doi:10.1007/978-3-319-14130-5_14.
short: 'F. Mohr, S. Walther, in: Proceedings of the 14th International Conference
on Software Reuse (ICSR), 2014, pp. 188–203.'
date_created: 2017-10-17T12:42:00Z
date_updated: 2022-01-06T06:59:22Z
ddc:
- '040'
department:
- _id: '77'
- _id: '355'
doi: 10.1007/978-3-319-14130-5_14
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:23:32Z
date_updated: 2018-03-20T07:23:32Z
file_id: '1414'
file_name: 353-icsr2015_submission_17.pdf
file_size: 431778
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:23:32Z
has_accepted_license: '1'
language:
- iso: eng
page: 188-203
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publication: Proceedings of the 14th International Conference on Software Reuse (ICSR)
series_title: LNCS
status: public
title: Template-based Generation of Semantic Services
type: conference
user_id: '477'
year: '2014'
...
---
_id: '359'
author:
- first_name: Manuel
full_name: Töws, Manuel
id: '11315'
last_name: Töws
citation:
ama: Töws M. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB. Universität Paderborn; 2014.
apa: Töws, M. (2014). Statistisches Testen von unbeweisbaren Anforderungen an
Programmspezifikationen in SMT-LIB. Universität Paderborn.
bibtex: '@book{Töws_2014, title={Statistisches Testen von unbeweisbaren Anforderungen
an Programmspezifikationen in SMT-LIB}, publisher={Universität Paderborn}, author={Töws,
Manuel}, year={2014} }'
chicago: Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an
Programmspezifikationen in SMT-LIB. Universität Paderborn, 2014.
ieee: M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB. Universität Paderborn, 2014.
mla: Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB. Universität Paderborn, 2014.
short: M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:02Z
date_updated: 2022-01-06T06:59:26Z
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '364'
abstract:
- lang: eng
text: 'Today, software components are traded on markets in form of services. These
services can also be service compositions consisting of several services. If a
software architect wants to provide such a service composition in the market for
trade, she needs to perform several tasks: she needs to model the composition,
to discover existing services to be part of that composition, and to analyze the
composition''s functional correctness as well as its quality, e.g., performance.
Up to now, the architect needed to find and use different tools for these tasks.
Typically, these tools are not interoperable with each other. We provide the tool
SeSAME that supports a software architect in all of these tasks. SeSAME is an
integrated Eclipse-based tool-suite providing a comprehensive service specification
language to model service compositions and existing services. Furthermore, it
includes modules for service matching, functional analysis, and non-functional
analysis. SeSAME is the first tool that integrates all these tasks into one tool-suite
and, thereby, provides holistic support for trading software services. Thus, it
contributes to a software provider''s market success.'
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
citation:
ama: 'Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing
High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International
Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621'
apa: 'Arifulina, S., Becker, M., Platenius, M. C., & Walther, S. (2014). SeSAME:
Modeling and Analyzing High-Quality Service Compositions. In Proceedings of
the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE
2014) (pp. 839–842). https://doi.org/10.1145/2642937.2648621'
bibtex: '@inproceedings{Arifulina_Becker_Platenius_Walther_2014, title={SeSAME:
Modeling and Analyzing High-Quality Service Compositions}, DOI={10.1145/2642937.2648621},
booktitle={Proceedings of the 29th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2014)}, author={Arifulina, Svetlana and Becker, Matthias
and Platenius, Marie Christin and Walther, Sven}, year={2014}, pages={839–842}
}'
chicago: 'Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven
Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.” In
Proceedings of the 29th IEEE/ACM International Conference on Automated Software
Engineering (ASE 2014), 839–42, 2014. https://doi.org/10.1145/2642937.2648621.'
ieee: 'S. Arifulina, M. Becker, M. C. Platenius, and S. Walther, “SeSAME: Modeling
and Analyzing High-Quality Service Compositions,” in Proceedings of the 29th
IEEE/ACM International Conference on Automated Software Engineering (ASE 2014),
2014, pp. 839–842.'
mla: 'Arifulina, Svetlana, et al. “SeSAME: Modeling and Analyzing High-Quality Service
Compositions.” Proceedings of the 29th IEEE/ACM International Conference on
Automated Software Engineering (ASE 2014), 2014, pp. 839–42, doi:10.1145/2642937.2648621.'
short: 'S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of
the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE
2014), 2014, pp. 839–842.'
date_created: 2017-10-17T12:42:03Z
date_updated: 2022-01-06T06:59:28Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1145/2642937.2648621
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:19:59Z
date_updated: 2018-03-20T07:19:59Z
file_id: '1407'
file_name: 364-ASE2014.pdf
file_size: 473308
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:19:59Z
has_accepted_license: '1'
language:
- iso: eng
page: 839-842
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 29th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2014)
status: public
title: 'SeSAME: Modeling and Analyzing High-Quality Service Compositions'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '366'
abstract:
- lang: eng
text: On-The-Fly (OTF) Computing constitutes an approach towards highly dynamic
and individualized software markets. Based on service-oriented computing, OTF
Computing is about realizing global markets of services that can be flexibly combined.
We report on our current research activities, the security and privacy implications
thereof, and our approaches to tackle the challenges. Furthermore, we discuss
how the security and privacy challenges are addressed in research projects similar
to OTF Computing.
author:
- first_name: Ronald
full_name: Petrlic, Ronald
last_name: Petrlic
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Christoph
full_name: Sorge, Christoph
last_name: Sorge
citation:
ama: 'Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy
Challenges in On-The-Fly Computing. In: Tagungsband Der 4. Konferenz Software-Technologien
Und -Prozesse (STeP 2014). ; 2014:131-142.'
apa: Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., & Sorge, C. (2014).
Security and Privacy Challenges in On-The-Fly Computing. In Tagungsband der
4. Konferenz Software-Technologien und -Prozesse (STeP 2014) (pp. 131–142).
bibtex: '@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security
and Privacy Challenges in On-The-Fly Computing}, booktitle={Tagungsband der 4.
Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald
and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and
Sorge, Christoph}, year={2014}, pages={131–142} }'
chicago: Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm
Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.”
In Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014),
131–42, 2014.
ieee: R. Petrlic, A. Jungmann, M. C. Platenius, W. Schäfer, and C. Sorge, “Security
and Privacy Challenges in On-The-Fly Computing,” in Tagungsband der 4. Konferenz
Software-Technologien und -Prozesse (STeP 2014), 2014, pp. 131–142.
mla: Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.”
Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014),
2014, pp. 131–42.
short: 'R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband
Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.'
date_created: 2017-10-17T12:42:03Z
date_updated: 2022-01-06T06:59:29Z
ddc:
- '040'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:18:47Z
date_updated: 2018-03-20T07:18:47Z
file_id: '1405'
file_name: 366-otf-security-privacy-final.pdf
file_size: 74488
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:18:47Z
has_accepted_license: '1'
language:
- iso: eng
page: 131-142
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '3'
name: SFB 901 - Project Area B
- _id: '4'
name: SFB 901 - Project Area C
- _id: '10'
name: SFB 901 - Subproject B2
publication: Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP
2014)
status: public
title: Security and Privacy Challenges in On-The-Fly Computing
type: conference
user_id: '477'
year: '2014'
...
---
_id: '375'
abstract:
- lang: eng
text: Many software development, planning, or analysis tasks require an up-to-date
software architecture documentation. However, this documentation is often outdated,
unavailable, or at least not available as a formal model which analysis tools
could use. Reverse engineering methods try to fill this gap. However, as they
process the system’s source code, they are easily misled by design deficiencies
(e.g., violations of component encapsulation) which leaked into the code during
the system’s evolution. Despite the high impact of design deficiencies on the
quality of the resulting software architecture models, none of the surveyed related
works is able to cope with them during the reverse engineering process. Therefore,
we have developed the Archimetrix approach which semi-automatically recovers the
system’s concrete architecture in a formal model while simultaneously detecting
and removing design deficiencies. We have validated Archi metrix on a case-study
system and two implementation variants of the CoCoME benchmark system. Results
show that the removal of relevant design deficiencies leads to an architecture
model which more closely matches the system’s conceptual architecture.
author:
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: von Detten M, Platenius MC, Becker S. Reengineering Component-Based Software
Systems with Archimetrix. Journal of Software and Systems Modeling. 2014;(4):1239--1268.
doi:10.1007/s10270-013-0341-9
apa: von Detten, M., Platenius, M. C., & Becker, S. (2014). Reengineering Component-Based
Software Systems with Archimetrix. Journal of Software and Systems Modeling,
(4), 1239--1268. https://doi.org/10.1007/s10270-013-0341-9
bibtex: '@article{von Detten_Platenius_Becker_2014, title={Reengineering Component-Based
Software Systems with Archimetrix}, DOI={10.1007/s10270-013-0341-9},
number={4}, journal={Journal of Software and Systems Modeling}, publisher={Springer},
author={von Detten, Markus and Platenius, Marie Christin and Becker, Steffen},
year={2014}, pages={1239--1268} }'
chicago: 'Detten, Markus von, Marie Christin Platenius, and Steffen Becker. “Reengineering
Component-Based Software Systems with Archimetrix.” Journal of Software and
Systems Modeling, no. 4 (2014): 1239--1268. https://doi.org/10.1007/s10270-013-0341-9.'
ieee: M. von Detten, M. C. Platenius, and S. Becker, “Reengineering Component-Based
Software Systems with Archimetrix,” Journal of Software and Systems Modeling,
no. 4, pp. 1239--1268, 2014.
mla: von Detten, Markus, et al. “Reengineering Component-Based Software Systems
with Archimetrix.” Journal of Software and Systems Modeling, no. 4, Springer,
2014, pp. 1239--1268, doi:10.1007/s10270-013-0341-9.
short: M. von Detten, M.C. Platenius, S. Becker, Journal of Software and Systems
Modeling (2014) 1239--1268.
date_created: 2017-10-17T12:42:05Z
date_updated: 2022-01-06T06:59:34Z
ddc:
- '040'
doi: 10.1007/s10270-013-0341-9
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:15:26Z
date_updated: 2018-03-20T07:15:26Z
file_id: '1399'
file_name: 375-sosym.pdf
file_size: 3356333
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:15:26Z
has_accepted_license: '1'
issue: '4'
page: 1239--1268
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Journal of Software and Systems Modeling
publisher: Springer
status: public
title: Reengineering Component-Based Software Systems with Archimetrix
type: journal_article
user_id: '477'
year: '2014'
...
---
_id: '383'
abstract:
- lang: eng
text: Proof-carrying code approaches aim at safe execution of untrusted code by
having the code producer attach a safety proof to the code which the code consumer
only has to validate. Depending on the type of safety property, proofs can however
become quite large and their validation - though faster than their construction
- still time consuming. In this paper we introduce a new concept for safe execution
of untrusted code. It keeps the idea of putting the time consuming part of proving
on the side of the code producer, however, attaches no proofs to code anymore
but instead uses the proof to transform the program into an equivalent but more
efficiently verifiable program. Code consumers thus still do proving themselves,
however, on a computationally inexpensive level only. Experimental results show
that the proof effort can be reduced by several orders of magnitude, both with
respect to time and space.
author:
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
- first_name: Alexander
full_name: Schremmer, Alexander
last_name: Schremmer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs -- Approach and Applications.
In: Proceedings of the Software Engineering Conference (SE). Lecture Notes
in Informatics (LNI). ; 2014:67-68.'
apa: Wonisch, D., Schremmer, A., & Wehrheim, H. (2014). Programs from Proofs
-- Approach and Applications. In Proceedings of the Software Engineering Conference
(SE) (pp. 67–68).
bibtex: '@inproceedings{Wonisch_Schremmer_Wehrheim_2014, series={Lecture Notes in
Informatics (LNI)}, title={Programs from Proofs -- Approach and Applications},
booktitle={Proceedings of the Software Engineering Conference (SE)}, author={Wonisch,
Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2014}, pages={67–68},
collection={Lecture Notes in Informatics (LNI)} }'
chicago: Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from
Proofs -- Approach and Applications.” In Proceedings of the Software Engineering
Conference (SE), 67–68. Lecture Notes in Informatics (LNI), 2014.
ieee: D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs -- Approach
and Applications,” in Proceedings of the Software Engineering Conference (SE),
2014, pp. 67–68.
mla: Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.”
Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
short: 'D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the Software Engineering
Conference (SE), 2014, pp. 67–68.'
date_created: 2017-10-17T12:42:06Z
date_updated: 2022-01-06T06:59:38Z
ddc:
- '040'
department:
- _id: '77'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:04:52Z
date_updated: 2018-03-20T07:04:52Z
file_id: '1392'
file_name: 383-programmsFromProofsSE.pdf
file_size: 66474
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:04:52Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://eprints.uni-kiel.de/23752/
page: 67-68
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the Software Engineering Conference (SE)
series_title: Lecture Notes in Informatics (LNI)
status: public
title: Programs from Proofs -- Approach and Applications
type: conference
user_id: '477'
year: '2014'
...
---
_id: '390'
abstract:
- lang: eng
text: 'In software markets of the future, customer-specific software will be developed
on demand based on distributed software and hardware services. Based on a customer-specific
request, available service offers have to be discovered and composed into sophisticated
IT services that fulfill the customer''s request.A prerequisite of this vision
are rich service descriptions, which comprise structural as well as behavioral
aspects of the services, otherwise an accurate service discovery and composition
is not possible. However, automatic matching of service requests and offers specified
in rich service descriptions for the purpose of service discovery is a complex
task, due to the multifaceted heterogeneity of the service partners. This heterogeneity
includes the use of different specification languages, different underlying ontologies,
or different levels of granularity in the specification itself.In this article,
we present a comprehensive approach for service discovery and composition, which
overcomes the underlying heterogeneity of the service partners. Based on a realistic
case study of our industrial partner from the e-tourism domain, we first introduce
an automatic matching mechanism for service requests and offers specified in a
rich service description language. In addition, we propose an automatic service
composition approach, which determines possible service compositions by composing
the service protocols through a composition strategy based on labeled transition
systems. '
author:
- first_name: Zille
full_name: Huma, Zille
last_name: Huma
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Huma Z, Gerth C, Engels G. On-the-Fly Computing: Automatic Service Discovery
and Composition in Heterogeneous Domains. Computer Science - Research and Development.
2014;(3-4):333-361. doi:10.1007/s00450-014-0254-z'
apa: 'Huma, Z., Gerth, C., & Engels, G. (2014). On-the-Fly Computing: Automatic
Service Discovery and Composition in Heterogeneous Domains. Computer Science
- Research and Development, (3–4), 333–361. https://doi.org/10.1007/s00450-014-0254-z'
bibtex: '@article{Huma_Gerth_Engels_2014, title={On-the-Fly Computing: Automatic
Service Discovery and Composition in Heterogeneous Domains}, DOI={10.1007/s00450-014-0254-z},
number={3–4}, journal={Computer Science - Research and Development}, publisher={Springer},
author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2014}, pages={333–361}
}'
chicago: 'Huma, Zille, Christian Gerth, and Gregor Engels. “On-the-Fly Computing:
Automatic Service Discovery and Composition in Heterogeneous Domains.” Computer
Science - Research and Development, no. 3–4 (2014): 333–61. https://doi.org/10.1007/s00450-014-0254-z.'
ieee: 'Z. Huma, C. Gerth, and G. Engels, “On-the-Fly Computing: Automatic Service
Discovery and Composition in Heterogeneous Domains,” Computer Science - Research
and Development, no. 3–4, pp. 333–361, 2014.'
mla: 'Huma, Zille, et al. “On-the-Fly Computing: Automatic Service Discovery and
Composition in Heterogeneous Domains.” Computer Science - Research and Development,
no. 3–4, Springer, 2014, pp. 333–61, doi:10.1007/s00450-014-0254-z.'
short: Z. Huma, C. Gerth, G. Engels, Computer Science - Research and Development
(2014) 333–361.
date_created: 2017-10-17T12:42:08Z
date_updated: 2022-01-06T06:59:52Z
ddc:
- '040'
department:
- _id: '66'
doi: 10.1007/s00450-014-0254-z
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:00:58Z
date_updated: 2018-03-20T07:00:58Z
file_id: '1385'
file_name: 390-HGE14.pdf
file_size: 4644980
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:00:58Z
has_accepted_license: '1'
issue: 3-4
language:
- iso: eng
page: 333-361
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Computer Science - Research and Development
publisher: Springer
status: public
title: 'On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous
Domains'
type: journal_article
user_id: '477'
year: '2014'
...
---
_id: '447'
abstract:
- lang: eng
text: Automatic service composition is still a challengingtask. It is even more
challenging when dealing witha dynamic market of services for end users. New servicesmay
enter the market while other services are completelyremoved. Furthermore, end
users are typically no experts in thedomain in which they formulate a request.
As a consequence,ambiguous user requests will inevitably emerge and have tobe
taken into account. To meet these challenges, we proposea new approach that combines
automatic service compositionwith adaptive service recommendation. A best first
backwardsearch algorithm produces solutions that are functional correctwith respect
to user requests. An adaptive recommendationsystem supports the search algorithm
in decision-making.Reinforcement Learning techniques enable the system to adjustits
recommendation strategy over time based on user ratings.The integrated approach
is described on a conceptional leveland demonstrated by means of an illustrative
example fromthe image processing domain.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition
with Adaptive Service Recommendation for Dynamic Markets of Services. In: Proceedings
of the 10th World Congress on Services (SERVICES). ; 2014:346-353. doi:10.1109/SERVICES.2014.68'
apa: Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Combining Automatic Service
Composition with Adaptive Service Recommendation for Dynamic Markets of Services.
In Proceedings of the 10th World Congress on Services (SERVICES) (pp. 346–353).
https://doi.org/10.1109/SERVICES.2014.68
bibtex: '@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic
Service Composition with Adaptive Service Recommendation for Dynamic Markets of
Services}, DOI={10.1109/SERVICES.2014.68},
booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, author={Jungmann,
Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353}
}'
chicago: Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Combining Automatic
Service Composition with Adaptive Service Recommendation for Dynamic Markets of
Services.” In Proceedings of the 10th World Congress on Services (SERVICES),
346–53, 2014. https://doi.org/10.1109/SERVICES.2014.68.
ieee: A. Jungmann, F. Mohr, and B. Kleinjohann, “Combining Automatic Service Composition
with Adaptive Service Recommendation for Dynamic Markets of Services,” in Proceedings
of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.
mla: Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive
Service Recommendation for Dynamic Markets of Services.” Proceedings of the
10th World Congress on Services (SERVICES), 2014, pp. 346–53, doi:10.1109/SERVICES.2014.68.
short: 'A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World
Congress on Services (SERVICES), 2014, pp. 346–353.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:06Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1109/SERVICES.2014.68
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:26:36Z
date_updated: 2018-03-16T11:26:36Z
file_id: '1347'
file_name: 447-_FINAL__Combining_Automatic_Service_Composition_with_Adaptive_Service_Recommendation_for_Dynamic_Markets_of_Services.pdf
file_size: 429462
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:26:36Z
has_accepted_license: '1'
language:
- iso: eng
page: 346-353
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 10th World Congress on Services (SERVICES)
status: public
title: Combining Automatic Service Composition with Adaptive Service Recommendation
for Dynamic Markets of Services
type: conference
user_id: '477'
year: '2014'
...