Search arXiv⌕ Search

arXiv subjects

Xi Guo

Publications and source records attributed to Xi Guo.

23 records · Page 2Linked to original sources

BPCE: A Prototype for Co-Evolution between Business Process Variants through Configurable Process Model

With the continuous development of business process management technology, the increasing business process models are usually owned by large enterprises. In large enterprises, different stakeholders may modify the same business process model. In order to better manage the changeability of processes, they adopt configurable business process models to manage process variants. However, the process variants will vary with the change in enterprise business demands. Therefore, it is necessary to explore the co-evolution of the process variants so as to effectively manage the business process family. To this end, a novel framework for co-evolution between business process variants through a configurable process model is proposed in this work. First, the mapping relationship between process variants and configurable models is standardized in this study. A series of change operations and change propagation operations between process variants and configurable models are further defined for achieving propagation. Then, an overall algorithm is proposed for achieving co-evolution of process variants. Next, a prototype is developed for managing change synchronization between process variants and configurable process models. Finally, the effectiveness and efficiency of our proposed process change propagation method are verified based on experiments on two business process datasets. The experimental results show that our approach implements the co-evolution of process variants with high accuracy and efficiency.

cs.SE↗

A Lightweight Approach of Human-Like Playtesting

A playtest is the process in which human testers are recruited to play video games and to reveal software bugs. Manual testing is expensive and time-consuming, especially when there are many mobile games to test and every software version requires for extensive testing before being released. Existing testing frameworks (e.g., Android Monkey) are limited because they adopt no domain knowledge to play games. Learning-based tools (e.g., Wuji) involve a huge amount of training data and computation before testing any game. This paper presents LIT -- our lightweight approach to generalize playtesting tactics from manual testing, and to adopt the generalized tactics to automate game testing. LIT consists of two phases. In Phase I, while a human plays an Android game app G for a short period of time (e.g., eight minutes), \tool records the user's actions (e.g., swipe) and the scene before each action. Based on the collected data, LIT generalizes a set of \emph{context-aware, abstract playtesting tactics} which describe under what circumstances, what actions can be taken to play the game. In Phase II, LIT tests G based on the generalized tactics. Namely, given a randomly generated game scene, LIT searches match for the abstract context of any inferred tactic; if there is a match, LIT customizes the tactic and generates a feasible event to play the game. Our evaluation with nine games shows LIT to outperform two state-of-the-art tools. This implies that by automating playtest, LIT will significantly reduce manual testing and boost the quality of game apps.

cs.SE↗

A class of fully nonlinear equations arising in conformal geometry

In this paper, we consider a class of fully nonlinear equations on closed smooth Riemannian manifolds, which can be viewed as an extension of $σ_k$ Yamabe equation. Moreover, we prove local gradient and second derivative estimates for solutions to these equations and establish an existence result associated to them.

math.DG↗

Monge-Ampère type equations with Neumann boundary conditions on Riemannian manifolds

In this paper, we consider the global regularity for Monge-Ampère type equations with the Neumann boundary conditions on Riemannian manifolds. It is known that the classical solvability of the Neumann boundary value problem is obtained under some necessary assumptions. Our main result extends the main theorem from the case of Euclidean space $R^n$ in [11] to Riemannian manifolds.

math.DG↗