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

2006 Sixth International Conference on Quality Software (QSIC'06)最新文献

筛选
英文 中文
Multiagent System for Reputation--based Web Services Selection 基于信誉的Web服务选择的多代理系统
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.43
Hui Wang, Deguo Yang, YuHui Zhao, Yuan Gao
{"title":"Multiagent System for Reputation--based Web Services Selection","authors":"Hui Wang, Deguo Yang, YuHui Zhao, Yuan Gao","doi":"10.1109/QSIC.2006.43","DOIUrl":"https://doi.org/10.1109/QSIC.2006.43","url":null,"abstract":"QoS-based service selection mechanisms will play an essential role in service-oriented architectures, as e-business applications want to use services that most accurately meet their requirements. However, current techniques provide no support for actually making rational selections. In this paper, we develop a multiagent framework for QoS-based Web services selection, through a combination of the respective merits of agent and service-oriented to enables dynamic and efficient delivery of composite Web services. We present a service-oriented distributed reputation assessment algorithm as a QoS support module in the framework. We give an example application and some preliminary results","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"06 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127197040","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
A Method for Realizing Software Architecture Design 软件体系结构设计的一种实现方法
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.2
Yujian Fu, Zhijiang Dong, Xudong He
{"title":"A Method for Realizing Software Architecture Design","authors":"Yujian Fu, Zhijiang Dong, Xudong He","doi":"10.1109/QSIC.2006.2","DOIUrl":"https://doi.org/10.1109/QSIC.2006.2","url":null,"abstract":"A software architecture design provides a high-level abstraction of system topology, functionality, and/or behavior; which provides the basis for early system understanding and analysis as well as the foundation for subsequent detailed design and implementation. However, research on software architecture in the past decade primarily focused on architecture description languages and their analysis techniques and less progress was made on automatically realizing software architecture designs. In this paper, we present a method for automatically generating an implementation from a software architectural description. The implementation not only captures the functionality of the given architecture description, but also contains additional monitoring code for ensuring desirable behavior properties through run-time verification. Our method takes a software description written in SAM, a software architecture model integrating dual formal methods Petri nets and temporal logic, and generates Java code. More specifically, the structure of a SAM architecture description produces Arch-Java code the behavior models of components/connectors represented in Petri nets lead to plain Java code, and the property specifications defined in temporal logic generates Aspect J code; the above code segments are then integrated into Java code","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126130724","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
Formalizing Class Dynamic Software Updating 形式化类动态软件更新
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.30
Shi Zhang, Linpeng Huang
{"title":"Formalizing Class Dynamic Software Updating","authors":"Shi Zhang, Linpeng Huang","doi":"10.1109/QSIC.2006.30","DOIUrl":"https://doi.org/10.1109/QSIC.2006.30","url":null,"abstract":"Dynamic software updating enables running programs to be updated while executing. In this paper, a simple formal system is established with the goal of understanding the underlying foundations of updating classes, for the purpose of understanding how to best build reliable updatable programs. The update calculus is built for O-O software with a precise mathematical semantics. It is formulated as an extension of a core calculus for Featherweight Java, and supports updating technology similar to that of the programming language Java and C++. The calculus also presents what kind of update can be made dynamically. At the end of the paper, we proof that these update is type safety","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127192545","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
Probabilistic Adaptive Random Testing 概率自适应随机检验
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.48
Kwok-Ping Chan, T. Chen, D. Towey
{"title":"Probabilistic Adaptive Random Testing","authors":"Kwok-Ping Chan, T. Chen, D. Towey","doi":"10.1109/QSIC.2006.48","DOIUrl":"https://doi.org/10.1109/QSIC.2006.48","url":null,"abstract":"Adaptive random testing (ART) methods are software testing methods which are based on random testing, but which use additional mechanisms to ensure more even and widespread distributions of test cases over an input domain. Restricted random testing (RRT) is a version of ART which uses exclusion regions and restricts test case generation to outside of these regions. RRT has been found to perform very well, but its use of strict exclusion regions (from within which test cases cannot be generated) has prompted an investigation into the possibility of modifying the RRT method such that all portions of the input domain remain available for test case generation throughout the duration of the algorithm. In this paper, we present a probabilistic approach, probabilistic ART (PART), and explain two different implementations. Preliminary empirical data supporting the methods is also examined","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114282976","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}
引用次数: 8
Government R&D Programs on Software Technology 政府软件技术研发计划
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.32
Xiao-Hua Liao
{"title":"Government R&D Programs on Software Technology","authors":"Xiao-Hua Liao","doi":"10.1109/QSIC.2006.32","DOIUrl":"https://doi.org/10.1109/QSIC.2006.32","url":null,"abstract":"Summary form only given. In China, new organizational management has been structured in the R&D programs to support domestic software development during the new 11 th national five-year plan. A key national program is being launched jointly by a number of government agencies headed by the Ministry of Science and Technology. Areas include key electronic components, chipsets and infrastructure software. Objectives associated with the infrastructure software cover supports for the development and domestic replacement of essential software, such as operating system, database management system, middleware and office software. Another important one is the 863 high technology program. It set priorities in advanced computing technology, intelligence technology, network, virtual reality, information security, and so on. Industrialization aims at establishment of national and regional software parks and incubators, as well as chip design bases in various areas. Intellectual Property Rights are important goals in the software development. Strategy is given to selectively obtain critical technologies, which can be used for technology-technology exchange. Emphases are given to encourage open source software and open source community activities","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129309383","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
Viewpoints Merging via Incrementally Elicited Ranked Structures 通过递增引出的分级结构合并视点
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.68
A. Ghose, Q. Lin
{"title":"Viewpoints Merging via Incrementally Elicited Ranked Structures","authors":"A. Ghose, Q. Lin","doi":"10.1109/QSIC.2006.68","DOIUrl":"https://doi.org/10.1109/QSIC.2006.68","url":null,"abstract":"Handling inconsistent requirements specifications remains a difficult challenge for the requirements engineering community. This paper seeks to apply techniques developed in the belief merging literature within AI to this problem. The application is non-trivial, since many belief merging operations cannot be directly applied, but must be modified to make them usable in practical settings. We address the problem of merging state model viewpoints, and improve on previous work by Chechik and Easterbrook. We develop a variant of the belief merging framework developed by Meyer et al, which we refer to as the framework of incrementally elicited ranked structures. We show that viewpoint merging within this framework is relatively easy and provides meaningful results","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130611506","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}
引用次数: 8
A Quantitive Context Model of Software Process Patterns and Its Application Method 软件过程模式的定量上下文模型及其应用方法
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.4
Jia-kuan Ma, Ya-sha Wang
{"title":"A Quantitive Context Model of Software Process Patterns and Its Application Method","authors":"Jia-kuan Ma, Ya-sha Wang","doi":"10.1109/QSIC.2006.4","DOIUrl":"https://doi.org/10.1109/QSIC.2006.4","url":null,"abstract":"Defining proper process is an important way of improving software quality and development productivity. However, software process design is a common issue faced by many organizations. The introduction of process patterns provides an effective solution to the challenge. In previous studies, natural language is commonly employed to describe the context of process patterns, which not only decreases the accuracy of pattern selection made by users, but also goes against the implementation of computer aided experience extraction. Aiming at such a problem, we propose in this paper a quantitive context model of software process patterns and its corresponding application method. A concrete example is also presented in order to further illuminate our idea. In the end, we briefly introduce the relative tool support in PKUPM (PeKing University Project Management)","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131600741","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
LTL Model Checking via Search Space Partition 通过搜索空间分区来检查LTL模型
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.37
Fei Pu, Wenhui Zhang
{"title":"LTL Model Checking via Search Space Partition","authors":"Fei Pu, Wenhui Zhang","doi":"10.1109/QSIC.2006.37","DOIUrl":"https://doi.org/10.1109/QSIC.2006.37","url":null,"abstract":"The applicability of model checking is often limited by the size of the industrial system. This is known as state space explosion problem. Compositional verification has been particularly successful in this regard. This paper presents an approach based on a refinement of search space partition for reducing the complexity in verification of models with non-deterministic choices and open environment. The refinement depends on the representation of each portion of search space. Especially, search space can be refined stepwise to get better reduction. As reported in the case studies, search space partition improves the efficiency of verification with respect to the requirement of memory and obtains significant advantage over the use of the original one","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132648073","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
An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification 需求规格说明尺寸测量程序在实践中采用可能性的实证研究
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.11
Nelly Condori-Fernández, Ó. Pastor
{"title":"An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification","authors":"Nelly Condori-Fernández, Ó. Pastor","doi":"10.1109/QSIC.2006.11","DOIUrl":"https://doi.org/10.1109/QSIC.2006.11","url":null,"abstract":"Software size is one of the essential parameters of the estimation models used for project management purposes, and therefore being able to measure the size of software at an early stage of the development lifecycle is in theory of crucial importance. However, although some proposals for functional size measurement in industry do currently exist, there is as yet little validating evidence for such proposals. This paper describes an empirical study, based on the method evaluation model (MEM), of users' perceptions resulting from actual experience of use of a measurement procedure called RmFFP. This procedure was designed in accordance with the COSMIC-FFP standard method for estimating the functional size of object-oriented systems from requirements specifications obtained in the context of the OO-Method approach. In addition, an analysis of MEM relationships was also carried out using the regression analysis technique","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"16 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133616472","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
Towards A Service Requirements Ontology on Knowledge and Intention 基于知识和意图的服务需求本体研究
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.65
Lin Liu, Qiang Liu, Chi-Hung Chi, Zhi Jin, E. Yu
{"title":"Towards A Service Requirements Ontology on Knowledge and Intention","authors":"Lin Liu, Qiang Liu, Chi-Hung Chi, Zhi Jin, E. Yu","doi":"10.1109/QSIC.2006.65","DOIUrl":"https://doi.org/10.1109/QSIC.2006.65","url":null,"abstract":"This paper proposes a formalism for on-demand service selection and composition. It is based on the agent-oriented requirements modeling framework i* which can be used as a means of studying the requirements and architectural setting for service-oriented environment. We argue that a social ontology such as i* extended with a formal reasoning mechanism, offers better understanding to the social/organizational relationship in a component-based, on-demand service world. By representing explicitly the underlying assumptions, and essential factors of services, an informal requirements model in i* can automatically evolve and compose a new service on-demand with quality. Eventually, it will assist participants of an open service oriented platform such as SOA (service oriented architecture) to make rationale communication, selection, and binding decisions","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134547388","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}
引用次数: 13
首页 上一页 下一页 尾页
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学术官方微信