A FORMAL SERVICE SPECIFICATION FOR IIOP BASED ON ISO/IEC 14752

机译：基于ISO / IEC 14752的IIOP的正式服务规范

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The Internet Inter-ORB Protocol (IIOP) supports the interworking of Object Request Brokers (ORBs) over TCP/IP. This paper creates a service specification for HOP by combining three interworking facilities identified in ISO/IEC 14752. This is formalised using Coloured Petri nets, which are used to generate the set of global primitive sequences of the IIOP service.

机译：Internet Orb InterB协议（IIOP）支持Object Request经纪人（ORB）over TCP / IP的互通。本文通过组合ISO / IEC 14752中识别的三种互通设施来创建跳跃的服务规范。这是使用彩色培养网正式化，用于生成IIOP服务的全局原始序列集。

著录项

来源
《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》|2002年||共15页
会议地点
作者
Abhishek Singh; Jonathan Billington; International Federation for Information Processing; IFIP 81;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类理论、方法;
关键词
IIOP; CORBA; ODP; coloured petri nets; service specification;

机译：IIOP;CORBA;ODP;彩色Petri网;服务规范;

相似文献

外文文献
中文文献
专利

1. An Evolutionary Method for the Formal Specification Construction of Service-Based Software [J] . Weikai Miao, Xi Wang International journal of software engineering and knowledge engineering . 2016,第4期

机译：基于服务的软件形式规范构造的进化方法
2. Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design [J] . Feldmann K., Colombo A.W. IEEE Transactions on Control Systems Technology . 1999,第6期

机译：基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范，设计和实现。I.规范和设计
3. Formal Specification of Adaptable Semantic Web Services Composition [J] . Rihab Ben Lamine, Raoudha Ben Jemaa, Ikram Amous Ben Amor International journal of information technology and web engineering . 2018,第4期

机译：自适应语义Web服务组成的正式规范
4. A FORMAL SERVICE SPECIFICATION FOR IIOP BASED ON ISO/IEC 14752 [C] . Abhishek Singh, Jonathan Billington, International Federation for Information Processing, IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems . 2002

机译：基于ISO / IEC 14752的IIOP的正式服务规范
5. Formal specification and *verification of asynchronously communicating Web services [D] . Fu, Xiang 2004

机译：异步通信Web服务的正式规范和验证
6. A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format an API and a validation method [O] . Augustin Luna, Evrim I Karac, Margot Sunshine, 2011

机译：正式交换MIM图的正式MIM规范和工具：基于XML的格式API和验证方法
7. Formal specification of an intelligent message notification service in an infostation-based mLearning System using CCA. [O] . Al-Sammarraie Mohammed, Siewe Francois, Zedan Hussein 2011

机译：使用CCA在基于信息站的mLearning系统中智能消息通知服务的正式规范。
8. Use of ISO/IEC 24727: ISO/IEC 24727 Identification Cards-Integrated Circuit Cards Programming Interfaces. Service Access Layer Interface for Identity (SAL II): Support for Development and Use of Interoperable Identity Credentials [R] . Dang, H., Ferraiolo, H., MacGregor, W., 2009

机译：使用IsO / IEC 24727：IsO / IEC 24727识别卡 - 集成电路卡编程接口。身份的服务访问层接口（saL II）：支持开发和使用可互操作的身份凭证

A FORMAL SERVICE SPECIFICATION FOR IIOP BASED ON ISO/IEC 14752

摘要

著录项

相似文献

相关主题

期刊订阅