The Experts below are selected from a list of 237 Experts worldwide ranked by ideXlab platform

Jia Mei - One of the best experts on this subject based on the ideXlab platform.

  • probabilistic timed model checking for Atomic web Service
    World Congress on Services, 2011
    Co-Authors: Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
    Abstract:

    As Web Services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web Services composition. This has driven many researchers to study the performance analysis of dynamic Atomic Service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of Atomic Service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of Atomic Service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web Services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web Services composition.

  • ServiceS - Probabilistic Timed Model Checking for Atomic Web Service
    2011 IEEE World Congress on Services, 2011
    Co-Authors: Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
    Abstract:

    As Web Services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web Services composition. This has driven many researchers to study the performance analysis of dynamic Atomic Service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of Atomic Service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of Atomic Service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web Services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web Services composition.

Honghao Gao - One of the best experts on this subject based on the ideXlab platform.

  • probabilistic timed model checking for Atomic web Service
    World Congress on Services, 2011
    Co-Authors: Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
    Abstract:

    As Web Services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web Services composition. This has driven many researchers to study the performance analysis of dynamic Atomic Service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of Atomic Service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of Atomic Service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web Services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web Services composition.

  • ServiceS - Probabilistic Timed Model Checking for Atomic Web Service
    2011 IEEE World Congress on Services, 2011
    Co-Authors: Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
    Abstract:

    As Web Services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web Services composition. This has driven many researchers to study the performance analysis of dynamic Atomic Service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of Atomic Service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of Atomic Service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web Services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web Services composition.

Huaikou Miao - One of the best experts on this subject based on the ideXlab platform.

  • probabilistic timed model checking for Atomic web Service
    World Congress on Services, 2011
    Co-Authors: Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
    Abstract:

    As Web Services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web Services composition. This has driven many researchers to study the performance analysis of dynamic Atomic Service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of Atomic Service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of Atomic Service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web Services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web Services composition.

  • ServiceS - Probabilistic Timed Model Checking for Atomic Web Service
    2011 IEEE World Congress on Services, 2011
    Co-Authors: Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
    Abstract:

    As Web Services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web Services composition. This has driven many researchers to study the performance analysis of dynamic Atomic Service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of Atomic Service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of Atomic Service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web Services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web Services composition.

Shengbo Chen - One of the best experts on this subject based on the ideXlab platform.

  • probabilistic timed model checking for Atomic web Service
    World Congress on Services, 2011
    Co-Authors: Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
    Abstract:

    As Web Services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web Services composition. This has driven many researchers to study the performance analysis of dynamic Atomic Service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of Atomic Service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of Atomic Service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web Services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web Services composition.

  • ServiceS - Probabilistic Timed Model Checking for Atomic Web Service
    2011 IEEE World Congress on Services, 2011
    Co-Authors: Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
    Abstract:

    As Web Services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web Services composition. This has driven many researchers to study the performance analysis of dynamic Atomic Service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of Atomic Service, but also verifying the properties in a quantitative way. First, we apply probabilistic timed model checking to model and verify the behaviors of Atomic Service by extending interface automata, and propose a technique to formally estimate software performance which exhibits stochastic behaviors with time constrains. Second, the probabilistic-tic timed computation tree logic (PTCTL) formulae are used to express the reliability properties. Third, a failure may occur stochastically when an invocation is triggered through interface operation. We present an internal interaction model, based on which we can dynamically pick out a highest reliable execution sequence for Web Services composition. Finally, a case study is demonstrated and experimental results are discussed. In conclusion, our approach provides with an underlying guideline for Web Services composition.

Reza Akhavan - One of the best experts on this subject based on the ideXlab platform.

  • Smart City IoT Services Creation through Large Scale Collaboration
    IEEE Internet of Things Journal, 2020
    Co-Authors: Flavio Cirillo, David Gomez, Luis Diez, Ignacio Elicegui Maestro, Thomas Barrie Juel Gilbert, Reza Akhavan
    Abstract:

    Smart cities solutions are often monolithically implemented, from sensors data handling through to the provided Services. The same challenges are regularly faced by different developers, for every new solution in a new city. Expertise and know-how can be re-used and the effort shared. In this article we present the methodologies to minimize the efforts of implementing new smart city solutions and maximizing the sharing of components. The final target is to have a live technical community of smart city application developers. The results of this activity comes from the implementation of 35 city Services in 27 cities between Europe and South Korea. To share efforts, we encourage developers to devise applications using a modular approach. Single-function components that are re-usable by other city Services are packaged and published as standalone components, named Atomic Services. We identify 15 Atomic Services addressing smart city challenges in data analytics, data evaluation, data integration, data validation, and visualization. 38 instances of the Atomic Services are already operational in several smart city Services. We detail in this article, as Atomic Service examples, some data predictor components. Furthermore, we describe real-world Atomic Services usage in the scenarios of Santander and three Danish cities. The resulting Atomic Services also generate a side market for smart city solutions, allowing expertise and know-how to be re-used by different stakeholders.