位置：成果数据库 > 期刊 > 期刊详情页
Web服务语义描述研究综述
  • ISSN号：0469-5097
  • 期刊名称：《南京大学学报：自然科学版》
  • 时间：0
  • 分类：T393.0[一般工业技术]
  • 作者机构：中国科学院计算技术研究所,北京,100080, 中国科学院研究生院,北京,100049 中国科学院计算技术研究所,北京,100080, 中国科学院数学与系统科学研究院,北京,100080
  • 相关基金：国家重点基础研究发展规划项目(973)(2002CB312004),国家自然科学重点基金(60233010),国家自然科学基金重大项目(60496324),中国科学院知识创新工程项目
作者： 王璞巍, 金芝
关键词： Web服务语义描述, 本体描述语言, 逻辑语言, 过程模型
中文摘要：

随着Internet的普及和延伸,跨平台、跨语言和松耦合的Web服务技术应运而生.它将具有执行任务能力的资源封装成Internet上的Web服务,并通过发布其形式化描述使服务能被外界发现和调用,因而服务描述是构建Web服务的基石.语义Web服务是Web服务的发展方向,实现这发展方向的落脚点则是赋予服务描述足够的语义信息.将Web服务的语义划分为静态和动态两个层次,并根据这两个层次综述了基于本体描述语言、逻辑语言和过程模型的服务语义描述方法.最后对比分析了这忖些研究成果,并展望了服务语义描述研究的未来前景.

同期刊论文项目
特定领域的非规范知识
期刊论文 52 会议论文 41 著作 3
软件的特征交互及互操作性的研究
期刊论文 95 会议论文 52 获奖 6
同项目期刊论文
Finding Largest Well-Predicted Subset of Protein Structure Models
SDesigning succinct structural alphabets
A Fragmentation Event Model for Peptide Identification by Mass Spectrometry
Finding Compact Structural Motifs
An Iterative Algorithm to Quantify Factors Influencing peptide Fragmentation during Tandem Mass Spec
Experience in aligning anatomical ontologies
基因芯片数据分析初探
Detecting DNA-binding domain from sequence and secondary structure information using kernel-based te
A new approach combined fuzzy clustering and Bayesian networks for modeling gene regulatory networks
A Merging-based Approach to Handling Inconsistency in Locally Prioritized Software Requirements
Reasoning about hybrid probabilistic knowledge bases
AI Research in China: 50 Years down the Road
生物过程的数学方法
基于遗传算法的Bayesian网结构增量学习研究
N-SHOQ(D)：描述逻辑SHOIN(D)的一个非单调扩展
An exact data mining method for finding center strings and all their instances
软件需求中矛盾处理方案的评估方法
视点合成种重叠需求的矛盾优先级处理
需求驱动的主动网构实体聚合
Modeling and Verifying Web Services Driven by Requirements: An Ontology based Approach
Beyond the Knowledge Engineering
Revisiting the Meaning of Requirements
关于软件需求中的不一致性管理
Dynamic Changes in Subgraph Preference Profiles of Crucial Transcription Factors
KemaDom: A web server for domain prediction using kernel machine with local context
关联规则挖掘的取样误差量化模型和快速估计算法
基于环境变迁的构件组合模型
A logic approach for testing requirements
A retrospective view on children Turing test
Service-Oriented Modeling: An Ontology-based Approach
非规范软件需求管理
Building Towards Capability Specifications of Web Services Based on an Environment Ontology
K-optimal rule discovery
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
From knowledge based software engineering to knowware based software engineering
NONCODE v2.0: decoding the non-coding
The Foundational Model of Anatomy in OWL: Experience and Perspectives
A Priority-based Negotiations Approach for Handling Inconsistency in Multi-perspective Software Requ
Comparing two approaches for aligning representations of anatomy
Searching similar protein under complementary and no stop codon constraints
Analysis on relationship between extreme pathways and correlated reaction sets
Fragment-HMM: A new approach to protein structure prediction
MicroRNA regulation of messenger-like noncoding RNAs: a network of mutual microRNA control
Law and order: Assessing and enforcing compliance with ontological modeling principles
目标间顺序关系的提取及其抽象方法
A PRIORITY-BASED NEGOTIATIONS APPROACH FOR HANDLING INCONSISTENCIES IN MULTI-PERSPECTIVE SOFTWARE REQUIREMENTS
Review on the study of entanglement in quantum computation speedup
Beyond Knowledge Engineering
网构软件的研究与进展,
An Online Approach to Feature
Automating Application Softwar
基于模式分析的特征交互检测
An enhanced ontology based con
Measuring Inconsistency in Req
目标间顺序关系的提取及其抽象方
On the Complete Axiomatization
基于反射式软件中间件的运行时软
一种面向软件产品家族的变化性建
Two-Dimensional Intention Stru
多范例自动需求建模和分析：一种
视点合成中重叠需求的不一致优先
基于领域知识重用的虚拟领域本体
基于中间件的软件系统中特征交互
Runtime Software Architecture
Architecting and Implementing
Is optimal solution of every N
Automatically multi-paradigm r
A Metamodel for Modeling Syste
一种以软件体系结构为中心的网构
反射中间件的研究与进展
一种面向网构软件体系结构的信任
Workflow Coordination with Pro
Performance Aware Service Pool
Establishing Recommendation Tr
Feature-Driven Requirements De
基于Agent的网构软件模型研究
构件化软件服务及其在ARTEMIS-AR
An Enhanced Algorithm for Web
Revisiting the Meaning of Requ
Automated Requirements Elicita
层次化体系结构模型扁平化的一致
Towards Software Architecture
一个开放环境中信任链发现算法的
A Systematic Approach to Compo
基于软件体系结构的反射式中间件
ABC：基于软件体系结构、面向构
一种面向特征的领域模型及其建模
软件协同中基于中介的协同模型应
An Efficient Scheme for Fault-
A Feature-Oriented Approach to
Some Research on Componentware
On the Axiomatizability of Pri
Organizational Models and Inte
Handling Non-Canonical Softwar
Path-history-based access cont
一种基于对象网的多视角软件过程模型
一种面向网构软件体系结构的信任驱动服务选取机制
Revisiting the Meaning of Requirements
基于环境变迁的构件组合模型
目标间顺序关系的提取及其抽象方法
ABC方法中体系结构风格建模的研究
软件体系结构模型单层化的一致性保障方法
一种基于Agent的高可用性网构软件自动构建方法
软件体系结构研究进展
一种互操作协议性能评估方法
一种规则驱动的网络服务组装机制
一种基于自主构件的网构软件协作框架
一种自适应软件体系结构建模及其实施方法
从需求规约到软件体系结构——一个实例研究
一个带有性能权衡的反射式中间件权限管理框架
特征模型驱动的Web Services组装方案及其工具支持
一个J2EE应用服务器的Web容器集成框架
一种支持多协议的开放互操作框架
Performance Aware Service Pool in Dependable Service Oriented Architecture
一种基于模型的特征交互检测方法
软件体系结构的属性图文法描述及其约束验证
构件化软件服务及其在Artemis—ARC系统中的应用
一种面向体系结构的软件系统自适应机制
一种分层的软件过程执行机制的研究
一个适用于网构软件的信任度量及演化模型
Mogent系统的设计、实现与应用研究
Specification and Verification for Semi-Structured Data
SCoAC：一个面向服务计算的访问控制模型
基于移动agent的信息系统应用过程审计软件的设计和实现
面向对象范型体系结构中构件行为相容性研究
一种面向动态软件体系结构的在线演化方法
Towards a Component Framework for Architecture-Based Self-Adaptive Applications
一个开放环境中信任链发现算法的设计与分析
工作流网WRIWF-net的验证方法研究及实现
Beyond Knowledge Engineering
期刊信息
  • 《南京大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:南京大学
  • 主编：龚昌德
  • 地址：南京汉口路22号南京大学（自然科学版）编辑部
  • 邮编：210093
  • 邮箱：xbnse@netra.nju.edu.cn
  • 电话：025-83592704
  • 国际标准刊号：ISSN：0469-5097
  • 国内统一刊号：ISSN：32-1169/N
  • 邮发代号:28-25
  • 获奖情况:
  • 中国自然科学核心期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:9316