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

QASBA 2013最新文献

筛选
英文 中文
Conformance testing for quality assurance of clustering architectures 用于集群架构质量保证的一致性测试
QASBA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489300.2489338
Afef Jmal Maâlej, Zeineb Ben Makhlouf, M. Krichen, M. Jmaiel
{"title":"Conformance testing for quality assurance of clustering architectures","authors":"Afef Jmal Maâlej, Zeineb Ben Makhlouf, M. Krichen, M. Jmaiel","doi":"10.1145/2489300.2489338","DOIUrl":"https://doi.org/10.1145/2489300.2489338","url":null,"abstract":"Given the scalability of load balancing based architectures, it is increasingly necessary to develop appropriate quality assurance methodologies and techniques, of which Testing is widely adopted and used one. This paper describes a distributed platform for checking the conformance between real functioning of a given load balancer and its specified requirements. Our solution is based on Timed Automata as model for testing supported load balancing algorithms. This paper also shows a novel prototype tool support, LBACT, implemented for quality assurance of load balancing based architectures. Finally, we illustrate our contribution in the context of BPEL clustering mechanisms.","PeriodicalId":238140,"journal":{"name":"QASBA 2013","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130596142","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}
引用次数: 4
Runtime testing framework for improving quality in dynamic service-based systems 用于提高动态服务系统质量的运行时测试框架
QASBA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489300.2489335
Mariam Lahami, M. Krichen, M. Jmaiel
{"title":"Runtime testing framework for improving quality in dynamic service-based systems","authors":"Mariam Lahami, M. Krichen, M. Jmaiel","doi":"10.1145/2489300.2489335","DOIUrl":"https://doi.org/10.1145/2489300.2489335","url":null,"abstract":"Service-based systems are operating in dynamic environments characterized by continual changes such as requirement evolution, service crash or service unavailability. In this context, improving the quality of these systems after such evolution is highly demanded. With the aim of checking their behaviors at runtime and detecting faults introduced after dynamic changes, a runtime testing approach is applied. An effective Runtime Testing Framework For Adaptable and Distributed Systems called RTF4ADS is then proposed. This framework is conceived in order to reduce runtime testing side effects as timing and resource usage costs, interference risks while improving its fault finding capabilities. To show the relevance of RTF4ADS prototype, a case study in the healthcare domain implemented in the OSGi platform is given.","PeriodicalId":238140,"journal":{"name":"QASBA 2013","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131587894","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
Verification of variable service orchestrations using model checking 使用模型检查验证可变服务编排
QASBA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489300.2489337
Selma Suloglu, Riza Aktunc, Mustafa Yucefaydali
{"title":"Verification of variable service orchestrations using model checking","authors":"Selma Suloglu, Riza Aktunc, Mustafa Yucefaydali","doi":"10.1145/2489300.2489337","DOIUrl":"https://doi.org/10.1145/2489300.2489337","url":null,"abstract":"Service orchestrations as architectural specifications specify collaborating services and the way they interoperate via information exchange. Some orchestration specifications, which describe the behavior of service-oriented systems, support variability in order to provide flexibility and to increase reusability of services. VxBPEL is one of these specifications, incorporating variability based on COVAMOF model by adaption of BPEL specification. In variable-intensive service systems such as VxBPEL orchestrations, verification is a costly and complex task due to having to check consistency of all possible orchestrations. To fulfill the need to formally verify variable orchestrations, a step by step transformation approach is proposed to apply model checking using Feature Transition Systems (FTS). This paper introduces transformation from VxBPEL to FTS model and produces required feature model of the variable orchestration and its fPromela specification.","PeriodicalId":238140,"journal":{"name":"QASBA 2013","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126812828","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
Towards a quality modelling language for component-based systems (QML/CS) 面向基于组件的系统的高质量建模语言(QML/CS)
QASBA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489300.2489332
Abdulrahman Alreshidi, S. Zschaler, P. McBurney
{"title":"Towards a quality modelling language for component-based systems (QML/CS)","authors":"Abdulrahman Alreshidi, S. Zschaler, P. McBurney","doi":"10.1145/2489300.2489332","DOIUrl":"https://doi.org/10.1145/2489300.2489332","url":null,"abstract":"In the model-based development context, meta-model-based languages are dened and implemented, either in the general domain or for specic domains. Creating a new meta-model requires integration and the ability to maintain consistency throughout the various aspects of the models. QML/CS does not have a well-dened specication in terms of modelling non-functional properties of component-based software; in fact it provides an overview of what QML/CS could look like [12]. There is a recognised need for a re- ned quality modelling language for component-based systems (QML/CS); one way of achieving this is by dening a meta-model and its semantics. This research aims to dene and build a meta-model of QML/CS, which can be used to produce a well-dened specication that species the nonfunctional properties of component-based software. In this paper, the challenges QML/CS brings due to some special properties found in this type of language are discussed. In addition, the techniques that are available and can be applied to address the challenges are identied.","PeriodicalId":238140,"journal":{"name":"QASBA 2013","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123448620","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}
引用次数: 1
Safe substitution for service-based applications 安全替代基于服务的应用程序
QASBA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489300.2489336
S. Nakajima
{"title":"Safe substitution for service-based applications","authors":"S. Nakajima","doi":"10.1145/2489300.2489336","DOIUrl":"https://doi.org/10.1145/2489300.2489336","url":null,"abstract":"In order to have desired levels of flexibility, service-based applications (SBAs) are dynamically adapted to replace constituent software services at runtime. These services are owned, provided, and developed by third parties, which makes it difficult to know whether such service components introduce undesirable features into the SBA. It requires a new method to ensure that the replacement or substitution is safe. This paper proposes an integrity-based substitution checking method and uses an adaptive Web application as an example for demonstrating the effectiveness of the proposed approach.","PeriodicalId":238140,"journal":{"name":"QASBA 2013","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131618044","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
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学术官方微信