Skip to main content
SpringerLink
Log in

Analysis of Specification in Japanese Using Natural Language Processing

  • Conference paper
  • First Online:
Knowledge-Based Software Engineering: 2018 (JCKBSE 2018)

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 108))

Included in the following conference series:

Abstract

A requirement specification for software is usually described in a natural language and thus may include sentences containing ambiguity and contradiction. Problems due to the ambiguity often occur at the stage of the verification process of software development, and this forces developers to go back to the design process again. In order to prevent this kind of rework, a method of automatically converting a required specification written in Japanese to a state transition model is desired to help detect ambiguity and contradiction points of the specification. This paper proposes a method for this purpose, and reports on the result of applying the method to a specification example of an electric pot.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    The actual sentence is given in pure Japanese which uses Chinese characters, Hiragana, and Katakata without space-delimiters. The same applies hereafter.

References

  1. Meyer, B.: On formalism in specifications. IEEE Softw. 2(1), 6–26 (1985)

    Article  Google Scholar 

  2. Tripathy, A., Rath, S.K.: Object oriented analysis using natural language processing concepts: a review. arXiv:1510.07439vl [cs.SE]26 (2015)

  3. Okano, K., Takahashi, K., Naka, Y., Ogata, S., Sekizawa, T.: Analysis of specification in Japanese using natural language processing and review supporting with speech synthesis, IEICE Technical report, vol. 117, no. 465, KBSE2017-52, pp. 79–84 (2018). (in Japanese)

    Google Scholar 

  4. SESSAMI: embedded system educational material “Wadai-Futto pot GOMA-1015 type” required specification. http://www.sessame.jp/workinggroup2/POT_Specification.html. Accessed 11 Jan 2018. (in Japanese)

  5. Kasami, T.: An efficient recognition and syntax-analysis algorithm for context-free languages, Scientific report AFCRL-65-758. Air Force Cambridge Research Lab, Bedford, MA (1965)

    Google Scholar 

  6. Kuromoji-Atilika-AppliedSearchInnovation. https://www.atilika.com/ja/products/kuromoji.html. Accessed 11 Jan 2018

  7. Ranjan, N., Mundada, K., Phule, S., Phule, S.: A survey on techniques in NLP. Int. J. Comput. Appl. 134(8), 6–9 (2016)

    Google Scholar 

  8. MeCab: yet another part-of-speech and morphological analyzer. http://taku910.github.io/mecab/. Accessed 11 Jan 2018

  9. JUMAN. http://nlp.ist.i.kyoto-u.ac.jp/index.php?JUMAN. Accessed 11 Jan 2018

  10. Sasano, R., Kurohashi, S.: A discriminative approach to Japanese zero anaphora resolution with large-scale lexicalized case frames. In: Proceedings of the 5th International Joint Conference on Natural Language Processing (IJCNLP 2011), pp. 758–766 (2011)

    Google Scholar 

  11. Kudoh, T., Matsumoto, Y.: Japanese dependency analysis based on support vector machines. In: Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora EMNLP/VLC 2000 (2000)

    Google Scholar 

  12. Huy, B.Q., Ohnishi, A.: A verification method of the correctness of requirements ontology. In: Proceedings of the 10th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2012), pp. 1–10 (2012)

    Google Scholar 

  13. Ohnishi, A., Kitamoto, K.: A generation method of alternative scenarios with a normal scenario. IEICE Trans. Inf. Syst. E93–D(4), 693–701 (2010)

    Article  Google Scholar 

  14. Yoshimura, K., Nakanishi, T., Ototake, H., Tanabe, T., Furusho, H.: Extraction of simple sentences from technical documents using Japanese unification grammar. IEICE Technical report, vol. 117, no. 465, KBSE2017-58, pp. 109–114 (2018). (in Japanese)

    Google Scholar 

  15. IEC 61882:2001: Hazard and operability studies (HAZOP studies) - Application guide

    Google Scholar 

  16. Yumikura, Y., Wada, T., Sumi, T., Fujinmoto, H., Murata, Y.: Applying natural language analysis to the evaluation of requirements specifications. IPSJ Technical report, 2013-SE-181, pp. 1–8 (2013). (in Japanese)

    Google Scholar 

  17. Tanaka, K., Ikeda, T., Deguchi, Y.: A software development system based on natural language specifications. In: Proceedings of the 48th National Convention of IPSJ, pp. 91–92 (1994). (in Japanese)

    Google Scholar 

Download references

Acknowledgements

Part of this research is supported by Grants-in-Aid C16K00094. The authors would like to thank Mr. Yusuke Naka and Mr. Yusuke Sugiyama for deriving the UML state machine diagram which served as the base of the correct answer set. Authors also thank Prof. Takahiro Yamada of JAXA for valuable comments.

Author information

Authors and Affiliations

  1. Faculty of Engineering, Shinshu University, 4-17-1 Wakasato, Nagano, 380-8553, Japan

    Kozo Okano, Kazuma Takahashi & Shinpei Ogata

  2. College of Engineering, Nihon University, 1 Nakagawara Tokusada Tamuramachi, Koriyama, 963-8642, Japan

    Toshifusa Sekizawa

Authors
  1. Kozo Okano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kazuma Takahashi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shinpei Ogata
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Toshifusa Sekizawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kozo Okano .

Editor information

Editors and Affiliations

  1. Department of Informatics, University of Piraeus, Piraeus, Greece

    Maria Virvou

  2. Nippon Institute of Technology, Miyashiro, Japan

    Fumihiro Kumeno

  3. Department of Informatics, Ionian University, Corfu, Greece

    Konstantinos Oikonomou

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Okano, K., Takahashi, K., Ogata, S., Sekizawa, T. (2019). Analysis of Specification in Japanese Using Natural Language Processing. In: Virvou, M., Kumeno, F., Oikonomou, K. (eds) Knowledge-Based Software Engineering: 2018. JCKBSE 2018. Smart Innovation, Systems and Technologies, vol 108. Springer, Cham. https://doi.org/10.1007/978-3-319-97679-2_2

Download citation

Publish with us

Policies and ethics

Search

Navigation