计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2011年
11期
64-68,187
,共6页
概念%泛型%Tecton%结构化归纳法
概唸%汎型%Tecton%結構化歸納法
개념%범형%Tecton%결구화귀납법
面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要.基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性.并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势.
麵嚮概唸設計技術也稱為汎型設計技術,可以將一般服務組閤的共同性質進行提取形成汎型形式,併在抽象級彆進行驗證,其主要目標是提高規範的可重用性和簡化驗證的需要.基于概唸描述語言Tecton定義瞭汎型服務組閤的形式化規範,然後應用結構化歸納法驗證規範的完備性.併通過與其他過程定義的形式化方法的比較,說明瞭麵嚮概唸設計技術可重用性方麵的優勢.
면향개념설계기술야칭위범형설계기술,가이장일반복무조합적공동성질진행제취형성범형형식,병재추상급별진행험증,기주요목표시제고규범적가중용성화간화험증적수요.기우개념묘술어언Tecton정의료범형복무조합적형식화규범,연후응용결구화귀납법험증규범적완비성.병통과여기타과정정의적형식화방법적비교,설명료면향개념설계기술가중용성방면적우세.
