Conference Paper

SOFIA: An Algebraic Specification Language for Developing Services


Describing the semantics of services accurately plays a crucial role in service discovery, execution, composition and interaction. Formal specification techniques, having evolved over the past 30 years, can define the semantics of software systems in a verifiable and testable manner. This paper presents a new algebraic specification language called SOFIA for describing the semantics of services. It unifies the approaches using algebras and co-algebras for software specifications. A case study with a real industry example, the GoGrid cloud's resource management services, demonstrates that the semantics of services can be specified in SOFIA.

Attached files


Liu, Dongmei
Zhu, Hong
Bayley, Ian

Oxford Brookes departments

School of Engineering, Computing and Mathematics


Year of publication: 2014
Date of RADAR deposit: 2020-08-28

© 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Related resources

This RADAR resource is the Accepted Manuscript of SOFIA: An Algebraic Specification Language for Developing Services