The system is an automated stock broker, where you can specify a list
of stocks which automaticly, can either be bought or sold. This is
done by defining a prioritised list of stocks to observe, which each
has defined a trigger that tells in which situation the system should
react with either a buy or a sell action. The trigger is a rule
defined upon the history and the current value of the stock. This
model is made by Anders Kaels Malmos as a small mini-project in a
course on "Modelling of Mission Critical Systems" (see https://services.brics.dk/java/courseadmin/TOMoMi/pages/Modelling+of+Mission+Critical+Systems).
More information about the model and the purpose of it can be found in
the ProjectReport.pdf file included in the zip file with the source files.
Language Version: vdm10
Entry point : new World().Run()
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
