The Tale of SOLOIST: A Specification Language for Service Compositions Interactions.

Domenico Bianculli Carlo Ghezzi Pierluigi San Pietro

Published in: FACS (2012)

Keyphrases

specification language
service compositions
formal specification
description language
programming language
symbolic execution
service providers
web services
database
general purpose
search space
object oriented
heuristic search