您的位置: 专家智库 > >

国家自然科学基金(60674080)

作品数:32 被引量:164H指数:6
相关作者:范玉顺杜彦华熊鹏程曾森孙红俊更多>>
相关机构:清华大学北京科技大学中国科学院更多>>
发文基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术经济管理机械工程理学更多>>

文献类型

  • 32篇中文期刊文章

领域

  • 29篇自动化与计算...
  • 2篇经济管理
  • 1篇机械工程
  • 1篇理学

主题

  • 14篇工作流
  • 4篇仿真
  • 4篇分布式
  • 4篇WEB服务
  • 3篇企业
  • 3篇网络
  • 3篇分布式工作流
  • 2篇性能分析
  • 2篇性能评价
  • 2篇语义
  • 2篇生成图
  • 2篇资源约束
  • 2篇网络服务
  • 2篇架构
  • 2篇角色
  • 2篇本体
  • 2篇WEB服务测...
  • 2篇不确定性
  • 2篇成图
  • 2篇PETRI网

机构

  • 29篇清华大学
  • 3篇北京科技大学
  • 1篇中国科学院

作者

  • 29篇范玉顺
  • 6篇杜彦华
  • 5篇熊鹏程
  • 3篇孙红俊
  • 3篇曾森
  • 2篇黄双喜
  • 2篇刘博
  • 2篇李喜彤
  • 2篇沈益民
  • 2篇曾维江
  • 1篇倪悦
  • 1篇姜峰
  • 1篇张洵
  • 1篇狄小峰
  • 1篇王伟然
  • 1篇郭剑锋

传媒

  • 10篇计算机集成制...
  • 6篇高技术通讯
  • 3篇机械工程学报
  • 2篇清华大学学报...
  • 2篇计算机应用研...
  • 2篇Tsingh...
  • 1篇系统工程理论...
  • 1篇电子学报
  • 1篇机械与电子
  • 1篇信息与控制
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇High T...

年份

  • 4篇2010
  • 7篇2009
  • 18篇2008
  • 3篇2007
32 条 记 录,以下是 1-10
排序方式:
一种柔性的文档工作流设计方法
2008年
针对工作流软件在文档处理方面的柔性不足,提出一套灵活的文档工作流设计.系统从文档的分类、版本管理、存储结构等角度,规范了文档管理在工作流系统中的应用.给出了文档管理整体实现架构和案例验证,从而将工作流系统中的文档管理功能丰富为一个完整而灵活的系统模块,填补了工作流管理系统在文档处理功能方面的缺陷,增强了工作流系统文档的柔性处理能力.
曾维江范玉顺
关键词:工作流文档管理
扩展模糊时间工作流网的建模与仿真研究被引量:5
2007年
针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述。在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法。同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法。最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性。
杜彦华范玉顺
关键词:不确定性工作流
Web服务过程建模及其逻辑正确性验证被引量:6
2008年
为研究Web服务过程的逻辑正确性及其形式化验证方法,提出一种基于着色Petri网的Web服务过程模型,给出了逻辑正确性的形式化定义。为验证其正确性,提出通信可达树的概念,借助通信可达树的某些性质来验证服务的逻辑正确性,并给出了正确性判定定理。另外,为了简化组合服务逻辑正确性的验证过程,阐述了组合服务与其子服务之间的内在关系。最后,通过一个应用实例验证了方法的可用性。
李喜彤范玉顺
关键词:WEB服务着色PETRI网
Service-Oriented Enterprise Network Performance Analysis被引量:1
2009年
The service-oriented architecture (SOA) and the model-driven architecture (MDA) have been recognized as major evolutionary steps in enterprise integration (EI) in service-oriented computing environments. Service-oriented enterprise (SOE) networks (SOEN) are emerging with the significant advances of EI, SOA, and MDA. However, the implementation and optimization of SOEN is still lacking integrated SOA, MDA, and performance analysis and optimization (PAO) methods. This paper introduces an integrated solution of SOA and MDA with a simulation-based three-stage PAO method with stage 1 being an analytic hierarchy process (AHP)-based comprehensive performance calculation for service matching and binding, stage 2 being a simulation-based comprehensive performance evaluation for business process/service composition, and stage 3 being a business process simulation-based performance optimization for SOEN. The SOE architecture, performance analysis framework, performance indicators, and performance operators are discussed. The system uses MDA as the system development philosophy, SOA as the system implementation infrastructure, and the simulation-based PAO methods to analyze and optimize the SOEN performance. A case study of the SOEN illustrates the usage of the integrated solution.
曾森黄双喜范玉顺
关键词:网络性能分析基础设施模型驱动架构
Semantic Extraction for Multi-Enterprise Business Collaboration
2009年
Semantic extraction is essential for semantic interoperability in multi-enterprise business collaboration environments.Although many studies on semantic extraction have been carried out,few have focused on how to precisely and effectively extract semantics from multiple heterogeneous data schemas.This paper presents a semi-automatic semantic extraction method based on a neutral representation format(NRF)for acquiring semantics from heterogeneous data schemas.As a unified syntax-independent model,NRF removes all the contingencies of heterogeneous data schemas from the original data environment.Conceptual extraction and keyword extraction are used to acquire the semantics from the NRF.Conceptual extraction entails constructing a conceptual model,while keyword extraction seeks to obtain the metadata.An industrial case is given to validate the approach.This method has good extensibility and flexibility.The results show that the method provides simple,accurate,and effective semantic interoperability in multi-enterprise business collaboration environments.
孙红俊范玉顺
关键词:语义提取数据环境数据模式
工作流的不确定时间建模与分析新方法被引量:3
2008年
针对现实企业中工作流时间管理的实际需求,提出了一种多过程不确定时间的建模与分析方法:首先基于扩展模糊时间工作流网(EFIWFN)对不确定性时间信息进行全面描述,然后构建生成图(sprouting graph)来表达 EFTWFN 中实例所经过的路径和时间信息,再依据生成图进行相关问题的分析计算。该方法实用性较强,能够有效推理分析资源约束情况下多过程的不确定时间问题,而且还可通过模糊时间运算,提供活动执行情况的可能性值,作为重要的参数指导用户决策或优化工作流模型。另外,生成图建立后,可针对不同问题进行多次使用,可重用性较好。该方法应用于某一制造企业并采用工具CPN Tools 进行仿真的结果验证了其有效性。
杜彦华范玉顺
关键词:资源约束生成图
业务过程执行语言流程语义标注方法研究
2009年
为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之间的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系。通过语义消歧过程,消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型。最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估。
孙红俊范玉顺
关键词:业务过程执行语言语义标注工作流
分布式工作流执行站点多目标随机决策
2010年
针对面向服务的企业(SOE)环境下工作流在分布式执行性能方面存在的不足,提出了一种基于随机决策的动态(运行时)执行站点优化方法。该方法以扩展服务工作流网,增加软约束和硬约束作为站点优化的基础,对环境的动态性和服务随机性进行分析,针对分片的四种结构,以组合服务质量最优为目标,建立多目标动态执行站点随机线性规划模型,并进行求解。应用实例验证了该方法的可用性。与现有工作相比,所提出的算法使工作流执行性能得到了明显提高,并消除了活动并行执行中存在的资源瓶颈。
孙红俊范玉顺
关键词:分布式工作流线性规划
服务环境下基于数据约束的遗留系统形式化封装被引量:3
2008年
针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础。上述方法在操作上的可行性在一个应用案例中得到了验证。
姜峰范玉顺
关键词:封装形式化
一种Web服务可信度测试方法被引量:2
2008年
在深入分析Web服务不确定性的基础上,提出一种Web服务测试方法.通过引入可信度阈值进行检验,该方法对异常候选服务具有较强的抗干扰性,能够有效测试出候选服务的可信度、每个测试用例的期望标准输出及其测试能力.该方法根据可信度对候选服务进行排序,为服务使用者选择合理的Web服务提供了重要参考依据.该方法不仅可以测试单个Web服务,还能够对组合Web服务进行测试.最后,通过测试实验验证了该方法的可行性和有效性.
李喜彤范玉顺
关键词:WEB服务测试模糊C均值算法
共4页<1234>
聚类工具0