Control Flow Checking at Virtual Edges.

LiPing Liu Linlin Ci Wei Liu Hui Yang

Published in: KSII Trans. Internet Inf. Syst. (2017)

Keyphrases

control flow
data flow
process model
software testing
virtual environment
transition systems
directed graph
augmented reality
workflow management systems
virtual reality
virtual world
formal semantics
business process models
modeling language
reactive systems
case study
databases
multi agent systems
data structure