MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Formalizing Web Service Choreographies." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Formalizing Web Service Choreographies
by Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo — 2004
…WS-FM 2004 Preliminary Version Formalizing Web Service Choreographies 1 Abstract Antonio Brogi a…
Cited by 35 (3 self) – Add To MetaCart

A formal model of web service choreography description language(ws-cdl
by Yang Hongli, Zhao Xiangpeng, Qiu Zongyan, Pu Geguang, Wang Shuling — 2006
…A Formal Model for Web Service Choreography Description Language (WS-CDL) Yang Hongli 1 , Zhao…
Cited by 1 (0 self) – Add To MetaCart

M.: Formalizing Service Interactions
by Gero Decker, Frank Puhlmann, Mathias Weske — 2006 — Proceedings of the 4th International Conference on Business Process Management (BPM 2006), volume 4102 of LNCS
… several papers have been published that deal with formalizing web service choreographies, e.g. [5…
Cited by 9 (6 self) – Add To MetaCart

Running Smart Process Based on Goals
by Zongmin Shang, Haiyang Wang, Liqiang Wang
… formalization of web services choreography proposal WSCI, and provide reasoning mechanism and tools to check…
Add To MetaCart

A message-exchange pattern based formal approach for b2b interactions
by Juan Miguel Gomez, Sung-kook Han, Christoph Bussler — 2005 — In Proceedings of the 2st European Semantic Web Conference (ESWS 2005
… in [Hamadi et al, 04]. Formalization of web services choreographies, concretely WSCI, are tackled…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB