---
_id: '448'
author:
- first_name: Yuan
full_name: Gao, Yuan
last_name: Gao
citation:
ama: Gao Y. Combination of Service Matching Steps in Consideration of Efficiency
and Fuzziness. Universität Paderborn; 2014.
apa: Gao, Y. (2014). Combination of Service Matching Steps in Consideration of
Efficiency and Fuzziness. Universität Paderborn.
bibtex: '@book{Gao_2014, title={Combination of Service Matching Steps in Consideration
of Efficiency and Fuzziness}, publisher={Universität Paderborn}, author={Gao,
Yuan}, year={2014} }'
chicago: Gao, Yuan. Combination of Service Matching Steps in Consideration of
Efficiency and Fuzziness. Universität Paderborn, 2014.
ieee: Y. Gao, Combination of Service Matching Steps in Consideration of Efficiency
and Fuzziness. Universität Paderborn, 2014.
mla: Gao, Yuan. Combination of Service Matching Steps in Consideration of Efficiency
and Fuzziness. Universität Paderborn, 2014.
short: Y. Gao, Combination of Service Matching Steps in Consideration of Efficiency
and Fuzziness, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:06Z
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '449'
abstract:
- lang: eng
text: Cloud computing resulted in a continuously growing number of provided software
services to be used by consumers. Brokers discover services that fit best to consumers'
requirements by matching Qualityof-Service (QoS) properties. In order to negotiate
Service-Level Agreements (SLAs), a provider has to determine the provided QoS
based on QoS analyses. However, the risk for the provider to violate the SLA is
high as the service's actual quality can deviate from the specified QoS due to
uncertainties that occur during the provider's quality analysis. In this paper,
we discuss current software engineering paradigms like cloud computing and service-oriented
computing with respect to the amount of uncertainty they induce into service matching
and SLA negotiations. As a result, we explain, why cloud computing reduces such
uncertainties.
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in
Quality-of-Service Matching! In: Proceedings of the 2nd International Workshop
on Cloud Service Brokerage (CSB). Communications in Computer and Information
Science. ; 2014:153-159. doi:10.1007/978-3-319-14886-1_15'
apa: Becker, M., Platenius, M. C., & Becker, S. (2014). Cloud Computing Reduces
Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International
Workshop on Cloud Service Brokerage (CSB) (pp. 153–159). https://doi.org/10.1007/978-3-319-14886-1_15
bibtex: '@inproceedings{Becker_Platenius_Becker_2014, series={Communications in
Computer and Information Science}, title={Cloud Computing Reduces Uncertainties
in Quality-of-Service Matching!}, DOI={10.1007/978-3-319-14886-1_15},
booktitle={Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB)}, author={Becker, Matthias and Platenius, Marie Christin and Becker, Steffen},
year={2014}, pages={153–159}, collection={Communications in Computer and Information
Science} }'
chicago: Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud
Computing Reduces Uncertainties in Quality-of-Service Matching!” In Proceedings
of the 2nd International Workshop on Cloud Service Brokerage (CSB), 153–59.
Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_15.
ieee: M. Becker, M. C. Platenius, and S. Becker, “Cloud Computing Reduces Uncertainties
in Quality-of-Service Matching!,” in Proceedings of the 2nd International Workshop
on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
mla: Becker, Matthias, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service
Matching!” Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB), 2014, pp. 153–59, doi:10.1007/978-3-319-14886-1_15.
short: 'M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International
Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:06Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-14886-1_15
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:26:04Z
date_updated: 2018-03-16T11:26:04Z
file_id: '1346'
file_name: 449-CSB2014_01.pdf
file_size: 362248
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:26:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 153-159
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '9'
name: SFB 901 - Subproject B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB)
series_title: Communications in Computer and Information Science
status: public
title: Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
type: conference
user_id: '477'
year: '2014'
...
---
_id: '450'
abstract:
- lang: eng
text: 'Configurable program analysis (CPA) is a generic concept for the formalization
of different software analysis techniques in a single framework. With the tool
CPAchecker, this framework allows for an easy configuration and subsequent automatic
execution of analysis procedures ranging from data-flow analysis to model checking.
The focus of the tool CPAchecker is thus on analysis. In this paper, we study
configurability from the point of view of software certification. Certification
aims at providing (via a prior analysis) a certificate of correctness for a program
which is (a) tamper-proof and (b) more efficient to check for validity than a
full analysis. Here, we will show how, given an analysis instance of a CPA, to
construct a corresponding sound certification instance, thereby arriving at configurable
program certification. We report on experiments with certification based on different
analysis techniques, and in particular explain which characteristics of an underlying
analysis allow us to design an efficient (in the above (b) sense) certification
procedure. '
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Jakobs M-C, Wehrheim H. Certification for Configurable Program Analysis. In:
Proceedings of the 21st International Symposium on Model Checking of Software
(SPIN). SPIN 2014. ; 2014:30-39. doi:10.1145/2632362.2632372'
apa: Jakobs, M.-C., & Wehrheim, H. (2014). Certification for Configurable Program
Analysis. In Proceedings of the 21st International Symposium on Model Checking
of Software (SPIN) (pp. 30–39). https://doi.org/10.1145/2632362.2632372
bibtex: '@inproceedings{Jakobs_Wehrheim_2014, series={SPIN 2014}, title={Certification
for Configurable Program Analysis}, DOI={10.1145/2632362.2632372},
booktitle={Proceedings of the 21st International Symposium on Model Checking of
Software (SPIN)}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2014},
pages={30–39}, collection={SPIN 2014} }'
chicago: Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable
Program Analysis.” In Proceedings of the 21st International Symposium on Model
Checking of Software (SPIN), 30–39. SPIN 2014, 2014. https://doi.org/10.1145/2632362.2632372.
ieee: M.-C. Jakobs and H. Wehrheim, “Certification for Configurable Program Analysis,”
in Proceedings of the 21st International Symposium on Model Checking of Software
(SPIN), 2014, pp. 30–39.
mla: Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable
Program Analysis.” Proceedings of the 21st International Symposium on Model
Checking of Software (SPIN), 2014, pp. 30–39, doi:10.1145/2632362.2632372.
short: 'M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 21st International Symposium
on Model Checking of Software (SPIN), 2014, pp. 30–39.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:07Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1145/2632362.2632372
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:25:35Z
date_updated: 2018-03-16T11:25:35Z
file_id: '1345'
file_name: 450-p30-jakobs.pdf
file_size: 487366
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:25:35Z
has_accepted_license: '1'
language:
- iso: eng
page: 30-39
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 21st International Symposium on Model Checking of
Software (SPIN)
series_title: SPIN 2014
status: public
title: Certification for Configurable Program Analysis
type: conference
user_id: '477'
year: '2014'
...
---
_id: '454'
author:
- first_name: Waleri
full_name: Heldt, Waleri
last_name: Heldt
citation:
ama: 'Heldt W. Automated Service Composition: Adaption of the ASTRO Approach.
Universität Paderborn; 2014.'
apa: 'Heldt, W. (2014). Automated Service Composition: Adaption of the ASTRO
Approach. Universität Paderborn.'
bibtex: '@book{Heldt_2014, title={Automated Service Composition: Adaption of the
ASTRO Approach}, publisher={Universität Paderborn}, author={Heldt, Waleri}, year={2014}
}'
chicago: 'Heldt, Waleri. Automated Service Composition: Adaption of the ASTRO
Approach. Universität Paderborn, 2014.'
ieee: 'W. Heldt, Automated Service Composition: Adaption of the ASTRO Approach.
Universität Paderborn, 2014.'
mla: 'Heldt, Waleri. Automated Service Composition: Adaption of the ASTRO Approach.
Universität Paderborn, 2014.'
short: 'W. Heldt, Automated Service Composition: Adaption of the ASTRO Approach,
Universität Paderborn, 2014.'
date_created: 2017-10-17T12:42:20Z
date_updated: 2022-01-06T07:01:09Z
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: 'Automated Service Composition: Adaption of the ASTRO Approach'
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '457'
abstract:
- lang: eng
text: Automatically composing service-based software solutionsis still a challenging
task. Functional as well as nonfunctionalproperties have to be considered in order
to satisfyindividual user requests. Regarding non-functional properties,the composition
process can be modeled as optimization problemand solved accordingly. Functional
properties, in turn, can bedescribed by means of a formal specification language.
Statespacebased planning approaches can then be applied to solvethe underlying
composition problem. However, depending on theexpressiveness of the applied formalism
and the completenessof the functional descriptions, formally equivalent services
maystill differ with respect to their implemented functionality. As aconsequence,
the most appropriate solution for a desired functionalitycan hardly be determined
without considering additionalinformation. In this paper, we demonstrate how to
overcome thislack of information by means of Reinforcement Learning. Inorder to
resolve ambiguity, we expand state-space based servicecomposition by a recommendation
mechanism that supportsdecision-making beyond formal specifications. The recommendationmechanism
adjusts its recommendation strategy basedon feedback from previous composition
runs. Image processingserves as case study. Experimental results show the benefit
of ourproposed solution.
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. Applying Reinforcement Learning for Resolving
Ambiguity in Service Composition. In: Proceedings of the 7th International
Conference on Service Oriented Computing and Applications (SOCA). ; 2014:105-112.
doi:10.1109/SOCA.2014.48'
apa: Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Applying Reinforcement
Learning for Resolving Ambiguity in Service Composition. In Proceedings of
the 7th International Conference on Service Oriented Computing and Applications
(SOCA) (pp. 105–112). https://doi.org/10.1109/SOCA.2014.48
bibtex: '@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Applying Reinforcement
Learning for Resolving Ambiguity in Service Composition}, DOI={10.1109/SOCA.2014.48},
booktitle={Proceedings of the 7th International Conference on Service Oriented
Computing and Applications (SOCA)}, author={Jungmann, Alexander and Mohr, Felix
and Kleinjohann, Bernd }, year={2014}, pages={105–112} }'
chicago: Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Applying Reinforcement
Learning for Resolving Ambiguity in Service Composition.” In Proceedings of
the 7th International Conference on Service Oriented Computing and Applications
(SOCA), 105–12, 2014. https://doi.org/10.1109/SOCA.2014.48.
ieee: A. Jungmann, F. Mohr, and B. Kleinjohann, “Applying Reinforcement Learning
for Resolving Ambiguity in Service Composition,” in Proceedings of the 7th
International Conference on Service Oriented Computing and Applications (SOCA),
2014, pp. 105–112.
mla: Jungmann, Alexander, et al. “Applying Reinforcement Learning for Resolving
Ambiguity in Service Composition.” Proceedings of the 7th International Conference
on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–12, doi:10.1109/SOCA.2014.48.
short: 'A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International
Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.'
date_created: 2017-10-17T12:42:21Z
date_updated: 2022-01-06T07:01:12Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1109/SOCA.2014.48
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:22:26Z
date_updated: 2018-03-16T11:22:26Z
file_id: '1339'
file_name: 457-SOCA2014-Jungmann-Mohr.pdf
file_size: 1324374
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:22:26Z
has_accepted_license: '1'
language:
- iso: eng
page: 105-112
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 7th International Conference on Service Oriented Computing
and Applications (SOCA)
status: public
title: Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
type: conference
user_id: '477'
year: '2014'
...
---
_id: '394'
abstract:
- lang: eng
text: Service Oriented Architectures (SOAs) enable the reuse and substitution of
software services to develop highly flexible software systems. To benefit from
the growing plethora of available services, sophisticated service discovery approaches
are needed that bring service requests and offers together. Such approaches rely
on rich service descriptions, which specify also the behavior of provided/requested
services, e.g., by pre- and postconditions of operations. As a base for the specification
a data schema is used, which specifies the used data types and their relations.
However, data schemas are typically heterogeneous wrt. their structure and terminology,
since they are created individually in their diverse application contexts. As
a consequence the behavioral models that are typed over the heterogeneous data
schemas, cannot be compared directly. In this paper, we present an holistic approach
to normalize rich service description models to enable behavior-aware service
discovery. The approach consists of a matching algorithm that helps to resolve
structural and terminological heterogeneity in data schemas by exploiting domain-specific
background ontologies. The resulting data schema mappings are represented in terms
of Query View Transformation (QVT) relations that even reflect complex n:m correspondences.
By executing the transformation, behavioral models are automatically normalized,
which is a prerequisite for a behavior-aware operation matching.
author:
- first_name: Simon
full_name: Schwichtenberg, Simon
id: '13235'
last_name: Schwichtenberg
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Zille
full_name: Huma, Zille
last_name: Huma
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Schwichtenberg S, Gerth C, Huma Z, Engels G. Normalizing Heterogeneous Service
Description Models with Generated QVT Transformations. In: Proceedings of the
10th European Conference on Modelling Foundations and Applications (ECMFA).
LNCS. ; 2014:180-195. doi:10.1007/978-3-319-09195-2_12'
apa: Schwichtenberg, S., Gerth, C., Huma, Z., & Engels, G. (2014). Normalizing
Heterogeneous Service Description Models with Generated QVT Transformations. In
Proceedings of the 10th European Conference on Modelling Foundations and Applications
(ECMFA) (pp. 180–195). https://doi.org/10.1007/978-3-319-09195-2_12
bibtex: '@inproceedings{Schwichtenberg_Gerth_Huma_Engels_2014, series={LNCS}, title={Normalizing
Heterogeneous Service Description Models with Generated QVT Transformations},
DOI={10.1007/978-3-319-09195-2_12},
booktitle={Proceedings of the 10th European Conference on Modelling Foundations
and Applications (ECMFA)}, author={Schwichtenberg, Simon and Gerth, Christian
and Huma, Zille and Engels, Gregor}, year={2014}, pages={180–195}, collection={LNCS}
}'
chicago: Schwichtenberg, Simon, Christian Gerth, Zille Huma, and Gregor Engels.
“Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.”
In Proceedings of the 10th European Conference on Modelling Foundations and
Applications (ECMFA), 180–95. LNCS, 2014. https://doi.org/10.1007/978-3-319-09195-2_12.
ieee: S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous
Service Description Models with Generated QVT Transformations,” in Proceedings
of the 10th European Conference on Modelling Foundations and Applications (ECMFA),
2014, pp. 180–195.
mla: Schwichtenberg, Simon, et al. “Normalizing Heterogeneous Service Description
Models with Generated QVT Transformations.” Proceedings of the 10th European
Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–95,
doi:10.1007/978-3-319-09195-2_12.
short: 'S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in: Proceedings of the
10th European Conference on Modelling Foundations and Applications (ECMFA), 2014,
pp. 180–195.'
date_created: 2017-10-17T12:42:08Z
date_updated: 2022-01-06T06:59:58Z
ddc:
- '040'
department:
- _id: '66'
doi: 10.1007/978-3-319-09195-2_12
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T06:59:55Z
date_updated: 2018-03-20T06:59:55Z
file_id: '1383'
file_name: 394-SGHE14.pdf
file_size: 1107805
relation: main_file
success: 1
file_date_updated: 2018-03-20T06:59:55Z
has_accepted_license: '1'
language:
- iso: eng
page: 180-195
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 10th European Conference on Modelling Foundations
and Applications (ECMFA)
series_title: LNCS
status: public
title: Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
type: conference
user_id: '477'
year: '2014'
...
---
_id: '396'
author:
- first_name: Dorina
full_name: Bano, Dorina
last_name: Bano
citation:
ama: Bano D. Modeling and Matching of Reputation of Services in On-The-Fly Computing.
Universität Paderborn; 2014.
apa: Bano, D. (2014). Modeling and Matching of Reputation of Services in On-The-Fly
Computing. Universität Paderborn.
bibtex: '@book{Bano_2014, title={Modeling and Matching of Reputation of Services
in On-The-Fly Computing}, publisher={Universität Paderborn}, author={Bano, Dorina},
year={2014} }'
chicago: Bano, Dorina. Modeling and Matching of Reputation of Services in On-The-Fly
Computing. Universität Paderborn, 2014.
ieee: D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly
Computing. Universität Paderborn, 2014.
mla: Bano, Dorina. Modeling and Matching of Reputation of Services in On-The-Fly
Computing. Universität Paderborn, 2014.
short: D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly Computing,
Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:09Z
date_updated: 2022-01-06T07:00:00Z
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Modeling and Matching of Reputation of Services in On-The-Fly Computing
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '399'
abstract:
- lang: eng
text: Ensuring memory access security is a challenge for reconfigurable systems
with multiple cores. Previous work introduced access monitors attached to the
memory subsystem to ensure that the cores adhere to pre-defined protocols when
accessing memory. In this paper, we combine access monitors with a formal runtime
verification technique known as proof-carrying hardware to guarantee memory security.
We extend previous work on proof-carrying hardware by covering sequential circuits
and demonstrate our approach with a prototype leveraging ReconOS/Zynq with an
embedded ZUMA virtual FPGA overlay. Experiments show the feasibility of the approach
and the capabilities of the prototype, which constitutes the first realization
of proof-carrying hardware on real FPGAs. The area overheads for the virtual FPGA
are measured as 2x-10x, depending on the resource type. The delay overhead is
substantial with almost 100x, but this is an extremely pessimistic estimate that
will be lowered once accurate timing analysis for FPGA overlays become available.
Finally, reconfiguration time for the virtual FPGA is about one order of magnitude
lower than for the native Zynq fabric.
author:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Stephanie
full_name: Drzevitzky, Stephanie
last_name: Drzevitzky
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Wiersema T, Drzevitzky S, Platzner M. Memory Security in Reconfigurable Computers:
Combining Formal Verification with Monitoring. In: Proceedings of the International
Conference on Field-Programmable Technology (FPT). ; 2014:167-174. doi:10.1109/FPT.2014.7082771'
apa: 'Wiersema, T., Drzevitzky, S., & Platzner, M. (2014). Memory Security in
Reconfigurable Computers: Combining Formal Verification with Monitoring. In Proceedings
of the International Conference on Field-Programmable Technology (FPT) (pp.
167–174). https://doi.org/10.1109/FPT.2014.7082771'
bibtex: '@inproceedings{Wiersema_Drzevitzky_Platzner_2014, title={Memory Security
in Reconfigurable Computers: Combining Formal Verification with Monitoring}, DOI={10.1109/FPT.2014.7082771},
booktitle={Proceedings of the International Conference on Field-Programmable Technology
(FPT)}, author={Wiersema, Tobias and Drzevitzky, Stephanie and Platzner, Marco},
year={2014}, pages={167–174} }'
chicago: 'Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security
in Reconfigurable Computers: Combining Formal Verification with Monitoring.” In
Proceedings of the International Conference on Field-Programmable Technology
(FPT), 167–74, 2014. https://doi.org/10.1109/FPT.2014.7082771.'
ieee: 'T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable
Computers: Combining Formal Verification with Monitoring,” in Proceedings of
the International Conference on Field-Programmable Technology (FPT), 2014,
pp. 167–174.'
mla: 'Wiersema, Tobias, et al. “Memory Security in Reconfigurable Computers: Combining
Formal Verification with Monitoring.” Proceedings of the International Conference
on Field-Programmable Technology (FPT), 2014, pp. 167–74, doi:10.1109/FPT.2014.7082771.'
short: 'T. Wiersema, S. Drzevitzky, M. Platzner, in: Proceedings of the International
Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.'
date_created: 2017-10-17T12:42:09Z
date_updated: 2022-01-06T07:00:05Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1109/FPT.2014.7082771
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T06:57:44Z
date_updated: 2018-03-20T06:57:44Z
file_id: '1380'
file_name: 399-wiersema14_fpt_IEEE_approved.pdf
file_size: 404328
relation: main_file
success: 1
file_date_updated: 2018-03-20T06:57:44Z
has_accepted_license: '1'
language:
- iso: eng
page: 167-174
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 International Conference on Field-Programmable Technology
(FPT)
status: public
title: 'Memory Security in Reconfigurable Computers: Combining Formal Verification
with Monitoring'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '400'
author:
- first_name: Mirko
full_name: Bunse, Mirko
last_name: Bunse
citation:
ama: 'Bunse M. Measuring Transformation-Induced Uncertainty in Service Matching:
A Feasibility Study. Universität Paderborn; 2014.'
apa: 'Bunse, M. (2014). Measuring Transformation-induced Uncertainty in Service
Matching: A Feasibility Study. Universität Paderborn.'
bibtex: '@book{Bunse_2014, title={Measuring Transformation-induced Uncertainty in
Service Matching: A Feasibility Study}, publisher={Universität Paderborn}, author={Bunse,
Mirko}, year={2014} }'
chicago: 'Bunse, Mirko. Measuring Transformation-Induced Uncertainty in Service
Matching: A Feasibility Study. Universität Paderborn, 2014.'
ieee: 'M. Bunse, Measuring Transformation-induced Uncertainty in Service Matching:
A Feasibility Study. Universität Paderborn, 2014.'
mla: 'Bunse, Mirko. Measuring Transformation-Induced Uncertainty in Service Matching:
A Feasibility Study. Universität Paderborn, 2014.'
short: 'M. Bunse, Measuring Transformation-Induced Uncertainty in Service Matching:
A Feasibility Study, Universität Paderborn, 2014.'
date_created: 2017-10-17T12:42:09Z
date_updated: 2022-01-06T07:00:06Z
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: 'Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility
Study'
type: bachelorsthesis
user_id: '15504'
year: '2014'
...
---
_id: '401'
abstract:
- lang: eng
text: Service matching approaches determine to what extent a provided service matches
a requester's requirements. This process is based on service specifications describing
functional (e.g., signatures) as well as non-functional properties (e.g., privacy
policies). However, we cannot expect service specifications to be complete as
providers do not want to share all details of their services' implementation.
Moreover, creating complete specifications requires much effort. In this paper,
we propose a novel service matching approach taking into account a service's signatures
and privacy policies. In particular, our approach applies fuzzy matching techniques
that are able to deal with incomplete service specifications. As a benefit, decision-making
based on matching results is improved and service matching becomes better applicable
in practice.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Ronald
full_name: Petrlic, Ronald
last_name: Petrlic
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service
Specifications Exemplified by Privacy Policy Matching. In: Proceedings of the
4th International Workshop on Adaptive Services for the Future Internet. Communications
in Computer and Information Science. ; 2014:6-17. doi:10.1007/978-3-319-14886-1_2'
apa: Platenius, M. C., Arifulina, S., Petrlic, R., & Schäfer, W. (2014). Matching
of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In
Proceedings of the 4th International Workshop on Adaptive Services for the
Future Internet (pp. 6–17). https://doi.org/10.1007/978-3-319-14886-1_2
bibtex: '@inproceedings{Platenius_Arifulina_Petrlic_Schäfer_2014, series={Communications
in Computer and Information Science}, title={Matching of Incomplete Service Specifications
Exemplified by Privacy Policy Matching}, DOI={10.1007/978-3-319-14886-1_2},
booktitle={Proceedings of the 4th International Workshop on Adaptive Services
for the Future Internet}, author={Platenius, Marie Christin and Arifulina, Svetlana
and Petrlic, Ronald and Schäfer, Wilhelm}, year={2014}, pages={6–17}, collection={Communications
in Computer and Information Science} }'
chicago: Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm
Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy
Policy Matching.” In Proceedings of the 4th International Workshop on Adaptive
Services for the Future Internet, 6–17. Communications in Computer and Information
Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_2.
ieee: M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete
Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings
of the 4th International Workshop on Adaptive Services for the Future Internet,
2014, pp. 6–17.
mla: Platenius, Marie Christin, et al. “Matching of Incomplete Service Specifications
Exemplified by Privacy Policy Matching.” Proceedings of the 4th International
Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17, doi:10.1007/978-3-319-14886-1_2.
short: 'M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, in: Proceedings of
the 4th International Workshop on Adaptive Services for the Future Internet, 2014,
pp. 6–17.'
date_created: 2017-10-17T12:42:10Z
date_updated: 2022-01-06T07:00:07Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1007/978-3-319-14886-1_2
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:38:13Z
date_updated: 2018-03-16T11:38:13Z
file_id: '1367'
file_name: 401-WAS4FI2014.pdf
file_size: 396656
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:38:13Z
has_accepted_license: '1'
language:
- iso: eng
page: 6-17
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
publication: Proceedings of the 4th International Workshop on Adaptive Services for
the Future Internet
series_title: Communications in Computer and Information Science
status: public
title: Matching of Incomplete Service Specifications Exemplified by Privacy Policy
Matching
type: conference
user_id: '477'
year: '2014'
...
---
_id: '402'
abstract:
- lang: eng
text: Various approaches in service engineering are based on servicemarkets where
brokers use service matching in order to performservice discovery. For matching,
a broker translates the specifications ofproviders' services and requesters' requirements
into her own specificationlanguage, in order to check their compliance using a
matcher. Thebroker's success depends on the configuration of her language and
itsmatcher because they in uence important properties like the effort forproviders
and requesters to create suitable specifications as well as accuracyand runtime
of matching. However, neither existing service specification languages, nor existing
matching approaches are optimized insuch way. Our approach automatically provides
brokers with an optimalconfiguration of a language and its matcher to improve
her success ina given market with respect to her strategy. The approach is based
onformalized configuration properties and a predefined set of configurationrules.
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized
Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds.
Proceedings of the 12th International Conference on Service Oriented Computing
(ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47'
apa: Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer,
W. (2014). Market-optimized Service Specification and Matching. In X. Franch,
A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International
Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47
bibtex: '@inproceedings{Arifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series={LNCS},
title={Market-optimized Service Specification and Matching}, DOI={10.1007/978-3-662-45391-9_47},
booktitle={Proceedings of the 12th International Conference on Service Oriented
Computing (ICSOC 2014)}, author={Arifulina, Svetlana and Platenius, Marie Christin
and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm},
editor={Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors},
year={2014}, pages={543–550}, collection={LNCS} }'
chicago: Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen
Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification
and Matching.” In Proceedings of the 12th International Conference on Service
Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose,
GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. https://doi.org/10.1007/978-3-662-45391-9_47.
ieee: S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer,
“Market-optimized Service Specification and Matching,” in Proceedings of the
12th International Conference on Service Oriented Computing (ICSOC 2014),
2014, pp. 543–550.
mla: Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.”
Proceedings of the 12th International Conference on Service Oriented Computing
(ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi:10.1007/978-3-662-45391-9_47.
short: 'S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer,
in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International
Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.'
date_created: 2017-10-17T12:42:10Z
date_updated: 2022-01-06T07:00:07Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1007/978-3-662-45391-9_47
editor:
- first_name: Xavier
full_name: Franch, Xavier
last_name: Franch
- first_name: AdityaK.
full_name: Ghose, AdityaK.
last_name: Ghose
- first_name: GraceA.
full_name: Lewis, GraceA.
last_name: Lewis
- first_name: Sami
full_name: Bhiri, Sami
last_name: Bhiri
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:38:59Z
date_updated: 2018-03-16T11:38:59Z
file_id: '1368'
file_name: 402-ICSOC2014.pdf
file_size: 377432
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:38:59Z
has_accepted_license: '1'
language:
- iso: eng
page: 543-550
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 12th International Conference on Service Oriented
Computing (ICSOC 2014)
series_title: LNCS
status: public
title: Market-optimized Service Specification and Matching
type: conference
user_id: '477'
year: '2014'
...
---
_id: '407'
abstract:
- lang: eng
text: Automated programming aims at automatically assembling a new software artifact
from existing software modules. Although automated programming was revitalized
through automated software composition in the last decade, the problem cannot
be considered solved. Automated software composition is widely accepted as being
a planning task, but the problem is that it has very special properties that other
planning problems do not have and that are commonly overseen. These properties
usually imply that the composition problem cannot be solved with standard planning
tools. This paper gives a brief and intuitive description of the planning problem
that most approaches are based on. It points out special properties of this problem
and explains why it is not adequate to solve the problem with classical planning
tools as done by most existing approaches.
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
citation:
ama: 'Mohr F. Issues of Automated Software Composition in AI Planning. In: Proceedings
of the 29th International Conference on Automated Software Engineering (ASE).
; 2014:895--898. doi:10.1145/2642937.2653470'
apa: Mohr, F. (2014). Issues of Automated Software Composition in AI Planning. In
Proceedings of the 29th International Conference on Automated Software Engineering
(ASE) (pp. 895--898). https://doi.org/10.1145/2642937.2653470
bibtex: '@inproceedings{Mohr_2014, title={Issues of Automated Software Composition
in AI Planning}, DOI={10.1145/2642937.2653470},
booktitle={Proceedings of the 29th International Conference on Automated Software
Engineering (ASE)}, author={Mohr, Felix}, year={2014}, pages={895--898} }'
chicago: Mohr, Felix. “Issues of Automated Software Composition in AI Planning.”
In Proceedings of the 29th International Conference on Automated Software Engineering
(ASE), 895--898, 2014. https://doi.org/10.1145/2642937.2653470.
ieee: F. Mohr, “Issues of Automated Software Composition in AI Planning,” in Proceedings
of the 29th International Conference on Automated Software Engineering (ASE),
2014, pp. 895--898.
mla: Mohr, Felix. “Issues of Automated Software Composition in AI Planning.” Proceedings
of the 29th International Conference on Automated Software Engineering (ASE),
2014, pp. 895--898, doi:10.1145/2642937.2653470.
short: 'F. Mohr, in: Proceedings of the 29th International Conference on Automated
Software Engineering (ASE), 2014, pp. 895--898.'
date_created: 2017-10-17T12:42:11Z
date_updated: 2022-01-06T07:00:12Z
ddc:
- '040'
doi: 10.1145/2642937.2653470
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:36:04Z
date_updated: 2018-03-16T11:36:04Z
file_id: '1365'
file_name: 407-ASE14.pdf
file_size: 443283
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:36:04Z
has_accepted_license: '1'
page: ' 895--898'
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 29th International Conference on Automated Software
Engineering (ASE)
status: public
title: Issues of Automated Software Composition in AI Planning
type: conference
user_id: '15504'
year: '2014'
...
---
_id: '408'
abstract:
- lang: eng
text: Verification of hardware and software usually proceeds separately, software
analysis relying on the correctness of processors executing instructions. This
assumption is valid as long as the software runs on standard CPUs that have been
extensively validated and are in wide use. However, for processors exploiting
custom instruction set extensions to meet performance and energy constraints the
validation might be less extensive, challenging the correctness assumption.In
this paper we present an approach for integrating software analyses with hardware
verification, specifically targeting custom instruction set extensions. We propose
three different techniques for deriving the properties to be proven for the hardware
implementation of a custom instruction in order to support software analyses.
The techniques are designed to explore the trade-off between generality and efficiency
and span from proving functional equivalence over checking the rules of a particular
analysis domain to verifying actual pre and post conditions resulting from program
analysis. We demonstrate and compare the three techniques on example programs
with custom instructions, using stateof-the-art software and hardware verification
techniques.
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Jakobs M-C, Platzner M, Wiersema T, Wehrheim H. Integrating Software and Hardware
Verification. In: Albert E, Sekerinski E, eds. Proceedings of the 11th International
Conference on Integrated Formal Methods (IFM). LNCS. ; 2014:307-322. doi:10.1007/978-3-319-10181-1_19'
apa: Jakobs, M.-C., Platzner, M., Wiersema, T., & Wehrheim, H. (2014). Integrating
Software and Hardware Verification. In E. Albert & E. Sekerinski (Eds.), Proceedings
of the 11th International Conference on Integrated Formal Methods (iFM) (pp.
307–322). https://doi.org/10.1007/978-3-319-10181-1_19
bibtex: '@inproceedings{Jakobs_Platzner_Wiersema_Wehrheim_2014, series={LNCS}, title={Integrating
Software and Hardware Verification}, DOI={10.1007/978-3-319-10181-1_19},
booktitle={Proceedings of the 11th International Conference on Integrated Formal
Methods (iFM)}, author={Jakobs, Marie-Christine and Platzner, Marco and Wiersema,
Tobias and Wehrheim, Heike}, editor={Albert, Elvira and Sekerinski, EmilEditors},
year={2014}, pages={307–322}, collection={LNCS} }'
chicago: Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim.
“Integrating Software and Hardware Verification.” In Proceedings of the 11th
International Conference on Integrated Formal Methods (IFM), edited by Elvira
Albert and Emil Sekerinski, 307–22. LNCS, 2014. https://doi.org/10.1007/978-3-319-10181-1_19.
ieee: M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software
and Hardware Verification,” in Proceedings of the 11th International Conference
on Integrated Formal Methods (iFM), 2014, pp. 307–322.
mla: Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.”
Proceedings of the 11th International Conference on Integrated Formal Methods
(IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.
short: 'M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski
(Eds.), Proceedings of the 11th International Conference on Integrated Formal
Methods (IFM), 2014, pp. 307–322.'
date_created: 2017-10-17T12:42:11Z
date_updated: 2022-01-06T07:00:14Z
ddc:
- '040'
department:
- _id: '77'
- _id: '78'
doi: 10.1007/978-3-319-10181-1_19
editor:
- first_name: Elvira
full_name: Albert, Elvira
last_name: Albert
- first_name: Emil
full_name: Sekerinski, Emil
last_name: Sekerinski
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:35:28Z
date_updated: 2018-03-16T11:35:28Z
file_id: '1364'
file_name: 408-jakobs14_ifm.pdf
file_size: 561325
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:35:28Z
has_accepted_license: '1'
language:
- iso: eng
page: 307-322
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 11th International Conference on Integrated Formal
Methods (iFM)
series_title: LNCS
status: public
title: Integrating Software and Hardware Verification
type: conference
user_id: '477'
year: '2014'
...
---
_id: '409'
abstract:
- lang: eng
text: Service markets provide software components in the formof services. In order
to enable a service discovery that satisfies servicerequesters and providers best,
markets need automatic service matching:approaches for comparing whether a provided
service satisfies a servicerequest. Current markets, e.g., app markets, are limited
to basic keywordbasedsearch although many better suitable matching approaches
aredescribed in literature. However, necessary architectural decisions forthe
integration of matchers have a huge impact on quality propertieslike performance
or security.Architectural decisions wrt. servicematchers have rarely been discussed,yet,
and systematic approaches for their integration into service marketsare missing.
In this paper, we present a systematic integration approachincluding the definition
of requirements and a discussion on architecturaltactics. As a benefit, the decision-making
process of integrating servicematchers is supported and the overall market success
can be improved.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service
Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European
Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19'
apa: Platenius, M. C., Becker, S., & Schäfer, W. (2014). Integrating Service
Matchers into a Service Market Architecture. In P. Avgeriou & U. Zdun (Eds.),
Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)
(pp. 210–217). https://doi.org/10.1007/978-3-319-09970-5_19
bibtex: '@inproceedings{Platenius_Becker_Schäfer_2014, series={LNCS}, title={Integrating
Service Matchers into a Service Market Architecture}, DOI={10.1007/978-3-319-09970-5_19},
booktitle={Proceedings of the 8th European Conference on Software Architecture
(ECSA 2014)}, author={Platenius, Marie Christin and Becker, Steffen and Schäfer,
Wilhelm}, editor={Avgeriou, Paris and Zdun, UweEditors}, year={2014}, pages={210–217},
collection={LNCS} }'
chicago: Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating
Service Matchers into a Service Market Architecture.” In Proceedings of the
8th European Conference on Software Architecture (ECSA 2014), edited by Paris
Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. https://doi.org/10.1007/978-3-319-09970-5_19.
ieee: M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers
into a Service Market Architecture,” in Proceedings of the 8th European Conference
on Software Architecture (ECSA 2014), 2014, pp. 210–217.
mla: Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service
Market Architecture.” Proceedings of the 8th European Conference on Software
Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp.
210–17, doi:10.1007/978-3-319-09970-5_19.
short: 'M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.),
Proceedings of the 8th European Conference on Software Architecture (ECSA 2014),
2014, pp. 210–217.'
date_created: 2017-10-17T12:42:11Z
date_updated: 2022-01-06T07:00:15Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-09970-5_19
editor:
- first_name: Paris
full_name: Avgeriou, Paris
last_name: Avgeriou
- first_name: Uwe
full_name: Zdun, Uwe
last_name: Zdun
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:34:58Z
date_updated: 2018-03-16T11:34:58Z
file_id: '1363'
file_name: 409-ecsa14.pdf
file_size: 395884
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:34:58Z
has_accepted_license: '1'
language:
- iso: eng
page: 210-217
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 8th European Conference on Software Architecture (ECSA
2014)
series_title: LNCS
status: public
title: Integrating Service Matchers into a Service Market Architecture
type: conference
user_id: '477'
year: '2014'
...
---
_id: '410'
abstract:
- lang: eng
text: One goal of service-oriented computing is to realize future markets of composed
services. In such markets, service providers offer services that can be flexibly
combined with each other. However, although crucial for decision-making, market
participants are usually not able to individually estimate the quality of traded
services in advance. To overcome this problem, we present a conceptual design
for a reputation system that collects and processes user feedback on transactions,
and provides this information as a signal for quality to participants in the market.
Based on our proposed concept, we describe the incorporation of reputation information
into distinct decision-making processes that are crucial in such service markets.
In this context, we present a fuzzy service matching approach that takes reputation
information into account. Furthermore, we introduce an adaptive service composition
approach, and investigate the impact of exchanging immediate user feedback by
reputation information. Last but not least, we describe the importance of reputation
information for economic decisions of different market participants. The overall
output of this paper is a comprehensive view on managing and exploiting reputation
information in markets of composed services using the example of On-The-Fly Computing.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Sonja
full_name: Brangewitz, Sonja
last_name: Brangewitz
- first_name: Ronald
full_name: Petrlic, Ronald
last_name: Petrlic
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
citation:
ama: Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Incorporating Reputation
Information into Decision-Making Processes in Markets of Composed Services. International
Journal On Advances in Intelligent Systems (IntSys). 2014;7(3&4):572--594.
apa: Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Incorporating
Reputation Information into Decision-Making Processes in Markets of Composed Services.
International Journal On Advances in Intelligent Systems (IntSys), 7(3&4),
572--594.
bibtex: '@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating
Reputation Information into Decision-Making Processes in Markets of Composed Services},
volume={7}, number={3&4}, journal={International Journal On Advances in Intelligent
Systems (IntSys)}, publisher={IARIA}, author={Jungmann, Alexander and Brangewitz,
Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={572--594}
}'
chicago: 'Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin
Platenius. “Incorporating Reputation Information into Decision-Making Processes
in Markets of Composed Services.” International Journal On Advances in Intelligent
Systems (IntSys) 7, no. 3&4 (2014): 572--594.'
ieee: A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Incorporating
Reputation Information into Decision-Making Processes in Markets of Composed Services,”
International Journal On Advances in Intelligent Systems (IntSys), vol.
7, no. 3&4, pp. 572--594, 2014.
mla: Jungmann, Alexander, et al. “Incorporating Reputation Information into Decision-Making
Processes in Markets of Composed Services.” International Journal On Advances
in Intelligent Systems (IntSys), vol. 7, no. 3&4, IARIA, 2014, pp. 572--594.
short: A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal
On Advances in Intelligent Systems (IntSys) 7 (2014) 572--594.
date_created: 2017-10-17T12:42:11Z
date_updated: 2022-01-06T07:00:17Z
ddc:
- '040'
department:
- _id: '205'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:34:28Z
date_updated: 2018-03-16T11:34:28Z
file_id: '1362'
file_name: 410-intsys_v7_n34_2014_18.pdf
file_size: 2590608
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:34:28Z
has_accepted_license: '1'
intvolume: ' 7'
issue: 3&4
language:
- iso: eng
main_file_link:
- url: http://www.iariajournals.org/intelligent_systems/intsys_v7_n34_2014_paged.pdf
page: 572--594
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '2'
name: SFB 901 - Project Area A
- _id: '4'
name: SFB 901 - Project Area C
- _id: '3'
name: SFB 901 - Project Area B
publication: International Journal On Advances in Intelligent Systems (IntSys)
publisher: IARIA
status: public
title: Incorporating Reputation Information into Decision-Making Processes in Markets
of Composed Services
type: journal_article
user_id: '65453'
volume: 7
year: '2014'
...
---
_id: '411'
author:
- first_name: Vahide
full_name: Taherinajafabadi, Vahide
last_name: Taherinajafabadi
citation:
ama: Taherinajafabadi V. Improving Service Specifications for the Service Matching
on a Service Market. Universität Paderborn; 2014.
apa: Taherinajafabadi, V. (2014). Improving Service Specifications for the Service
Matching on a Service Market. Universität Paderborn.
bibtex: '@book{Taherinajafabadi_2014, title={Improving Service Specifications for
the Service Matching on a Service Market}, publisher={Universität Paderborn},
author={Taherinajafabadi, Vahide}, year={2014} }'
chicago: Taherinajafabadi, Vahide. Improving Service Specifications for the Service
Matching on a Service Market. Universität Paderborn, 2014.
ieee: V. Taherinajafabadi, Improving Service Specifications for the Service Matching
on a Service Market. Universität Paderborn, 2014.
mla: Taherinajafabadi, Vahide. Improving Service Specifications for the Service
Matching on a Service Market. Universität Paderborn, 2014.
short: V. Taherinajafabadi, Improving Service Specifications for the Service Matching
on a Service Market, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:12Z
date_updated: 2022-01-06T07:00:18Z
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Improving Service Specifications for the Service Matching on a Service Market
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '415'
author:
- first_name: Shafi
full_name: Vijapurwala, Shafi
last_name: Vijapurwala
citation:
ama: Vijapurwala S. Handling Incomplete Service Specifications Using Fuzzy Matching.
Universität Paderborn; 2014.
apa: Vijapurwala, S. (2014). Handling Incomplete Service Specifications using
Fuzzy Matching. Universität Paderborn.
bibtex: '@book{Vijapurwala_2014, title={Handling Incomplete Service Specifications
using Fuzzy Matching}, publisher={Universität Paderborn}, author={Vijapurwala,
Shafi}, year={2014} }'
chicago: Vijapurwala, Shafi. Handling Incomplete Service Specifications Using
Fuzzy Matching. Universität Paderborn, 2014.
ieee: S. Vijapurwala, Handling Incomplete Service Specifications using Fuzzy
Matching. Universität Paderborn, 2014.
mla: Vijapurwala, Shafi. Handling Incomplete Service Specifications Using Fuzzy
Matching. Universität Paderborn, 2014.
short: S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching,
Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:12Z
date_updated: 2022-01-06T07:00:25Z
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Handling Incomplete Service Specifications using Fuzzy Matching
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '417'
abstract:
- lang: eng
text: 'Model transformation is a key concept in modeldrivensoftware engineering.
The definition of model transformationsis usually based on meta-models describing
the abstractsyntax of languages. While meta-models are thereby able to abstractfrom
superfluous details of concrete syntax, they often loosestructural information
inherent in languages, like information onmodel elements always occurring together
in particular shapes.As a consequence, model transformations cannot naturally
re-uselanguage structures, thus leading to unnecessary complexity intheir development
as well as analysis.In this paper, we propose a new approach to model transformationdevelopment
which allows to simplify and improve thequality of the developed transformations
via the exploitation ofthe languages’ structures. The approach is based on context-freegrammars
and transformations defined by pairing productions ofsource and target grammars.
We show that such transformationsexhibit three important characteristics: they
are sound, completeand deterministic.'
author:
- first_name: Galina
full_name: Besova, Galina
last_name: Besova
- first_name: Dominik
full_name: Steenke, Dominik
last_name: Steenke
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In:
Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD).
; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003'
apa: Besova, G., Steenke, D., & Wehrheim, H. (2014). Grammar-based model transformations.
In Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD) (pp. 1601–1610). https://doi.org/10.1016/j.cl.2015.05.003
bibtex: '@inproceedings{Besova_Steenke_Wehrheim_2014, title={Grammar-based model
transformations}, DOI={10.1016/j.cl.2015.05.003},
booktitle={Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD)}, author={Besova, Galina and Steenke, Dominik and Wehrheim, Heike}, year={2014},
pages={1601–1610} }'
chicago: Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model
Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in
System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
ieee: G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,”
in Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD), 2014, pp. 1601–1610.
mla: Besova, Galina, et al. “Grammar-Based Model Transformations.” Proceedings
3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014,
pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
short: 'G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model
Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.'
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:28Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.cl.2015.05.003
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:33:33Z
date_updated: 2018-03-16T11:33:33Z
file_id: '1360'
file_name: 417-main.pdf
file_size: 643382
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:33:33Z
has_accepted_license: '1'
language:
- iso: eng
page: 1601-1610
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD)
status: public
title: Grammar-based model transformations
type: conference
user_id: '477'
year: '2014'
...
---
_id: '418'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
citation:
ama: Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn; 2014.
apa: Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn.
bibtex: '@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren},
publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }'
chicago: Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn, 2014.
ieee: F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn, 2014.
mla: Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren.
Universität Paderborn, 2014.
short: F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren,
Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:30Z
ddc:
- '000'
department:
- _id: '77'
file:
- access_level: open_access
content_type: application/pdf
creator: fpauck
date_created: 2019-08-07T09:00:20Z
date_updated: 2019-08-07T09:05:38Z
file_id: '12906'
file_name: fpauck_2014.pdf
file_size: 3191756
relation: main_file
title: Bachelorarbeit
file_date_updated: 2019-08-07T09:05:38Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
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
id: '573'
last_name: Wehrheim
title: Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
type: bachelorsthesis
user_id: '22398'
year: '2014'
...
---
_id: '420'
author:
- first_name: Sven
full_name: Merschjohann, Sven
last_name: Merschjohann
citation:
ama: Merschjohann S. Fuzzy Matching of Service Price Specifications. Universität
Paderborn; 2014.
apa: Merschjohann, S. (2014). Fuzzy Matching of Service Price Specifications.
Universität Paderborn.
bibtex: '@book{Merschjohann_2014, title={Fuzzy Matching of Service Price Specifications},
publisher={Universität Paderborn}, author={Merschjohann, Sven}, year={2014} }'
chicago: Merschjohann, Sven. Fuzzy Matching of Service Price Specifications.
Universität Paderborn, 2014.
ieee: S. Merschjohann, Fuzzy Matching of Service Price Specifications. Universität
Paderborn, 2014.
mla: Merschjohann, Sven. Fuzzy Matching of Service Price Specifications.
Universität Paderborn, 2014.
short: S. Merschjohann, Fuzzy Matching of Service Price Specifications, Universität
Paderborn, 2014.
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:33Z
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Fuzzy Matching of Service Price Specifications
type: mastersthesis
user_id: '15504'
year: '2014'
...