A Mealy machine based modeling approach for semantic programming language

Author

Hu, Luokai ; Ying, Shi ; Zhao, Kai

Author_Institution

Sch. of Comput., Hubei Univ. of Educ., Wuhan, China

Volume

2

fYear

2010

fDate

6-7 March 2010

Firstpage

250

Lastpage

253

Abstract

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.

Keywords

Web services; programming language semantics; semantic Web; software engineering; Mealy machine based modeling approach; Mealy4S machine; online forex system; semantic Web services; semantic programming language; semantic software engineering; syntax modeling; Authentication; Communication system security; Computer languages; Databases; Information security; Privacy; Protocols; RFID tags; Radiofrequency identification; Robotics and automation; Mealy4S Machine; Semantic Modeling; Semantic Programming Language;

fLanguage

English

Publisher

ieee

Conference_Titel

Informatics in Control, Automation and Robotics (CAR), 2010 2nd International Asia Conference on

Conference_Location

Wuhan

ISSN

1948-3414

Print_ISBN

978-1-4244-5192-0

Electronic_ISBN

1948-3414

Type

conf

DOI

10.1109/CAR.2010.5456555

Filename

5456555