欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
针对会话类E-Service的会话完整性对环境提出的更多限制以及由此导致的行为差异，给出了对接口环境的严格定义和接口兼容检查的精确算法．在应用上，由于接口兼容的组合算法COMP可以得到组合接口自动机，通过计算COMP（COMP（A1，…，COMP（AN-1，AN）））可以保证最终的组合结果是协议兼容的．
英文摘要：
Session-oriented Electronic Service （E-Service）＇s observable behavior presents a defined choreography of messages, characterized in terms of temporal and logical dependencies among the exchanged messages, as well as a ＂start＂ and an ＂end＂ in the message sequence. An automata based formalism interface model is presented to capture the temporal aspect of message flow. The formalism supports automatic verification of interface compatibility which can be regard as type system for interface interaction. The interface compatibility check focuses on the more constraint that interfaces will put on environment due to integration of E-Service, and the strict definition of environment behavior and the precise algorithm named COMP. The COMP outputs a composite interface model which can be used to assist（dynamic） composer to ensure the correctness of composition in term of protocol compatibility.
同期刊论文项目
同项目期刊论文
期刊信息
位置：