Service-Oriented Computing: State of the Art and Research Challenges

Papazoglou, Michael P.; Traverso, Paolo; Dustdar, Schahram; Leymann, Frank

doi:10.1109/mc.2007.400

Cited by 1,190 publications

(645 citation statements)

References 7 publications

Supporting

Mentioning

622

Contrasting

Unclassified

Order By: Relevance

“…This is done by specifying an algorithm and the respective parameterization for the WEKA toolkit 1 , an open source machine learning toolkit which we internally use in our prototype implementation. In this way the prediction quality can be tuned by a machine learning savvy user, however, we also provide a default configuration which can be used out of the box.…”

Section: Prediction Model Parameterizationmentioning

confidence: 99%

See 1 more Smart Citation

Runtime Prediction of Service Level Agreement Violations for Composite Services

Leitner

Wetzstein

Rosenberg

et al. 2010

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. SLAs are contractually binding agreements between service providers and consumers, mandating concrete numerical target values which the service needs to achieve. For service providers, it is essential to prevent SLA violations as much as possible to enhance customer satisfaction and avoid penalty payments. Therefore, it is desirable for providers to predict possible violations before they happen, while it is still possible to set counteractive measures. We propose an approach for predicting SLA violations at runtime, which uses measured and estimated facts (instance data of the composition or QoS of used services) as input for a prediction model. The prediction model is based on machine learning regression techniques, and trained using historical process instances. We present the basics of our approach, and briefly validate our ideas based on an illustrative example.

show abstract

Section: Prediction Model Parameterizationmentioning

confidence: 99%

“…In service-oriented computing [1], finer-grained basic functionality provided using Web services can be composed to more coarse-grained services. This model is often used by Software-as-as-Service providers to implement value-added applications, which are built upon existing internal and external Web services.…”

Section: Introductionmentioning

confidence: 99%

Runtime Prediction of Service Level Agreement Violations for Composite Services

Leitner

Wetzstein

Rosenberg

et al. 2010

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Service-oriented architectures and Web services have been the focus of active research in the past decade [1][2][3]. Despite significant interest in techniques for designing, deploying, and ensuring reliability of Web services, many existing services experience severe issues such as timeout, dependability and unexpected behavior [4].…”

Section: Introductionmentioning

confidence: 99%

Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates

Bourne

Szabo

Sheng

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Ensuring reliability in Web service compositions is of crucial interest as services are composed and executed in long-running, distributed mediums that cannot guarantee reliable communications. Towards this, transactional behavior has been proposed to handle and undo the effects of faults of individual components. Despite significant research interest, challenges remain in providing an easy-to-use, formal approach to verify transactional behavior of Web service compositions before costly development. In this paper, we propose the use of temporal logic templates to specify component-level and composition-level transactional requirements over a Web service composition. These templates are specified using a simple format, configured according to scope and cardinality, and automatically translated into temporal logic. To verify design conformance to a set of implemented templates, we employ model checking. We propose an algorithm to address state space explosion by reducing the models into semantically equivalent Kripke structures. Our approach facilitates the implementation of expressive transactional behavior onto existing complex services, as demonstrated in our experimental study.

show abstract

“…Current trends in the IT industry suggest that software systems in the future will be very different from their counterparts today, due to greater adoption of Service-Oriented Architectures (SOAs), the wider spread of the deployment of Software-as-a-Service (SaaS), and the increased use of wireless and mobile technologies [6,7]. These trends point to large-scale, heterogeneous ICT infrastructures hosting applications that are dynamically built from loosely-coupled, well-separated services, where key non-functional properties like security, privacy, and reliability will be of increased and critical importance.…”

Section: Introductionmentioning

confidence: 99%