%0 Journal Article
%T Dynamic program analysis based on partitioning and summarization<br>基于分段执行和摘要的动态程序分析*
%A FENG Hui-ning
%A <br>冯辉宁
%J 计算机应用研究
%D 2010
%I 
%X In a modular system design, the models of computation appropriate for the components usually vary. Those models of computation include finite state machine, Petri net, discrete events and event relationship graph. To provide flexibility for designers and to improve productivity, it is necessary to enable the use of different models of computations in the components, and to apply the theories of composing models of computation to construct complete models for simulation and automatic system generation. As an application, by hierarchically composing discrete events and event relationship graphs, dynamic systems that were easy to extend, modify and maintain could be created. The theories could also be applied to other models of computation, and thus exhibited their benefits in compositional designs.
%K system design
%K system dimulation
%K models of computation
%K discrete events
%K event relationship graph<br>系统设计
%K 系统仿真
%K 计算模型
%K 离散事件
%K 事件关系图
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=0CB529CD32CAD88A496075FCD4C2B6B4&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=B31275AF3241DB2D&sid=E8101C99E403BAC0&eid=72AC0867AA69EEA5&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=11