@article{(Open Science Index):https://publications.waset.org/pdf/3337,
	  title     = {A Visual Control Flow Language and Its Termination Properties},
	  author    = {László Lengyel and  Tihamér Levendovszky and  Hassan Charaf},
	  country	= {},
	  institution	= {},
	  abstract     = {This paper presents the visual control flow support of Visual Modeling and Transformation System (VMTS), which facilitates composing complex model transformations out of simple transformation steps and executing them. The VMTS Visual Control Flow Language (VCFL) uses stereotyped activity diagrams to specify control flow structures and OCL constraints to choose between different control flow branches. This work discusses the termination properties of VCFL and provides an algorithm to support the termination analysis of VCFL transformations.
},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {1},
	  number    = {8},
	  year      = {2007},
	  pages     = {2552 - 2557},
	  ee        = {https://publications.waset.org/pdf/3337},
	  url   	= {https://publications.waset.org/vol/8},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 8, 2007},
	}