A UTP semantic model for Orc language with execution status and fault handling

The Orc language is a concurrency calculus proposed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional semantics for O...

Full description

Saved in:

Bibliographic Details
Published in:	Frontiers of Computer Science Vol. 8; no. 5; pp. 709 - 725
Main Authors:	LI, Qin, ZHAO, Yongxin, ZHU, Huibiao, HE, Jifeng
Format:	Journal Article
Language:	English
Published:	Heidelberg Higher Education Press 01.10.2014 Springer Nature B.V
Subjects:	Applications programs Computer Science Concurrency denotational semantics Failure operational semantics Orc language Research Article Semantics service oriented computing unifying theories of programming UTP Web services Web应用程序故障处理状态信息语义模型语言错误处理程序面向服务 Orc language unifying theories of programming service oriented computing operational semantics denotational semantics
ISSN:	2095-2228, 2095-2236
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!