Skip to main content
SpringerLink
Log in

SMART: System Model Acquisition from Requirements Text

  • Conference paper
Business Process Management (BPM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3080))

Included in the following conference series:

Abstract

Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that a system model can be acquired through an automated process whose input is a corpus of technical free text requirement documents and whose output is an OPM model, expressed both graphically, through a set of Object-Process Diagrams, and textually in equivalent Object-Process Language. Our experiment has yielded a high quality system model that required a much smaller effort than what would have been needed in the traditional approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dori, D.: Object-Process Methodology - A Holistic Systems Paradigm. Springer, Berlin (2002)

    Google Scholar 

  2. Dori, D., Reinhartz-Berger, I., Sturm, A.: Developing Complex Systems with Object- Process Methodology using OPCAT. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 570–572. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  3. GRACE: Grid Search and Categorization Engine. EU RTD Project in the 2002 Fifth Framework (2002), http://www.grace-ist.org/

  4. Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Proc. Conference on The Future of Software Engineering, Limerick, Ireland, pp. 35–46 (2000)

    Google Scholar 

  5. Egyed, A., Grünbacher, P., Medvidovic, N.: Refinement and Evolution Issues in Bridging Requirements and Architectures - The CBSP Approach. In: Proc. 1st International Workshops From Requirements to Architecture, co-located with ICSE 2001, Toronto, Canada (2001)

    Google Scholar 

  6. Grünbacher, P., Egyed, A., Medvidovic, N.: Reconciling Software Requirements and Architectures: The CBSP Approach. In: Proc. 5th IEEE International Symposium on Requirements Engineering (RE 2001), Toronto, Canada (2001)

    Google Scholar 

  7. Grünbacher, P., Egyed, A., Medvidovic, N.: Dimensions of Concerns in Requirements Negotiation and Architecture Modeling. In: The second workshop on multi-dimensional separation of concerns in software engineering, co-located with ICSE 2000, Limerick, Ireland (June 2000)

    Google Scholar 

  8. Robinson, W., Fickas, S.: Automated Support for Requirements Negotiation. In: Proc. AAAI 1994 Workshop on Models of Conflicts on Conflict Management in Cooperative Problem Solving (1994)

    Google Scholar 

  9. Ralyté, J., Rolland, C., Plihon, V.: Method Enhancement by Scenario Based Techniques. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 103–118. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  10. Ben Achour, C.: Linguistic Instruments for the Integration of Scenarios in Requirements Engineering. In: Proc. 3rd International Workshop on Requirements Engineering: Foundations of Software Quality (REFSQ 1997), Barcelona (1997)

    Google Scholar 

  11. Rolland, C., Proix, C.: A Natural Language Approach for Requirements Engineering. In: Loucopoulos, P. (ed.) CAiSE 1992. LNCS, vol. 593, pp. 257–277. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  12. Paik. W., Yilmazel, S., Brown, E., Poulin, M., Dubon, S., Amice, C.: Applying Natural Language Processing (NLP) Based Metadata Extraction to Automatically Acquire User Preferences, Knowledge Capture - K-CAP 2001 (2001)

    Google Scholar 

  13. Si-Said, S., Rolland, C., Grosz, G.: MENTOR: A Computer Aided Requirements Engineering Environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 22–43. Springer, Heidelberg (1996)

    Google Scholar 

  14. Ambriola, V., Gervasi, V.: Processing Natural Language Requirements. In: Proc. 12th IEEE Conference on Automated Software Engineering (ASE 1997), pp. 36–45. IEEE Press, Los Alamitos (1997)

    Chapter  Google Scholar 

  15. Ryan, K.: The Role of Natural Language in Requirements Engineering. In: Proc. IEEE International Symposium on Requirements Engineering, San Diego (1993)

    Google Scholar 

  16. Goldin, L., Berry, D.M.: A Prototype Natural Language Text Abstraction Finder For Use In Requirements Elicitation. Automated Software Engineering Journal 4(4), 375–412 (1997)

    Article  Google Scholar 

  17. Macias, B., Pullman, S.B.: Natural Language Processing for Requirements Specification. In: Safety-Critical Systems, pp. 57–59. Chapman and Hall, London (1993)

    Google Scholar 

  18. Fantechi, A., Gnesi, S., Ristori, G., Carenini, M., Vanocchi, M., Moreschini, P.: Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods in System Design 4(3), 243–263 (1994)

    Article  MATH  Google Scholar 

  19. Juristo, N., Moreno, A.M., Lopez, M.: How to use Linguistic Instruments for Object- Oriented Analysis. IEEE Software 17(3), 80–89 (2000)

    Article  Google Scholar 

  20. Macias, B., Pullman, S.G.: A Method for Controlling the Production of Specifications in Natural Language. The Computer Journal 38(4), 310–318 (1995)

    Google Scholar 

  21. Nelken, R., Francez, N.: Automatic translation of natural-language system specifications into temporal logic. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 360–371. Springer, Heidelberg (1996)

    Google Scholar 

  22. Jarke, M., Bubenko, J., Rolland, C., Sutcliffe, A., Vassiliou, Y.: Theories Underlying Requirements Engineering: An Overview of NATURE at Genesis. In: Proc.1st IEEE Symposium on Requirements Engineering, San Diego (1993)

    Google Scholar 

  23. Sutcliffe, A.G., Maiden, N.A.M.: Use of Domain Knowledge for Requirements Validation. In: Proc. Conference on Information System Development Process (1993)

    Google Scholar 

  24. Fabbrini, F., Fusani, M., Gervasi, V., Gnesi, S., Ruggirei, S.: Achieving Quality in Natural Language Requirements. In: Proc. 11th International Software Quality Week (1998)

    Google Scholar 

  25. Huyck, C., Abbas, F.: Natural Language Processing and Requirements Engineering: a Linguistics Perspective. In: Proc. 1st Asia-Pacific Conference on Software Quality (2000)

    Google Scholar 

  26. Natt, J., Regnell, B., Carlshamre, P., Andersson, M., Karlsson, J.: A Feasibility Study of Automated Natural Language Requirements Analysis in Market-Driven Development. Requirements Engineering 7, 20–33 (2002)

    Article  MATH  Google Scholar 

  27. Gervasi, V., Nuseibeh, B.: Lightweight Validation of Natural Language Requirements. In: Proc. 4th IEEE International Conference on Requirements Engineering (ICRE), Schaumburg, Il (2000)

    Google Scholar 

  28. Genesereth, M.R.: Knowledge Interchange Format (KIF) (1998), http://logic.stanford.edu/kif/kif.html

  29. Finin, T., Fritzson, R.: KQML as an Agent Communication Language. In: Proc. 3rd International Conference on Information and Knowledge Management (CIKM 1994), ACM Press, New York (1994)

    Google Scholar 

  30. Helbig, H., Hartrumpf, S.: Word Class Functions for Syntactic-Semantic Analysis. In: Proc. 2nd International Conference on Recent Advances in Natural Language Processing, pp. 312–317 (1997)

    Google Scholar 

  31. Samuelsson, C.: Optimizing Analysis and Generation in Natural Language Processing. Computational Lingustics – ERCIM (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technion, Israel institute of Technology,  

    Dov Dori, Nahum Korda, Avi Soffer & Shalom Cohen

Authors
  1. Dov Dori
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nahum Korda
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Avi Soffer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Shalom Cohen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    Jörg Desel

  2. Politecnico di Milano, Italy

    Barbara Pernici

  3. Hasso-Plattner-Institute, University of Potsdam, Germany

    Mathias Weske

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dori, D., Korda, N., Soffer, A., Cohen, S. (2004). SMART: System Model Acquisition from Requirements Text. In: Desel, J., Pernici, B., Weske, M. (eds) Business Process Management. BPM 2004. Lecture Notes in Computer Science, vol 3080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25970-1_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25970-1_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22235-4

  • Online ISBN: 978-3-540-25970-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation