抽象状态机相关论文
基于抽象状态机(Abstract State Machines，ASM)的建模与测试方法，能将Web服务编排设计中的错误尽可能消灭在开发阶段的早期．为简化建......
本文研究的重点是SDL的形式语义定义方法，在分析SDL-88和SDL-2000语义定义方法的基础上提一种改进的SDL-2000形式语义的方法。另一......
抽象状态机(Abstract State Machines,ASM)的基本思想可以追溯到上个世纪80年代.ASM的发明者Yuri Gurevich从数学领域转到计算机领......
当今的网格研究集中在网格建设、网格系统软件和应用开发上，对于网格使用模型的研究还很少涉及。本文结合网格中心战中传感器网格和......
网络结构的复杂性、提供服务的丰富性、系统间的交互性的不断提高对网络协议的快速开发、正确性和性能提出了更高的要求。这促使了......
随着智能信息化时代的到来，在日常生活中人们更多的关注与吃、住、行相关的服务信息，因此，智能设备就成为人们随时随地获得这些服务的......
以往的互操作机制没有确切地规定业务处理任务的行为,既使业务处理难以准确地进行任务指派,又难以满足Web上异构和分布的应用程序......
介绍了抽象状态机(ASM)，建立了基于这种形式化方法的协议描述于验证的环境，并建立了一般意义上的入侵者模型.作为应用实例，给出了Hels......
利用抽象状态机（ASM），形式化描述了共享网络中实时任务接纳控制机制，提出了实时任务可执行概率设计过程的ASM模型，利用Spec Explorer给......
如何在开放、动态、复杂的Internet环境下开发网构软件是软件技术领域一个挑战性课题。从网构软件整个生命周期入手,对网构软件的......
提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精......
为了真正实现web上异构、分布的应用程序间的语义互操作，提出了一套有效的互操作机制．该机制用抽象状态机模型化的服务交互接口和服......
随着计算机技术应用的日益普及和不断深入，软件系统的规模和复杂性急剧增大，软件在越来越多的系统中成为主要的使能部件．在航空航天、......
以往的互操作机制没有确切地规定业务处理任务的行为，既使业务处理难以准确地进行任务指派，又难以满足Web上异构和分布的应用程序间......
用户如何方便有效地使用网格是网格界面和使用模式研究的一个关键问题，用户3A使用网格，即Any time，Any place，and on Any device，体现了......
基于可执行规范的实现-测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期.其理论基础是抽象状态机ASM,实现工具是支持.NET......
Verifying the accuracy of interlocking tables for railway signalling systems using abstract state ma
铁路交通系统是设计方法和技术被国际标准定义以便把可能的风险归结为可接受的最小的水平的一个批评扇区。CENELEC 50128 强烈在确......
以往的服务接口模型没有规定业务伙伴任务的内部行为，这使业务处理难以准确地进行任务指派，也难以实现服务的按需组合以及业务处理模......
P2P是构筑于互联网的大规模分布计算协议，采用形式化方法对P2P协议的本质原理进行分析，将有助于P2P协议的优化和改进。本文采用抽象......
使用抽象状态机模型（ASM）对Verilog的语义进行研究，给出各类赋值语句和延迟／事件挖制结构的形式定义。以此为基础与VHDL进行对比，说明各......
介绍了SDL-2000形式语义的理论基础抽象状态机(ASM),深入分析了SDL-2000形式语义,其中静态语义使用一阶谓词演算定义,动态语义使用......
提出直接用基本Abstract State Machine定义Specification and Description Language静态语义的形式方法,其主要特点是: 语法域中......
提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工......
Internet的出现和普及使计算机软件开发、部署、运行和维护的环境开始从封闭、静态、可控逐步走向开放、动态、难控。单纯的面向对......
为了使运行在网格上的提供连续服务的长周期运行的应用能适应用户需求的变化,以及适应网格环境的动态变化,同时由于经济或安全性的......
随着软件开发技术的发展,软件越来越复杂,人们对软件的需求也越来越多,软件是否是按需求开发,能否正确有效的运行,成为软件开发者......
