H. Chen and Y. Dong (PRC)
formal specification language, formal model, validation,prototyping, tool
Formal models are useful for developing high quality software, especially at the early design stage. An important topic of using formal models is the validation of model specifications. One way to do this task is prototyping, which can also be used in other activities of software development. LFC is a formal specification language which supports prototyping. The construction of LFC specifications is aided by the environment SAQ to decrease specification difficulty. Facilities for prototyping are provided. This paper presents an example of a bank transfer to illustrate the use of LFC. The example shows that we can develop specification and do prototyping easily.
Important Links:
Go Back
