Construct a based on mealy!The meaning of the machine process validation method

Abstract

semantic validation is bound semantics and semantic programming language software development problem. To solve this problem, in this paper introduces a kind of semantic Web services based on semantic programming language SPL and its knowledge base business domain ontology ( BDO ) foundation, proposed one kind based on the Mealy! SPL language machine by scheduling the process semantic verification method. Finally, combined with an online forex trading platform in the case, a detailed description of the use of the method of semantic verification process, through the case has proved that this method is useful in the preparation of semantically correct semantic program. © 2012. The authors - Published by Atlantis Press.