The Algebraic Semantics of EPDL at Activity Level and Verification

2013 ◽  
Vol 756-759 ◽  
pp. 2306-2310
Author(s):  
Jin Zhuo Liu ◽  
Li Xia Wang ◽  
Tong Li ◽  
Qian Yu ◽  
Na Zhao ◽  
...  
Keyword(s):  
Software Engineering ◽  
Software Evolution ◽  
Activity Level ◽  
Evolution Process ◽  
Algebraic Semantics ◽  
Description Language

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.

Representing and Preparing for Resources in EPM’s Execution Model

2014 ◽  
Vol 989-994 ◽  
pp. 4851-4854
Author(s):  
Qian Yu ◽  
Tong Li ◽  
Xuan Zhang ◽  
Ying Lin ◽  
Yong Yu ◽  
...  
Keyword(s):  
Process Improvement ◽  
Process Model ◽  
Software Evolution ◽  
Evolution Process ◽  
Process Automation ◽  
Description Language ◽  
Formal Approach ◽  
Execution Model ◽  
Execution Environment ◽  
Knowledge Intensive

Software evolution process model (EPM) is a knowledge-intensive process which is described in EPDL(Software Evolution Process Description Language) and modelled by semi-formal approach based on EPMM(Software Evolution Process Meta-Model). In order to support process improvement and process automation, the execution model is represented by logic programming. Activity in EEM (EPM’s execution model) is not implemented until its needing all kinds of resources are satisfied by system execution environment. The paper discussed the representations of all kinds of resources in EEM and their structures are proposed. The preparation resources method is presented in order to execute the EEM automatically. The converter program is realized and the correct results have presented to prove the correctness of the method.

Research on Information Technology with Transformation Method of Activity from EPMM-Based Software Evolution Process Model to its Execution Model

2014 ◽  
Vol 886 ◽  
pp. 637-641 ◽  
Author(s):  
Qian Yu ◽  
Ying Lin ◽  
Xuan Zhang ◽  
Fei Dai ◽  
Na Zhao
Keyword(s):  
Logic Programming ◽  
Process Model ◽  
Software Evolution ◽  
Transformation Method ◽  
Activity Level ◽  
Evolution Process ◽  
Formal Approach ◽  
Model Based ◽  
Execution Model ◽  
Abstract Level

Software evolution process model (EPM) is created in terms of a formal evolution process meta-model (EPMM) and semi-formal approach to modeling based on EPMM. EPM is still abstract at higher abstract level and is general while software process is concrete, so EPM must be instantiated before its enactment. The method to transform any EPM to its execution model based on logic programming is proposed. Since activity contains the imports resource, roles resource, exports resource and tasks, the rules to transform the four parts of activity level of any EPM to its execution model based logic programming are respectively proposed by analyzing the execution semantics of the activities and the tasks in EPM. The converter program is realized and the correct results have presented to prove the correctness of the method.

Algorithm of Representing and Preparing for Resources in EEM

2014 ◽  
Vol 989-994 ◽  
pp. 2144-2147
Author(s):  
Qian Yu ◽  
Tong Li ◽  
Xuan Zhang ◽  
Ying Lin ◽  
Yong Yu ◽  
...  
Keyword(s):  
Logic Programming ◽  
Knowledge Base ◽  
Process Model ◽  
Software Evolution ◽  
Evolution Process ◽  
Description Language ◽  
Formal Approach ◽  
Execution Model ◽  
Execution Environment ◽  
Knowledge Intensive

Software evolution process model (EPM) is a knowledge-intensive process which is described in EPDL(Software Evolution Process Description Language) and modelled by semi-formal approach based on EPMM(Software Evolution Process Meta-Model). EPM’s execution model (EEM) is represented by logic programming to create the knowledge base of EPM during constructing the EEM. Only its needing all kinds of resources are satisfied by system execution environment is activity in EEM implemented. The paper discussed the method and the algorithm of preparing resources is respectively presented in order to execute the EEM automatically. The converter program is realized and the correct results have presented to prove the correctness of the method.

scholarly journals Towards an Algebraic Semantics of Software Evolution Process Models

2012 ◽  
Vol 23 (4) ◽  
pp. 846-863 ◽  
Author(s):  
Fei DAI ◽  
Tong LI ◽  
Zhong-Wen XIE ◽  
Qian YU ◽  
Ping LU ◽  
...  
Keyword(s):  
Software Evolution ◽  
Process Models ◽  
Evolution Process ◽  
Algebraic Semantics
Sign in / Sign up

Export Citation Format

Share Document