整合性高速網路通訊軟體工程之研究設計---子計畫II：一建立高速網路的再利用軟體環境之研究(II)

Abstract

我們於計劃第一年時將ATM的特性引入，已建立一套用來製作ATM PROTOCOL機器的物件導向模式OOATM Model，也製作一套相對應的C++程式庫。由於在OOATM Model中每一object有一對應的class(es)及其method(s)目錄，應用OOATM Model來設計或撰寫ATM PROTOCOL機器的程式確實可以改善再利用。在過去半年中，我們一直探討OOATM Model中歸納出來的object與Estelle的規格描述方法間的關係，以便將建立一個自OOC Model(規格specification)轉譯成Estelle語言的工具，以便利用在Estelle上的工具(尤其是verification tool)來提升我們此一物件導向方法的精確性。我們已找出OOATM Model中的object和Estelle語法間部分的對應關係如下。視覺程式技術已日漸成熟也為各界所採用，這一年度我們將根據Visual programming技術與前兩年的成果，建立一個適合ATM的物件導向規格撰寫方法/語言/編輯器的VISUAL環境。我們將以第一年發展出來的OOATM Model及其C++ 程式庫為基礎發展一個ProtocolCode Generator，並加上第二年發展的OOATM to Estelle Translator，整合而成一套簡化的ATM specification工具，不但簡化規格撰寫，同時又能將規格自動轉換成C++/objectcode。