SOFIA: An Algebraic Specification Language for Developing Services.

Dongmei Liu Hong Zhu Ian Bayley

Published in: SOSE (2014)

Keyphrases

specification language
programming language
formal specification
description language
web services
service providers
service oriented
symbolic execution
software environment
database
model checking
life cycle
service composition
service discovery
end users
case study
requirements specification