国家杰出青年科学基金(60603090)
- 作品数：2 被引量：10H指数：2
- 相关作者：马炳先徐颖蕾杜玉越更多>>
- 相关机构：济南大学山东财政学院中国科学院软件研究所更多>>
- 发文基金：博士科研启动基金国家杰出青年科学基金山东省优秀中青年科学家科研奖励基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 动态描述逻辑动作间关系的Petri网分析方法研究被引量：6
- 2007年
- 针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.
- 马炳先徐颖蕾
- 关键词：描述逻辑动态描述逻辑PETRI网
- OWL-S服务操作语义的Petri网描述新方法被引量：4
- 2007年
- 提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。
- 马炳先杜玉越
- 关键词：OWL-S操作语义动态描述逻辑PETRI网
