从时序图描述推导目标描述的方法研究  

Research of Event Trace Diagram Deducing Goals Mehtod

作　　者：李勇华[1] 毋国庆[2] 刘小丽[2] 张帆[2] 

机构地区：[1]武汉理工大学计算机学院计算机科学系,湖北武汉430063 [2]武汉大学计算机学院,湖北武汉430072

出　　处：《小型微型计算机系统》2007年第3期443-446,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金(69873035)资助;高等学校博士点专项科研基金资助

摘　　要：面向场景的需求建模方法自面世以来,在需求分析过程中被越来越广泛的使用.但是面向场景的需求分析方法在保证需求的一致性和完整性上存在着很大的困难.面向目标的需求分析方法,以目标需求为研究内容,目前已经成功的解决了需求完整性和一致性的判定问题.本文希望将场景描述转化为目标描述,然后通过保证目标的完整性和一致性来保证场景描述的完整性和一致性.因此,本文从场景的时序图描述出发,通过时序图的语义描述提出了一种时序图向操作目标集合的推导方法,并提供了判定推导等价的判定定理.Oriented scenario requirement modeling has been used more and more widely in the course of requirement since this method comes out. However, there are big difficulties in the method of oriented scenario requirement method keeping requirement correctness and completement. The method of oriented goal requirement has solved the judgement of requirement correctness and completement successfully. This thesis tries to translate scenario description into goal description, then to guarantee correctness and completement of scenario description by guaranteeing correctness and completement of goal. Therefore, this thesis raises a deduction method of event trace diagram to operational goals set through event trace diagram semantic description, and provides judgement theory of deducing equivalence.

关 键 词：场景 时序图 目标 需求分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]