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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Frontiers of Computer Science Jg. 8; H. 5; S. 709 - 725
Hauptverfasser:	LI, Qin, ZHAO, Yongxin, ZHU, Huibiao, HE, Jifeng
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Heidelberg Higher Education Press 01.10.2014 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!