Reconciliation: Managing Interference in Software Development

This paper outlines a method, called reconciliation, for managing interference between partial specifications or viewpoints. The method supports the detection, verification and tracking of ontological overlaps. The paper describes the heuristics on which the method is based and illustrates the application of the method to a scenario.

[1]  Bashar Nuseibeh,et al.  Coordinating distributed ViewPoints: the Anatomy of a Consistency Check , 1994 .

[2]  Panos Constantopoulos,et al.  Elaborating analogies from conceptual models , 1996 .

[3]  Arnon Rosenthal,et al.  Using semantic values to facilitate interoperability among heterogeneous information systems , 1994, TODS.

[4]  Ian Sommerville,et al.  Viewpoints for requirements definition , 1992, Softw. Eng. J..

[5]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[6]  Ian Sommerville,et al.  The viewpoints FAQ , 1996 .

[7]  Paul Johannesson.  Schema Transformations as an Aid in View Integration , 1993, CAiSE.

[8]  Panos Constantopoulos,et al.  Elaborating analogies from conceptual models , 1996, Int. J. Intell. Syst..

[9]  Steve Easterbrook,et al.  Handling conflict between domain descriptions with computer-supported negotiation , 1991 .

[10]  Michael Jackson,et al.  Conjunction as composition , 1993, TSEM.

[11]  Yigal Arens,et al.  Planning and Reformulating Queries for Semantically-Modeled Multidatabase Systems , 1992, CIKM 1992.

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

[13]  Bashar Nuseibeh,et al.  Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.

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

[15]  Bashar Nuseibeh,et al.  Decentralised Process Enactment in a Multi-Perspective Development Environment , 1995, 1995 17th International Conference on Software Engineering.

[16]  Dov M. Gabbay,et al.  Inconsistency Handling in Multi-Perspective Specifications , 1993, ESEC.

[17]  Renate Motschnig-Pitrik,et al.  The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling , 1993 .

[18]  Constance L. Heitmeyer,et al.  Consistency checking of SCR-style requirements specifications , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

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

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

[21]  Ali R. Hurson,et al.  Automated resolution of semantic heterogeneity in multidatabases , 1994, TODS.

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

[23]  Matthias Jarke,et al.  Computational Mechanisms for Distributed Requirements Engineering , 1995, SEKE.

[24]  Stuart E. Madnick,et al.  Working Paper Alfred P. Sloan School of Management Database Systems in a Dynamic Environment Database Systems in a Dynamic Environment Received Context Interchange: Overcoming the Challenges of Large-scale Interoperable Database Systems in a Dynamic Environment* , 2022 .