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.

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.

A Software Evolution Process Model under the Circumstances of Cloud Computing

2011 ◽  
Vol 55-57 ◽  
pp. 1370-1375 ◽  
Author(s):  
Jian Wang ◽  
Na Zhao ◽  
Jin Guo You ◽  
Ling Yu Li ◽  
Lei Zhao
Keyword(s):  
Cloud Computing ◽  
Process Model ◽  
Software Evolution ◽  
Software Process ◽  
Evolution Process ◽  
Wide Spread ◽  
Realistic Case ◽  
Independent Functions ◽  
Depth Analysis ◽  
Computing Environments

With the wide spread of cloud computing technologies, we assume that increasing amount of attentions will be given to the area of software evolution processes in the context of cloud computing environments. Some major problems we are here facing now include: What kind of process a software evolution model under the circumstances of cloud computing must possess? What properties a software process must have as an attribute in order to effectively support the software evolution? How to modeling a process in the context of software evolution? While aiming to solve these mentioned problems, we focused our research on establishing a software evolution process model with independent functions as a component. In this article, the detailed discussion of our thoughts has been given and the in-depth analysis of our model is shown. Through a realistic case to which this model is applied, we concluded that our model provided the software evolution process with an effective support under the circumstances of cloud computing.

Dynamic-Competition Based Architecture for Component Library Under the Software Evolution Process Model of ESDDM

2012 ◽  
Vol 7 (1) ◽  
pp. 618-621 ◽  
Author(s):  
Jian Wang ◽  
Na Zhao ◽  
Wei Du ◽  
Peng Li ◽  
Jinzhuo Liu ◽  
...  
Keyword(s):  
Process Model ◽  
Software Evolution ◽  
Evolution Process ◽  
Dynamic Competition ◽  
Component Library

The Performance Analysis on a Software Evolution Process Model under the Circumstances of Cloud Computing

2011 ◽  
Vol 55-57 ◽  
pp. 1376-1381 ◽  
Author(s):  
Jian Wang ◽  
Na Zhao ◽  
Zhong Wen Xie ◽  
Qian Yu ◽  
Jin Zhuo Liu
Keyword(s):  
Cloud Computing ◽  
Performance Analysis ◽  
Process Model ◽  
Software Evolution ◽  
Evolution Process ◽  
The Cost

While cloud computing related technologies are gaining increasing amount of popularities nowadays, we are focusing our resent research on the aspects of software evolution processes under the environments of cloud computing. During our pervious research, we have proposed SEPUCCC, a software evolution process prototype under the circumstancees of cloud computing. In this article, we are going to have a further disscussion on SEPUCCC by giving it’s in-depth performance analysis, by which the model’s abilities, the abilities to supporting the evolution process under the circumstances of cloud computing as well as reducing the cost of process improvemnet, was demomstrated.

scholarly journals Motivations, challenges, and process support for the evolution of existing software to mobile computing platforms

2021 ◽  
Vol 8 (5) ◽  
pp. 89-106
Author(s):  
Ibrahim Alseadoon ◽  
Keyword(s):  
Mobile Computing ◽  
Software Maintenance ◽  
Process Model ◽  
Software Evolution ◽  
Mobile Systems ◽  
Evolution Process ◽  
Tool Support ◽  
Future Research ◽  
Computing Platforms

Software maintenance and evolution support changes in the structure and behavior of existing software to change it as per the needs and demands of new requirements. The majority of the existing software systems lack features of mobile computing such as portability, context-awareness, connectivity, and high interactivity. The evolution of the existing software for mobile computing platforms can enable these systems to retain their core data and logic while acquiring new features that are compatible with mobile systems. The objectives of this research are to (i) systematically identify the motivations and challenges of software evolution for mobile computing, and (ii) develop and validate a process model that supports the evolution of existing software to a mobile computing platform. To conduct this research, an empirical software engineering approach has been adopted to investigate existing solutions (30 published studies from 1996 to 2019) and empirically derive a process model that supports software evolution for mobile computing. A case study-based approach is adopted to demonstrate the process-centric evolution of existing software as a mobile-enabled application. Case study-based demonstration highlights that the proposed process (i) supports an incremental evolution and (ii) allows user-decision support to guide the evolution process. Evaluation results highlight computation and energy efficiency along with enhanced usability of a mobile application when executed on resource-constrained mobile devices. The results of this research could help researchers and practitioners to rationalize motivations and challenges to utilize a process-based approach to evolve existing or aging software for mobile computing platforms. Future research is focused on providing patterns and tool support to automate and customize the evolution process.

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.

Sign in / Sign up

Export Citation Format

Share Document