Using formal specification and simulation : practical experience with distributed applications

W.F. Hengeveld, G.J.P.M. Houben, P. Toorn, van der

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationProceedings Seventh International Conference on Formal Description Techniques (FORTE'94, Bern, Switzerland, 1994)CAISE Conference Workshop (Utrecht, The Netherlands, 1994)
EditorsD. Hogrefe, S. Leue
Place of PublicationLondon
PublisherChapman & Hall
ISBN (Print)0-412-64450-9
Publication statusPublished - 1994

Publication series

NameIFIP Conference Proceedings
ISSN (Print)1571-5736


Dive into the research topics of 'Using formal specification and simulation : practical experience with distributed applications'. Together they form a unique fingerprint.

Cite this