Proceedings of the 2012 National Conference on Information Technology and Computer Science

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

Authors
Hong Gan, Dan Pan
Corresponding Author
Hong Gan
Available Online November 2012.
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)

Volume Title
Proceedings of the 2012 National Conference on Information Technology and Computer Science
Series
Advances in Intelligent Systems Research
Publication Date
November 2012
ISBN
978-94-91216-39-8
ISSN
1951-6851
DOI
10.2991/citcs.2012.64How to use a DOI?
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/).

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  - 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  -