四川省应用基础研究计划项目(08ZA029)
- 作品数：3 被引量：3H指数：1
- 相关作者：陈晓亮陈东宋文更多>>
- 相关机构：西华大学更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网B/S体系架构的在线评测系统建模与验证被引量：2
- 2009年
- 在线评测系统可以看作网络环境下,实现动态事务处理的一个有代表性的系统。针对传统的软件设计建模方案很难兼顾系统静态结构的描述和动态行为的分析,采用P/T网构建了一类B/S架构的在线评测系统层次模型。根据系统功能,提出了保证系统功能正确性应具有的重要性质,继而用S_不变量对其进行了分析、验证。
- 陈晓亮宋文陈东
- 关键词：PETRI网在线评测B/S架构
- 信道复用的发送-接收问题的建模与应用
- 2008年
- 发送-接收(S-R)问题可以看作处理共享通道的一个有代表性的问题。考虑多用户的通信系统,通过构造不同通信用户组轮转使用双向信道的策略,给出了一个实用性较强,复用信道的Petri网模型。基于改进的模型,利用带抑制弧的增广Petri网构建了一类适合处理数据交换事务的交换网络系统模型。最后对模型进行了验证。
- 陈晓亮宋文陈东
- 关键词：PETRI网信道复用
- 基于Petri网的网上商城订单处理模拟与验证被引量：1
- 2008年
- 用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S?不变量给出订单后台处理模型的验证。
- 陈东宋文陈晓亮
- 关键词：订单处理
