当社では従前からVDM の普及促進を図ってきました。実プロジェクトへ適用し、生産性、品質ともに期待を上回る効果を上げております。仕様が厳密で洗練されていると、ソフトウェアの作成者は、仕様の理解で苦しむことは少なくなります。叙述文仕様の行間と紙の裏を読むという、本来ソフトウェア作成者の仕事でない作業は、ほとんど不要となるからです。その結果、仕様の解釈違いも発生しなくなります。ソフトウェアの作成に新しい時代が到来するのです。

九州大学の荒木教授からは、形式手法の多様性について理解を深めるために、VDM を中心として、いくつかの主要な形式手法について、その特徴および相互の関連をお話いただきました。抽象度の高い形式的記述はシステムの本質を突き詰めることが出来るとして、注目を集めつつあります。多種多様な形式手法を実践的研究を通して紹介していきたいと、研究会の抱負も語っていただきました。

フェリカネットワークス株式会社の栗田様からは、携帯電話組込み用ICチップファームウェア開発において、形式仕様記述手法を導入した経緯とその効果についてお話いただきました。形式手法を実践された立場から、「形式手法７つの神話」(Anthony Hall, 1990)をもとに、現場の生の声を交えながら世の中に蔓延する同手法に対する様々な誤解を説明していただきました。

当社組込システム事業本部の佐原からは、オブジェクト指向形式仕様記述言語VDM++ の特徴と、それを用いたモデル化の手法について簡単な実例を通して、要求仕様モデル作成の方法を紹介しました。モデルを構築する過程とモデル記述に使われる要素とVDM++ による具体的な記述方法を見ていくとともに、UML 等のモデリング手法との関連を明らかにしていくことで、VDM モデリングの理解を深めていただく説明をしました。

高い信頼性を持ったソフトウェアの構築を支援するために、当社は数学的モデル化手法に関心のある、ユーザ、ベンダー、学会の方々と共同でVDM 研究会を発足させました。研究会は今後多数の関係者に参加を呼びかけ、より広いコミュニティへと発展させる計画です。また、VDM をより身近な手法として活用していただくために、ウェブサイトも開設いたしました。ユーザ同士の情報交換の場として、是非ご利用ください。
VDM Information Web Site