信息化已成为现代制造企业提高其核心竞争力必不可少的途径。但由于缺乏对系统建模等的关注,往往造成信息孤岛、不能准确获取和表达系统需求等大量问题。信息系统模型是为了解软件系统,经过抽象得到的对于软件某个或某些方面进行的描述,通过科学化、规范化、图形化的方式为复杂信息系统设计、开发、实施过程中面临的相关问题提供解决问题的框架。本文在对比分析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作为报表开发工具,编程实现了华锡集团资产管理系统的备件管理和系统维护部分。系统在华锡集团经过实际应用检验,达到了备件管理工作全过程受控、提高备件采购的准确率和实时性、降低备件库存量、消耗量和采购费用等设计目标,获得了好评。