Output details
11 - Computer Science and Informatics
University of Leicester
Incremental Service Composition Based on Partial Matching of Visual Contracts
<08>The paper provides mathematical foundations for a visual approach to specify service interfaces and match them to requirements.
The work has influenced developments in both theory and application. It motivated, and presented the first use of, symbolic attributed graphs, studied independently by Orejas in 6 further publications (e.g., ICGT10, Journal Symb. Comp.11, FI12).
When surveying on-the-fly approaches to service matching, Platenius et al. (CBSE'13) noted it as the only example of model-level matching with partial information (due to incomplete requirements/knowledge about providers). This made it a useful ingredient in automatic, on-the-fly service discovery using UML-based descriptions, Huma et al. (MODELS'12).