The Algebraic Semantics of EPDL at Activity Level and Verification

摘要：

　　In recent years,algebraic semantics and its verification are increasingly important in software engineering.In this paper,firstly,the algebraic semantics of software evolution process description language (AS-EPDL) at activity level is explored.The algebraic semantics of activity level in EPDL provide an accurate framework for defining the semantics.In addition,the hierarchy-consistency and sufficient-completeness properties of the AS-EPDL at activity level are verified.

关键词： Software Evolution Processes Activity EPDL algebraic semantics

作者: Jinzhuo Liu Lixia Wang Tong Li Qian Yu Na Zhao Feilu Hang

作者单位: School of Software, Yunnan University Kunming, 650091, China School of Eoonomics,Yunnan University Kunming, 650091, China School of Software, Yunnan University Key Laboratory in Software Engineering of Yunnan Province, Kun

会议类型: 国际会议

会议名称: 2012 2nd International Conference on Computer and Information Applications(ICCIA2012)(2012第二届计算机和信息应用国际会议)

会议地点: 太原

会议语种:英文

页码: 356-359

在线出版日期: 2012-12-08（万方平台首次上网日期，不代表论文的发表时间）