ALGEBRAIC SEMANTICS OF EPDL LANGUAGE

被引：0

作者：

Liu, Jinzhuo ^{[1
]}

Li, Tong ^{[2
]}

Zhao, Na ^{[1
]}

He, Jun ^{[1
]}

Jin, Yunzhi ^{[1
]}

机构：

[1] Yunnan Univ, Sch Software, Kunming, Peoples R China

[2] Key Lab Software Engn Yunnan Prov, Kunming, Peoples R China

来源：

FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING (ICCEE 2011) | 2011年

基金：

美国国家科学基金会;

关键词：

Software Evolution Processes; software process; EPDL; algebraic semantics;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A formal semantics is an essential part of modeling languages design as it can help comparison of language designs and provide a precise framework of semantics description. However, it seems that little attention has been paid to formal semantics in the field of evolution process description language. In this paper, the formal semantics of software evolution process description language (EPDL) has been formally given based on the algebraic semantics concept. This paper provides the semantics of EPDL at software process level and global level at first. This paper gives the whole algebraic semantics of EPDL language (AS-EPDL).

引用

页码：395 / +

页数：2