论文摘要
信息化已成为现代制造企业提高其核心竞争力必不可少的途径。但由于缺乏对系统建模等的关注,往往造成信息孤岛、不能准确获取和表达系统需求等大量问题。信息系统模型是为了解软件系统,经过抽象得到的对于软件某个或某些方面进行的描述,通过科学化、规范化、图形化的方式为复杂信息系统设计、开发、实施过程中面临的相关问题提供解决问题的框架。本文在对比分析IDEF、UML、Petri网三种常用建模方法的优缺点和适用范围的基础上,提出了基于IDEF、UML和Petri网相融合的大型集成信息系统IUP建模方法。该方法综合了IDEF方法进行需求建模语义精确和容易理解、UML方法面向对象设计及对软件设计支持良好、Petri网方法具有动态分析能力的特性,模型内容全面,方法连贯性好,为复杂系统建模提供了一套切实可行的建模方法。根据IUP方法内部模型转换的需求,对IDEF、UML与Petri网进行了形式化定义研究,详细分析了IDEF、UML与Petri网建模之间的映射规则,并提出了可行的形式化的转换规则,对提高模型转换的正确性、高效性,减少模型转换的语义丢失有重要意义。依据B／S／D模式,采用Oracle 10g作为数据库,Oracle 10g Application Service作为应用程序服务器,Oracle Forms Developer做为编程开发工具,Oracle Reports Developer作为报表开发工具,编程实现了华锡集团资产管理系统的备件管理和系统维护部分。系统在华锡集团经过实际应用检验,达到了备件管理工作全过程受控、提高备件采购的准确率和实时性、降低备件库存量、消耗量和采购费用等设计目标,获得了好评。
论文目录
摘要ABSTRACT第一章 绪论1.1 研究背景及意义1.2 系统建模方法国内外研究现状1.2.1 传统系统建模方法研究现状1.2.2 IDEF及Petri网方法相关理论1.2.3 集成建模方法及映射规则的研究现状1.3 本文的组织结构1.4 本章小结第二章 IUP建模方法及映射规则研究2.1 IUP建模方法2.1.1 IUP模型视图分类2.1.2 IUP方法建模步骤2.1.3 IUP模型内部映射关系2.2 IDEF、UML及Petri网的形式化研究2.2.1 IDEF0模型的形式化定义2.2.2 IDEF3模型的形式化定义2.2.3 IDEF1x模型的形式化定义2.2.4 UML模型的形式化定义2.2.5 Petri网的形式化定义2.3 IDEF模型至UML模型的映射规则研究2.3.1 IDEF模型例子2.3.2 UML包图的映射规则2.3.3 UML用例图的映射规则2.3.4 UML类图的映射规则2.3.5 UML活动图的映射规则2.3.6 UML状态图的映射规则2.3.7 UML顺序图和协作图的映射规则2.4 IDEF模型至Petri网的映射规则研究2.4.1 IDEF0模型至Petri网的映射规则2.4.2 IDEF3模型至Petri网的映射规则2.5 UML模型至Petri网的映射规则研究2.5.1 UML活动图至Petri网模型的映射规则2.5.2 UML状态图至Petri网模型的映射规则2.5.3 UML顺序图和协作图至Petri网模型的映射规则2.6 本章小结第三章 IUP方法在华锡集团资产管理系统建模中的应用3.1 系统需求分析3.1.1 备件管理子系统需求分析3.1.2 系统维护子系统需求分析3.2 需求建模3.2.1 IDEF0功能模型3.2.2 IDEF3过程模型3.2.3 IDEF1x信息模型3.2.4 Petri网模型3.3 初步设计3.3.1 用例模型3.3.2 细化用例3.3.3 分析类设计3.4 详细设计3.4.1 审核操作流程的详细设计3.4.2 类的详细设计3.5 本章小结第四章 华锡集团资产管理系统的编程实现与应用实例4.1 系统平台的体系结构4.2 数据库、应用层、前端开发工具等的选择4.2.1 数据库的选型4.2.2 前端开发工具4.2.3 应用程序服务器4.3 数据库的实现4.4 系统编程实现与应用实例4.4.1 UML模型与编程实现的关系4.4.2 备件月计划4.4.3 系统登录4.4.4 业务权限设置4.4.5 其他功能4.5 系统在广西华锡集团的实施及应用效果4.5.1 系统实施步骤4.5.2 系统实际应用效果4.6 本章小结第五章 总结与展望5.1 本文完成的工作5.2 进一步研究工作展望参考文献致谢攻读学位期间主要的研究成果目录一、作者在攻读硕士学位期间参与的项目二、作者在攻读硕士学位期间发表的论文
相关论文文献
标签：系统建模论文; 映射规则论文;
