一种基于资源约束的工作流建模及分析方法

资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.     

基于家态的多事务工作流完整性分析

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.     

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

工作流建模技术综述

工作流管理是目前企业管理领域的一个研究热点,而工作流建模是工作流技术在应用过程中必须解决的一个关键.现有工作流建模技术已经在很多领域得到应用,但仍然存在一些问题,在分布式、柔性和自动化程度等方面尚存在着不足,这将成为制约电子商务、企业资源规划等管理系统应用的瓶颈.寻求一些新的方法来解决工作流的建模问题已成为一个具有重要意义的研究课题.介绍了工作流建模技术及其发展现状、存在的问题、最新发展以及展望.     

工作流挖掘中隐含任务的探究

文章首先分析工作流网中隐含任务可能出现的情况,基于α算法,提出在噪声环境下能发现隐含任务的改进α算法。该算法利用依赖/频率表确定日志中任务间依赖关系并判断是否存在隐含任务,向工作流网中添加隐含任务,通过对隐含任务合并、去冗操作完善工作流网。最后,用一个案例对改进算法进行验证。     

基于Petri网动态工作流在OA系统中的应用

介绍了工作流技术,分析传统工作流模型不能根据实际情况进行动态改变的缺点,在此基础上,提出了一种支持流程动态修改的工作流,主要实现了过程模型的动态修改。针对请假流程,用Petri网建模,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示了动态工作流的具体实现方法。     

基于J2EE的电子商务开发模型研究

随着网络的普及和发展,电子商务在当前的网络时代扮演着越来越重要的角色.电子商务从最初的静态电子商务已经发展到今天的动态电子商务.利用J2EE构建企业的开发平台,能在较短的周期内迅速开发出企业的各种应用程序.现介绍了J2EE体系结构,对J2EE体系结进行分析,提出并实现了基于J2EE的电子商务开发模型的电子商务系统,可有效解决电子商务系统中存在的性能和可维护性等问题.     

IT infrastructure Construction： Based on Competitive Advantage

Information technology （IT） infrastructure is the foundation of information sharing, storage, and processing upon which the entire business depends and it changes not only inner organizational structures but also outer competitive conditions. An IT infrastructure that possesses elements unique to a particular organization and difficult to duplicate can produce competitive advantage. To achieve this advantage, not only the inner integration of technology, personnel and business process in a firm is needed, but also a platform for electronic commerce is required. The purpose of this study is to establish the whole concept framework for IT infrastructure, based on competitive advantage, and to propose ideas about the construction of IT infrastructure system.     

An Attack Modeling Based on Colored Petri Net

1 Attack Modeling A typical attack contains the following elements: 1) Objects attacked. These objects belong to the victims or can be regarded as public resource, such as networking bandwidth. 2) Attacker. These objects contain the hacker’s information, attacking tools and other states of attacker. 3) Attack processes. The stages of an attack and attack processes are used to depict the attacking action. 4) Control actions. These actions can be classified into response actions and defensiv…     

基于Petri网建模的Web型MIS系统的研究

文中提出了基于MVC架构的web型信息管理流程模型,并通过定义的模型五元组来描述各层之间数据传递的关系和结果．给出了基于MVC架构的web型MIS系统Petri网建模基本步骤,为web型MIS系统的业务流程的分析、验证与优化提供了理论依据．以井冈山大学科研管理信息系统为例,讨论了Petri网理论在建模中的应用,实验结果表明采用Petri网理论对科研管理信息系统建模是可行且有效的．     

数字签名技术在电子商务中的应用研究

基于数字签名技术的电子商务安全解决方案,可以实现电子商务系统中信息传递的保密性、完整性、认证性和不可否认性等要求,有效防止了各种电子商务中的安全隐患。丈中从数字签名的原理、功能和实现方法等方面探讨了数字签名技术在电子商务中的应用情况,并对数字签名技术在电子商务中的发展前景进行了展望。     

加快中国电子商务发展的途径

电子商务正在发展为商务活动的主要模式。但中国的电子商务尚存在着相关的法律法规不完善。电子商务的成本偏高，企业管理模式的改革滞后等问题。需要通过政府创造发展电子商务的条件．企业要加快信息化建设的速度。加快培养电子商务人才等途径来推动电子商务的发展。     

浅谈计算机在电子商务中的应用

计算机技术产业的发展带动全球化商务时代的发展,计算机利用网络用户的平台,对数据信息进行快速发展和提高,将信息产业、电子技术、全球用户联系到仪器,实现电子网络化商务平台的构建.这种网络化上的商业平台可以大大的提高商务价值,实现全球化的购买.各级政府认识到电子商务的重要性,针对电子支付方式进行开发和研究,制定合理的法律法规管理制度,逐步完善电子商务的管理水平,提高计算机在电子商务的应用价值.本文将针对计算机电子商务的应用标准内容进行分析,研究电子商务发展与计算机之间的关系,利用计算机、因特网实现全球化的电子商务发展.     

基于Petri网的RFID中间件中复合事件检测研究

探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定义和事件检测的若干关键问题.基于有色网定义了RFID事件流检测网系统作为RFID事件检测模型的描述工具.给出了事件检测模型的构造规则.根据检测模型的网结构特征对具有复杂层次的复合事件的可检测性进行了分析.     

基于HBase的电子商务系统设计

电子商务作为现代商业运营的一种重要模式,其商业战略地位也越来越重要。为了更好的满足电子商务系统存储、处理大规模的数据。该文以HBase为数据存储模块,进行一种B/S模式的面向LED行业的电子商务系统开发设计。