Korc is a formalism aiming at reconciling the orchestration paradigm of Orc with the tuple-based coordination one of Klaim. Intuitively, a Korc program, graphically depicted below, consists of an Orc expression and a collection of Klaim nets. Expressions are enriched with primitives for acting on the tuple spaces within the Klaim nets, the latter are named and can be referred within the expressions. Syntax and operational semantics of Korc have been formally defined, and a proof-of-concept implementation supporting Korc programming have been developed.
|