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.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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)
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
Liu, S., McDermid, J., Chen, Y.: A rigorous method for inspection of model-based formal specifications. IEEE Trans. Reliab. 59(4), 667–684 (2010)
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)
Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Spinger, Heidelberg (2004)
Li, M., Liu, S.: Automated functional scenarios-based formal specification animation. In: Software Engineering Conference (APSEC), Hong Kong, China (2012)
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)
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)
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)
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)
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)
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)
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
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)
Liu, S., Wang, H.: An automated approach to specification animation for validation. J. Syst. Softw. 80, 1271–1285 (2007)
Acknowledgments
This work was supported by JSPS KAKENHI Grant Number 26240008
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
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)