Using formal specification and simulation : practical experience with distributed applications

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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.
Originele taal-2Engels
TitelProceedings Seventh International Conference on Formal Description Techniques (FORTE'94, Bern, Switzerland, 1994)CAISE Conference Workshop (Utrecht, The Netherlands, 1994)
RedacteurenD. Hogrefe, S. Leue
Plaats van productieLondon
UitgeverijChapman & Hall
ISBN van geprinte versie0-412-64450-9
StatusGepubliceerd - 1994

Publicatie series

NaamIFIP Conference Proceedings
ISSN van geprinte versie1571-5736


Duik in de onderzoeksthema's van 'Using formal specification and simulation : practical experience with distributed applications'. Samen vormen ze een unieke vingerafdruk.

Citeer dit