您的位置： 专家智库 > >

国家重点实验室开放基金(SYSKF0804)

作品数：7 被引量：16H指数：3
相关作者：杜玉越张福新张杰栾文静焦燕廷更多>>
相关机构：山东科技大学中国科学院软件研究所东营市技术学院更多>>
发文基金：国家重点实验室开放基金国家自然科学基金山东省“泰山学者”建设工程项目更多>>
相关领域：自动化与计算机技术文化科学更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇文化科学

主题

  • 5篇PETRI网
  • 3篇工作流
  • 1篇电子商务
  • 1篇电子商务平台
  • 1篇软件开发
  • 1篇商务
  • 1篇商务平台
  • 1篇适配
  • 1篇水利
  • 1篇匹配度
  • 1篇最小割集
  • 1篇协同工作
  • 1篇协同工作流
  • 1篇联锁
  • 1篇联锁系统
  • 1篇领域本体
  • 1篇矩阵
  • 1篇库所
  • 1篇基于逻辑
  • 1篇架构

机构

  • 7篇山东科技大学
  • 6篇中国科学院软...
  • 1篇东营市技术学...

作者

  • 7篇杜玉越
  • 1篇张福新
  • 1篇栾文静
  • 1篇周月明
  • 1篇孙海春
  • 1篇孙海霞
  • 1篇李鹏
  • 1篇焦燕廷
  • 1篇张杰

传媒

  • 3篇系统仿真学报
  • 2篇山东科技大学...
  • 1篇计算机应用与...
  • 1篇计算机应用研...

年份

  • 2篇2010
  • 2篇2009
  • 3篇2008
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
基于OFBiz与J2EE的水利水电应用系统的设计被引量：4
2009年
在J2EE架构下,封装OFBiz工作流引擎的基础之上,采用表示层、业务逻辑层与持久层分离的设计模式,大大降低了模块之间以及模块内部的耦合度,同时使系统具备良好的扩展性与可维护性。从总体上给出了水利水电应用系统的设计与实现方法。
张杰杜玉越
关键词：工作流工作流系统OFBIZJ2EE架构
基于工作流网的电子商务平台建模技术研究被引量：1
2010年
建模是系统开发过程中十分重要的一步,传统的图形化建模工具,不能对系统设计的可行性作出定量的分析。提出一种新的软件建模思路,应用工作流网技术完成了对电子商务平台的建模,解决了电子商务平台业务流程与网上银行业务流程的协作问题。运用关联矩阵和状态方程,精确分析了模型的重要性质,应用Petri网模拟分析工具PN-applet,对系统模型进行了模拟运行,并评价了系统设计的可行性,对系统开发有积极的指导意义。
李鹏杜玉越孙海霞
关键词：工作流网PETRI网电子商务平台关联矩阵
一种基于领域本体的最优Web服务组合方法被引量：2
2010年
基于领域本体技术,提出了一种最优Web服务组合(OWSC)方法。将众多的服务及它们间的匹配度用树的形式表示出来,结点代表Web服务,边值表示服务匹配度。服务组合的分支汇合结构用服务组表示,将服务组简化为由两个服务组成的服务链,以便于在树中表示。树中从根结点到不同叶结点的路径表达了服务组合的选择结构,树中的关键路径(即适配度最大的路径)对应的服务组合为最优Web服务组合。该方法考虑了服务组合的顺序、选择和并发结构,而不涉及循环结构,能较好地实现Web服务的自动组合,同时选择出最优的服务组合。
焦燕廷杜玉越
关键词：领域本体WEB服务组合匹配度
改进的最小割集生成算法与联锁系统模型的安全性测试被引量：5
2009年
为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。
张福新杜玉越
关键词：联锁系统故障树分析最小割集PETRI网安全测试
基于逻辑Petri网的图书馆借阅系统的建模与分析被引量：3
2008年
随着信息化社会的发展以及图书馆规模和功能的日益强大,传统的图书管理系统已经不能满足用户的需求,所以需要对其进行改进,构建新模块,增加新功能,搭建新的图书馆自动化管理系统平台。因此,对图书馆流程的建模与分析成为图书管理系统的研究重点之一。描述了图书馆借阅系统的具体流程,建立了相应的逻辑Petri网模型,并研究了系统的某些重要性质。
栾文静杜玉越
基于Petri网的协同工作流建模与分析
2008年
为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。
周月明杜玉越
关键词：协同工作流
基于程序Petri网的新型软件开发方法研究被引量：1
2008年
从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。
孙海春杜玉越
关键词：PETRI网
全选 清除 导出
共1页<1>
聚类工具0