ViennaTalk
Milan

Live and Formal


View on GitHub

Pharo version CI License

ViennaTalk logo

ViennaTalk is a Smalltalk library to handle VDM-SL specifications.

Try Open VDMPad server to experience VDM-SL. No registration/no installation is required.

VDM cheatsheet provides major VDM-SL constructs with evaluatable examples. (🇬🇧English version 🇯🇵 Japanese version)

Demo movies

Introduction to VDM Browser ViennaTalk: Types, Values and Objects ViennaTalk: Code Generation ViennaTalk: ViennaVisuals

Table of Major Components of ViennaTalk

  • VDMBrowser - A VDM-SL browser inspired by Smalltalk’s class browsers and inspectors
  • VDMPad - A lightweight web IDE for VDM-SL with animation and diagram presentation of data
  • ViennaAnimation - Animation manager that encapsulate execution engine
  • Lively Walk-Through - A UI prototyping environment to animate UI prototype by VDM-SL specification
  • Webly Walk-Through - A Web API server to publish VDM-SL specifications of web APIs.
  • ViennaEngine - Animation engine wrapper
    • ViennaVDMJ - Animation engine by local VDMJ process
    • ViennaServer - Web server to publish animation engines
    • ViennaClient - Client module of ViennaServer/VDMPad
    • ViennaBankEngine - Aggregated animation engine
  • ViennaTalk-Types - Smalltalk classes for VDM types
  • ViennaTalk-Values - Smalltalk objects for VDM values
  • ViennaTalk-Parsers - VDM parsers, Smalltalk code generators and VDM source formatter.

What’s new in the latest release

  • Codename Milan has been released (Apr 2, 2025)

    • new Launcher UI: Models menu for quick access to open your model directories under Documents/ViennaTalk/.
    • Hi-De-Ho integration: You can manage micro-versions to safely explore design choices.
    • git repository support: You can clone a git repository to your local directory and push/pull/commit/merge.
    • on-file syntax debugger: On-file syntax debugger opens when you tried to open a syntactically erroneous model on the Refactoring Browser.
    • experimental native window support: In the settings dialog, you can turn-on ViennaTalk»Appearances/use Native multi-windows checkbox to use separate windows.
    • misc maintenance worksː Lively Walk-Through is now back in operational and minor improvements on GUIs have been done.
  • Past Releases

How to use

The ViennaTalk Launcher provides quick access.

ViennaLauncher

The tools menu provies shortcuts to the tools, such as VDM Browser, Lively Walk-Through and so on.

ViennaLauncher tools menu

The ViennaTalk menu will be available in the World menu.

World->Tools menu items for ViennaTalk

Settings

You can open the Settings dialog from either Tools»settings… menu of ViennaLauncher or System»Settings menu of the World menu.

settings menu of ViennaLauncher

Then the Settings Browser opens.

SettingsBrowser

If you want to setup the font for VDM sources, you can click on the font to open a font chooser dialog.

FontChooser dialog

The update button will read all available fonts in the system. You can then choose the font family and point size, and press OK.

Acknowledgements

Part of the ViennaTalk project is supported by Grant-in-Aid for Scientific Research (S) 24220001 and Grant-in-Aid for Early-Career Scientists 18K18033 from the Japan Society for the Promotion of Science.

The ViennaTalk project is supported by Software Research Associates, Inc..

SRA logo