Principles of Engineering Service-Oriented Systems最新文献

Towards the formalization of properties of cloud-based elastic systems 基于云的弹性系统特性的形式化研究

Principles of Engineering Service-Oriented Systems Pub Date : 2014-05-31 DOI: 10.1145/2593793.2593798

M. Bersani, D. Bianculli, S. Dustdar, Alessio Gambi, C. Ghezzi, S. Krstic

{"title":"Towards the formalization of properties of cloud-based elastic systems","authors":"M. Bersani, D. Bianculli, S. Dustdar, Alessio Gambi, C. Ghezzi, S. Krstic","doi":"10.1145/2593793.2593798","DOIUrl":"https://doi.org/10.1145/2593793.2593798","url":null,"abstract":"Cloud-based elastic systems run on a cloud infrastructure and have the capability of dynamically adjusting the allocation of their resources in response to changes in the workload, in a way that balances the trade-off between the desired quality-of-service and the operational costs. The actual elastic behavior of these systems is determined by a combination of factors, including the input workload, the logic of the elastic controller determining the type of resource adjustment, and the underlying technological platform implementing the cloud infrastructure. All these factors have to be taken into account to express the desired elastic behavior of a system, as well as to verify whether the system manifests or not such a behavior. \u0000 In this paper, we take a first step into these directions, by proposing a formalization, based on the CLTL^t(D) temporal logic, of several concepts and properties related to the behavior of cloud-based elastic systems. We also report on our preliminary evaluation of the feasibility to check the (formalized) properties on execution traces using an automated verification tool.","PeriodicalId":380234,"journal":{"name":"Principles of Engineering Service-Oriented Systems","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123817533","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}

引用次数: 39

Towards exploiting the full adaptation potential of cloud applications 致力于开发云应用程序的全部适应潜力

Principles of Engineering Service-Oriented Systems Pub Date : 2014-05-31 DOI: 10.1145/2593793.2593799

C. Marquezan, F. Wessling, Andreas Metzger, K. Pohl, Chris Woods, Karl Wallbom

{"title":"Towards exploiting the full adaptation potential of cloud applications","authors":"C. Marquezan, F. Wessling, Andreas Metzger, K. Pohl, Chris Woods, Karl Wallbom","doi":"10.1145/2593793.2593799","DOIUrl":"https://doi.org/10.1145/2593793.2593799","url":null,"abstract":"Current technology for cloud application adaptation fails to capture two fundamental aspect of cloud environments: multiple adaptation options and interferences and dependencies among these multiple mechanisms. Addressing these aspects requires a significant extension of existing cloud tools and frameworks for engineering and executing cloud application adaptations. They should explicitly take into account: all entities of the cloud environment relevant for adaptation decisions; the concrete adaptation actions that these cloud entities may perform; and the mutual dependencies between those entities and actions. In this paper we provide the first insights towards such novel technology. As main contribution, we systematically elicit the key entities related to adaptations inside a cloud environment and explicitly document those in a conceptual model. To build this model we surveyed the literature, discussed with industrial partners with experience in cloud computing, and analyzed commercial solutions. We also provide a case study based on Amazon Web Services solutions, to show how our conceptual model can be instantiated and help developers to identify possible cloud application adaptation strategies.","PeriodicalId":380234,"journal":{"name":"Principles of Engineering Service-Oriented Systems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116140259","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}

引用次数: 14

Consumer-centric non-functional properties of SOA-based services 基于soa的服务的以消费者为中心的非功能属性

Principles of Engineering Service-Oriented Systems Pub Date : 2014-05-31 DOI: 10.1145/2593793.2593796

H. Becha, Daniel Amyot

引用次数: 8

Interaction patterns based checkpointing of choreographed web services 基于精心设计的web服务检查点的交互模式

Principles of Engineering Service-Oriented Systems Pub Date : 2014-05-31 DOI: 10.1145/2593793.2593797

A. Vathsala, H. Mohanty

引用次数: 6

SLA evaluation with on-the-fly measurements of distributed service implementation over clouds 使用云上分布式服务实现的动态测量进行SLA评估

Principles of Engineering Service-Oriented Systems Pub Date : 2014-05-31 DOI: 10.1145/2593793.2593794

K. Ravindran, Arun Adiththan, Michael Iannelli

引用次数: 2

A survey on checkpointing web services 关于检查点web服务的调查

Principles of Engineering Service-Oriented Systems Pub Date : 2014-05-31 DOI: 10.1145/2593793.2593795

A. Vathsala, H. Mohanty

{"title":"A survey on checkpointing web services","authors":"A. Vathsala, H. Mohanty","doi":"10.1145/2593793.2593795","DOIUrl":"https://doi.org/10.1145/2593793.2593795","url":null,"abstract":"With the advent and widespread use of web services, complex business processes are being built by discovering and composing services already available over the Internet. Such composite web services operate over the Internet where reliability and speed cannot be guaranteed, hence providing fault handling mechanism to composite web services is of primary importance. Several fault handling and recovery techniques have been proposed in literature in the context of web services. Backward recovery using checkpointing is a general recovery scheme that can be used to make web services resilient to faults. Checkpointing strategies proposed in distributed systems are not directly applicable to web services due to the differences in the two paradigms. Few papers have been published discussing the need and techniques for checkpointing web services. In this paper we present a survey on various distributed and web service checkpointing techniques discussing their applicability, strengths and weaknesses. We give a brief introduction to our approach of checkpointing web services which identifies checkpointing locations, without user intervention, using complexity of interactions and services offered.","PeriodicalId":380234,"journal":{"name":"Principles of Engineering Service-Oriented Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129943374","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}

引用次数: 11

Tweetflows: flexible workflows with twitter Tweetflows:灵活的twitter工作流

Principles of Engineering Service-Oriented Systems Pub Date : 2011-05-23 DOI: 10.1145/1985394.1985395

M. Treiber, D. Schall, S. Dustdar, Christian Scherling

引用次数: 22

SMaRT: a workbench for reporting the monitorability of services from SLAs SMaRT:用于报告来自sla的服务的可监视性的工作台

Principles of Engineering Service-Oriented Systems Pub Date : 2011-05-23 DOI: 10.1145/1985394.1985400

H. Foster, G. Spanoudakis

引用次数: 10

Towards efficient measuring of web services API coverage 朝着有效地度量web服务API覆盖的方向发展

Principles of Engineering Service-Oriented Systems Pub Date : 2011-05-23 DOI: 10.1145/1985394.1985398

W. Hummer, O. Raz, S. Dustdar

{"title":"Towards efficient measuring of web services API coverage","authors":"W. Hummer, O. Raz, S. Dustdar","doi":"10.1145/1985394.1985398","DOIUrl":"https://doi.org/10.1145/1985394.1985398","url":null,"abstract":"We address the problem of interface-based test coverage for Web services. We suggest an approach to analyze the Application Programming Interface (API) of Web services, calculate the number of possible input combinations and compare it to the number of actual historical invocations. Such API coverage metrics are an indicator to which extent the service has been used. Measuring API coverage is a key concern for assessing the significance of Verification and Validation (V&V) techniques; on the other hand, API coverage metrics can also yield interesting usage reports for a service-based system in production use. The coverage metrics rely on the exact specification of service interfaces, and we provide a mechanism to specify restrictions for data types in the Java Web services framework (JAX-WS). As full enumeration of all possible inputs is often infeasible, we allow the definition of custom coverage metrics by means of domain partitioning: the user divides domain ranges into subsets, and a coverage of 100% means that the logged invocations contain at least one sample for each subset. Based on a prototype implementation, we evaluate different aspects of our approach.","PeriodicalId":380234,"journal":{"name":"Principles of Engineering Service-Oriented Systems","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133957085","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}

引用次数: 3

Business process performance prediction on a tracked simulation model 跟踪仿真模型上的业务流程性能预测

Principles of Engineering Service-Oriented Systems Pub Date : 2011-05-23 DOI: 10.1145/1985394.1985402

Andrei Solomon, Marin Litoiu

引用次数: 19