Research On Semantic Programming Language (SPROGLE) And Its Implementation Mechanism

Based on the related research work, a semantic programming language named SPROGLE is introduced, which is designed for integrating and orchestrating semantic web services. The implementation mechanism of SPROGLE is presented and its supporting tools are also developed. An approach for semantic software development are proposed based on SPROGLE, which can offer an effective systematic solution for enterprises to satisfy varying market requirements in evolving environment.The main contributions of our work are as following:1) A semantic programming language-SPROGLE is proposed and its transformation and execution mechanism are also introduced. The SPROGLE defines semantic data, semantic services, semantic rules and semantic processes, which are designed for developing application at semantic level.2) Based on the typedπ-Caculus, a typed formal model of SPROGLE specification is presented, which can be utilized to verify the correctness of program writted in SPROGLE. The verification method of data type consistency and dynamic behavior correctness in the process of the services interaction are introduced.3) The integrated development and execution environment of SPROGLE is introduced, which consists of SPROGLE Designer Studio, SPROGLE Converter, SPROGLE Execution Engine and Administer. The main design and implementation of the supporting tools are also presented.4) An approach for semantic software development are proposed based on SPROGLE and the whole developing process of the approach is discussed systematically through a case study in travel order domain.