Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(16)
Adaptive System
Analytical Model
Dynamic Adaptation
dynamic qos management
Legacy System
Markov Process
Probabilistic Logic
qos management
Quality of Service
Service Orientation
Software Engineering
System Configuration
Temporal Logic
Tool Support
Unified Modeling Language
Experience Base
Subscribe
Academic
Publications
Dynamic QoS Management and Optimization in Service-Based Systems
Edit
Dynamic QoS Management and Optimization in Service-Based Systems
(
Citations: 6
)
BibTex
|
RIS
|
RefWorks
Download
Radu Calinescu
,
Lars Grunske
,
Raffaela Mirandola
,
Giordano Tamburrelli
Service-based systems that are dynamically composed at runtime to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the
Quality of Service
(QoS) delivered by these systems remains an important concern, and needs to be managed in an equally adaptive and predictable way. To address this need, we introduce a novel, tool-supported framework for the development of adaptive service-based systems called QoSMOS (QoS Management and Optimization of Service-based systems). QoSMOS can be used to develop service-based systems that achieve their QoS requirements through dynamically adapting to changes in the system state, environment, and workload. QoSMOS service-based systems translate high-level QoS requirements specified by their administrators into probabilistic
temporal logic
formulae, which are then formally and automatically analyzed to identify and enforce optimal system configurations. The QoSMOS self-adaptation mechanism can handle reliability and performance-related QoS requirements, and can be integrated into newly developed solutions or legacy systems. The effectiveness and scalability of the approach are validated using simulations and a set of experiments based on an implementation of an adaptive service-based system for remote medical assistance.
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 387-409, 2011
DOI:
10.1109/TSE.2010.92
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
dx.doi.org
)
(
www.informatik.uni-trier.de
)
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
More »
Citation Context
(6)
...1 More recently, probabilistic model checking has been used to guide self-optimisation in autonomic IT systems during their execution stage [
2
, 3, 4]...
...A technique for learning the state transition probabilities pij for the DTMC (1) when only a priori estimates p 0 ij, 1 i;j n, are available initially is presented in [5], and successfully used in the context of workow QoS management in [
2
]...
...system will transition from state si to precisely one state from S. The work presented in [
2
] uses theoretical results from [13] and the Bayes’ rule to derive the updating rule for estimating the probability pij after the observation of the k-th transition from state si to another state in S as...
...The updating rule (4) was shown [
2
, 5] to be eective in scenarios where the actual probability pij diers from the a Figure 3: The ageing function age is used to weigh...
...As a further step in exploiting the new technique, we are considering integrating it into the QoS management and optimisations framework from [
2
]...
Radu Calinescu
,
et al.
Using observation ageing to improve markovian model learning in QoS en...
...Research done in QoS management is vast and frequently accounts for various aspects, namely charges for service, commitment to provide a specified level of service, and penalties [
8
], [21]...
Sergio Pacheco-Sanchez
,
et al.
Markovian Workload Characterization for QoS Prediction in the Cloud
...In addition, we are also interested in speeding up our approaches via incremental verification and analysis, and developing online techniques to provide support for on-the-fly Connector synthesis [5], such as those based on [
7
]...
Felicita Di Giandomenico
,
et al.
Dependability Analysis and Verification for Connected Systems
...While quantitative verification is traditionally used for the off-line analysis of system models such as Markov chains and Markov decision processes, recent research has successfully employed an on-line version of the technique to support self-optimisation in adaptive computer systems [13,14,
15
]...
...– Dynamic QoS management in service-based systems [
15
]...
...For instance, the study carried out in [
15
] found that over 70% of the bioinformatics workflows from the widely used myExperiment workflow repository 2 comprise between one and eight web service invocations...
...The options explored in the effort to address this challenge include a combination of software engineering techniques and novel quantitative verification algorithms [14,
15
]...
...Figure 1) has been successful [20,
15
,21], there are multiple applications in which systems undergo unpredictable changes that require structural model changes (e.g., to reflect components leaving or joining the system dynamically)...
Radu Calinescu
,
et al.
Formal Methods @ Runtime
...These include: probabilistic counterexample generation [4,3], verification under fairness [8] and under restricted classes of adversaries [47,29], parametric model checking [51], synthesis of parameters [52] and models [28], and run-time probabilistic model checking [
24
,44]...
Vojtěch Forejt
,
et al.
Automated Verification Techniques for Probabilistic Systems
References
(93)
Model-checking in dense real-time
(
Citations: 498
)
Rajeev Alur
,
Costas Courcoubetis
,
David L. Dill
Journal:
Information and Computation/information and Control - IANDC
, vol. 104, no. 1, pp. 2-34, 1993
Reactive Modules
(
Citations: 194
)
Rajeev Alur
,
Thomas A. Henzinger
Journal:
Formal Methods in System Design - FMSD
, vol. 15, no. 1, pp. 7-48, 1999
Rethinking the Use of Models in Software Architecture
(
Citations: 10
)
Danilo Ardagna
,
Carlo Ghezzi
,
Raffaela Mirandola
Conference:
Quality of Software Architectures - QOSA
, pp. 1-27, 2008
Global and Local QoS Constraints Guarantee in Web Service Selection
(
Citations: 32
)
Danilo Ardagna
,
Barbara Pernici
Conference:
International Conference on Web Services - ICWS
, pp. 805-806, 2005
Adaptive Service Composition in Flexible Processes
(
Citations: 164
)
Danilo Ardagna
,
Barbara Pernici
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 33, no. 6, pp. 369-384, 2007
Order by:
Citations
(6)
Using observation ageing to improve markovian model learning in QoS engineering
(
Citations: 1
)
Radu Calinescu
,
Kenneth Johnson
,
Yasmin Rafiq
Published in 2011.
Markovian Workload Characterization for QoS Prediction in the Cloud
Sergio Pacheco-Sanchez
,
Giuliano Casale
,
Bryan Scotney
,
Sally McClean
,
Gerard Parr
,
Stephen Dawson
Conference:
IEEE International Conference on Cloud Computing - CLOUD
, pp. 147-154, 2011
Dependability Analysis and Verification for Connected Systems
(
Citations: 2
)
Felicita Di Giandomenico
,
Marco Martinucci
,
Paolo Masci
,
Hongyang Qu
Conference:
Leveraging Applications of Formal Methods - ISOLA
, pp. 263-277, 2010
Formal Methods @ Runtime
(
Citations: 1
)
Radu Calinescu
,
Shinji Kikuchi
Automated Verification Techniques for Probabilistic Systems
Vojtěch Forejt
,
Marta Kwiatkowska
,
Gethin Norman
,
David Parker