摘要
在软件开发过程中，人们越来越清楚地认识到软件需求工程(以下简称需求工程)是软件生产自动化的关键环节，在传统的软件需求过程中，在需求阶段会涉及很多不同的参与人员，他们对需求的看法不同，表达方式不同，人们需要采用新的需求工程方法来解决这些问题。提出了面向多视点的需求工程方法，采用视点形式获取和组织不同用户需求，把系统需求划分成为多个视点需求。
本文主要介绍了视点及多视点中视点模板中的视点描述部分，运用视点模板用物资管理系统中两个不同观察角度的人来说明视点描述可以用多种方法。UML用例图，数据转换图(DFD)，Z语言。本文主要工作将形式化方法Z语言运用在视点模板中的视点描述，结合物资管理系统实例，给出了物资管理系统的Z语言定义描述和模式，包括采购部门，需用计划，计划人员，新建计划，添加新建计划，及如何找到被审批的计划。为了便于集成不同风格的需求描述模式和检测多需求模型或规约，本文基于视点代理概念，实现了如何将物资管理系统依据视点代理依据规则自主将状态转换图转化成中间元语言。
通过对视点模板，视点描述语言，视点代理的研究，可以得出多视点在实际应用中更能高效率的表达用户的需求，从而形成更完善的需求规格说明书，结合形式化的方法更能够运用数学方法的表述和研究应用。同时对于中间语言的研究是把不同风格的需求描述模式的语法和语义有机的结合到一起，从而有利于多需求模型或规约的集成或者检测。
In the software development process, It is increasingly clear understanding of the n-eeds of software engineering is the key of automation software. In traditional software requirement process, it is very hard to maintain a perfect specification by using traditional requirements engineering in requirements analysis for large software system.
This paper introduces Viewpoint, multiple viewpoints and the ViewPoint template description, using templates to view material management system in the perspective of two different people to illustrate the description of the viewpoint can be described using a variety of methods. UML use case diagram, data conversion diagram (DFD), Z language. This paper will use formal methods Z language in the Viewpoint template description, with examples of material management system, which is given Z language descriptions of definitions and modalities, including procure-ment departments, required plan, new schemes, add new programs and how to find the plan was approved. In order to facilitate the integration of different styles and models describing the requirement model, introducing a concept, viewpoint agent, and acting viewpoint based on the concept of how to view material management system based on rule-based independent agents will be transformed into a state of intermediate language.
The research of the Viewpoint template, the Description Language View, Viewpoint agent, we can arrive at more practical viewpoint in more efficient application of user needs, thereby creating demand for better specifications manuals, and the combination of formal methods, the method can be applied mathematical formulation and application. For intermediate language study is the different styles of requirement model describes the syntax and semantics combined with organic, and thus more conducive to the specification or requirement model of integration or testing.
引文
[1] Ian Sommerville Pete Sawyer著．赵云耘，叶恩等译．需求工程．机械工业出版社，2003，23-56
[2] 张海潘．软件工程．人民邮电出版社，出版年，2002
[3] Bashar Nuseibeh Jeff Kramer Anthony Finkelstein.Expressing the Relationships Between Multiple Views in Requirements Specification.Proceedings of 15th International Conference on Software Engineering,Baltimore,USA, 1993,1-10
[4] 何炎祥，黄浩，李超，张戈，石莉．基于多视点的需求工程方法．计算机科学，2000，2：1-3
[5] 涂卫平，文贵华，丁月华，范崇贵．创新设计中的多视点需求分析方法．计算机应用与研究，2003，(1)：1-2
[6] 魏炜，毋国庆．基于ViewPointAgent的新型需求描述模型．计算机工程与设计，2005，(7)：1-2
[7] 毋国庆，喻超，梁正平．基于多视点代理的集成语言及其模型的研究．计算机科学，2004，10(增刊)：1-2
[8] 李剑，毋国庆，陈伟清．基于多视点的需求描述模型．小型微型计算机系统，2000，21(9)：1-6
[9] James Rum Bargh,Ibar Jacobson,Grady Booch.The Unified Modeling Language Reference Manual.Addison-WesleyPress, 1999
[10] Michal Spibey J.The Z Notation.Prentiee Hall, 1992
[11] 宋强．分布式多视点需求工程模型研究．武汉：武汉大学出版社，2001
[12] 何炎祥等．多视点需求工程的模型研究．计算机科学，2001，28(2)：44-47．
[13] 汤小康，王志刚，曹步文．UML用例图的Z形式规范．计算机与现代化，2006，11：1-3
[14] 何炎祥等，Agent系统的软件工程过程．计算机工程与应用，2002，9：95-9
[15] 高如海，缪淮扣，陈怡海．一种获得形式化功能需求的方法．计算机应用 与软件，2004，10：4-6
[16] 李桂，苏一丹．UML状态图的形式化．广西大学学报，2003，4：318-321．
[17] 姚剑，毋国庆．目标驱动的软件需求模型及应用，计算机应用研究，1999，7：33-36
[18] Axel van Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour, Invited Paper for RE'01一5th IEEE InternationalS ymposium on Requirements Engineering,Toronto,August,2001,249-263
[19] Reduce,Grosse,Smith G.Object—Z: a specification language advocated for the description of standards.Computer Standards and Interfaces, 1995,511-533.
[20] 董威，王戟，郑延平，等．UML状态机的模型检验方法．计算机工程与科学，2001，23(6)：7-11
[21] 明仲，李师贤．UML类结构的形式化．计算机工程与应用，2001，9：51-54
[22] 韦银星，张申生，曹键．UML类图的形式化及分析．计算机工程与应用，2002，10：5-7
[23] Alistair G Sutcliffe,Neii Maiden A M.Supporting scenariobased requirements engineering.IEEE Transactions on SoftwareEngineering Archive, 1998.
[24] Hisayuki Horai. Multiviewpoint analysis in requirements process.ACM, 1996.
[25] GeraidKotonya.Viewpoints for requirements definition.Software Engineering Journal, 1992,7(6):255-258.
[26] Paolo Ciancarini. Multi-agent system engineering: The coordination viewpoint. 6th InternationalWorkshop on Intelligent Agents, 1999,24-27.
[27] Williamn. Robinson requirements interaction management.ACMComputing Surveys, 2003,35(2): 10-11.
[28] 田岗，毋国庆．基于概念图的多视点需求模型．计算机工程与科学，2006，28(5)：55-57
[29] BNuseibeh, J Kramer, A Finkelstein. Expressing the Relationships Between Multiple Views in Requirements Specification.Proc of 15th Inter Conf on Software Engineering, 1993,187—196
[30] H S Delugack Specifying Multiple-Viewed Software Requirements with Conceptual Graphs.The Journal of Systems and Software, 1992,19(3):207- 224.
