%0 Journal Article %T 基于可执行模型的体系结构验证评估方法 %A 罗爱民 %J 计算机科学 %D 2010 %I %X 信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率.基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法.分析基于可执行模型的体系结构验证评估的特点,提出该方法的评估过程和评估内容.提出基于对象Petri网的可执行模型构建方法,并通过实例说明该方法的可行性. %K 体系结构 %K 可执行模型 %K 评估 %K Petri网 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=0B9CFF3FD92505F45089BF408CC7E707&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=5D311CA918CA9A03&sid=E39A3F4E3A67639B&eid=E42CAFB11D4BE21A&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8