Skip to Main Content
ASME Press Select Proceedings

International Conference on Computer and Electrical Engineering 4th (ICCEE 2011)

Jianhong Zhou
Jianhong Zhou
Search for other works by this author on:
No. of Pages:
ASME Press
Publication date:

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 (ASEPDL).

Key Words
1. Introduction
2. The Algebraic Semantics At Software Process Level
3. The Algebraic Semantics At Global Level
4. The Algebraic Semantics at EPDL Language(As-EPDL)
5. Conclusions
6. Acknowledgment
This content is only available via PDF.
Close Modal
This Feature Is Available To Subscribers Only

Sign In or Create an Account

Close Modal
Close Modal