A derivation strategy for formal specifications from natural language requirements models

Computing and Informatics

Volumn 26, Issue 4, 2007, Pages 421-445

  Mauco, María Virginia ^a   Leonardi, María Carmen ^a  

^a UNIVERSIDAD NACIONAL DEL CENTRO DE LA PROVINCIA DE BUENOS AIRES   (Argentina)

Author keywords

Business rules model; Formal specifications; Language extended lexicon; RAISE method; Scenario model

Indexed keywords

EID: 34548148181     PISSN: 13359150     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. AMBRIOLA, V. - GERVASI, V.: On the Systematic Analysis of Natural Language Requirements with CIRCE. Automated Software Engineering Journal, Springer-Verlag, Vol. 13, 2006, No. 1, pp. 107-167.
2. BERRY, B. - BUCCHIARONE, A. - GNESI, S. - LAMI, G. - TRENTANI, G.: A New Quality Model for Natural Languages Requirements Specifications. In: Proceedings of the Twelfth International Workshop on Requirements Engineering: Foundation for Software Quality, Luxembourg, 2006.
3. BJORNER, D.: Software Engineering: A New Approach. Lecture Notes. Technical University of Denmark, 2000.
4. BRYANT, B. R. - LEE, B. - CAO, F. - ZHAO, W. - BURT, C. - RAJE, R. OLSON, A. - AUGUSTON, M.: From Natural Language Requirements to Executable Models of Software Components. In: Proceedings of Monterey Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, 2003, pp. 51-58.
5. BUSCHMAN, F. - MEUNIER R. - ROHNERT, H,-SOMMERLAD, P. - STAL, M.: Pattern-oriented Software Architecture. John Wiley and Sons, 1996.
6. DANG VAN, H. - GEORGE, C. - JANOWSKI, T. - MOORE, R.: Specification Case Studies in RAISE. Springer-Verlag, 2002.
7. DÍAZ, I. - PASTOR, O. - MORENO, L. - MATTEO, A.: A Requirements Engineering Linguistic Approximation for OO-Method (Una Aproximación Linguística de Ingeniería de Requisitos para OO-Method). Proceedings Workshop Iberoamericano de Ingeniería de Requisitos y Desarrollo de Ambientes de Software. Peru, 2004, pp. 270-281.
8. JURISTO, N. - MORENO, A. - LOPEZ, M.: How to Use Linguistic Instruments for Object-Oriented Analysis. IEEE Software, May-June, 2000, pp. 80-89.
9. GEORGE, C.: RAISE Tools User Guide. Research Report 227. United Nations University/International Institute for Software Technology (UNU-IIST), Macau, 2001.
10. GEORGE, C.: Introduction to RAISE. United Nations University/International Institute for Software Technology, Macau, Technical Report 249, 2002.
11. GERVASI, V. - NUSEIBEH, B.: Lightweight Validation of Natural Language Requirements. Software Practice and Experience Journal, John Wiley, & Sons, Vol. 32, 2002, No. 2, pp. 113-133.
12. KAPLAN, N. - HADAD, G. - DOORN, J. - LEITE, J.: Language Extenden Lexicon Inspection (Inspección del Lexico Extendido del Lenguaje). In: Proceedings III Workshop on Requirements Engineering, WER 2000, pp. 70-91.
13. LEE, B. - BRYANT, B.: Prototyping of Requirements Documents Written in Natural Language. In: Proceedings of SESEC 2002, the 2002 Southeastern Software Engineering Conference, 2002.
14. LEITE, J. - LEONARDI, M. C.: Business Rules as Organizational Policies. In: Proceedings of IEEE Ninth International Workshop on Software Specification and Design. IEEE Computer Society Press, Japan, 1998, pp. 68-76.
15. LEITE, J. - HADAD, G. - DOORN, J. -KAPLAN, G.: A Scenario Construction Process. Requirements Engineering Journal, Springer-Verlag, Vol. 5, 2000, No. 1, pp. 38-61.
16. LEITE, J. - DOORN, J. - HADAD, G. - KAPLAN, G.: Scenario Inspections. Requirements Engineering Journal, Vol. 10, 2005, No. 1, pp. 1-21.
17. LEONARDI, M. C.: A Strategy for Object Conceptual Modelling based on Natural Language Requirements Models (Una Estrategia de Modelado Conceptual de Objetos basada en Modelos de Requisitos en Lenguaje Natural). Master Thesis. Facultad de Informática, Universidad Nacional de La Plata, Argentina, 2001.
18. th International Conference CAISE 2002. Springer Verlag, 2002, pp. 420-435.
19. LEONARDI, M. C.: Business Modeling with Client-Oriented Requirements Strategy. Encyclopedia of Information Science and Technology I-V, Dr. Mehdi Khosrow-Pour (Ed.), IRM Press, Idea Group Inc, 2005, pp. 339-344.
20. MAUCO, M. V.: A Technique for an Initial Specification in RSL. Master Thesis. Facultad de Informática, Universidad Nacional de La Plata, Argentina, 2004,
21. MAUCO, M. V. - RIESCO, D.: Integrating Requirements Engineering Techniques and Formal Methods. Encyclopedia of Information Science and Technology, Volume I-V, Idea Group Inc., USA, 2005, pp. 1555-1559.
22. th IEEE International Symposium on Signal Processing and Information Technology, Greece, 2005, pp. 646-651.
23. NUSEIBEH, B. - EASTERBROOK, S.: Requirements Engineering: A Roadmap. In: Proceedings of the Conference on The Future of Software Engineering, ACM, 2000, pp. 35-46.
24. SCHWITTER, R. - FUCHS, N.: Attempt from Specifications in Controlled Natural Language towards Executable Specifications. In: Proceedings of Joint International Conference and Symposium on Logic Programming, 1996, pp. 536-549.
25. Semantics of Business Vocabulary and Business Rules Specification (SBVR) OMG Adopted Specification dtc/06-03-02. Available on: http://www.omg.org/ technology/documents/speccatalog.htm.
26. The RAISE Language Group: The RAISE Specification Language, BCS Practitioner Series, Prentice Hall, 1992.
27. The RAISE Method Group: The RAISE Development Method, BCS Practitioner Series, Prentice Hall, 1995.
28. STANDARD ML OF NEW JERSEY. AVAILABLE ON: http://www.smlnj.org.
29. VAN LAMSWEERDE, A.: Formal Specification: a Roadmap. In: Proceedings of the Conference on The Future of Software Engineering, ACM, 2000, pp. 147-159.
30. WEI, K. - GEORGE, C: RSL to SML Translator. Technical Report No. 208, United Nations University/International Institute for Software Technology, Macau, 2000.