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ženo v:

Podrobná bibliografie
Vydáno v:	Frontiers of Computer Science Ročník 8; číslo 5; s. 709 - 725
Hlavní autoři:	LI, Qin, ZHAO, Yongxin, ZHU, Huibiao, HE, Jifeng
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Heidelberg Higher Education Press 01.10.2014 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!