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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Dori, D.: Object-Process Methodology - A Holistic Systems Paradigm. Springer, Berlin (2002)
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)
GRACE: Grid Search and Categorization Engine. EU RTD Project in the 2002 Fifth Framework (2002), http://www.grace-ist.org/
Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Proc. Conference on The Future of Software Engineering, Limerick, Ireland, pp. 35–46 (2000)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Ryan, K.: The Role of Natural Language in Requirements Engineering. In: Proc. IEEE International Symposium on Requirements Engineering, San Diego (1993)
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)
Macias, B., Pullman, S.B.: Natural Language Processing for Requirements Specification. In: Safety-Critical Systems, pp. 57–59. Chapman and Hall, London (1993)
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)
Juristo, N., Moreno, A.M., Lopez, M.: How to use Linguistic Instruments for Object- Oriented Analysis. IEEE Software 17(3), 80–89 (2000)
Macias, B., Pullman, S.G.: A Method for Controlling the Production of Specifications in Natural Language. The Computer Journal 38(4), 310–318 (1995)
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)
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)
Sutcliffe, A.G., Maiden, N.A.M.: Use of Domain Knowledge for Requirements Validation. In: Proc. Conference on Information System Development Process (1993)
Fabbrini, F., Fusani, M., Gervasi, V., Gnesi, S., Ruggirei, S.: Achieving Quality in Natural Language Requirements. In: Proc. 11th International Software Quality Week (1998)
Huyck, C., Abbas, F.: Natural Language Processing and Requirements Engineering: a Linguistics Perspective. In: Proc. 1st Asia-Pacific Conference on Software Quality (2000)
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)
Gervasi, V., Nuseibeh, B.: Lightweight Validation of Natural Language Requirements. In: Proc. 4th IEEE International Conference on Requirements Engineering (ICRE), Schaumburg, Il (2000)
Genesereth, M.R.: Knowledge Interchange Format (KIF) (1998), http://logic.stanford.edu/kif/kif.html
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)
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)
Samuelsson, C.: Optimizing Analysis and Generation in Natural Language Processing. Computational Lingustics – ERCIM (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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