A Mealy machine based modeling approach for semantic programming language

Semantic Programming language is an essential study aspect of semantic software engineering. Semantic programming language is not only need for syntax modeling and analysis of classical programming language, but also the semantic modeling and analysis. This paper firstly introduces the semantic Web...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2010 2nd International Asia Conference on Informatics in Control, Automation and Robotics (CAR 2010) Ročník 2; s. 250 - 253
Hlavní autori: Luokai Hu, Shi Ying, Kai Zhao
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.03.2010
Predmet:
Authentication
Communication system security
Computer languages
Information security
Mealy4S Machine
Privacy
Protocols
Radiofrequency identification
RFID tags
Robotics and automation
Semantic Modeling
Semantic Programming Language
ISBN:1424451922, 9781424451920
ISSN:1948-3414
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Semantic Programming language is an essential study aspect of semantic software engineering. Semantic programming language is not only need for syntax modeling and analysis of classical programming language, but also the semantic modeling and analysis. This paper firstly introduces the semantic Web services based semantic programming language (SPL) and then proposes a modeling approach of this language based on the semantic Mealy machine (named Mealy4S machine). A case study of online forex system is given to elaborate the modeling approach. Mealy4S machine could be suitable for the modeling of semantic programming language. This approach may also provide a basic support for the verification of semantic program in the future.
ISBN:1424451922
9781424451920
ISSN:1948-3414
DOI:10.1109/CAR.2010.5456555