云南民族大学学报（自然科学版）
雲南民族大學學報（自然科學版）
운남민족대학학보（자연과학판）
JOURNAL OF YUNNAN UNIVERSITY OF THE NATIONALITIES（NATURAL SCIENCES EDITION）
2013年
4期
299-301
,共3页
形式化表示%UML顺序图%结构操作语义
形式化錶示%UML順序圖%結構操作語義
형식화표시%UML순서도%결구조작어의
采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.
採用三元組形式化定義瞭UML順序圖及其對應的結構操作語義規則,併採用該方法描述瞭身份驗證過程對應的操作順序.這為基于UML順序圖的測試用例的自動生成奠定瞭基礎,也為UML順序圖的模型轉換和模型驗證提供瞭必要的前提條件.
채용삼원조형식화정의료UML순서도급기대응적결구조작어의규칙,병채용해방법묘술료신빈험증과정대응적조작순서.저위기우UML순서도적측시용례적자동생성전정료기출,야위UML순서도적모형전환화모형험증제공료필요적전제조건.
