51 search results - page 1 / 11 » Realizability of Choreographies Using Process Algebra Encodi... |
IFM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
ICSOC
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
WECWIS
2006
IEEE
13 years 10 months ago
2006
IEEE
UN/CEFACT’s modeling methodology (UMM) is used to develop global choreographies of inter-organizational business processes. UMM models should be publically available in order to...
DEBU
2008
13 years 4 months ago
2008
Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an ...
ECOWS
2006
Springer
13 years 6 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...