Abstract
With the tool Exspect one can design and simulate formal specifications of distributed systems by means of a formalism based on hierarchical colored Petri nets. A graphical tool set to support the specification process has been implemented. It consists of an editor that allows for hierarchical structuring, a type checker that verifies the rules of the type system and a simulator.
This is a preview of subscription content, log in via an institution.
References
W.M.P.van der Alst and A.W.Waltmans, Modeling Logistic Systems with ExSpect, in: H.G.Sol, K.M.van Hee (eds.), Dynamic Modeling of Information Systems, North-Holland, 1991.
K.M.van Hee, L.J.Somers and M.Voorhoeve, Executable Specifications for Distributed Information Systems, in: E.D.Falkenberg, P.Lindgreen (eds.), Information system concepts: an in-depth analysis, North-Holland, 1989.
K.Jensen, Colored Petri Nets: A High Level Language for System Design and Analysis, in: G.Rozenberg (ed), Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, Springer Verlag, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Hee, K.M., Somers, L.J., Voorhoeve, M. (1991). The Exspect tool. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_47
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54834-8
Online ISBN: 978-3-540-46449-5
eBook Packages: Springer Book Archive