Sciweavers

735 search results - page 1 / 147
» Equivalence of Web Services in Process-Aware Service Composi...
Sort
View
81
Voted
ICWS
2009
IEEE
15 years 7 months ago
Equivalence of Web Services in Process-Aware Service Compositions
Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. Restricting such decisions to (activity) la...
Stefanie Rinderle-Ma, Manfred Reichert, Martin Jur...
112
Voted
JWSR
2011
187views more  JWSR 2011»
14 years 5 months ago
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle
: Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. Restricting such decisions to (activity) l...
Stefanie Rinderle-Ma, Manfred Reichert, Martin Jur...
64
Voted
FUIN
2008
81views more  FUIN 2008»
14 years 10 months ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
133
Voted
CSAC
2006
14 years 11 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
82
Voted
APN
2008
Springer
15 years 6 days ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...