Completeness set proof of precondition and post-condition types of activity in any EPM

Qian, Yu; Li, Tong; Liu, Jinzhuo; Zhang, Xuan; Yu, Yong

doi:10.1117/12.2050039

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

Publication Types

Select...

Article1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The transformation rules of process level of EPMM-based software evolution processes into its execution model was proposed in [14,15]. The activity level of EPMM-based EPM contains the input data structure, the output data structure and the local data structure which respectively described the input resources, output resources and local resources, especial roles resources, demanded by activity.…”

Section: Introductionmentioning

confidence: 99%

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

Qian

Lin

Zhang

et al. 2014

AMR

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%