Merging requirements views with incompleteness and inconsistency

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2005, Issue , 2005, Pages 58-67

  Martínez, Ana Belén Barragáns ^a   Pazos Arias, José J ^a   Vilas, Ana Fernández ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

Incompleteness; Inconsistency; Merging; Requirements Specification; Viewpoints

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; COMPUTER SUPPORTED COOPERATIVE WORK; CUSTOMER SATISFACTION; MERGING; REQUIREMENTS ENGINEERING;

INCOMPLETENESS; INCONSISTENCY; REQUIREMENTS SPECIFICATION; VIEWPOINTS;

SOFTWARE ENGINEERING;

EID: 33646539477     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. J. Araújo, J. Whittle, and D. Kim. Modeling and Composing Scenario-Based Requirements with Aspects. In Proc. of RE'04. IEEE CSP, 2004.
2. O. Arieli, M. Denecker, B. V. Nuffelen, and M. Bruynooghe. Coherent Integration of Databases by Abductive Logic Programming, Journal of Artificial Intelligence Research, 21:245-286, 2004.
3. R. Balzer. Tolerating Inconsistency. In Proc. of ICSE'13, pages 158-165. IEEE CSP, May 1991.
4. N. D. Belnap. A Useful Four-Valued Logic. In J. M. Dunn and G. Epstein, editors, Modern uses of multiple-valued logic, pages 7-37. D. Reidel, 1977.
5. J. L. Chacón and R. Pino-Pérez. Logic-Based Merging: the infinite case. In NMR'04. AAAI Press. 2004.
6. M. Chechik, S. Easterbrook, and V. Petrovykh. Model-checking over multi-valued logics. In FME'01, March 2001.
7. S. Easterbrook and B. Nuseibeh. Using Viewpoints for Inconsistency Management. BCS/IEE Software Engineering Journal, 11(1):31-43, January 1996.
8. T. Elrad, R. E. Filman, and A. Bader, editors. Communications of the ACM, Special Issue on AOP, volume 44, 2001.
9. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency Handling in Multi-Perspective Specifications. IEEE TSE, 20(8):569-578, August 1994.
10. J. C. Grundy. Aspect-Oriented Requirements Engineering for Component-Based Software Systems. In Proc. of RE'99, pages 84-91. IEEE CSP, 1999.
11. A. Hunter and B. Nuseibeh. Managing Inconsistent Specifications: Reasoning, Analysis and Action. ACM TOSEM, 7(4):335-367, October 1998.
12. M.Jackson. Problem Frames. Addison Wesley, 2001.
13. S. Konieczny and R. Pino Pérez. Merging Information under Constraints: A Logical Framework. Journal of Logic and Computation. 12(5):773-808, October 2002.
14. R. Laney, L. Barroca, M. Jackson, and B. Nuseibeh. Composing Requirements Using Problem Frames. In Proc. of RE'04. IEEE CSP, 2004.
15. C. Niskier, T. S. E. Maibaum, and D. Schwabe. A Look through Prisma: Towards Pluralistic Knowledge-Based Environments for Software Specification Acquisition. In IWSSD'5, pages 128-136. Pennsylvania, USA, 1989.
16. B. Nuseibeh, S. Easterbrook, and A. Russo. Making Inconsistency Respectable in Software Development. Journal of Systems and Software, 58(2): 171-180, 2001.
17. B. Nuseibeh, J. Kramer, and A. Finkelstein. A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE TSE, 20(10), 1994.
18. J. J. Pazos Arias and J. García Duque. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Form. Asp. of Comp., 13, 2001.
19. G. Qi, W. Liu, and D. Glass. A split-combination method for merging inconsistent possibilistic knowledge bases. In Proc. of KR'04, pages 348-356. AAAI Press, 2004.
20. G. Qi, W. Liu, and D. Glass. Combining individually inconsistent prioritized knowledge bases. In Proc. of NMR'04, pages 342-349. AAAI Press, 2004.
21. A. Rashid, A. Moreira, and J. Araújo. Modularisation and Composition of Aspectual Requirements. In Proc. of AOSD'03, pages 11-20. ACM Press, March 2003.
22. W. N. Robinson. Integrating Multiple Specifications Using Domain Goals. In IWSSD'5. IEEE CSP, 1989.
23. M. Sabetzadeh and S. M. Easterbrook. Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. In Proc. of ASE, pages 12-21, 2003.
24. T. Systä. Incremental Construction of Dynamic Models for Object Oriented Software Systems. Journal of Object Oriented Programming. 13(5): 18-27, 2000.
25. S. Uchitel and M. Chechik. Merging Partial Behavioural Models. In Proc. of FSE'12. ACM Press, November 2004.
26. S. Uchitel and J. Kramer. A Workbench for Synthesising Behaviour Models from Scenarios. In ICSE'23, 2001.
27. A. van Lamsweerde and L. Willemet. Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE TSE, 24(12). 1998.
28. J. Whittle and J. Araújo. Scenario Modeling with Aspects. IEE Proceedings - Software, 151(4), August 2004.
29. P. Zave and M. Jackson. Conjunction as Composition. ACM TOSEM, 2(4):379-411, 1993.