臺灣博碩士論文加值系統

在軟體發展過程中，需求分析階段是非常重要但也是相當困難的工作。但是
目前大多數的需求分析工具多只強調其敘述表達的能力，而忽略了分析過程的表
現。它們通常只產生說明系統動作與資料流的需求規格，無法以動態的方式表現
所期望的系統行為。本論文使用法則基(rule-based)方法（使用CLIPS語言）來動
態模擬Z正規語言的數學結構，並且提出一個整合式的發展架構，以方便動態的行
為模擬功能。
我們將研究如何定義Z與CLIPS之間的轉換對應關係，據以發展一個Z/CLIPS轉
換器(translator)，該轉換器接受Z規格並產生CLIPS程式。透過執行CLIPS程式來
解釋及驗證需求規格的方式可以在軟體發展週期的早期階段就儘量去除可能的錯
誤，如此可以提高軟體發展的品質。
本論文為一整合性軟體發展方法的子研究，整合在JSDZ分析/設計轉換機制下
，JSDZ是一個結合非正規(JSD)與正規方法(Z)的需求分析方法，使得軟體發展工
作更加完備。

The validation of the dynamic properties at the requirements phase is
usually not available for most of the existing requirements analysis
methods. In this paper, we advocate a rule-based approach to animating
the dynamic behavior of specifications through the simulation of the
mathematical structures in Z. Translation rules are identified between Z
and CLIPS (called Z/CLIPS translator), and are embedded with JSDZ which
is an integrated development environment for informal (JSD) and formal
(Z) methods.