Reasoning about inconsistencies in natural language requirements

ACM Transactions on Software Engineering and Methodology

Volumn 14, Issue 3, 2005, Pages 277-330

  Gervasi, Vincenzo ^a   Zowghi, Didar ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

Default logic; Inconsistency; Natural language; Requirements

Indexed keywords

DEFAULT LOGIC; INCONSISTENCY; NATURAL LANGUAGES; REQUIREMENTS;

COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING;

FORMAL LOGIC;

EID: 33745172461     PISSN: 1049331X     EISSN: 1049331X     Source Type: Journal    
DOI: 10.1145/1072997.1072999     Document Type: Article

References (68)

1. ABITEBOUL, S. AND SIMON, E. 1991. Fundamental properties of deterministic and nondeterministic extensions of Datalog. Theoret. Comput. Sci. 78, 1, 137-158.
2. ALCHOUERÓN, C. E., GÄRDENFORS, P., AND MAKINSON, D. 1985. On the logic of theory change: Partial meet contraction and revision functions. J. Symbol. Logic 50, 510-530.
3. ALI, S. 1994. A logical language for natural language processing. In Proceedings of the 10th Biennial Canadian Artifical Intelligence Conference (Banff, Alta., Canada). 187-196.
4. AMBRIOLA, V. AND GERVASI, V. 1999. Experiences with domain-based parsing of natural language requirements. In Proceedings of the Fourth International Conference on Applications of Natural Language to Information Systems, G. Fliedl and H. C. Mayr, Eds. OCG Schriftenreihe (Lecture Notes), no. 129. OGC, Klagenfurt, Austria, 145-148.
5. BALZER, R. 1991. Tolerating inconsistency. In Proceedings of the 13th International Conference on Software Engineering (ICSE-13). IEEE Computer Society Press, Los Alamitos, CA, 158-165.
6. BERRY, D. M., KAMSTIES, E., AND KRIEGER, M. M. 2003. From contract drafting to software specification: Linguistic sources of ambiguity - a handbook, (unpublished as of July 2005, but available on-line at http://se.uwatarloo.ca/~dberry/handbook/ambiguityHandbook.pdf).
7. BOEHM, B. W. 1976. Software engineering. IEEE Trans. Comput. 25, 12 (Dec.), 1226-1241.
8. CHAOS. 1995. Software development report by the Standish group. Available online at http://www.standishgroup.com/chaos.html.
9. CHECHIK, M., DEVEREUX, B., EASTERBROOK, S., AND GURFINKEL, A. 2003. Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. 12, 4 (Oct.), 371-408.
10. CHOI, Y., RAYADURGAM, S., AND HEIMDAHL, M. P. E. 2002. Toward automation for model-checking requirements specifications with numeric constraints. Requirements Eng. J. 7, 4 (Dec.), 225-242.
11. CLARKE, E. M., EMERSON, E. A., AND SISLA, A. P. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programm. Lang. Syst. 8, 2, 244-263.
12. DALIANIS, H. 1992. A method for validating a conceptual model by natural language discourse generation. In Advanced Information Systems Engineering. Lecture Notes in Computer Science, vol. 593. Springer-Verlag, Berlin, Germany.
13. DALY, E. 1977. Management of software development. IEEE Trans. Softw. Eng. 3, 3 (May), 229-242.
14. DAVIS, A. M., JORDAN, K., AND NAKAJIMA, T. 1997. Elements underlying the specification of requirements. Ann. Softw. Eng. 3, 63-100. (Special issue on Software Requirements Engineering)
15. EASTERBROOK, S. AND CHECHIK, M. 2002. Guest editorial: Special issue on model checking in requirements engineering. Requirements Eng. J. 7, 4 (Dec.), 221-224.
16. EASTERBROOK, S. AND NUSEIBEH, B. 1996. Using viewpoints for inconsistency management. IEE Softw. Eng. J. 11, 1, 31-43.
17. ESHUIS, R., JANSEN, D. N., AND WIERINGA, R. 2002. Requirements-level semantics and model checking of object-oriented statecharts. Requirements Eng. J. 7, 4 (Dec.), 243-263.
18. FANTECHI, A., GNESI, S., RISTORI, G., CARENINI, M., VANOCCHI, M., AND MORESCHINI, P. 1994. Assisting requirement formalization by means of natural language translation. Form. Meth. Syst. Des. 4, 3, 243-263.
19. FINKELSTEIN, A. AND DOWELL, J. 1996. A comedy of errors: The London Ambulance Service case study. In Proceedings of the 8th International Workshop on Software Specification & Design. IEEE Computer Society Press, Los Alamitos, CA, 2-4.
20. FINKELSTEIN, D., GABBAY, A., HUNTER, J., KRAMER, B., AND NUSEIBEH, A. 1994. Inconsistency handling in multiperspective specifications. IEEE Trans. Softw. Eng. 20, 8, 569-577.
21. FUCHS, N. E. AND SCHWITTER, R. 1995. Specifying logic programs in controlled natural language. In Proceedings of the Workshop on Computational Logic for Natural Language Processing (University of Edinburgh, Edinburgh, Scotland).
22. GABBAY, D. AND HUNTER, A. 1991. Making inconsistency respectable: A logical framework for inconsistency in reasoning, Part 1 - a position paper. In. Proceedings of Fundamentals AI Research. Lecture Notes in Computer Science, vol. 535. Springer-Verlag, New York, 19-32.
23. GARCEZ, A., RUSSO, A., NUSEIBEH, B., AND KRAMER, J. 2003. Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proc. - Softw. 150, 1 (Feb.), 25-38.
24. GÄRDENFORS, P. 1988. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA.
25. GÄRDENFORS, P. AND ROTT, H. 1995. Belief revision. In Handbook of Logic in Artificial Intelligence and Logic Programming Volume IV: Epistemic and Temporal Reasoning, D. M. Gabbay, C. J. Hogger, and J. A. Robinson, Eds. Oxford University Press, Oxford, U.K. 35-132.
26. GERVASI, V. 2000. Environment support for requirements writing and analysis. Ph.D. dissertation. University of Pisa, Pisa, Italy.
27. GERVASI, V. 2001. The Cico domain-based parser. Tech. rep. TR-01-25. Dipartimento di Informatica, University of Pisa, Pisa, Italy.
28. GERVASI, V. AND AMBRIOLA, V. 2002. Quantitative assessment of textual complexity. In Complexity in Language and Text, L. Merlini Barbaresi, Ed. PLUS-University of Pisa, Pisa, Italy, 197-228.
29. GERVASI, V. AND NUSEIBEH, B. 2002. Lightweight validation of natural language requirements. Softw.: Pract. Exper. 32, 2 (Feb.), 113-133.
30. GHEZZI, C. AND NUSEIBEH, B. 1998. Introduction to the special section on managing inconsistency in software development. IEEE Trans. Softw. Eng. 24, 11 (Nov.), 906-907.
31. GHOSE, A. K. 1995. Practical belief change. Ph.D. dissertation. Department of Computing Science, University of Alberta, Edmonton, Alta., Canada.
32. HARPER, W. L. 1977. Rational conceptual change. In PSA 1976 East Lansing, Mich.: Philosophy of Science Association, vol. 2. Philosophy of Science Association, East Lansing, MI, 462-494.
33. HARS, A. 1996. Advancing CASE productivity by using natural language processing and computerized ontologies: The ACAPULCO system. In Proceedings of the Eleventh Automated Software Engineering Conference.
34. HUNTER, A. AND NUSEIBEH, B. 1998. Managing inconsistent specifications: Reasoning, analysis and action. Trans. Softw. Eng. Method. 7, 4 (Oct.), 335-367.
35. HUTH, M. AND PRADHAN, S. 2004. Consistent partial model checking. Electron. Notes Theoret. Comput. Sci. 73, 45-85. (Proceedings of the Workshop on Domains VI.)
36. IBANEZ, M. 1996. European user survey analysis. Tech. rep. ESI report TR95104. European Software Institute, Zamudio, Spain. Web site: www.esi.es.
37. JACKSON, D. 2000. Automating first-order relational logic. In Proceedings of the 8th International Symposium on Foundations of Software Engineering (FSE8).
38. JURISTO, N., MORENO, A. M., AND LÓPEZ, M. 2000. How to use linguistic instruments for object-oriented analysis. IEEE Softw. 17, 3 (May/June), 80-89.
39. KOWALSKI, R. 1979. Logic for Problem Solving. North Holland Elsevier, New York, NY.
40. LEVI, I. 1977. Subjunctives, dispositions and chances. Synthese 34, London, U.K., 423-455.
41. MACIAS, B. AND PULMAN, S. G. 1993. Natural Language Processing for Requirements Specification. Chapman and Hall, London, U.K., 57-89.
42. MAKINSON, D. 1985. How to give it up: A survey of some formal aspects of the logic of theory change. Synthese 62, 4, 347-363.
43. MARCUS, M. P., SANTORINI, B., AND MARCINKIEWICZ, M. A. 1993. Building a large annotated corpus of English: The Penn Treebank. Computa. Linguist. 19, 313-330.
44. MICH, L. 1996. NL-OOPS: From natural language requirements to object oriented requirements using the natural language processing system LOLITA. J. Natural Lang. Eng. 2, 2, 161-187.
45. MICH, L., FRANCH, M., AND NOVI INVERARDI, P. 2004. Market research for requirements analysis using linguistic tools. Requirements Eng. J. 9, 1, 40-56.
46. NEBEL, B. 1991. Belief revision and default reasoning: Syntax-based approaches. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. 417-428.
47. NEILL, C. J. AND LAPLANTE, P. A. 2003. Requirements engineering: The state of the practice. IEEE Softw. 20, 6 (Nov./Dec.), 40-45.
48. NUSEIBEH, B. 1996. To be and not to be: On managing inconsistency in software development. In Proceedings of the IEEE International Workshop on Software Specification and Design (IWSSD-8). IEEE Computer Society Press, Los Alamitos, CA, 164-169.
49. POOLE, D. 1988. A logical framework for default reasoning. Art. Intell. 36, 27-47.
50. POOLE, D., GOEBEL, R., AND ALELIUNAS, R. 1987. Theorist: A logical reasoning system for defaults and diagnosis. In The Knowledge Frontier: Essays in the Representation of Knowledge, N. Cercone and G. McCalla, Eds. Springer Verlag, Berlin, Germany, 331-352.
51. REEVES, S. AND CLARKE, M. 1990. Logic for Computer Science. Addison-Wesley, Reading, MA.
52. ROLLAND, C. AND PROIX, C. 1992. A natural language approach for requirements engineering. In Proceedings of the Fourth International Conference CAiSE'92 on Advanced Information Systems Engineering, P. Loucopoulos, Ed. Lecture Notes in Computer Science, vol. 593. Springer-Verlag, Berlin, Germany, 257-277.
53. RUSSO, A., MILLER, R., NUSEIBEH, B., AND KRAMEH, J. 2002. An abductive approach for analysing event-based requirements specifications. In Proceedings of the 18th International Conference on Logic Programming (Copenhagen, Denmark).
54. RUSSO, A. AND NUSEIBEH, B. 2001. On the use of logical abduction in software engineering. In Handbook of Software Engineering and Knowledge Engineering, S. K. Chang, Ed. World Scientific Publishing, Singapore.
55. RYAN, M. D. 1993. Defaults in specifications. In Proceedings of the IEEE International Symposium on Requirements Engineering (RE93). 142-149.
56. SADRI, F. AND KOWALSKI, R. 1986. An application of general theorem proving to database integrity. Tech. rep. Department of Computing, Imperial College, London, U.K.
57. SCHMID, H. 1994. Probabilistic part-of-speech tagging using decision trees. In Proceedings of the Conference on New Methods in Language Processing (Manchester, U.K.). 44-49.
58. TSAI, J. P., WEIGERT, T., AND JANG, H. C. 1992. A hybrid knowledge representation as a basis of requirements specification and specification analysis. IEEE Trans. Softw. Eng. 18, 12, 1076-1100.
59. ULLMAN, J. D. 1989. Principles of Database and Knowledge-Base Systems, Vols. I and II. Computer Science Press, Rockville, MD.
60. VAN LAMSWEERDE, A. 2000. Formal specifications: A roadmap. In The Future of Software Engineering. ACM Press, New York, NY, 149-159. (Proceedings of the 22nd IEEE International Conference on Software Engineering.)
61. WEBBER, B. L. 1983. So what can we talk about now. In Computational Models of Discourse, M. Brady and B. Berwick, Eds. MIT Press, Cambridge, MA, 331-370.
62. ZAVE, P. AND JACKSON, M. 1997. Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Method. 6, 1, 1-30.
63. ZOWGHI, D. 1999. A logic-based framework for the management of changing software requirements. Ph.D. dissertation. Macquarie University, Sydney, Australia.
64. ZOWGHI, D. AND GERVASI, V. 2004. On the interplay between consistency, completeness, and correctness in requirements evolution. Informat. Softw. Techn. 46, 11 (Sept.), 763-779.
65. ZOWGHI, D., GERVASI, V., AND MCRAE, A. 2001. Using default reasoning to discover inconsistencies in natural language requirements. In Proceedings of the 8th Asia-Pacific Software Engineering Conference. 133-140.
66. ZOWGHI, D., GHOSE, A., AND OFFEN, R. 1997. Computer-assisted requirements evolution tool: Formal foundations and architecture. In Proceedings of the 2nd Australian Workshop on Requirements Engineering (AWRE97, Sydney, Australia). 47-59.
67. ZOWGHI, D., GHOSE, A., AND PEPPAS, P. 1996. A framework for reasoning about requirements evolution. In Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI'96). 157-168.
68. ZOWGHI, D. AND OFFEN, R. 1997. A logical framework for modelling and reasoning about the evolution of requirements. In Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE97). 247-259.