Introduction to SOFL

SOFL stands for Structured Object-Oriented Formal Language [19]. It is a practical specification language that integrates data flow diagram (DFD) and formal operation specifications in VDM-SL. Given that Agile-SOFL employs an extended version of SOFL as its specification language, this chapter provides a concise introduction to the pertinent aspects of SOFL. This aims to aid readers in comprehending the contents of this book.