Algebraic Approach to Linking the Semantics of Web Services

Authors:
Huibiao Zhu;Jifeng He;Jing Li;Jonathan P. Bowen
Affiliations:
East China Normal University;East China Normal University;East China Normal University;London South Bank University
Venue:
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Year:
2007

Citing 0
Cited 3

Linking denotational semantics with operational semantics for web services

Innovations in Systems and Software Engineering
Algebraic approach to linking the semantics of web services

Innovations in Systems and Software Engineering
Service net algebra based on logic Petri nets

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

A key challenge for software engineering is to learn how to reconcile the formal world of the machine and its software with the non-formal real world. In this paper, we discuss elements of Problem Oriented Software Engineering (POSE), an approach that ...