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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Frontiers of Computer Science Ročník 8; číslo 5; s. 709 - 725
Hlavní autori:	LI, Qin, ZHAO, Yongxin, ZHU, Huibiao, HE, Jifeng
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Heidelberg Higher Education Press 01.10.2014 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!