QR-Code

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 services; where the construction is understood as a simulation of the specification by a fully asynchronous product of the gi...

Ausführliche Beschreibung

Gespeichert in:
Bibliografische Detailangaben
Hauptverfasser: Anca Muscholl, Igor Walukiewicz
Format: Artigo
Sprache:Inglês
Veröffentlicht: Logical Methods in Computer Science e.V. 2008-05-01
Schriftenreihe:Logical Methods in Computer Science
Schlagworte:
Online-Zugang:https://lmcs.episciences.org/824/pdf
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!