国家教育部博士点基金(99-018-411703)
- 作品数：3 被引量：6H指数：2
- 相关作者：李文军周晓聪李师贤马建更多>>
- 相关机构：中山大学香港城市大学南京大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 动态优先系统及其应用
- 2001年
- 优先关系是并发系统控制的重要手段 ,常用于解决并发系统设计中的冲突问题 .在有界 P/ T系统的基础上提出一种动态优先系统 ,并分别给出它们的交错语义与真并发语义 .动态优先系统既可以作为并发与分布式系统的建模工具 ,也可以作为定义程序设计语言中优先算子的语义基础 .最后 ,基于动态优先系统的概念 ,为
- 李文军周晓聪李师贤
- 关键词：并发模型PETRI网程序设计语言
- 动态优先系统及其Petri网语义被引量：3
- 2001年
- 优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变迁 ,并对非安全系统的某些变迁进行分解 ,根据 (Σ,D)构造相应的 Petri网 ΣD.最后利用步序列证明了 ΣD 在不破坏动态优先结构 D的规格说明约束的前提下 ,尽可能地保持了 Σ的并发语义 .
- 李文军周晓聪李师贤马建
- 关键词：并发模型形式语义程序设计语言
- 并发模型的范畴论方法被引量：3
- 2000年
- 范畴论是一种通用概念框架，可作为软件工程的理论基础．介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例．
- 李文军周晓聪李师贤
- 关键词：并发模型范畴论
