文章基本信息

标题：FORMAL METHODS OF NON-FUNCTIONAL CONFLICT RESOLUTION FOR NETWORKED SOFTWARE TO SOLVE TRAFFIC TRAVEL COSTS
本地全文：下载
作者：LIU SHAO-HAI ; WU JIN- ZHAO， AN NA
期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2013
卷号：52
期号：2
出版社：Journal of Theoretical and Applied
摘要：The products of Networked Software must meet customers' business needs in addition to features other than the functional requirements, non-functional characteristics. In order to ensure the system performance, reliability, maintainability and scalability, it is necessary that non-functional conflict digestion method to be optimized so that the higher the efficiency of the implementation of Networked Software. Based on the Non-functional Requirement Conflict Management Meta-model, takes formal description of the modeling elements, and gives the definition of requirement semantic conflict as the foundation of checking requirement conflict. Provide a resolution method for conflict elimination. As the example of calculation traffic travel costs service nonfunctional requirements in tourism travel field, it verifies the effectiveness of this method.
关键词：Networked Software; Requirement Engineering; Non-Functional Requirement; Formal Methods; Conflict Detection; Conflict Elimination