Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: sos_lib.mli Sprache: Text

Original von: VDM^©

Author: Peter Gorm Larsen

This specification describes how one can automatically transform Data
Flow Diagrams (DFD) into VDM-SL definitions. It is written as a flat
VDM-SL model in a purely executable style. However, in order to test
it at the top level one needs to construct a large test structure
which essentially is an AST for a DFD. This have been done in the past
but unfortunately the sources for this have been lost. This model was
basis for a paper published as:

"A Formal Semantics of Data Flows Diagrams", P.G.Larsen, N.Plat,
H.Toetenel, Formal Aspects of Computing'' 1994, Vol 6, December

Language Version: vdm10

¤ Dauer der Verarbeitung: 0.30 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

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.