Abstract
The Structured Object-oriented Formal Language (SOFL) method is developed to overcome the disadvantages of existing formal methods and provide effective techniques for writing formal specifications and carrying out verification and testing. Although it has been applied to system modeling and design in practical and research projects, SOFL has not been widely applied to the industrial software development systems because of the lack of efficient tool support. Aiming at improving the existing SOFL supporting tool and solving the problem that the formal specifications cannot be directly executed, this paper firstly analyzes the relationship between the structures of SOFL formal specifications and C# programs, and then discusses how module transformation and data type transformations are implemented. Finally, a testing is performed to ensure the reliability of the implemented software system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Liu, S., Chen, Y., Nagoya, F., McDermid, J.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 38(5), 1100–1122 (2012)
Mosses, P.D.: VDM semantics of programming language: combinators and monads. Formal Aspects Comput. 23, 221–238 (2011)
Liu, S.: Formal Engineering for Industrial Software Development: Using the SOFL Method. Springer, Heidelberg (2004). ISBN 3-540-20602-7
Liu, S.: An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations Syst. Softw. Eng. 6(1), 137–143 (2009). Springer
Zainuddin, F.B., Liu, S.: An approach to low-fidelity prototyping based on SOFL informal specification. In: IEEE APSEC (2012), ISSN: 1530-1362/12
Miao, W., Liu, S.: Service-oriented modeling using the SOFL formal engineering method. In: IEEE APSCC (2009), ISBN: 978-1-4244-5336-8/09
Liu, S., Xue, X.: Automated software specification and design using the SOFL formal engineering method. In: IEEE WCSE (2009), ISBN: 978-0-7685-3570-8/09
Chen, Y., Liu, S., Nagoya, F.: A Framework for SOFL-based Program Review. In: IEEE ICECCS (2005), ISBN: 0-7695-2284-X/05
Chen, Y.: A case study of using SOFL to specify a concurrent software system. In: IEEE (2010), ISBN: 978-1-4244-6055-7/10
Li, M., Liu, S.: Tool support for rigorous formal specification inspection. In: IEEE CSE 2014 (2014), ISBN: 978-1-4799-7981-3/14
Fitzgerald, J., Larsen, P.G., Sahare, S.: VDMTools: advances in support for formal modeling in VDM. ACM SIGPLAN Not. 43(2), 3–11 (2008)
Leuschel, M., Butler, M.: PROB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10, 185–203 (2008)
Behrmann, G., David, A., Larsen, K.G.: UPPAAL 4.0. In: IEEE QEST06 (2006), ISBN: 0-7695-2665-9/06
Acknowledgment
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
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Luo, X., Liu, S. (2016). Automatic Transformation from SOFL Module Specifications to Program Structures. In: Liu, S., Duan, Z. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2015. Lecture Notes in Computer Science(), vol 9559. Springer, Cham. https://doi.org/10.1007/978-3-319-31220-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-31220-0_15
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-31219-4
Online ISBN: 978-3-319-31220-0
eBook Packages: Computer ScienceComputer Science (R0)