ViennaTalk and assertch: Building lightweight formal methods environments on pharo 4

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

2 被引用数 (Scopus)

抄録

It is possible to make Integrated Development Environments supporting formal methods that can be as flexible as the support for dynamic programming languages. This paper contributes with a demonstration employing different support environments for the Vienna Development Method Specification Language (VDMSL) and design by contract for visual programming language. This includes ViennaTalk developed on top of Pharo 4 providing Smalltalk-styled LIVE browsers, VDM-SL interpreters, Smalltalk code generators, UI prototyping environments and a prototypeWeb API server to enable rigorous and flexible modeling during exploratory phases of software development. ViennaTalk uses the Slot mechanism in Pharo to test invariant assertions on instance variables in Smalltalk objects generated from VDM-SL specifications. In addition, we present a plugin named Assertch for Phratch, a scratch-clone visual programming environment on top of Pharo 4, that provides assertion blocks for designing and debugging a series of blocks. Both ViennaTalk and Assertch combine flexible live modeling or coding while still supporting rigorous checking. ViennaTalk has been evaluated by experienced professional engineers of VDM-SL while Assertch has been evaluated by undergraduate students of computer science. ViennaTalk and Assertch both demonstrate that Pharo and its contemporary features support rigorous modeling in formal specification languages as well as flexible prototyping in Smalltalk.

本文言語英語
ホスト出版物のタイトルIWST 2016 - Proceedings of the 11th International Workshop on Smalltalk Technologies, in conjunction with the 24th International Smalltalk Joint Conference
出版社Association for Computing Machinery, Inc
ISBN(電子版)9781450345248
DOI
出版ステータス出版済み - 8 23 2016
イベント11th International Workshop on Smalltalk Technologies, IWST 2016 - Prague, チェコ共和国
継続期間: 8 23 20168 24 2016

出版物シリーズ

名前IWST 2016 - Proceedings of the 11th International Workshop on Smalltalk Technologies, in conjunction with the 24th International Smalltalk Joint Conference

その他

その他11th International Workshop on Smalltalk Technologies, IWST 2016
国/地域チェコ共和国
CityPrague
Period8/23/168/24/16

All Science Journal Classification (ASJC) codes

  • 信号処理
  • コンピュータ ネットワークおよび通信
  • コンピュータ サイエンスの応用

フィンガープリント

「ViennaTalk and assertch: Building lightweight formal methods environments on pharo 4」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル