4286 search results - page 1 / 858 » Formalizing Service Interactions |
SFM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
BPM
2006
Springer
13 years 6 months ago
2006
Springer
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
JCP
2010
13 years 3 months ago
2010
Model for Abstracting the Interaction of Web Services Li Bao, Weishi Zhang, and Xiong Xie 91
OTM
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
EMISA
2006
Springer
13 years 8 months ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...