结构化操作语义相关论文
由于计算机互联网络的国际化、社会化、开放化、个性化等特点，使得它在向人们提供信息资源共享和技术共享的同时，也带来了不安全的隐......
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定......
深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作......
进程代数是刻画并发与交互式反应系统行为的重要模型之一,进程间的(互)模拟关系及其公理化以及结构化操作语义(structural operati......
UML规范本身因为描述语言的限制，所以在语义方面有其模糊和难以把握的地方。本文使用结构化操作语义．对其顺序图做了形式化的描述。......
本文针对航班正常性这一当前行业关注的热点问题,以不确定理论为基础,对航班计划性延误进行预测。计划性延误是指航班因计划飞行、......
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示（SAIR）。根据汇编指令的特点,给出SAIR的语法并详细......
随着数字通信和自动化控制等领域的高速发展和世界范围的高技术竞争加剧，人们对数字系统提出了越来越高的要求。而就目前来说，数字电......
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用......
