Sciweavers

121 search results - page 2 / 25
» Automatic Service Composition and Synthesis: the Roman Model
Sort
View
124
Voted
FOSSACS
2007
Springer
15 years 8 months ago
A Lower Bound on Web Services Composition
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
Anca Muscholl, Igor Walukiewicz
123
Voted
BPM
2008
Springer
174views Business» more  BPM 2008»
15 years 3 months ago
A Framework for Dependency Based Automatic Service Composition
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...
Abrehet M. Omer, Alexander Schill
IEEESCC
2005
IEEE
15 years 7 months ago
Web Services Composition: A Story of Models, Automata, and Logics
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
Richard Hull
SIGSOFT
2009
ACM
15 years 8 months ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...
90
Voted
JISE
2008
109views more  JISE 2008»
15 years 1 months ago
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
Zhijun Ding, Junli Wang, Changjun Jiang