Two-level grammar as an object-oriented requirements specification language

Two-level grammar (TLG) is proposed as an object-oriented requirements specification language with a natural language (NL) style but sufficiently formal to allow automatic transformation of the TLG specification into formal specifications in VDM++, an object-oriented version of the Vienna Development Method. The VDM++ specification may be further transformed into Java/sup TM/ code or integrated with the Unified Modeling Language (UML) using the IFAD VDMToolbox/sup TM/. The translation into an executable programming language facilitates rapid prototyping of TLG specifications and the integration with UML allows TLG specification to be used in conjunction with software systems being constructed using UML. This software specification approach is supported by a specification development environment (SDE) for constructing TLG specifications and a natural language processing system to assist in translating can NL requirements specification into TLG. The system described is a useful and constructive tool for automating the production of software systems from NL specifications.

[1]  Barrett R. Bryant,et al.  Object-oriented natural language requirements specification , 2000, Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518).

[2]  Norbert E. Fuchs,et al.  Attempto Controlled English (ACE) , 1996, ArXiv.

[3]  Vangalur S. Alagar,et al.  Specification of Software Systems , 1998, Graduate Texts in Computer Science.

[4]  A. vanWijngaarden,et al.  Orthogonal design and description of a formal language , 1965 .

[5]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[6]  M. Lynn.  Hawaii International Conference on System Sciences , 1996 .

[7]  Henk Sol,et al.  Proceedings of the 54th Hawaii International Conference on System Sciences , 1997, HICSS 2015.

[8]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[9]  Terry Quatrani.  Visual modeling with Rational Rose 2000 and UML (2nd ed.) , 2000 .

[10]  Bertrand Ibrahim,et al.  A software reuse system based on natural language specifications , 1993, Proceedings of ICCI'93: 5th International Conference on Computing and Information.

[11]  Terry Quatrani,et al.  Visual Modeling with Rational Rose 2002 and UML , 2002 .

[12]  Barrett R. Bryant,et al.  Formal specification of software systems using two-level grammar , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[13]  J. van Katwijk,et al.  VDM++, a formal specification language for object-oriented designs , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.