|
26
|
Synthesis of underspecified composite e-services based on automated reasoning
– Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese
- 2004
|
|
2
|
ESC: A Tool for Automatic Composition of e-Services based on Logics of Programs
– Daniela Berardi, Diego Calvanese, Maurizio Lenzerini, Massimo Mecella, Libera Università Di Bolzano/bozen
- 2004
|
|
|
The Service Oriented Computing (SOC [33]) paradigm offers
– Daniela Berardi, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese
|
|
68
|
Automatic Composition of Transition-based Semantic Web Services with Messaging
– Daniela Berardi, Diego Calvanese, Richard Hull, Massimo Mecella
- 2005
|
|
2
|
Automatic Composition of Web Services with Nondeterministic Behavior
– Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese
- 2006
|
|
39
|
Automated Composition of Web Services by Planning in Asynchronous Domains
– M. Pistore, P. Traverso, P. Bertoli
- 2005
|
|
39
|
Tools for composite web services: a short overview
– Richard Hull, Jianwen Su
- 2005
|
|
24
|
Tools for design of composite web services
– Richard Hull
- 2004
|
|
6
|
AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
– Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi
|
|
2
|
Dynamic Analysis of Web Services
– Jocelyn Simmonds, Jocelyn Simmonds
- 2011
|
|
3
|
MoSCoE: An Approach for Composing Web Services through Iterative Reformulation of Functional Specifications
– Jyotishman Pathak, Robyn Lutz, Vasant Honavar
|
|
2
|
Automated choreographer synthesis for web services composition using i/o automata
– Saayan Mitra, Ratnesh Kumar, Samik Basu
- 2007
|
|
|
Automatic Web Services Composition . . .
– Fahima Cheikh, et al.
- 2006
|
|
101
|
Automatic Composition of eServices that Export their Behavior
– Daniela Berardi, Diego Calvanese, Maurizio Lenzerini, Massimo Mecella
- 2003
|
|
40
|
Automated Composition of Web Services by Planning at the Knowledge Level
– M. Pistore
- 2005
|
|
1
|
Modeling Data & Processes for Service Specifications in Colombo
– Daniela Berardi, Diego Calvanese, Richard Hull, Maurizio Lenzerini, Massimo Mecella, Libera Università Di Bolzano/bozen
|
|
137
|
Practical reasoning for very expressive description logics
– Ian Horrocks
- 2000
|
|
|
Interactive and verifiable web services composition, specification reformulation and substitution
– Jyotishman Pathak
- 2007
|
|
10
|
Reasoning about Actions for e-Service Composition
– Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella
- 2003
|
