本课题来源于陕西省自然科学基金项目《信息系统的形式化开发方法研究》，本人主要承担该项目前期需求分析建模方法的研究和实现。众所周知，对问题域的正确认识是软件开发的首要前提，面对千差万别的用户要求，如何能够快捷、准确的获取系统的需求并建立起无歧义的、完整的需求模型已成为软件开发中的核心问题。传统的需求分析方法，存在需求获取交流困难和分析建模周期过长两大难点。要有效地解决这两大难点，最根本途径只有改进和完善现有的软件开发方法，提高需求分析的形式化和工程化水平，规范软件开发过程，采用标准化的表示方法有效地促进软件设计、开发和测试人员的相互理解。本课题的研究目标主要是在分析现代制造企业信息管理特点的基础上，针对软件需求分析阶段的难点，通过将形式化方法和构件技术相结合，提出一套较完整的、适应我国制造企业MIS系统开发的、高效率、高质量的基于构件的形式化需求分析方法，并在此方法的理论指导下，开发出一个基于构件的形式化需求分析实验平台。