期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Formal Semantics of OWL-S with Rewrite Logic 被引量:1
1
作者 Ning Huang Xiaojuan Wang Camilo Rocha 《Journal of Software Engineering and Applications》 2009年第1期25-33,共9页
SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Althoug... SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA. 展开更多
关键词 SOA Web Services OWL-S FORMAL SEMANTICS Rewrite LOGIC CONSISTENT TRANSFORMATION Reliability Evaluation
下载PDF
复杂网络半监督的社区发现算法研究 被引量:6
2
作者 王静红 于雅智 《计算机应用研究》 CSCD 北大核心 2018年第6期1663-1667,共5页
为提高社区发现算法的运行效率,提出了一种基于节点相似度的半监督社区发现算法——SSGN算法。充分利用先验知识must-link、cannot-link约束集合,将先验信息通过衍生规则进行扩展,并对扩展的信息通过基于距离度量的方式加以验证。采用... 为提高社区发现算法的运行效率,提出了一种基于节点相似度的半监督社区发现算法——SSGN算法。充分利用先验知识must-link、cannot-link约束集合,将先验信息通过衍生规则进行扩展,并对扩展的信息通过基于距离度量的方式加以验证。采用人工网络在UCI数据集和大型真实数据集上与真实网络进行验证,实验结果表明,基于节点相似度的半监督社区发现算法较其他半监督聚类算法更准确,也更高效。 展开更多
关键词 广义社区发现 半监督聚类 社会网络分析 相似度 Girvan-Newman(GN)
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部