A goal-driven and agent-based requirements engineering framework*

The paper presents a requirements engineering framework (REF), where advanced requirements engineering techniques are combined with software quality modelling approaches to provide an environment within which the stakeholders and the analysts can easily cooperate to discover, organise, reconcile and validate the requirements for a new system. By adopting a basic and essential graphical notation, and a clear top-down methodology, REF allows for an effective involvement of the stakeholders, assisting and driving them to an early definition of the desired system's functionalities and quality attributes, while supporting the redesign of the encompassing organisational context to better exploit the new system's capabilities. As a case study, REF is applied to support the requirements engineering process for a complex software-intensive simulation system. Results demonstrate the feasibility of REF and the benefits it offers to the requirements engineering process, but also to the subsequent system development phases. As illustrated through the case study REF can, in fact, be usefully applied as a forerunner for unified modelling language (UML)-based approaches.

[1]  Janis A. Bubenko,et al.  Software requirements acquisition through enterprise modelling , 1994, SEKE.

[2]  Per La Ricerca AGENT−ORIENTED SOFTWARE DEVELOPMENT: A CASE−STUDY , 2000 .

[3]  F. Caeldries Reengineering the Corporation: A Manifesto for Business Revolution , 1994 .

[4]  H. D. Rombach,et al.  The Goal Question Metric Approach , 1994 .

[5]  Alistair Cockburn,et al.  Goals and Use Cases , 1997, J. Object Oriented Program..

[6]  John Mylopoulos,et al.  Tropos: A Framework for Requirements-Driven Software Development , 2000 .

[7]  Paolo Donzelli Agents, goals, and quality in a structured requirements engineering framework - a case study , 2002, AOIS@CAiSE.

[8]  Pericles Loucopoulos,et al.  System Requirements Engineering , 1995, System Requirements Engineering.

[9]  Paolo Donzelli,et al.  Laser Designation Pod on the Italian Air Force AM-X Aircraft: a Prototype Integration , 1999 .

[10]  M. R. Moulding,et al.  Application Domain Modelling for the Verification and Validation of Synthetic Environments: from Requirements Engineering to Conceptual Modelling , 2000 .

[11]  Alistair Cockburn,et al.  Structuring Use Cases with Goals , 2000 .

[12]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[13]  Christoph Bussler Enterprise-Wide Workflow Management , 1999, IEEE Concurr..

[14]  Eric Yu,et al.  Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering , 1996 .

[15]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[16]  Paolo Donzelli,et al.  Goal-Oriented Requirements Engineering: A Case Study in E-government , 2003, CAiSE.

[17]  Eric S. K. Yu,et al.  Modeling organizations for information systems requirements engineering , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[18]  Barry Boehm,et al.  Characteristics of software quality , 1978 .

[19]  John Mylopoulos,et al.  Why Goal-Oriented Requirements Engineering , 1998, Requirements Engineering: Foundation for Software Quality.

[20]  Shari Lawrence Pfleeger,et al.  Software Metrics : A Rigorous and Practical Approach , 1998 .

[21]  Paolo Donzelli,et al.  Handling the knowledge acquired during the requirements engineering process: a case study , 2002, SEKE '02.

[22]  Michael Luck,et al.  Development and application of a formal agent framework , 1997, First IEEE International Conference on Formal Engineering Methods.

[23]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[24]  Stephen Fickas,et al.  Knowledge Representation and Reasoning in the Design of Composite Systems , 1992, IEEE Trans. Software Eng..

[25]  Paolo Donzelli,et al.  Tailoring the software maintenance process to better support complex systems evolution projects , 2003, J. Softw. Maintenance Res. Pract..

[26]  G Cantone,et al.  Integrating quality modelling with requirement engineering , 2001 .

[27]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[28]  Eric Yu,et al.  Why agent-oriented requirements engineering , 1997 .

[29]  Johann Eder,et al.  Advanced information systems engineering : 15th International Conference, CAiSE 2003, Klagenfurt/Velden, Austria, June 16-20 , 2003 : proceedings , 2003 .

[30]  Uwe Zdun,et al.  Piecemeal legacy migrating with an architectural pattern language: a case study , 2002, J. Softw. Maintenance Res. Pract..

[31]  Fausto Giunchiglia,et al.  A knowledge level software engineering methodology for agent oriented programming , 2001, AGENTS '01.

[32]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[33]  Paolo Donzelli,et al.  Production and Maintenance of Goal-Oriented Software Measurement Models , 2000, Int. J. Softw. Eng. Knowl. Eng..