基于Petri网的非集中式电子商务平台建模与仿真

随着Internet的普及和网络安全性的提高,电子商务得到了迅速的发展.为了更好地满足网络环境下电子交易发展的需求,详细分析了电子商务的业务流程,设计了一个具有交易约束机制的电子商务系统框架.首先,基于Petri网这一建模分析工具,建立了电子商务系统业务流程的Petri模型,并设计了有界Petri网可达树生成算法,用于分析所设计的电子商务系统Petri网模型的性质;然后,运用Petri网系统动态仿真工具--CPNTools,对所设计的电子商务系统模型进行了仿真运行,并分析了实验结果.从静态和动态两个方面检验了所设计的电子商务平台框架的可行性,该框架可以用来指导下一步的系统开发工作.     

基于UML的业务流程模型分析方法研究

基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。     

基于PI演算的CRM系统的业务流程建模

解决了应用PI演算对CRM(客户关系管理)进行业务流程建模的问题.对业务流程建模的常用方法UML(标准的图形化建模语言)和Petri网进行比较,得出PI演算是最适合业务流程建模的工具;应用PI演算对CRM系统的一个例子进行业务流程建模并解决了CRM系统建模中的数据冲突问题;应用PI演算验证工具MwB(移动工作平台)进行所建模型的验证,在模型检验过程中,应用deadlocks和step命令模拟、跟踪系统的每一步交互过程.     

电子商务中制造商模式的Petri网建模

Pertri网是一种强有力的建模工具。它能够自动地表示状态随着时间的变化,也可以对实体间的联系和相互作用建模。本文论述了利用Petri网对电子商务的建模和分析。把一个电子商务模型转换成Petri网模型,就可以利用Petri网的建模优势来分析一个电子商务模型的性能,更好地从模型概念层次上验证电子商务模型在实现过程中的动态行为。     

基于WfPN的业务流程重组

工作流管理技术在企业的业务流程重组和业务流程自动化中扮演重要角色。它提供了一系列工具来建立、分析、仿真和实施业务流程,按照工作流管理联盟的规范自主开发了AutoFlow工作流管理系统,其中工作流建模方法是整个系统的核心基础。在此,提出了一种基于Petri网的工作流建模理论－WfPN模型,并描述如何将业务流程映射成WfPN(workflow Petri net)模型,WfPN可以作为工作流系统流程建模的理论基础,为业务流程的自动化和BPR的计算机实施铺平道路。     

Petri网基本模型、子类分析及应用

作为一种图形化和数学化的建摸工具，Petri网为系统分析和设计提供了便利。但Petri网网建模时通常要用Petri网的予类对模型做各种限制。本文对Petri网的基本模型、子类作了介绍和分析，对系统建模和分析有一定的指导作用。     

基于Petri网的情境感知系统建模与仿真*

情境感知系统对情境信息的利用程度在不断提高,对服务的多样性提出了更高要求,但是传统的情境感知系统的建模方法难以满足对系统动态描述和模拟的需求。通过对传统的Petri网进行扩展,提出了情境感知系统的赋时着色Petri网模型;并结合仿真工具CPN Tools对模型进行模拟和验证,进而发现系统设计中存在的潜在不足,对其优化改进。以痴呆老人智能辅助系统为例,证明了该方法的有效性。     

基于链表遍历模式的TCPN映射算法研究

对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网.针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法.重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例.     

CPN原理及其在人工智能中的应用

Petri网理论是由联邦德国的Carl Adam Petri于１９９２年在其博士论文中提出的一种建模方法。最初的网理论称为条件／事件网（ＣＥ－nets).在随后的几年中,人们对新的网模型、网的基本概念有分析方法等进行了大量的研究。其中最有影响的是位置／变迁网（PT－nets),PT-nets后来命名为Petri网（Petri Net)。这些早期的网模型在理论上都归结为基本网（EN－nets)。这些早期的网模型在理论上都归结为基本网（EN－nets)。研究者通过对PT－nets进行了扩展,在风中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求,并在此基础上形成了比CE－nets和PT－nets更加通过化的高级网（High-level Nets)理论。最早的高级网是谓词／变迁网（PrT-nets),此后又产生了广义随机Petri网（GSPN）、着色Petri网（CPN）等较有影响的建模方法。CPN是由丹麦的Jensen Kurt于1981年在Petri网基础上定义的一种高级网系统。CPN理论不仅在描述系统静态模型方面进行了完备的形式化定义,例如支持在网模型中标记（token)的类型定义、模型的全程时钟、建立分层子模型等,而且对系统模拟的动态行为的仿真分析也具有形式化定义和描述。此外在Linux、Solaris和MacOS等多种平台上都有CPN的建模分析工具。利用CPN的建模工具,可以建立描述系统的CPN静态模型,还可以对系统模型的动态行为进行仿真,分析系统的分布、并发、同步异步等特性,以及建立系统模型的状态空间并分析系统模型中的活性问题、可达性问题等。     

电子商务中供应链的Petri网建模

文章论述了电子商务中供应链事物流程和Petri网的建模方法,Petri网是一种强有力的工具,作者通过一个电子商务供应链的概念模型,将它转换成为一个等价的Petri网模型,从中分析电子商务中供应链模型的性质,更好地从概念模型层次上验证电子商务的供应链在实现过程中的动态仿真.     

基于on-the-fly的Petri网模型检查技术研究与实现

Petri网是一种应用非常广泛的建模工具,它能深刻、简洁地描述控制系统,特别是能较好地描述并发系统的结构,并能对系统的动态性质进行分析。在探讨了Petri网的模型检查的基础上,采用双DFS算法,对基于Petri网的模型检查的算法进行了改进,提出了针对Petri网的on-the-fly算法,同时给出了基于on-the-fly的Petri网模型检查的实现和测试,从而可以有效地对Petri网表示的系统模型进行模型检查。     

基于UML活动图和Petri网电子政务工作流建模研究

通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。     

Towards a web services and intelligent agents-based negotiation system for B2B eCommerce

With the explosive growth of the number of transactions conducted via electronic channels, there is a pressing need for the development of intelligent support tools to improve the degree and sophistication of automation for eCommerce. With reference to the BBT business model, negotiation is one of key steps for B2B eCommerce. Nevertheless, classical negotiation models are ineffective for supporting multi-agent multi-issue negotiations often encountered in eBusiness environment. The first contribution of this paper is the exploitation of Web services and intelligent agent techniques for the design and development of a distributed service discovery and negotiation system to streamline B2B eCommerce. In addition, an effective and efficient integrative negotiation mechanism is developed to conduct multi-party multi-issue negotiations for B2B eCommerce. Finally, an empirical study is conducted to evaluate our intelligent agents-based negotiation mechanism and to compare the negotiation performance of our software agents with that of their human counterparts. Our research work opens the door to the development of the next generation of intelligent system solutions to support B2B eCommerce.     

eCommerce adoption in developing countries: a model and instrument

Several studies of eCommerce in developing countries have emphasized the influence of contextual impediments related to economic, technological, legal, and financial infrastructure as major determinants of eCommerce adoption. Despite operating under such constraints, some organizations in developing countries are pursuing the eCommerce agenda while others are not. However, our understanding of what drives eCommerce among businesses in developing countries is limited by the absence of rigorous research that covers issues beyond contextual imperatives. This paper discusses a holistic and theoretically constructed model that identifies the relevant contextual and organizational factors that might affect eCommerce adoption in developing countries. It provides a research-ready instrument whose properties were validated in a survey of 150 businesses from South Africa. The instrument can be used as a decision tool to locate, measure, and manage some of the risk of adopting eCommerce. Implications of the study are outlined; they indicate a need to consider eCommerce, micro, meso, and macro issues in understanding the adoption of eCommerce in developing countries.     

基于Petri网的IPv4到IPv6协议转换分析

应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。     

基于Petri网的面向方面用况建模研究

将现有的在面向对象领域中的一些比较成熟的技术使用到面向方面领域是一个重要的研究方向.提出在需求分析时通过UML的扩展机制来进行面向方面的用况建模方法,阐述如何应用Petri网来对面向方面用况模型进行形式化,以增加用况模型的语义约束.通过一个在线外汇交易平台系统的建模实例,详细说明基于Petri网的面向方面用况建模方法,最后应用这种方法在需求分析阶段方便、有效地产生测试用例.实践证明,基于Petri网的面向方面用况建模方法取得了良好的效果.     

基于MESSAGE和JADE的Agent开发方法研究

针对面向Agent软件工程方法在实际工作中的某些不足,以MESSAGE(软件Agent系统工程方法学)的建模概念和建模语言为基础,扩展了现有Agent软件工程分析和设计阶段的内容.以JADE为实现平台,将JADE中的相关术语与MESSAGE的建模概念通过一种映射进行有效转化,从而提出了一个系统和完整的Agent软件开发过程,给出企业战略合理性诊断系统,并证实该方法可以应用于现实的软件开发中.     

.NET平台下信息系统的集成设计与应用

基于实际应用，主要探讨了．net平台下信息系统集成的三个问题：asp信息系统与asp．net信息系统之间的集成；使用不同编程语言开发的asp．net信息系统之间的集成；基于不同数据库的系统权限控制的集成。设计了具体的解决方案并给出了实现的具体方法和技术。     

The rise of cyberinfrastructure and grand challenges for eCommerce

Advances in ICT have enabled the transformation of commerce into eCommerce. The eCommerce revolution is well under way, but what grand challenges are on the horizon? This paper extrapolates from the past to understand the forces that shape the future. It focuses on cyberinfrastructure growing out of the Cold War and highlights the role of government, Big Science and of the National Science Foundation in that story. Big Science and eCommerce will continue to shape Web activities and to react to advances in ICT. Both are involved in the co-evolution of physical, social, organizational, economic and legal factors and face analogous issues arising from similarly disruptive transformations, though the manifestations of these transformations differ in their surface features. Each may lead in addressing a particular issue at a given time, but can learn from the other. Finally, this paper identifies three Extreme Grand Challenges for Big Science and eCommerce that represent important steps toward an even brighter future for both.     

基于工厂建模的冶金质量模型

描述一种基于工厂建模的冶金质量模型,其核心是以建模的方式创建冶金行业的物理工厂、生产工序、冶金产品等行业库。针对每种钢铁产品,以质量建模的方式关联具体的各类工艺要求,目的是既要保证产品质量稳定,又要保证产品符合标准和用户特殊要求。这种模型提升了冶金制造执行系统(MES系统)中产品规范和冶金规范的管理模式,形成了一套可供积累和扩充的行业库以及模型化的"桌面动态工厂",从而使工厂的生产过程更透明、更可控,可配置性更强,为冶金企业高效生产、提高核心竞争力提供设计思路和平台支撑。