一种基于有限自动机的软件工作流开发模型.docx

一种基于有限自动机的软件工作流开发模型敖丽敏，!王树大!郭永洪4（中国农业大学信息与电气工程学院，北京%4）（!东北电力学院信息工程系，吉林4!!）（4中国农业大学经济管理学院，北京%4）567189：1:97;!4$=(3摘要软件开发模型很多，基于’()的三层结构的软件设计开发模型的关键是要考虑它的并发性。文章提出了一种基于有限自动机的’()软件开发模型。该模型对有限自动机进行了扩充；将扩充后的有限自动机转换成为分层状态图；根据分层状态图转换成为多功能视图；在此基础上进行软件开发。利用这个开发模型可以方便地进行需求分析和描述；只需开发子服务组件或模块，便可进行软件开发、系统扩充以及后来的系统重构。关键词 软件开发模型 有限自动机 软件工作流 分层状态图重构文章编号!6%446（!#）!%6!%6#文献标识码中图分类号?@4!#$#%’()*+,#%-./-012.#3.4-%1526#,7()(0#!80920()!:(9();，32)*/=8,28?)*=)*@（/:99(A(:0B=0:C7138:=1=D59(23C82195=A8=((C8=A，/E8=1AC82F93FC19G=8H(CI83J，,(8K8=A%4）（!L(M1C37(=3:0B=0:C7138:=5=A8=((C8=A，N:C3E(1I3/E8=1B=I383F3(:059(23C82@:O(C5=A8=((C8=A，P898=4!!）（4/:99(A(:052:=:782Q1=1A(7(=3，/E8=1AC82F93FC19G=8H(CI83J，,(8K8=A%4）!A60.2B0：?E(C(1C(71=J7:D(9I:0I:03O1C(D(H(9:M8=A$?E(R(J3:I:03O1C(D(H(9:M7(=37:D(9:03EC((6E8(C1C2EJI3CF23FC()1I(D:=O()8I3:2:=I8D(C83I2:=2FCC(=2J$R8=D:0O()7:D(9I:0I:03O1C(D(H(9:M8=A)1I(D:=08=83(1FS3:7138:=8I8=3C:DF2(D8=3E8IM1M(C$?E(7:D(9(T3(=DI08=83(1F3:7138:=，2:=H(C3I3E((T3(=D(D08=83(1F3:7138:=8=3:E8S(C1C2E8219I313(2E1C3I，3E(=8=3:7F9380F=238:=H8(OI；122:CD8=A3:OE82EI:03O1C(D(H(9:M7(=38IMC:2(II(D$B32:=H(S=8(=2(IC(UF8C(1=19JI8I1=DD(I2C8M38:=O83E3E(7:D(9，OE82E:=9J=((DI3:(I31)98IEI(M1C13(2:7M:=(=3:CIF)7:DSF9(I0:CI:03O1C(D(H(9:M7(=3，IJI3(7(T3(=I8:=1=DIF)I(UF(=3IJI3(7C(0123:C8=A$C#D1.,6：7:D(9:0I:03D(H(9:M8=A，08=83(1F3:7138:=，I:03O1C(O:CR09:O，E8(C1C2E8219I313(2E1C3I，C(0123:C8=A引言在智能’()系统的开发过程中，需求分析的描述方式很多。企业软件工作流子系统在信息系统中占有一定的数量。基于规则和属性的层次状态机模型是文献*+中一种用于研制开发嵌入式实时系统需求定义的描述模型。文章将这种模型扩展并改进，用于,-.方式的企业软件工作流问题的设计方案描述和后来的开发模型。该模型描述了网络中的并发软件工作流程。作为描述模型这种图示描述的方式概念清晰很容易被用户理解，作为开发模型又可以很方便地转换成等价的多功能视图。在多功能视图下，开发一个职能-服务型事件驱动软件工作流程序模型系统的程序框架。这是一个可重用的软件模块。在这个框架下，面向多功能视图进行系统的模块或组件开发，之后快速完成整体系统的整合。随着网络技术的发展，企业问题解决方案由原来的/-.方式转向,-.方式是一个趋势。企业的快速发展，使企业管理时常发生变化。由此而带来的是’()软件生命周期的短暂，软件改造不可避免。开发可重用的软件模块，构建好的开发模式，能为开发人员提供一个快速开发的环境，同时也为系统改造提供方便和保障。利用这个开发模型不仅可以方便地进行需求分析和描述；而且只需开发独立子服务组件或模块，便可进行软件开发、系统扩充以及后来的系统重构。在人工智能领域，行为推理中最重要的问题是如何描述动态系统，以及如何进行推理*!+。典型的描述动态系统的方法是引进一个取值随系统进化而改变的“事实”（0123）集合，以及定义行为对“事实”的影响函数，以方便描述由执行特定的动作引起的状态