Let's agree to disagree

20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005

Volumn , Issue , 2005, Pages 287-290

  Nejati, Shiva ^a   Chechik, Marsha ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

3 valued logic; Detection; Inconsistency; Model checking; Model merging; Negotiation; Refinement

Indexed keywords

3-VALUED LOGIC; CONFLICT RESOLUTION; FORMAL APPROACH; FORMAL FRAMEWORK; MODEL MERGING; REQUIREMENTS ANALYSIS; SOFTWARE DEVELOPMENT;

COMPUTER SOFTWARE; MERGING; SOFTWARE DESIGN;

MODEL CHECKING;

EID: 37849009780     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1101908.1101952     Document Type: Conference Paper

References (25)

1. B. Boehm and H. In. "Identifying Quality-Requirement Conflicts". IEEE Software, 13 (2), 1996.
2. M. Chechik, B. Devereux, and A. Gurfinkel. "χChek: A Multi-Valued Model-Checker". In CAV, 2002.
3. M. Chechik and A. Gurfinkel. "A Framework for Counterexample Generation and Exploration". In FASE, 2005.
4. S. Clarke and R. J. Walker. "Composition Patterns: An Approach to Designing Reusable Aspects". In ICSE, 2001.
5. J. Conklin and M. Begeman. "gIBIS: A Hypertext Tool for Exploratory Policy Discussion". Trans. on Info. Sys., 4 (6), 1988.
6. D. Damian, A. Eberlein, M. Shaw, and B. Gaines. "An Exploratory Study of Facilitation in Distributed Requirements Engineering". REJ, 8 (1), 2003.
7. S. Easterbrook. "Resolving Conflicts Between Domain Descriptions with Computer-Supported Negotiation". In Workshop on Knowledge Acquisition for Knowledge Based Systems, 1990.
8. S. Easterbrook and M. Chechik. "A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints". In ICSE, 2001.
9. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. "Inconsistency Handling in Multi-Perspective Specifications". IEEE TSE, 20 (8), 1994.
10. D. Harel. "StateCharts: A Visual Formalism for Complex Systems". Science of Computer Programming, 8, 1987.
11. A. Hunter and B. Nuseibeh. "Managing Inconsistent Specifications: Reasoning, Analysis and Action". ACM TOSEM, 7 (4), 1998.
12. M. Huth, R. Jagadeesan, and D. A. Schmidt. "Modal Transition Systems: A Foundation for Three-Valued Program Analysis". In ESOP, 2001.
13. M. Huth and S. Pradhan. "Model-Checking View-Based Partial Specifications". Electr. Notes Theor. Comp. Sci., 45, 2001.
14. D. Jackson. "Alloy: A Lightweight Object Modelling Notation". ACM TOSEM, 11 (2), 2002.
15. S. C. Kleene. Introduction to Metamathematics. New York: Van Nostrand, 1952.
16. I. Krueger, R. Grosu, P. Scholz, and M. Broy. "From MSCs to Statecharts". In Conf. Distributed and Parallel Embedded Systems, 1999.
17. K. Larsen and B. Thomsen. "A Modal Process Logic". In LICS, 1988.
18. S. Nejati. "Negotiation for a B2B E-Commerce Site". http://www.cs.toronto.edu/~shiva/examples.
19. S. Nejati and M. Chechik. "Lets Agree to Disagree". CSRG Tech. Report 530, Univ. of Toronto, 2005.
20. B. Nuseibeh, J. Kramer, and A. Finkelstein. "Framework for Expressing the Relationship Between Multiple Views in Requirements Specifications". IEEE TSE, 20 (10), 1994.
21. E. Rahm and P. A. Bernstein. "A Survey of Approaches to Automatic Schema Matching". VLDB Journal, 10 (4), 2001.
22. M. Sabetzadeh and S. Easterbrook. "Analysis of Inconsistency in Graph-Based Viewpoints". In ASE, 2003.
23. S. Uchitel and M. Chechik. "Merging MTSs for a B2B E-Commerce Site". http://www.doc.ic.ac.uk/~su2/merge/examples.
24. S. Uchitel and M. Chechik. "Merging Partial Behavioural Models". In FSE, 2004.
25. S. Uchitel, J. Kramer, and J. Magee. "Synthesis of Behavioural Models from Scenarios". IEEE TSE, 29 (2), 2003.