信息管理系统中状态控制建模研究.pdfVIP

⑨ 摘要 摘要 信息管理系统的开发己成为IT行业的重要领域之一，对各行业的发展起到 了不可替代的作用，且各行业的需求仍在不断增加，质量要求不断提高。虽已 有近四十年的发展历史，但信息管理系统仍不能像硬件一样实现流水化开发， 系统维护性难以达到令人满意的程度；除软件开发标准和规范化程度不够等因 素之外，各行业内业务逻辑的特殊性尤其是涉及多处理流程模块的复杂性问题， 也是给系统开发带来困难的主要原因之一；本文课题重在对信息系统中此类模 块的开发进行分析研究，探索一种适合多流程建模需要且系统维护性较高的开 发模型。 本文从信息管理系统的建模需求出发，综述比较当前有关流程及状态控制 的几种形式化技术，因其较好的系统动静态描述能力，选择Petri网作为新模 型的基本形式描述语言，提出了PNoST模型。在该模型中，根据状态控制模块 特点对对象O、状态s、变迁T进行了深入的定义，引入对象及其生命周期等概 念，并进行信息系统建模需求的定义及语义扩充。接着，从Petri网、面向对 象和模型本身三方面，对该模型的特性进行分析，并重点分析了该模型在提高 信息系统维护性方面的优势。 本文在讨论了使用PNOST模型建模的原则方法和建模过程之后，对几个信 息系统进行实例建模，体现PNOST模型优秀的建模表达能力。 尤其在完成新模型的定义和建模原则之后，本文重点设计了一种基于该模 型建模的应用程序开发框架：基于状态引擎的表驱动开发框架—SETDF，SETDF 中用uML语言实现引擎的程序框架类图、模型的静态o_s—T元素和动态运行的 各种控制机制，用关系数据库表的概念实现支持程序框架运行的静态描述表和 动态运行表。sETDF不仅给出了此类信息系统模块的通用开发框架，而且从程序 开发框架的层次上充分体现了系统建模较好的可控性和可维护性。 最后，文章对PN0sT模型及其建模进行了总结及展望。 关键词：信息管理系统建模，Petri网，开发框架 ⑧ AbslracI ABSTRACT MIShasbecomeoneofmost fieldin withmorc I’r，and important印plication demandiIl and ineconomic． andmofe great qualityquantity，nhelPsmakingprogress withseVeraldecadesRD isstill to Although history，itimpossibleapplyassembly MIs and liIlemethodin attainsatisnedmain￡enaIlce．That’sdue developmenl system tothe ofeachbusiness somemodulethatiIlVolves specialty paniculafly complicated focusessuchkind doresearch on ofmodulein and processes．