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

Qian Yu; Tong Li; JinZhuo Liu; Xuan Zhang; Yong Yu

doi:10.1117/12.2050039

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

Qian Yu, Tong Li, JinZhuo Liu, Xuan Zhang, Yong Yu

Proceedings Volume 9067, Sixth International Conference on Machine Vision (ICMV 2013); 90671Z (2013) https://doi.org/10.1117/12.2050039
Event: Sixth International Conference on Machine Vision (ICMV 13), 2013, London, United Kingdom

Abstract

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 [1]. In order to better manage and control the software evolution process and make the best of existing software technology, the method to transform any EPM to its execution model based logic programming has been proposed. Completeness of conversion depends on completeness of the rules, that is, all the expressions of the original model are found the correspondence in the target model. Since transformation rules are proposed based on precondition or post-condition types of activities in anyone EPM, this need to prove that activity type set in anyone EPM is completeness set. To this end, the precondition and post-condition of activities in EPM are classified based on analyzing all expressions in EPMs and the semantics of the activity execution. Type completeness set of activity’s precondition and its post-condition is presented. Lastly we prove that the activity type set in anyone EPM is completeness set by mathematical induction.

Citation Download Citation

Qian Yu, Tong Li, JinZhuo Liu, Xuan Zhang, and Yong Yu "Completeness set proof of precondition and post-condition types of activity in any EPM", Proc. SPIE 9067, Sixth International Conference on Machine Vision (ICMV 2013), 90671Z (24 December 2013); https://doi.org/10.1117/12.2050039

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available