Construct a based on Mealy!The Meaning of the Machine Process Validation Method
Hong Gan, Dan Pan
Available Online November 2012.
- https://doi.org/10.2991/citcs.2012.64How to use a DOI?
- Construct a based on Mealy!The Meaning of the Machine Process Validation Method
- 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
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - CONF AU - Hong Gan AU - Dan Pan PY - 2012/11 DA - 2012/11 TI - Construct a based on Mealy!The Meaning of the Machine Process Validation Method BT - 2012 National Conference on Information Technology and Computer Science PB - Atlantis Press SP - 242 EP - 246 SN - 1951-6851 UR - https://doi.org/10.2991/citcs.2012.64 DO - https://doi.org/10.2991/citcs.2012.64 ID - Gan2012/11 ER -