Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Inconsistency Detection on Data Communication Standards Using Information Extraction Techniques: The ABP Case

  • Conference paper
  • First Online:
14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2019) (SOCO 2019)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 950))

Abstract

The present research aims mainly, at establishing an error tolerant procedure that extracts information from Natural Language (NL) Communication Standard Documents along with storing error knowledge. The error knowledge will contain information about the detected errors and inconsistencies as well as the actions taken to solve them. It will act as a key tool for solving the detected errors at various levels of the procedure. As a particular scope, the searching of errors and inconsistencies will be based on comparing results from two NLP tools, parsing and chunking. Information Extraction (IE) technics, aided by some specific-developed heuristic algorithms, are used. The approach has been applied to two different-written texts describing the Alternating Bit Protocol (ABP). A Semantic Net is automatically extracted. The error knowledge provides information to the user about what fragments of the text contained inconsistent structures or words and how they were or not solved. The implemented algorithm solved inconsistencies related to words tagged differently by the NLP tools and showed other errors due to the use of complex syntactic structures. Specific metrics were extracted that permitted identify some features of the texts.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

References

  1. Lynch, W.C.: Reliable full-duplex file transmission over half-duplex telephone lines. Commun. ACM 11(6), 407–410 (1968)

    Article  Google Scholar 

  2. Holzmann, G.J., Smith, M.H.: An automated verification method for distributed systems software based on model extraction. IEEE Trans. Softw. Eng. 28(4), 364–377 (2002)

    Article  Google Scholar 

  3. Holzmann, G.J., Smith, M.H.: A practical method for verifying event-driven software, pp. 597–607 (1999)

    Google Scholar 

  4. Berry, D., Gacitua, R., Sawyer, P., Tjong, S.F.: The case for dumb requirements engineering tools. Lecture Notes Computer Science (including Subser. Lecture Notes Artificial Intelligence Lecture Notes Bioinformatics), vol. 7195, pp. 211–217 (2012)

    Chapter  Google Scholar 

  5. Ryan, K.: The role of natural language in requirements engineering. In: Proceedings of IEEE Interantional Symposium on Requirements Engineering, pp. 240–242 (1993)

    Google Scholar 

  6. Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool. In: 26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001, pp. 97–105 (2001)

    Google Scholar 

  7. Leveraging Natural Language Processing in Requirements Analysis: How to Eliminate over Half of All Design Errors Before they Occur, pp. 1–11 (2016)

    Google Scholar 

  8. Barlas, K., Koletsos, G., Stefaneas, P.: Extending standards with formal methods: open document architecture. In: 2012 International Symposium on Innovations in Intelligent Systems and Applications, pp. 1–5 (2012)

    Google Scholar 

  9. Bruns, G., Staskauskas, M.: Applying formal methods to a protocol standard and its implementations. In: Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 198–205 (1998)

    Google Scholar 

  10. Drechsler, R., Harris, I.G., Wille, R.: Generating formal system models from natural language descriptions. In: 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT), pp. 164–165 (2012)

    Google Scholar 

  11. Yue, T., Briand, L.C., Labiche, Y.: A systematic review of transformation approaches between user requirements and analysis models. Requirments Eng. 16(2), 75–99 (2011)

    Article  Google Scholar 

  12. Bano, M., Addressing the challenges of requirements ambiguity: a review of empirical literature. In: 2015 IEEE Fifth International Workshop on Empirical Requirements Engineering (EmpiRE), pp. 21–24 (2015)

    Google Scholar 

  13. Kobayashi, Y., Enoki, H., Ohta, T.: Understanding natural language requirement descriptions for telecommunication services. In: Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence, pp. 295–302 (1995)

    Google Scholar 

  14. Ishihara, Y., Seki, H., Kasami, T.: A translation method from natural language specifications into formal specifications using contextual dependencies. pp. 232–239 (1993)

    Google Scholar 

  15. Ambriola, V., Gervasi, V.: On the systematic analysis of natural language requirements with c irce. Autom. Softw. Eng. 13(1), 107–167 (2006)

    Article  Google Scholar 

  16. Greghi, J.G., Martins, E., Carvalho, A.M.B.R.: Semi-automatic generation of extended finite state machines from natural language standard documents. In: Proceedings - 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2015, pp. 45–50 (2015)

    Google Scholar 

  17. Wang, Y., Zhang, J.: Experiment on automatic functional requirements analysis with the EFRFs semantic cases. In: PIC 2016 - Proceedings of the 2016 IEEE International Conference on Progress in Informatics and Computing, pp. 636–642 (2017)

    Google Scholar 

  18. Wang, Y.: Semantic information extraction for software requirements using semantic role labeling. In: Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015, pp. 332–337 (2016)

    Google Scholar 

  19. Arora, C., Sabetzadeh, M., Briand, L., Zimmer, F.: Automated checking of conformance to requirements templates using natural language processing. IEEE Trans. Softw. Eng. 41(10), 944–968 (2015)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Las Palmas de Gran Canaria, Las Palmas, Spain

    Sonia León

  2. Comillas Pontifical University, Madrid, Spain

    José Antonio Rodríguez-Mondéjar & Cristina Puente

Authors
  1. Sonia León
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Antonio Rodríguez-Mondéjar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Cristina Puente
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sonia León .

Editor information

Editors and Affiliations

  1. Data Science and Big Data Lab, Pablo de Olavide University, Seville, Spain

    Francisco Martínez Álvarez

  2. Data Science and Big Data Lab, Pablo de Olavide University, Seville, Spain

    Alicia Troncoso Lora

  3. University of Salamanca, Salamanca, Spain

    José António Sáez Muñoz

  4. Department of Industrial Engineering, University of A Coruña, A Coruña, Spain

    Héctor Quintián

  5. University of Salamanca, Salamanca, Spain

    Emilio Corchado

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

León, S., Rodríguez-Mondéjar, J.A., Puente, C. (2020). Inconsistency Detection on Data Communication Standards Using Information Extraction Techniques: The ABP Case. In: Martínez Álvarez, F., Troncoso Lora, A., Sáez Muñoz, J., Quintián, H., Corchado, E. (eds) 14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2019). SOCO 2019. Advances in Intelligent Systems and Computing, vol 950. Springer, Cham. https://doi.org/10.1007/978-3-030-20055-8_28

Download citation

Publish with us

Policies and ethics

Search

Navigation