Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Software Tool to Support Scenario-Based Formal Specification for Error Prevention

  • Conference paper
  • First Online:
Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10795))

Abstract

Formal specification can be an error-prone process for complex systems and how to efficiently write correct specifications is still a challenge for practitioners in industry. This paper presents a software tool to support the scenario-based formal specification approach developed in the SOFL formal engineering method. Using the tool, the current version of the formal specification under construction can be automatically checked to ensure the internal consistency and some further contents of the specification may be automatically predicated to facilitate the user in completing the specification. To improve the readability of the formal specification, the tool can also automatically translate the textual format of the specification into a comprehensible tabular format. All of these three functions can be helpful to prevent errors during the construction of the specification. We discuss each of the functions by first presenting its principle and then illustrating it with examples. We present a case study to show how the tool supports the scenario-based specification approach. Finally, we conclude the paper and suggest topics for future research.

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 EPUB and 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

References

  1. Liu, S., Chen, Y., Nagoya, F., McDermid, J.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 35(8), 1100–1122 (2012)

    Google Scholar 

  2. Luo, J., Liu, S., Wang, Y., Zhou, T.: Applying SOFL to a railway interlocking system in industry. In: Liu, S., Duan, Z., Tian, C., Nagoya, F. (eds.) SOFL + MSVL 2016. LNCS, vol. 10189, pp. 160–177. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57708-1_10

    Chapter  Google Scholar 

  3. Liu, S., McDermid, J., Chen, Y.: A rigorous method for inspection of model-based formal specifications. IEEE Trans. Reliab. 59(4), 667–684 (2010)

    Article  Google Scholar 

  4. Liu, S.: Capturing complete and accurate requirements by refinement. In: Proceedings of 8th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society Press, Greenbelt, 2–4 December (2002)

    Google Scholar 

  5. Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Spinger, Heidelberg (2004)

    Book  Google Scholar 

  6. Li, M., Liu, S.: Automated functional scenarios-based formal specification animation. In: Software Engineering Conference (APSEC), Hong Kong, China (2012)

    Google Scholar 

  7. Liu, S., NaKajima, S.: A decompositional approach to automatice test case generation based on formal specifications. In: Secure Software Integration and Reliability Improvement, Singapore (2010)

    Google Scholar 

  8. Martin, S., Rudy, S., Josep, H.: Enhanced latent semantic analysis by considering mistyped words in automated essay scoring. In: Informatics and Computing (ICIC), Mataram, Indonesia (2017)

    Google Scholar 

  9. Sahand, S., Mehrnaz, A., Bijan, A.: Systematic approximate logic optimization using don’t care conditions. In: Quality Electronic Design (ISQED), Santa Clara, CA, USA (2017)

    Google Scholar 

  10. Senem, K., Bahar, K., Tank, K.: Attribute value-range detection in identification of paraphrase sentence pairs. In: Signal Processing and Communication Application Conference (SIU). Zonguldak, Turkey (2016)

    Google Scholar 

  11. Luo, X., Liu, S.,Wu, H.: A framework for transforming SOFL formal specifications to programs. In: Software Engineering and Service Science (ICSESS), Beijing, China (2015)

    Google Scholar 

  12. Chen, H., Shen, Y., Jiang, J.: Extended SOFL features for the modeling of middleware-based transaction management. In: Engineering of Complex Computer Systems (ICECCS), Shanghai, China (2005)

    Google Scholar 

  13. Zhu, S., Liu, S.: A supporting tool for syntactic analysis of sofl formal specifications and automatic generation of functional scenarios. In: Liu, S., Duan, Z. (eds.) SOFL + MSVL 2013. LNCS, vol. 8332, pp. 104–117. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-04915-1_8

    Chapter  Google Scholar 

  14. Liu, S., Hayashi, T., Takahashi, K., Kimura, K., Nakayama, T., Nakajima, S.: Automatic transformation from formal specifications to functional scenario forms for automatic test case generation. In: 9th International Conference on Software Methodologies, Tools, and Techniques. IOS Press. Yokohama (2010)

    Google Scholar 

  15. Liu, S., Wang, H.: An automated approach to specification animation for validation. J. Syst. Softw. 80, 1271–1285 (2007)

    Article  Google Scholar 

Download references

Acknowledgments

This work was supported by JSPS KAKENHI Grant Number 26240008

Author information

Authors and Affiliations

  1. Graduate School of Computer and Information Sciences, Hosei University, Tokyo, Japan

    Siyuan Li

  2. Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan

    Shaoying Liu

Authors
  1. Siyuan Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shaoying Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Siyuan Li or Shaoying Liu .

Editor information

Editors and Affiliations

  1. Xidian University, Xi’an, China

    Cong Tian

  2. Nihon University, Tokyo, Japan

    Fumiko Nagoya

  3. Hosei University, Koganei-shi, Tokyo, Japan

    Shaoying Liu

  4. Xidian University, Xi’an, China

    Zhenhua Duan

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Li, S., Liu, S. (2018). A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. In: Tian, C., Nagoya, F., Liu, S., Duan, Z. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2017. Lecture Notes in Computer Science(), vol 10795. Springer, Cham. https://doi.org/10.1007/978-3-319-90104-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-90104-6_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-90103-9

  • Online ISBN: 978-3-319-90104-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation