Abstract
Software Requirements expressed in the form of natural language are often informal and possibly vague. The need for formal representation of the requirements has been explored and addressed in various forms earlier. Of several recommended approaches, logical representation of requirements has been widely acknowledged to formalize the requirements languages. In this paper, we present courteous logic based representations for software requirements. We report the benefits of courteous logic based representations for handling inconsistencies in software requirements and take into account views of multiple stakeholders and the presuppositions. We show how courteous logic based representations can be used to ensure consistency as well as to uncover presuppositions in the requirements.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Similar content being viewed by others
Keywords
References
IEEE Computer Society. IEEE Recommended Practice for Software Requirements Specification, IEEE Std 830 – 1998(R2009) (1998)
Zowghi, D.: On the Interplay Between Consistency, Completeness, and Correctness in Requirements Evolution. Information and Technology 45(14), 993–1009 (2003)
Ma, L., Nuseibeh, B., Piwek, P., Roeck, A.D., Willis, A.: On Presuppositions in Requirements. In: Proc. International Workshop on Managing Requirements Knowledge, pp. 68–73 (2009)
Tsai, J.J.P., Weigert, T., Jang, H.: A Hybrid Knowledge Representation as a Basis of Requirements Specifciation and Specification Analysis. IEEE Transaction on Software Engg. 18(12), 1076–1100 (1992)
Gervasi, V., Zowghi, D.: Reasoning about Inconsistencies in Natural Language Requirements. ACM Transactions on Software Engg. and Methodology 14(3), 277–330 (2005)
Levinson, S.C.: Pragmatics. Cambridge University Press (2000)
Sharma, R., Biswas, K.K.: Using Courteous Logic based representatiosn for Requirements Specifications. In: International Workshop on Managing Requirements Knowledge (2011)
Grosof, B.N.: Courteous Logic Programs: prioritized conflict handling for rules. IBM Research Report RC20836, IBM Research Division, T.J. Watson Research Centre (1997)
Grosof, B.N.: Representing E-Commerce Rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3(1), 2–20 (2004)
Greenspan, S., Borgida, A., Mylopoulos, J.: A Requirements Modleing Language and its logic. Information Systems 11(1), 9–23 (1986)
Liu, K., Sun, L., Narasipuram, M.: Norm-based agency for designing Collaborative Information System. Information System 11, 229–247 (2001)
Sharma, R., Biswas, K.K.: Using Norm Analysis Patterns for Automated Requirements Validation. In: International Workshop on Requirements Patterns, Co-located with IEEE Conference on Requirements Engineering (RE 2012), Chicago, USA (2012)
Stanley, M.: CML: A Knowledge Representation Language with Applications to Requirements Modeling, M.Sc. Thesis, Dept Comp. Sc., University of Troronto (1986)
Mylopoulos, J., Borgida, A., Koubarakis, M.: Telos: Representing Knowledge about Information Systems. ACM Transactions on Information Systems (1990)
Tsai, J.J.-P.: andWeigert, T, HCLIE: a logic-based requirement language for new software engineering paradigms. Software Engineering 6(4), 137–151 (1991)
Zhang, Y., Zhang, W.: Description logic representation for requirement specification. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007, Part II. LNCS, vol. 4488, pp. 1147–1154. Springer, Heidelberg (2007)
Borgida, A., Greenspan, S., Mylopoulos, J.: Knowledge Representation as the basis for Requirements Specifications. Computer 18(4), 82–91 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sharma, R., Biswas, K.K. (2013). A Semi-automated Approach towards Handling Inconsistencies in Software Requirements. In: Maciaszek, L.A., Filipe, J. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2012. Communications in Computer and Information Science, vol 410. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45422-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-45422-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45421-9
Online ISBN: 978-3-642-45422-6
eBook Packages: Computer ScienceComputer Science (R0)