Ricardo Contreras, A. Zisman, A. Marconi, M. Pistore
{"title":"PRadapt: A framework for dynamic monitoring of adaptable service-based systems","authors":"Ricardo Contreras, A. Zisman, A. Marconi, M. Pistore","doi":"10.1109/PESOS.2012.6225939","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225939","url":null,"abstract":"Existing approaches for monitoring service-based systems assume that monitor rules are pre-defined and known in advance. However, adaptation of service-based systems may trigger the need to adapt the associated monitor rules in order to verify the correct behavior of the adapted service compositions. In this work, we present PRadapt, a framework for dynamic monitoring of adaptable service-based systems that supports the run-time identification, creation, modification and removal of monitor rules as a reaction to changes in the context and the system.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123120033","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Cesare Bartolini, A. Bertolino, G. D. Angelis, Andrea Ciancone, R. Mirandola
{"title":"Non-functional analysis of service choreographies","authors":"Cesare Bartolini, A. Bertolino, G. D. Angelis, Andrea Ciancone, R. Mirandola","doi":"10.1109/PESOS.2012.6225947","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225947","url":null,"abstract":"A highly important aspect in service compositions is to guarantee the established Quality-of-Service (QoS). However, the modeling of non-functional properties of service choreographies is neglected in the OMG standard BPMN notation, so that other, separate languages should be used to specify QoS constraints and then traced back to the functional BPMN model. We introduced an approach called Q4BPMN by which non-functional requirements can be directly expressed within the BPMN model. This paper leverages Model Driven Engineering (MDE) techniques to automatically handle non-functional properties expressed with Q4BPMN in order to obtain information useful both to highlight intrinsic features of the service choreography and to detect possible model criticalities. Specifically, we transform a Q4BPMN model into the pivot KLAPER notation, on which we can directly exploit the analysis tools within the KLAPERSUITE environment. Hence this paper provides the first step towards automated non-functional analysis of service choreographies.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121163412","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Cloud in a cloud for cloud education","authors":"Shigetoshi Yokoyama, Nobukazu Yoshioka, Takahiro Shida","doi":"10.1109/PESOS.2012.6225943","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225943","url":null,"abstract":"The proper education of engineers will be crucial for the continued development of cloud technologies. We have developed a cloud called edubase Cloud for information technology education. In this paper, we discuss how edubase Cloud supports cloud educational materials through a case study and how effective it is for educating cloud engineers.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115307883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Dependability-driven runtime management of service oriented architectures","authors":"Hanen Haouas, Johann Bourcier","doi":"10.1109/PESOS.2012.6225934","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225934","url":null,"abstract":"Software systems are becoming more and more complex due to the integration of large scale distributed entities and the continuous evolution of these new infrastructures. All these systems are progressively integrated in our daily environment and their increasing importance have raised a dependability issue. While Service oriented architecture is providing a good level of abstraction to deal with the complexity and heterogeneity of these new infrastructures, current approaches are limited in their ability to monitor and ensure the system dependability. In this paper, we propose a framework for the autonomic management of service oriented application based on a dependability objective. Our framework proposes a novel approach which leverages peer to peer evaluation of service providers to assess the system dependability. Based on this evaluation, we propose various strategies to dynamically adapt the system to maintain the dependability level of the system to the desired objective.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123424117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Managing mutiple applications in a service platform","authors":"J. Estublier, Germán Vega","doi":"10.1109/PESOS.2012.6225937","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225937","url":null,"abstract":"Information hiding and hierarchical decomposition are the corner stone of Software Engineering best practices. These principles have been applied in methods, architectures, programming languages, and run-time platforms. It is therefore a big surprise to notice that the recent dynamic service platforms, like OSGi, do not make use of these principles. In OSGi, all services are visible; a client asking for an interface will be wired to any service, randomly selected and implementing that interface, which makes almost impossible protection and encapsulation. Nevertheless, OSGi is very successful for its almost unique capability to support dynamicity; and because the current practice is to run a single application per platform. Unfortunately, the future of gateways, like OSGi, is to manage the “discovery”, access and control of resources (logical as well as physical (sensors, devices)) shared by many applications. In the near future, OSGi will have to scale from a light weight mono-application gateway to a full-fledged dynamic platform. We have developed a layer on top of OSGi called APlication Abstract Machine (Apam) which provides OSGi dynamic capabilities, but also introduces a composite concept allowing multiple applications to cover the range isolation/collaboration from “black-box” (information hiding and hierarchical decomposition) to “scrambled eggs” as in service platforms, and through a variety of grey and white boxes with variable degrees of collaboration, sharing and control. The paper presents the state of practice, the challenges future dynamic platforms have to address, and how the Apam platform provides a solution to these issues. An assessment of the first Apam experimentations concludes the paper.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115173783","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Constraint-based invocation of stateful web services: The beep store (case study)","authors":"Sylvain Hallé, Roger Villemaire","doi":"10.1109/PESOS.2012.6225942","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225942","url":null,"abstract":"Shopping cart manipulations are a prime example of web services exhibiting stateful behaviour. The Beep Store is a web service synthesizing past work on the study and formalization of stateful interface constraints, and presenting many of the characteristics found in real-world web services, such as Amazon's and PayPal shopping carts.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121783150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Carlos Müller, M. Oriol, M. Rodríguez, Xavier Franch, Jordi Marco, Manuel Resinas, Antonio Ruiz-Cortés
{"title":"SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents","authors":"Carlos Müller, M. Oriol, M. Rodríguez, Xavier Franch, Jordi Marco, Manuel Resinas, Antonio Ruiz-Cortés","doi":"10.1109/PESOS.2012.6225938","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225938","url":null,"abstract":"Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between service-based systems (SBSs) consumers and providers. Such QoS is usually included in service level agreements (SLAs) and thus, SLA monitoring platforms have been developed supporting violation detection. However, just a few of them provide explanation of the violations caused by observed QoS at monitoring time, but not in an user-friendly format. Therefore, we propose a general monitoring and analysis conceptual reference model and we instantiated it with SALMonADA, a SBS that notifies the clients with violations and their causes in their own easy-to-understand specification terms. In addition, our platform performs an early analysis notification that avoids delays in the client notification time when a violation takes place. Moreover, we have implemented a web application as a SALMonADA client, to prove how it monitors, analyses and reports to their clients the service level fulfillment of real services subject to a SLA specified with WS-Agreement.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130227170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A monitoring data set for evaluating QoS-aware service-based systems","authors":"P. Leitner, W. Hummer, S. Dustdar","doi":"10.5555/2666048.2666062","DOIUrl":"https://doi.org/10.5555/2666048.2666062","url":null,"abstract":"Research in service-oriented computing traditionally struggles with the absence of public cases and data sets for evaluating and comparing research results. This is particularly evident for QoS-aware service-based computing, where public and widely accepted QoS traces would help to strengthen the fair comparison of QoS-aware automated composition and QoS prediction approaches. In this paper, we present one public data set produced for the evaluation of a contribution to the IEEE Transactions on Services Computing journal. We briefly introduce the background story of the use case and describe our monitored data set. We hope that this data set can serve as a basis for evaluation of future research papers from other authors.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126240880","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations","authors":"Dragan Ivanovic, M. Carro, M. Hermenegildo","doi":"10.1109/PESOS.2012.6225936","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225936","url":null,"abstract":"Constraint-based Quality of Service (QoS) prediction is a method for predicting violations of Service Level Agreements (SLAs) in an executing instance of a service orchestration. It uses assumptions about the ranges of QoS values for component services in the orchestration. Experiments suggest that the method, when given correct component QoS assumptions, produces highly accurate predictions according to a series of quality-of-prediction metrics, and that it does so well ahead of the time when the prediction is to happen. We study the behavior of this method when the component QoS assumptions become incorrect or too vague. We conclude that the effect is a graceful deterioration in prediction quality, unless gross (order-of-magnitude) imprecisions are introduced. However, the method is very sensitive to the loss of information on the lower bounds for component QoS values, since the knowledge of the upper bounds is not sufficient for failure prediction.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"190 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116280555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Autili, L. Berardinelli, D. D. Ruscio, Catia Trubiani
{"title":"Providing lightweight and adaptable service technology for information and communication (PLASTIC) in the mobile ehealth case study","authors":"M. Autili, L. Berardinelli, D. D. Ruscio, Catia Trubiani","doi":"10.1109/PESOS.2012.6225946","DOIUrl":"https://doi.org/10.1109/PESOS.2012.6225946","url":null,"abstract":"In this paper we briefly describe a case study, i.e. the Mobile eHealth (MeH), developed in the context of the IST PLASTIC project aimed at supporting self-adapting and context-aware services. The goal of the case study is to show how to model a service-based application and to demonstrate that model-based solutions are suitable to generate Quality of Service (QoS) models and adaptable code from service models.","PeriodicalId":103364,"journal":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132432375","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}