Methods for formal specification have been studied and evaluated in the academic environments already a long time. In particular the combination of formal specification and analysis with simulation, animation and code generation may change parts of the software engineering process considerable. The availability of some more user-friendly software tools, based on a sound formal basis now opens the way to application of results of fundamental academic research to important practical problems. Formal specification turns out to be realisable in times comparable to more conventional approaches, whereas they offer more possibilities to describe and analyse modern distributed software applications. This article describes how formal software engineering techniques have been applied in a large distributed software engineering project (RODOS: Rotterdam Douane System). We will describe the elements of the formal specification made with the tool ExSpect, which uses Petri nets, functional languages and data-modelling. Also the way by which we come to a formal specifications is being described with the clear advantages of the approach in comparison with more traditional software engineering approaches.
|Title of host publication||Proceedings Seventh International Conference on Formal Description Techniques (FORTE'94, Bern, Switzerland, 1994)CAISE Conference Workshop (Utrecht, The Netherlands, 1994)|
|Editors||D. Hogrefe, S. Leue|
|Place of Publication||London|
|Publisher||Chapman & Hall|
|Publication status||Published - 1994|
|Name||IFIP Conference Proceedings|
Hengeveld, W. F., Houben, G. J. P. M., & Toorn, van der, P. (1994). Using formal specification and simulation : practical experience with distributed applications. In D. Hogrefe, & S. Leue (Eds.), Proceedings Seventh International Conference on Formal Description Techniques (FORTE'94, Bern, Switzerland, 1994)CAISE Conference Workshop (Utrecht, The Netherlands, 1994) (pp. 151-162). (IFIP Conference Proceedings; Vol. 6). Chapman & Hall.