Repository Support for Multi-Perspective Requirements Engineering

Abstract Relationships among different modeling perspectives have been systematically investigated focusing either on given notations (e.g. UML) or on domain reference models (e.g. ARIS/SAP). In contrast, many successful informal methods for business analysis and requirements engineering (e.g. JAD) emphasize team negotiation, goal orientation and flexibility of modeling notations. This paper addresses the question how much formal and computerized support can be provided in such settings without destroying their creative tenor. Our solution is based on a novel modeling language, M-Telos, that integrates the adaptability and analysis advantages of the logic-based meta modeling language Telos with a module concept covering the structuring mechanisms of scalable software architectures. It comprises four components: (1) A modular conceptual modeling formalism organizes individual perspectives and their interrelationships. (2) Perspective schemata are linked to a conceptual meta meta model of shared domain terms, thus giving the architecture a semantic meaning and enabling adaptability and extensibility of the network of perspectives. (3) Inconsistency management across perspectives is handled in a goal-oriented manner, by formalizing analysis goals as meta rules which are automatically customized to perspective schemata. (4) Continuous incremental maintenance of inconsistency information is provided by exploiting recent view maintenance techniques from deductive databases. The approach has been implemented as an extension to the ConceptBase ‡ meta database management system and has been applied in a number of real-world requirements engineering projects.

[1]  Michael W. Nicholson,et al.  Rational Analysis for a Problematic World , 1990 .

[2]  Michael J. Maher,et al.  Foundations of Deductive Databases and Logic Programming , 1988 .

[3]  Tony Hindle,et al.  Rational Analysis for a Problematic World , 1990 .

[4]  Kendall Scott,et al.  UML distilled - applying the standard object modeling language , 1997 .

[5]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[6]  Richard C. Waters,et al.  The Requirements Apprentice: Automated Assistance for Requirements Acquisition , 1991, IEEE Trans. Software Eng..

[7]  Matthias Jarke,et al.  Managing Multiple Requirements Perspectives with Metamodels , 1996, IEEE Softw..

[8]  Serge Abiteboul,et al.  A database interface for file update , 1995, SIGMOD '95.

[9]  Manfred Nagl,et al.  Building Tightly Integrated Software Development Environments: The IPSEN Approach , 1996, Lecture Notes in Computer Science.

[10]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

[11]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[12]  Hans W. Nissen,et al.  Knowledge Representation Concepts Supporting Business Process Analysis , 1995, KRDB.

[13]  Peter Checkland,et al.  Soft Systems Methodology , 2020, Systems Approaches to Making Change: A Practical Guide.

[14]  Steve Easterbrook,et al.  Learning from inconsistency , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[15]  Peter C. Lockemann,et al.  Reactive consistency control in deductive databases , 1991, TODS.

[16]  J. van Leeuwen,et al.  Advanced Information Systems Engineering , 1999, Lecture Notes in Computer Science.

[17]  Eric Simon,et al.  Conception et Realisation d'un sous Systeme d'Intgerite dans un SGBD Relationnel , 1986 .

[18]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[19]  John Mylopoulos,et al.  Partitioning Information Bases with Contexts , 1995, CoopIS.

[20]  Michael J. Carey,et al.  Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, USA, May 22-25, 1995 , 1995, PODS 1995.

[21]  Julio Cesar Sampaio do Prado Leite,et al.  Requirements Validation Through Viewpoint Resolution , 1991, IEEE Trans. Software Eng..

[22]  M. Lefering,et al.  An incremental integration tool between requirements engineering and programming in the large , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[23]  John Mylopoulos,et al.  Semantics, Features, and Applications of the Viewpoint Abstraction , 1996, CAiSE.

[24]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[25]  Stefano Paraboschi,et al.  A Review of Repairing Techniques for Integrity Maintenance , 1993, Rules in Database Systems.

[26]  Gail E. Kaiser,et al.  Living With Inconsistency in Large Systems , 1988, System Configuration Management.

[27]  Kalle Lyytinen,et al.  MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment , 1996, CAiSE.

[28]  Philip A. Bernstein,et al.  The Microsoft Repository , 1997, VLDB.

[29]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[30]  Steve M. Easterbrook,et al.  Using ViewPoints for inconsistency management , 1996, Softw. Eng. J..

[31]  Christine Collet,et al.  Resource integration using a large knowledge base in Carnot , 1991, Computer.

[32]  Matthias Jarke,et al.  Incremental Maintenance of Externally Materialized Views , 1996, VLDB.

[33]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[34]  Philip A. Bernstein,et al.  Microsoft Repository Version 2 and the Open Information Model , 1999, Inf. Syst..

[35]  J. Davenport.  Editor , 1960 .

[36]  Renate Motschnig.  An Integrating View on the Viewing Abstraction: Contexts and Perspectives in Software Development, AI, and Databases , 1995, J. Syst. Integr..

[37]  W. Lewis Johnson,et al.  Sharing And Reuse Of Requirements Knowledge , 1991, Proceedings., 6th Annual Knowledge-Based Software Engineering Conference.

[38]  Ulrike Griefahn,et al.  Top-Down Integrity Constraint Checking for Deductive Databases , 1990, ICLP.

[39]  William N. Robinson,et al.  Supporting multi-perspective requirements engineering , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[40]  Peter Bernus,et al.  Handbook on Architectures of Information Systems , 1999 .

[41]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[42]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[43]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[44]  Dov M. Gabbay,et al.  Making inconsistency respectable: a logical framework for inconsistency in reasoning , 1991, FAIR.

[45]  Judy H. August.  Joint application design: the group session approach to system design , 1991 .