机译:从写为谓词/过渡网的服务规范中导出协议规范
Graduate School of Information Science and Technology, Osaka University, 1-3 Machikaneyamacho, Toyonaka, Osaka 560-8531, Japan;
petri net; distributed system; specification; automated design;
机译:从UML状态机建模服务规范合成分布式协议规范
机译:从服务规范中合成可信赖的协议规范
机译:会话协议:用于规范和验证反应式电子服务的形式主义
机译:从LOTOS中编写的服务规范中导出协议规范
机译:由服务规范综合协议规范
机译:HL7-OMG医疗保健服务规范项目:动机方法论和可交付成果以实现语义可互操作的面向服务的医疗保健体系结构
机译:使用延长的谓词/转换网进行嵌入式实时系统的规范,分析和合成
机译:计算机通信传输协议的规范。第1卷。概述和服务。第2卷。第2类议定书。第3卷。第4类议定书