首页    期刊浏览 2024年10月07日 星期一
登录注册

文章基本信息

  • 标题: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
国家哲学社会科学文献中心版权所有