【摘 要】
：
为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该
论文部分内容阅读
为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础。对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性。 更多还原
其他文献
船舶发电机组测试系统作为一个监控系统，在控制器（PLCs）和上位机（触摸屏、监控PC）之间存在大量的数据传输；采用485总线，允许的最大波特率是19200bps，且为主从式通讯，同一总线只允许一
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
<正> 美国的芯片制造技术及产品在七十年代末期以前一直处于世界领先地位,但进入八十年代以来,日本的芯片制造技术在大部份领域已超过美国,占据明显的优势。根据美国报刊最近
作为本片的主力编导,在拍摄制作的三个月的时间里,我对纪录片有了更加真实和理性的理解与认知。讲好中国故事,是五集纪录片《剧说中国》系列之《两个人的中国故事》的核心追求。本片在行进中记录,用长镜头纪实,用细节刻画人物。这部时长25分钟的纪录片通过跟踪纪实拍摄、不同时空的现场采访讲述大时代背景下小人物的一波三折的充满着梦想与追求的时代故事。《剧说中国》系列之《两个人的中国故事》,以著名编剧王小平和黑人留
本文利用跨国面板数据,实证研究生产性服务进口技术复杂度对制造业自主创新效率的影响。结果表明：生产性服务进口技术复杂度对各国制造业自主创新效率具有显著正向作用,其对发
本文从湘西古镇旅游开发研究入手,以龙山里耶为研究重点,首先,对国内外古镇旅游开发研究现状、相关理论作了概述;其次,对湘西古镇的演变、地域空间特征以及旅游文化资源进行
本文从行为公司治理理论出发,分析了历史上晋商身股制,认为晋商身股制有效的实现了代理人的自我价值,信任合作机制降低了"我执"理念。在此基础上,进一步将行为公司治理理论应
<正> 一、概述目前巴西生产信息设备和计算机的厂家共有298个,生产大容量计算机的外国厂家共有3家。到1985年,信息用户或厂家所拥有的设
法国国家科研中心(CNRS)是欧洲最大的基础研究机构,它涉及到所有的研究领域,在其所属的1300个实验室中共有5万人,其中2.6万人是科研中心的正式职员。科研中心在当今许多重大
为保证中国科学院ARP项目的顺利实施,有效控制项目实施过程中的风险,总结了项目推进过程中的主要风险和应对策略。首先介绍了中科院ARP项目的概况和一期工程的不足之处,通过