Automatic Composition of Transition-based Semantic Web Services with Messaging
Summary: Colombo unifies relational world-state effects, transition behavior, and inter-service/human messaging in a semantic Web-service model. It enables sound, complete, terminating composition via finite symbolic treatment of infinite-domain data and Propositional Dynamic Logic synthesis. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Daniela Berardi (University of Rome “La Sapienza”)
- 2. Diego Calvanese (Free University of Bolzano)
- 3. Giuseppe De Giacomo (University of Rome “La Sapienza”)
- 4. Richard Hull (Bell Labs, Lucent Technologies)
- 5. Massimo Mecella (University of Rome “La Sapienza”)
BibTeX Citation
@article{berardi_vldb05,
title = {{Automatic Composition of Transition-based Semantic Web Services with Messaging}},
author = {Berardi, Daniela and Calvanese, Diego and De Giacomo, Giuseppe and Hull, Richard and Mecella, Massimo},
journal = {PVLDB},
series = {{VLDB} '05},
year = {2005}
}Incoming Citations (Sorted by Pagerank)
Showing 7 of 7 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,125 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 9.1334411e-05 |
| 2,653 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 8.2898925e-05 |
| 5,302 | Active Knowledge: Dynamically Enriching RDF Knowledge Bases by Web Services | 2010 | SIGMOD | 6.2745499e-05 |
| 5,874 | Verification of Relational Data-Centric Dynamic Systems with External Services | 2013 | PODS | 6.0586728e-05 |
| 7,390 | Querying and Monitoring Distributed Business Processes | 2008 | VLDB | 5.626643e-05 |
| 12,540 | Autocompletion for Mashups | 2009 | VLDB | 5.093636e-05 |
| 12,551 | Complexity and Composition of Synthesized Web Services | 2008 | PODS | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,080 | Specification and Verification of Data-driven Web Services | 2004 | PODS | 6.9165722e-05 |
| 4,648 | Data on the Outside versus Data on the Inside | 2005 | CIDR | 6.5870094e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 13,989 | SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment | 2002 | VLDB |
| 2 | 1,194 | Semantic Adaptation of Schema Mappings when Schemas Evolve | 2005 | VLDB |
| 3 | 12,733 | Model-driven Design of Service-enabled Web Applications | 2005 | SIGMOD |
| 4 | 13,886 | Declarative Specification of Web Applications exploiting Web Services and Workflows | 2004 | SIGMOD |
| 5 | 4,080 | Specification and Verification of Data-driven Web Services | 2004 | PODS |
| 6 | 4,139 | Foundations of Semantic Web Databases | 2004 | PODS |
| 7 | 2,125 | Verification of Communicating Data-Driven Web Services | 2006 | PODS |
| 8 | 4,624 | Tools for Design of Composite Web Services (Tutorial Abstract) | 2004 | SIGMOD |
| 9 | 9,166 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB |
| 10 | 12,551 | Complexity and Composition of Synthesized Web Services | 2008 | PODS |