Construct a based on Mealy!The Meaning of the Machine Process Validation Method

DOI

10.2991/citcs.2012.64How to use a DOI?

Keywords

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

Copyright

© 2012, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

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  - Proceedings of the 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  - 10.2991/citcs.2012.64
ID  - Gan2012/11
ER  -