针对Web服务的组合与验证问题，在范畴理论描述框架的基础上，引入进程代数描述服务组件的外部行为，为Web服务
2018-01-09 15:14
形式化工程方法，是以软件形式化方法理论为基础，以系统化的工程方法引导工业界工程人员构建高质量的软件模型，用以引导后续的代码编写和相关测试分析。并选取了工业实际场景中的某
2023-03-24 11:01
该文针对电信业务领域用户需求多样化的实际情况，将互联网领域语义Web 服务模型进行完善，提出了基于
2009-11-20 16:49
本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型
2018-01-09 11:00
由于系统的巨大规模，操作系统设计和实现的正确性很难用传统的方法进行描述和验证．在汇编层形式化地对系统模块的功能语义进行建
2018-01-05 14:45
一种服务网络拓扑结构的形式化描述方法_陈鹏
2017-03-14 17:10
本文提出一种基于 CAN 协议的P2P 网络模型的语义web 服务的发现机制,采用OWL-S对web
2009-09-18 10:32
传统Web服务采用简单分类和关键字的服务发现方法,造成查准率与查全率低。语义Web
2010-02-25 16:03
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化方法的要求。为此，结合
2022-06-10 10:49
针对用户身份标识在身份认证机制中的安全问题，提出一种隐藏身份标识的身分认证方案，用户毋需提交身份标识即可与服务器实现身份认证，并采用形式化的SVO逻辑语言分析该协
2009-04-20 09:34
