Statecharts，シナリオ及び機能モデルの連携による組み込みシステムの挙動仕様記述手法の研究

摘要

PDA，携帯電話の様な組み込みシステムの開発において開発プロセスの効率化が強く望まれている．その効率化の一方法としてGUI(Graphical User Interface)部の開発効率化が挙げられる[1]．GUI 開発プロセスは，製品の機能仕様（製品がどのような機能からなるか）から挙動仕様（機能を実現するための操作·表示がどのような動作となるか）への変換プロセスであり，GUI デザイナーが担当する．その変換プロセス支援ツールの要求機能としては，①製品の機能仕様，挙動仕様の図的モデル化が可能，②それら仕様間の体系的変換プロセスが明確である，③挙動仕様モデルの再利用性が高いこと，などが挙げられる.