Regularity and context-freeness over word rewriting systems

Nguyen Van Vy and Phan Thanh Duc

Abstract—This article presents an overview of how to develop the web-based software to solve the automation of business process. The development process of software in this way is nearly similar to the formalization method rather than the traditional approach with all the steps: analysis, design, programming, testing, and evolution. Thanks to the advancement of the graphic identity that after specifying a business process with a visual graphical model, we can compile automatically the specifications into the source code....