【摘 要】
：
基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言（WSDL）在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑（TLA）语言的
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系,东南大学计算机科学与工程学院
论文部分内容阅读
基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言（WSDL）在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑（TLA）语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。
其他文献
农业是立国之本。2015年，我国粮食产量实现了新中国成立以来首次连续十二年增长，但依然无法满足日益增长的粮食需求量；此外，为了追求更高的粮食产量，过量使用化肥农药成为农业生产
研究了多视角聚类问题，由于多视角聚类考虑到每个样本在多个视角的信息后进行聚类，并利用了更多的有效信息，因而较单视角聚类算法更优。目前绝大多数多视角聚类算法在聚类过程中
针对当前需要对海量的文本数据进行分类和用于训练的带标记的文本数据非常匮乏这两个问题，结合半监督的朴素贝叶斯分类算法和Map—Reduce编程模型，提出了一种新型的并行化的半
基于数据包络分析量化的企业经营效率，以我国2008年～2014年沪深两市非金融类上市公司为样本对企业内部控制质量对其经营效率的影响进行实证分析。结果显示：上市公司的内部控制质
企业财务审计工作的难度大,影响着企业的发展,受新企业会计准则的影响,需要优化审计工作的方法。基于此,本文将阐述新企业会计准则的相关内容,分析新企业会计准则对企业财务
由于概率维的存在，使得准确高效地处理不确定数据的Top-k查询成为一个急需解决的难题。提出了一种利用控制关系分析（dominate relationship analysis，DRA）的不确定数据Top-k尼查
目的总结显微镜下单鼻孔经蝶入路切除垂体腺瘤手术经验。方法16例垂体瘤患者采用显微镜下单鼻孔经蝶入路切除垂体腺瘤,观察手术效果和并发症。结果术后随访,MRI显示肿瘤全切