化学抽象机(Chemical Abstract Machine)是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。
基于10个网页-相关网页
...m 研究方向,在软件体系结构(software architectures,SA)测试计划生成的研究中,需要从化学抽象机(chemical abstract machine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征,因此,LTS状态树生成算法是导出软件测试计划和测试...
基于6个网页-相关网页
为了 描述系统交互过程, 这里采用化学抽象机(Chemical Abstract Machine, CHAM) [5] 模型来动态模拟交互状态。
基于2个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress