<figure><img src="image_1.png" /></figure>

HAL
open science

# Research on Semantic Programming Language

Shi Ying

► To cite this version:

Shi Ying. Research on Semantic Programming Language. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.15-15, 10.1007/978-3-642-32891-6_5 .
hal-01524953

HAL Id: hal-01524953

https://inria.hal.science/hal-01524953

Submitted on 19 May 2017

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_2.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
Research on Semantic Programming Language

Shi Ying

State Key Laboratory of Software Engineering,
Wuhan University, Wuhan, China
yingshi@whu.edu.cn

**Abstract.** As technologies of Semantic Web Service are gradually matured, developing intelligent web applications with Semantic Web Services becomes an important research topic in Software Engineering. This speech introduces our efforts on Semantic Web Service oriented programming. Employing the concept of semantic computing into service-oriented programming, we proposed a programming language SPL, Semantic Programming Language, which supports the expression and process of semantic information. Based on collaboration of semantic space and information space, the running mechanism of SPL program is presented, which provides SPL program with higher flexibility and stronger adaptability to changes. Furthermore, with the introduction of semantic operators, a kind of searching conditional expression is offered to facilitate the search of Semantic Web Services with greater preciseness and higher flexibility. Besides, semantic based policy and exception mechanism are also brought in to improve the intelligence of policy inference and exception handling in SPL program. At the same time, a platform that supports design and running of SPL program is developed.