2014 IEEE 7th International Conference on Service-Oriented Computing and Applications最新文献

筛选

英文中文

The Post-Theoretic Enterprise: A Service-Oriented View 后理论企业:一个面向服务的视角

2014 IEEE 7th International Conference on Service-Oriented Computing and Applications Pub Date : 2014-11-17 DOI: 10.1109/SOCA.2014.59

A. Ghose, K. Dam

引用次数: 0

The Weighted Decision Matrix: Tracking Design Decisions in Service Compositions 加权决策矩阵:跟踪服务组合中的设计决策

2014 IEEE 7th International Conference on Service-Oriented Computing and Applications Pub Date : 2014-11-01 DOI: 10.1109/SOCA.2014.55

Alexandra Mazak, Bernhard Kratzwald

{"title":"The Weighted Decision Matrix: Tracking Design Decisions in Service Compositions","authors":"Alexandra Mazak, Bernhard Kratzwald","doi":"10.1109/SOCA.2014.55","DOIUrl":"https://doi.org/10.1109/SOCA.2014.55","url":null,"abstract":"Often, there is a lack of efficient procedures in order to identify design errors when transforming customer requirements into servic-oriented solution. A well-established approach supporting this kind of transformation in classical requirements engineering is the traceability matrix which allows tracing the coverage of customer requirements by system components in general, or services in particular. The matrix shows which services realize which customer requirements. However, the matrix does not show the relevance of a service in order to meet a certain quality aspect (e.g. Security, usability, maintainability, etc.). Since this information is not explicitly covered, it is the system designer who has to keep this knowledge in mind when designing an appropriate set of services that build the overall system. Unfortunately, stakeholders not involved in the design decisions, e.g. Customers, Project managers and developers, have a hard time to understand the significance of the coverage of customer requirements by services in order to meet desired quality aspects. This may cause misinterpretations especially in the early stages of the service system development life-cycle. In this paper, we present a heuristic-based approach to continually monitor and control design decisions and their effects on certain quality aspects. This approach extends the traceability matrix by a weighted decision-matrix.","PeriodicalId":138805,"journal":{"name":"2014 IEEE 7th International Conference on Service-Oriented Computing and Applications","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129751644","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}

引用次数: 0

Offline Trace Checking of Quantitative Properties of Service-Based Applications 基于服务的应用定量属性的离线跟踪检测

2014 IEEE 7th International Conference on Service-Oriented Computing and Applications Pub Date : 2014-09-16 DOI: 10.1109/SOCA.2014.14

D. Bianculli, C. Ghezzi, S. Krstic, P. S. Pietro

{"title":"Offline Trace Checking of Quantitative Properties of Service-Based Applications","authors":"D. Bianculli, C. Ghezzi, S. Krstic, P. S. Pietro","doi":"10.1109/SOCA.2014.14","DOIUrl":"https://doi.org/10.1109/SOCA.2014.14","url":null,"abstract":"Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each partner service, as well as effective techniques to verify these attributes. In previous work, we identified the most common specification patterns related to provisioning service-based applications and developed an expressive specification language (SOLOIST) that supports them. SOLOIST is an extension of metric temporal logic with aggregate temporal modalities that can be used to write quantitative temporal properties. In this paper we address the problem of performing offline checking of service execution traces against quantitative requirements specifications written in SOLOIST. We present a translation of SOLOIST into CLTLB (D), a variant of linear temporal logic, and reduce the trace checking of SOLOIST to bounded satisfiability checking of CLTLB (D), which is supported by ZOT, an SMT-based verification toolkit. We detail the results of applying the proposed offline trace checking procedure to different types of traces, and compare its performance with previous work.","PeriodicalId":138805,"journal":{"name":"2014 IEEE 7th International Conference on Service-Oriented Computing and Applications","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127027823","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}

引用次数: 6

首页上一页