A mealy machine based modeling approach for semantic programming language

Authors:
Luokai Hu;Shi Ying;Kai Zhao
Affiliations:
School of Computer, Hubei University of Education, Wuhan, P.R. of China and State Key Lab of Software Engineering, Wuhan University, Wuhan, P.R. of China;State Key Lab of Software Engineering, Wuhan University, Wuhan, P.R. of China;State Key Lab of Software Engineering, Wuhan University, Wuhan, P.R. of China and School of Information and Technology, Xinjiang University, Wuhan, P.R. of China
Venue:
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
Year:
2010

Citing 3
Cited 0

Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
Using process algebra for web services: early results and perspectives

TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Transforming BPEL to petri nets

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

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.