Abstract
The development of complex systems frequently involves extensive work to elicit, document and review functional requirements that are usually written in unconstrained natural language, which is inherently imprecise. Use of Formal techniques in Requirement Engineering would be of immense importance as it would provide automated support in deriving use case models from the functional requirements. In this paper we propose a formal syntax for requirements called Adv-EARS. We define a grammar for this syntax such that a requirements document in this format can be grammatically parsed and the prospective actors and use cases are automatically derived from the parse tree. The use case diagram is then automatically generated based on the actors and use cases and their relationships. We have used requirements of an Insurance system as a case study to illustrate our approach.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Mavin, A., Wilkinson, P., Harwood, A., Novak, M.: Easy Approach to Requirements Syntax (EARS). In: 2009 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31-September 04 (2009)
Warburton, N.: Thinking from A to Z, 2nd edn. Routledge, New York (2000)
Woodcock, J., Davies, J.: Using Z-Specification, Refinement and Proof. Prentice Hall, Englewood Cliffs (1996)
Peterson, J.: Petri Nets. ACM Computing Surveys 9, 223–252 (1977)
Object Management Group, UML Resource Page, http://www.uml.org/
Holt, J.: UML for Systems Engineering: Watching the Wheels, 2nd edn. IEE, Los Alamitos (2004)
Object Management Group, Official OMG SysML Site, http://www.omgsysml.org/
Alexander, I.F., Maiden, N.A.M. (eds.): Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle. Wiley, Chichester (2004)
Alexander, I.F., Beus-Dukic, L.: Discovering Requirements. John Wiley, Chichester (2009)
Vickers, A., Tongue, P.J., Smith, J.E.: Complexity and its Management in Requirements Engineering. In: INCOSE UK Annual Symposium – Getting to Grips with Complexity, Coventry, UK (1996)
Vickers, A., Smith, J.E., Tongue, P.J., Lam, W.: The ConCERT Ap-proach to Requirements Specification (version 2.0), YUTC/TR/96/01, University of York (November 1996) (enquiries about this report should be addressed to: High-Integrity Systems Engineering Research Group, Department Computer Science, University of York, Heslington, YORK, YO10 5DD, UK)
Hooks, I.: Writing Good Requirements. In: Proceedings of Third International Symposium of INCOSE, vol. 2, INCOSE (1993) [12]
Wiegers, K.: Writing Good Requirements. Software Development Magazine (May 1999)
VOLERE Requirements Specification Template, Atlantic Systems Guild, http://www.volere.co.uk/template.htm
Lauesen, S.: Guide to Requirements SL-07. Template with Examples. Lauesen Publishing (2007)
ASD Simplified Technical English: Specification ASD-STE100. International specification for the preparation of maintenance documentation in a controlled language, Simplified Technical English Maintenance Group (STEMG) (2005)
Fuchs, N. E., Kaljurand, K., Schneider, G.: Attempto Controlled English Meets the Challenges of knowledge Representation, Reasoning, Interoperability and User Interfaces. In: FLAIRS (2006)
Dittrich, K.R., Gatziu, S., Geppert, A.: The Active Database Management System Manifesto: A Rulebase of ADBMS Features. In: Sellis, T.K. (ed.) RIDS 1995. LNCS, vol. 985, pp. 3–20. Springer, Heidelberg (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Majumdar, D., Sengupta, S., Kanjilal, A., Bhattacharya, S. (2011). Adv-EARS: A Formal Requirements Syntax for Derivation of Use Case Models. In: Wyld, D.C., Wozniak, M., Chaki, N., Meghanathan, N., Nagamalai, D. (eds) Advances in Computing and Information Technology. ACITY 2011. Communications in Computer and Information Science, vol 198. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22555-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-22555-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22554-3
Online ISBN: 978-3-642-22555-0
eBook Packages: Computer ScienceComputer Science (R0)