View merging in the presence of incompleteness and inconsistency

Requirements Engineering

Volumn 11, Issue 3, 2006, Pages 174-193

  Sabetzadeh, Mehrdad ^a   Easterbrook, Steve ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Inconsistency management; Model management; View merging; View based development

Indexed keywords

EID: 33745063916     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/s00766-006-0032-y     Document Type: Article

References (48)

1. Easterbrook S, Yu E, Aranda J, Fan Y, Horkoff J, Leica M, Qadir R (2005) Do viewpoints lead to better conceptual models? an exploratory case study. In: Proceedings of the 13th international requirements engineering conference, pp 199-208
2. Finkelstein A, Gabbay D, Hunter A, Kramer J, Nuseibeh B (1994) Inconsistency handling in multi-perspective specifications. IEEE Trans Softw Eng 20(8):569-578
3. Bernstein P (2003) Applying model management to classical meta data problems. In: Proceedings of the 1st biennial conference on innovative data systems research, pp 209-220
4. Buneman P, Davidson S, Kosky A (1992) Theoretical aspects of schema merging. In: Proceedings of the 3rd international conference on extending database technology, pp 152-167
5. Ehrig H, Engels G, Heckel R, Taentzer G (1997) A combined reference model- and view-based approach to system specification. Int J Softw Eng Knowl Eng 7(4):457-477
6. Castano S, De Antonellis V (1999) Deriving global conceptual views from multiple information sources. In: Conceptual modeling-current issues and future directions, vol 1565 of Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York, pp 44-55
7. Pottinger R, Bernstein P (2003) Merging models based on given correspondences. In: Proceedings of 29th international conference on very large data bases, pp 862-873
8. Melnik S, Rahm E, Bernstein P (2003) Rondo: A programming platform for generic model management. In: SIGMOD conference, pp 193-204
9. Easterbrook S, Nuseibeh B (1996) Using viewpoints for inconsistency management. Softw Eng J 11(1):31-43
10. Nentwich C, Emmerich W, Finkelstein A, Ellmer E (2003) Flexible consistency checking. ACM Trans Softw Eng Methodol 12(1):28-63
11. Yu E (1997) Towards modeling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd international symposium on requirements engineering, pp 226-235
12. Barr M, Wells C (1999) Category theory for computing science, 3rd edn. Les Publications CRM Montréal, Montreal
13. Sabetzadeh M, Easterbrook S (2005) An algebraic framework for merging incomplete and inconsistent views. In: Proceedings of the 13th international requirements engineering conference, pp 306-315
14. Sabetzadeh M, Easterbrook S (2005) iVuBlender: A tool for merging incomplete and inconsistent views. In: Proceedings of the 13th international requirements engineering conference, Tool Demo Paper, pp 453-454
15. Sabetzadeh M, Easterbrook S (2005) Traceability in viewpoint merging: A model management perspective. In: Proceedings of the 3rd international workshop on traceability in emerging forms of software engineering (to appear)
16. van Lamsweerde A, Darimont R, Massonet P. The meeting scheduler system - problem statement. ftp://ftp.info.ucl.ac.be/pub/publi/92
17. Sabetzadeh M, Easterbrook S (2003) Analysis of inconsistency in graph-based viewpoints: A category-theoretic approach. In: Proceedings of the 18th international conference on automated software engineering, pp 12-21
18. Goguen J (1991) A categorical manifesto. Math Struct Comput Sci 1(1):49-67
19. Sabetzadeh M, Easterbrook S (2004) An algebraic framework for merging incomplete and inconsistent views. Technical Report CSRG-496, University of Toronto
20. Ehrig H, Taentzer G (1996) Computing by graph transformation, a survey and annotated bibliography. Bull Eur Assoc Theor Comput Sci 59:182-226
21. Rozenberg G (ed) (1997) Handbook of graph grammars and computing by graph transformation: Foundations, vol 1, World Scientific, River Edge
22. Rydeheard D, Burstall R (1988) Computational category theory. Prentice Hall, Hertfordshire
23. Corradini A, Montanari U, Rossi F (1996) Graph processes. Fundam Informaticae 26(3-4):241-265
24. The goal-oriented requirement language (GRL). http://www.cs.toronto.edu/ km/GRL
25. Davey B, Priestley H (2002) Introduction to lattices and order, 2nd edn. Cambridge University Press, Cambridge
26. Belnap N (1977) A useful four-valued logic. In: Epstein G, Dunn J (eds) Modern uses of multiple-valued logic. Reidel, Dordrecht, pp 5-37
27. Ginsberg M (1990) Bilattices and modal operators. In: Proceedings of the 3rd conference on theoretical aspects of reasoning about knowledge, pp 273-287
28. Batini C, Lenzerini M, Navathe S (1986) A comparative analysis of methodologies for database schema integration. ACM Comput Surv 18(4):323-364
29. Rahm E, Bernstein P (2001) A survey of approaches to automatic schema matching. VLDB J 10(4):334-350
30. Madhavan J, Bernstein P, Rahm E (2001) Generic schema matching with cupid. In: Proceedings of 27th international conference on very large data bases, pp 49-58
31. Melnik S, Garcia-Molina H, Rahm E (2002) Similarity flooding: A versatile graph matching algorithm and its application to schema matching. In: Proceedings of the 18th international conference on data engineering, pp 117-128
32. van Lamsweerde A, Darimont R, Massonet P (1995) Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In: Proceedings of the 2nd international symposium on requirements engineering, pp 194-203
33. Ross D (1985) Applications and extensions of SADT. IEEE Comput 18(4):25-34
34. Easterbrook S (1993) Domain modeling with hierarchies of alternative viewpoints. In: Proceedings of the 1st international symposium on requirements engineering, pp 65-72
35. Stamper R (1994) Social norms in requirements analysis: An outline of measur. In: Jirotka M, Goguen J (eds) RequiremSnts engineering: social and technical issues. Academic Press, London, pp 107-139
36. Finkelsetin A, Kramer J, Nuseibeh B, Finkelstein L, Goedicke M (1992) Viewpoints: A framework for integrating multiple perspectives in system development. Int J Softw Eng Knowl Eng 2(1):31-58
37. Darke P, Shanks G (1996) Stakeholder viewpoints in requirements definition: A framework for understanding viewpoint development approaches. Requirements Eng 1(2):88-105
38. Easterbrook S, Chechik M (2001) A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of the 23rd international conference on software engineering, pp 411-420
39. Melnik S (2004) Generic model management: Concepts and algorithms, vol 2967 of LNCS. Springer, Berlin Heidelberg New York
40. Richards D (2003) Merging individual conceptual models of requirements. Requirements Eng 8(4):195-205
41. Uchitel S, Chechik M (2004) Merging partial behavioural models. In: Proceedings of the 12th international symposium on foundations of software engineering, pp 43-52
42. Mordeson J, Nair P (2000) Fuzzy Graphs and Fuzzy Hypergraphs. Physica-Verlag, Heidelberg
43. Gotel O, Finkelstein A (1997) Extended requirements traceability: results of an industrial case study. In: Proceedings of the 3rd international symposium on requirements engineering, pp 169-178
44. Gotel O, Finkelstein A (1995) Contribution structures (requirements artifacts). In: Proceedings of the 2nd international symposium on requirements engineering, pp 100-107
45. Fischer G, Lemke A, McCall R, Morch A (1996) Making argumentation serve design. In: Moran T, Carroll J (eds) Cesign rationale: concepts, techniques, and use. Lawrence Erlbaum Associates, Mahwah, pp 267-293
46. Gruber T, Russell D (1996) Generative design rationale: Beyond the record and replay paradigm. In: Moran T, Carroll J (eds) Design rationale: Concepts, techniques, and use. Lawrence Erlbaum Associates, Mahwah, pp 323-349
47. Egyed A (2001) A scenario-driven approach to traceability. In: Proceedings of the 23rd international conference on software engineering, pp 123-132
48. Clarke EM, Grumberg O, Long DE (1994) Model checking and abstraction. ACM Trans Program Lang Syst 19(2):1512-1542