Traceability in viewpoint merging: a model management perspective

Viewpoint merging is one of the core activities in viewpoints-based development. We may consolidate a set of viewpoints to unify different stakeholders' perspectives, to explore interactions between different parts of a problem, or to perform various types of analysis. Once viewpoints are merged, it is important to be able to determine how the merged viewpoint represents each viewpoint, and to track the assumptions involved in the merge. Building on the viewpoint merging framework in our earlier work [22], this paper proposes a systematic way to generate and represent the traceability information required for tracing the merged viewpoint elements back to their originating viewpoints, and to the merge assumptions related to the elements.

[1]  Mehrdad Sabetzadeh,et al.  iVuBlender: a tool for merging incomplete and inconsistent views , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[2]  E. Yu,et al.  Modules , 2019, Int. J. Algebra Comput..

[3]  David G. Ullman,et al.  Design rationale: Concepts, techniques, and use , 1997 .

[4]  Erhard Rahm,et al.  Rondo: a programming platform for generic model management , 2003, SIGMOD '03.

[5]  Steve M. Easterbrook,et al.  Domain modelling with hierarchies of alternative viewpoints , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[6]  Bashar Nuseibeh,et al.  Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[7]  Sergey Melnik,et al.  Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science) , 2004 .

[8]  Joseph A. Goguen,et al.  A categorical manifesto , 1989, Mathematical Structures in Computer Science.

[9]  Marsha Chechik,et al.  Merging partial behavioural models , 2004, SIGSOFT '04/FSE-12.

[10]  Olly Gotel,et al.  Contribution structures [Requirements artifacts] , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[11]  Thomas R. Gruber,et al.  Generative Design Rationale: Beyond the Record and Replay Paradigm , 1996, Design Rationale.

[12]  Tom Mens,et al.  A State-of-the-Art Survey on Software Merging , 2002, IEEE Trans. Software Eng..

[13]  Michael Barr,et al.  Category theory for computing science (2. ed.) , 1995, Prentice Hall international series in computer science.

[14]  Douglas T. Ross,et al.  Applications and Extensions of SADT , 1985, Computer.

[15]  Alexander Egyed,et al.  A scenario-driven approach to traceability , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[16]  Olly Gotel,et al.  Extended requirements traceability: results of an industrial case study , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[17]  Ronald K. Stamper,et al.  Social norms in requirements analysis: an outline of MEASUR , 1994 .

[18]  O. Gotel,et al.  Contribution Structures , 1995 .

[19]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[20]  Mehrdad Sabetzadeh,et al.  Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[21]  Philip A. Bernstein,et al.  A vision for management of complex models , 2000, SGMD.

[22]  Mehrdad Sabetzadeh,et al.  An algebraic framework for merging incomplete and inconsistent views , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[23]  Graeme G. Shanks,et al.  Stakeholder viewpoints in requirements definition: A framework for understanding viewpoint development approaches , 1996, Requirements Engineering.

[24]  Philip A. Bernstein,et al.  Merging Models Based on Given Correspondences , 2003, VLDB.

[25]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[26]  Sergey Melnik,et al.  Generic Model Management , 2004, Lecture Notes in Computer Science.

[27]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[28]  Anthony Kosky,et al.  Theoretical Aspects of Schema Merging , 1992, EDBT.

[29]  Raymond McCall,et al.  Making argumentation serve design , 1991 .