发布求助
文献互助 智能选刊 最新文献

Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)最新文献

筛选
英文 中文
An automated approach to robustness testing of BPEL orchestrations 对BPEL编排进行健壮性测试的自动化方法
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139108
S. Ilieva, D. Manova, Ilina Manova, Cesare Bartolini, A. Bertolino, F. Lonetti
{"title":"An automated approach to robustness testing of BPEL orchestrations","authors":"S. Ilieva, D. Manova, Ilina Manova, Cesare Bartolini, A. Bertolino, F. Lonetti","doi":"10.1109/SOSE.2011.6139108","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139108","url":null,"abstract":"Service compositions are increasingly used for the fast development of loosely-coupled dynamic distributed applications. Such compositions are prone to potential failures arising from their complex interaction scheme and from various kinds of network problems. Functional testing could overlook such failures, hence we claim it is important to specifically consider test cases for validating how the composite service reacts when invalid or unexpected events occur. We have developed the TASSA framework for automated generation and execution of robustness test cases. The framework addresses BPEL orchestrations and relies on fault-injection mechanisms. In the paper we motivate BPEL robustness testing, introduce the framework and present its preliminary assessment on a case study.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114648545","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}
引用次数: 10
A high-level model-checking tool for verifying service agreements 用于验证服务协议的高级模型检查工具
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139120
Abubkr Abdelsadiq, Carlos Molina-Jiménez, S. Shrivastava
{"title":"A high-level model-checking tool for verifying service agreements","authors":"Abubkr Abdelsadiq, Carlos Molina-Jiménez, S. Shrivastava","doi":"10.1109/SOSE.2011.6139120","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139120","url":null,"abstract":"In a cloud computing environment, both the client and the provider need assurances that service interactions are in accordance with the service agreement (contract). It should be possible to encode a contract as a set of executable business policies that can be evaluated by either party for controlling service interactions. Naturally, it is important to verify the correctness properties of such a contract before its deployment. To this end, the paper adopts the use of model-checking techniques. A high-level model-checking tool has been developed that enables a designer to encode a contract for model checking directly as event-condition-action rules in terms of contract entities: business operations, role players with their rights, obligations and prohibitions. This not only simplifies the task of model building but also, the designer can specify the correctness requirements, in linear temporal logic, directly in terms of the contract entities. The tool has been implemented by extending the PROMELA language of the SPIN model checker.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125963762","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}
引用次数: 16
An optimization process for adaptation space exploration of service-oriented applications 面向服务应用适应空间探索的优化过程
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139103
R. Mirandola, P. Potena, P. Scandurra
{"title":"An optimization process for adaptation space exploration of service-oriented applications","authors":"R. Mirandola, P. Potena, P. Scandurra","doi":"10.1109/SOSE.2011.6139103","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139103","url":null,"abstract":"This paper proposes an automatic optimization process for adaptation space exploration of service-oriented applications based on trade-offs between functional and extra-functional requirements. The optimization method combines both meta-heuristic search techniques and the use of functional/extra-functional patterns (i.e., architectural design patterns and tactics). Moreover, the proposed approach relies on the standard Service-oriented Component Architecture (SCA) for heterogeneous service assembly and its runtime platforms.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124775000","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
Unifying domain ontology with agent-oriented modeling of services 统一领域本体和面向代理的服务建模
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139090
Zhi Jin, Hong Zhu
{"title":"Unifying domain ontology with agent-oriented modeling of services","authors":"Zhi Jin, Hong Zhu","doi":"10.1109/SOSE.2011.6139090","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139090","url":null,"abstract":"Modeling plays a crucial role in model-driven development of service-oriented systems. This paper proposes a framework for service-oriented modeling that combines an agent-oriented software development methodology with an ontology-based domain analysis technique. It aims at improving the dynamic composability of services at requirements and design stages through modeling. The framework consists of an architectural structure of service models and a process of modeling. The architecture combines agent-oriented models of software systems in which service providers and requesters are regarded as autonomous entities (and called agents), and domain ontology, which specifies the entities in the application domain and their dynamic behaviors. The domain ontology extends classic ontology by including causal and symbolic entities as well as autonomous entities. The approach is illustrated by an example of online auction service.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124804051","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}
引用次数: 2
Building high-speed roads: Improving performance of SOAP processing for cloud services 建设高速公路:改进云服务的SOAP处理性能
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139094
Huang Liu, Xudong Liu, Jianxin Li, Yongwang Zhao, Zhuqing Li
{"title":"Building high-speed roads: Improving performance of SOAP processing for cloud services","authors":"Huang Liu, Xudong Liu, Jianxin Li, Yongwang Zhao, Zhuqing Li","doi":"10.1109/SOSE.2011.6139094","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139094","url":null,"abstract":"With the advent of cloud computing, more services should be delivered from a cloud or datacenter to clients via Internet. Web Services has many mature specifications and has become a popular mode to support cloud application. However, the performance has been a key character to guarantee the quality of remote service in a cloud. In particular, the Simple Object Access Protocol (SOAP), being based on Extensible Markup Language (XML), inherits not only the advantages of XML, but its relatively poor performance. This makes SOAP a poor choice for many high-performance Web Services. Experiments have shown that the XML parsing, formatting and type mapping are the primary performance bottlenecks of SOAP processing. In this paper, we proposed a new high-performance SOAP processing architecture named HiSOAP which is based on several techniques such as on-demand building, delayed-databinding and adaptable services invoking mechanism. HiSOAP has the benefits of reducing XML object model, saving memory and eliminating Java reflection. We have implemented the SOAP engine HiSOAPprototype, and the experimental results show that the delayed-databinding and eliminated-reflection techniques improve the performance of SOAP processing dramatically, and it out-performances Axis2, especially in the complex compound data types of Web Service.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133115140","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
Model-based testing of web service compositions 基于模型的web服务组合测试
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139107
F. Belli, A. T. Endo, Michael Linschulte, A. Simão
{"title":"Model-based testing of web service compositions","authors":"F. Belli, A. T. Endo, Michael Linschulte, A. Simão","doi":"10.1109/SOSE.2011.6139107","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139107","url":null,"abstract":"The use of web services integrated in different applications, especially the composition of services, brings challenges for testing due to their complex interactions. In this paper, we propose an event-based approach to test web service compositions. The approach is based on event sequence graphs which we extend by facilities to consider the specific features of web service compositions. An enterprise service bus component supports the test case execution. A case study, based on a commercial web application, demonstrates the feasibility of the approach and analyzes its characteristics. The results of empirical work suggest that the approach is a promising candidate to reach a high level of confidence and reliability.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"29 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114136342","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
Adapting user interface of service-oriented rich client to mobile phones 面向服务的富客户端用户界面适配手机
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139102
Gang Huang, Daimeng Wang
{"title":"Adapting user interface of service-oriented rich client to mobile phones","authors":"Gang Huang, Daimeng Wang","doi":"10.1109/SOSE.2011.6139102","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139102","url":null,"abstract":"For better user experience, more and more primitive or composite web services are presented to end users as rich clients in web browsers. However, such service-oriented rich clients cannot work well on a mobile phone mainly because of its small screen size. And then a simplified user interface for mobile phones has to be developed by the service providers, which brings extra development cost and usually decreases user experience. In this paper, we propose an approach to automatically adapting the user interface of service-oriented rich client to mobile phones. Compared to the traditional static web pages, those of rich clients are generated dynamically and changed due to user actions. Our approach analyzes the DOM tree, splits it into a set of sub tree, each of which is suitable for the target screen size, and generates the dynamic navigation interface among those sub trees. 20 most popular rich clients are evaluated, in which 60% are well adapted, 25% are acceptable and 15% are failed because their user interfaces are too large for the small screen and even the experts cannot adapt them well by hand.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134072137","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}
引用次数: 5
Decoupling variability management in multi-tenant SaaS applications 多租户SaaS应用程序中的解耦可变性管理
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139117
A. Ghaddar, D. Tamzalit, Ali Assaf
{"title":"Decoupling variability management in multi-tenant SaaS applications","authors":"A. Ghaddar, D. Tamzalit, Ali Assaf","doi":"10.1109/SOSE.2011.6139117","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139117","url":null,"abstract":"Variability represents an important challenge in multi-tenant SaaS applications. In fact, even if multi-tenancy realizes SaaS providers dream of having a single maintained software instance serving multiple customers (tenants) for common functionality, variations in tenants needs and their specific requirements at many places of the application bring providers back to the real world. They face an additional design concern: supporting application variability on a pertenant basis. In this paper, we focus on such variability concern and try to reduce its complexity by decoupling its management through different application layers. We rely on a two-steps decoupling approach: the first step consists of representing application variations as an explicit variability model while the second step consists of choosing the must appropriate application layer(s) to manage each variation. Our approach is illustrated by relying on a case study from the food industry.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134316962","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}
引用次数: 9
Service-orientation in computing curriculum 计算机课程的服务导向
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139100
Yinong Chen, W. Tsai
{"title":"Service-orientation in computing curriculum","authors":"Yinong Chen, W. Tsai","doi":"10.1109/SOSE.2011.6139100","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139100","url":null,"abstract":"Web software development and cloud computing based on Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC) represent the modern software engineering theories, practices, and technologies. As an architecture-driven computing paradigm, SOA and SOC are mature and are becoming the major paradigm for software development. SOA and SOC should be taught in all computer science and computer engineering programs. We do not suggest using SOC to replace the currently taught Object-Oriented Computing (OOC) paradigm. As SOC is based on OOC, we suggest to teaching SOC as the continuation and extension of OOC. At Arizona State University, SOA and SOC paradigm is incorporated into our Computing Science and Software Engineering programs since 2006. This paper presents the topics of the related courses and the open resources created for the courses, which are available for public accesses, including textbooks, lecture presentation slides, tests and assignments, software tools, a repository of sample services and applications, and tutorials of using tools and the cloud computing environment for service hosting and deployment.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117008220","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}
引用次数: 2
Event driven architecture modelling and simulation 事件驱动的体系结构建模和仿真
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) Pub Date : 2011-12-12 DOI: 10.1109/SOSE.2011.6139091
T. Clark, B. Barn
{"title":"Event driven architecture modelling and simulation","authors":"T. Clark, B. Barn","doi":"10.1109/SOSE.2011.6139091","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139091","url":null,"abstract":"Enterprise Architecture (EA) Modelling aims to analyze an organization in terms of its components, IT systems and business processes. Current modelling approaches are based on Service Oriented Architecture (SOA) whereby components publish interfaces of operations that are used via message passing. It has been argued that SOA leads to tight coupling between components and does not handle complex component interactions, with resulting maintenance difficulties. Event Driven Architecture (EDA) is an alternative strategy, based on listening for events, that is designed to address SOA shortcomings. However, there are no EA modelling technologies based on EDA. This paper reviews EA, SOA and EDA, identifies EDA characteristic features and proposes modelling and simulation technologies that are introduced through a simple case study.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115673034","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}
引用次数: 23
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信