A formal operational semantics for SOFL

SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data flow diagrams, VDM-SL, and Petri nets to provide a graphical and textual formal notation for specification construction. Previous publications introducing SOFL are based on its informal semantics. We provide a formal operational semantics which gives a firm foundation for consistent understanding and application of SOFL in practical systems development. Development of the semantics, and application of SOFL to practical systems, have led to some changes in the original definitions. This formal semantics will serve as a firm foundation for building an effective support environment for SOFL.

[1]  Robert B. France,et al.  Integrated Structured Analysis and Formal Specification Techniques , 1992, Comput. J..

[2]  Shaoying Liu,et al.  Structured methodology+object-oriented methodology+formal methods: methodology of SOFL , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[3]  Shaoying Liu.  SOFL: a formal engineering methodology for industrial applications , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[4]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[5]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[6]  Victor Weinberg,et al.  Structured Analysis , 1978 .

[7]  Shaoying Liu,et al.  The practice of formal methods in safety-critical systems , 1995, J. Syst. Softw..

[8]  Shaoying Liu.  A formal requirements specification method based on data flow analysis , 1993, J. Syst. Softw..