40 search results - page 7 / 8 » Mapping interconnection choreography models to interaction c... |
ICWS
2009
IEEE
14 years 3 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
BPM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...
REST
2010
ACM
13 years 7 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
ICWS
2008
IEEE
13 years 7 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
AICT
2006
IEEE
14 years 3 days ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...