Abstract
Structure Object-oriented Formal Language (SOFL) is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. Writing specification can be realized as the most important and fundamental task in this modelling approach. In practice, the activity of writing specification is error-prone, especially the activity of specifying formal specification. We think there are two reasons that cause the difficulty of specifying specification. One reason is that some specifiers may not be familiar with the formal notations used in SOFL, especially the mathematical notations. And the other reason is that there is no tool to guide the specifiers to write specification and make the specifying process easy. In this paper, we show a prototype of a tool that can provide the specifiers with a strong support in the process of specifying specification. This tool provides an integration environment for specifying all kinds of specifications used in SOFL approach, including informal specification, semiformal specification, formal specification, CDFD, and class. And the tool also provides the function to organize the specifications of a same software system.
This research is supported in part by NII Collaborative Program, SCAT Research Foundation, and Hosei University. It is also partly supported by China 973 program under Grant No. 2010CB328102 and NSFC under Grant Nos. 61133001, 60910004..
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer (2004) ISBN 3-540-20602-7
Liu, S., Sun, Y.: Structured Methodology + Object-Oriented Methodology + Formal Methods: Methodology of SOFL. In: 1st IEEE International Conference on Engineering of Complex Computer Systems, pp. 137–144. IEEE Press, Ft. Landerdale (1995)
Liu, S., Shibata, M., Sato, R.: Applying SOFL to Develop a University Information System. In: 6th Asia-Pacific Software Engineering Conference, pp. 404–411. IEEE Press, Takamatsu (1999)
Dawes, J.: The VDM-SL Reference Guide. Pitman (1991)
Diller, A.: Z: An Introduction to Formal Methods. John Wiley & Sons (1994)
Meira, S.R.L., Cavalcanti, A.L.C.: Modular Object-Oriented Z Specifications. In: 5th Annual Z User Meeting on Z User Workshop, pp. 173–192. Springer, London (1991)
Liu, S.: Integrating top-down and scenario-based methods for constructing software specifications. In: 8th International Conference on Quality Software, pp. 105–113. IEEE Press, Oxford (2008)
Li, M., Liu, S.: Automatically Generating Functional Scenarios from SOFL CDFD for Specification Inspection. In: 10th IASTED International Conference on Software Engineering, Innsbruck, Austria, pp. 18–25 (2011)
Overture: Formal modelling in VDM, http://www.overturetool.org/
Event-B.org, http://www.event-b.org/
Hewitt, M.A., O’Halloran, C.M., Sennett, C.T.: Experiences with PiZA, an animator for Z. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol. 1212, pp. 37–51. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, M., Liu, S. (2013). Design and Implementation of a Tool for Specifying Specification in SOFL. In: Liu, S. (eds) Structured Object-Oriented Formal Language and Method. SOFL 2012. Lecture Notes in Computer Science, vol 7787. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39277-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-39277-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39276-4
Online ISBN: 978-3-642-39277-1
eBook Packages: Computer ScienceComputer Science (R0)