期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于Web应用的SCXML到自动机的转换
1
作者 张东方 沈云付 《计算机工程与设计》 CSCD 北大核心 2010年第20期4385-4388,4433,共5页
为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模... 为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础。对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性。 展开更多
关键词 WEB应用 状态图扩展标记语言 有限状态自动机 模型检查 形式验证
在线阅读 下载PDF
基于状态图转形式化B模型的安全苛求系统开发方法 被引量:1
2
作者 赵大地 王恪铭 《计算机工程》 CAS CSCD 北大核心 2024年第11期173-186,共14页
形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法... 形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法,从而结合状态图的易用性降低在安全苛求软件系统开发过程中使用形式化方法的复杂度。该转译方法分为映射规则、同步语义和程序实现3个部分,以保证自动转译后的模型自身含义与基础语义不变。在平交道口控制系统开发案例分析中,该方法根据图元模型自动生成了对应形式化模型,通过对形式化模型的分析改进系统在功能安全、数据安全、隐藏分支3个方面的非安全因素,并保证从需求至模型的一致性,证明了该方法可降低形式化方法建模难度,提高软件系统的正确性、可靠性与安全性。 展开更多
关键词 软件功能安全 形式化方法 模型转化 scxml状态图 B方法
在线阅读 下载PDF
基于Harel状态机的高校IP语音答疑系统设计 被引量:2
3
作者 黄强 蒋合领 《制造业自动化》 北大核心 2011年第3期213-215,共3页
根据WEB呼叫中心的概念,对构成软交互的IP呼叫中心的核心内容IP-CTI状态机进行研究,在参考有限状态机进行呼叫处理流程设计的基础上提出使用Harel状态机理论和SCXML控制标记语言来进行高校IP语音呼叫中心答疑系统的流程设计并实现了一... 根据WEB呼叫中心的概念,对构成软交互的IP呼叫中心的核心内容IP-CTI状态机进行研究,在参考有限状态机进行呼叫处理流程设计的基础上提出使用Harel状态机理论和SCXML控制标记语言来进行高校IP语音呼叫中心答疑系统的流程设计并实现了一个具体的IP语音呼叫系统流程设计。 展开更多
关键词 scxml Harel状态机 IP-CTI
在线阅读 下载PDF
Multi Agent Systems for Fault States Diagnostics and Equipment and Process Management of Yogurt Ripening Tank 被引量:1
4
作者 Pavel Burian 《Journal of Chemistry and Chemical Engineering》 2011年第2期182-193,共12页
It is impossible to plan in advance unpredictable phenomena at monitoring, diagnosis and control of industrial batch and continuous equipment and processes such as chemical composition of the raw materials, the proces... It is impossible to plan in advance unpredictable phenomena at monitoring, diagnosis and control of industrial batch and continuous equipment and processes such as chemical composition of the raw materials, the process leads to unexpected reactions and changes its parameters, etc. The agent is active, a program entity, has its own ideas how to perform the tasks of the own agenda. Agents perceive, behave "reasonably", communicate with other agents. Agents can represent equipment and operations in batch processes as recommended by the ISA $88. Jadex system is based on Java language and on FIPA org. recommendations. The description of ripening tank T406 and recipe for yogurt production in the holding of MADETA Corp. in the Czech Rep. It is described modeling and displaying of"normal" and error, fault unit state of the ripening tank. Agents are within the Jadex system and describing the behavior of ripening tank T406 with state diagrams-automata and assist in diagnosing of fault states. States are described in XML language-SCXML (State Charts XML). Jadex Control Center-JCC represents a major access point to use for operating in real time. 展开更多
关键词 Multi Agent Systems UML scxml Jadex Java.
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部