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

  • Sonia LeónEmail author
  • José Antonio Rodríguez-Mondéjar
  • Cristina Puente
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 950)


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.


Natural language processing Information Extraction Heuristic algorithm Industrial communication standard Syntactical patterns Setting chunking Semantic Network NLP tools Error tolerant process 


  1. 1.
    Lynch, W.C.: Reliable full-duplex file transmission over half-duplex telephone lines. Commun. ACM 11(6), 407–410 (1968)CrossRefGoogle Scholar
  2. 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)CrossRefGoogle Scholar
  3. 3.
    Holzmann, G.J., Smith, M.H.: A practical method for verifying event-driven software, pp. 597–607 (1999)Google Scholar
  4. 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)CrossRefGoogle Scholar
  5. 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. 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. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  12. 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. 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. 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. 15.
    Ambriola, V., Gervasi, V.: On the systematic analysis of natural language requirements with c irce. Autom. Softw. Eng. 13(1), 107–167 (2006)CrossRefGoogle Scholar
  16. 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. 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. 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. 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)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.University of Las Palmas de Gran CanariaLas PalmasSpain
  2. 2.Comillas Pontifical UniversityMadridSpain

Personalised recommendations