You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Leicester » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Leicester

Return to search Previous output Next output

Output 35 of 71 in the submission

Output title

Incremental Service Composition Based on Partial Matching of Visual Contracts

Type

E - Conference contribution

DOI

10.1007/978-3-642-12029-9_9

Name of conference/published proceedings

Fundamental Approaches to Software Engineering, FASE 2010, Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010

Volume number

6013 LNCS

Issue number

First page of article

123

ISSN of proceedings

Year of publication

2010

URL

Number of additional authors

Additional information

<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).

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract