مرکز منطقه ای اطلاع رساني علوم و فناوري - Formalizing the specification and execution of workflows using the event calculus

Title of article :

Formalizing the specification and execution of workflows using the event calculus

Author/Authors :

Nihan Kesim Cicekli، نويسنده , , Ilyas Cicekli، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2006

Pages :

From page :

2227

To page :

2267

Keywords :

Event calculus , Workflow formalization , Temporal reasoning

Journal title :

Information Sciences

Serial Year :

2006

Journal title :

Information Sciences

Record number :

176993

Link To Document :