形式化Ｂ方法到ＵＭＬ類圖的轉化研究及應用
2009-01-01 00:00:00鄒盛榮郭忠偉彭昱靜周塔顧愛華衛麗
計算機時代 2009年3期
摘要：形式化B方法是建立在嚴格數學基礎上的軟件開發方法，它用抽象機器符號來描述軟件的規格說明；UML是面向對象的建模技術。文章提出一種將B的實現轉換成UML類圖的機制，從而以期實現B方法到面向對象編程的無縫連接，并結合免疫系統給出了應用實例。
關鍵詞：形式化方法；B方法；UML；類圖；免疫系統
摘要：形式化B方法是建立在嚴格數學基礎上的軟件開發方法，它用抽象機器符號來描述軟件的規格說明；UML是面向對象的建模技術。文章提出一種將B的實現轉換成UML類圖的機制，從而以期實現B方法到面向對象編程的無縫連接，并結合免疫系統給出了應用實例。
關鍵詞：形式化方法；B方法；UML；類圖；免疫系統
