SOFIA: An Algebraic Specification Language for Developing Services

Author

Dongmei Liu ; Hong Zhu ; Bayley, I.

Author_Institution

Sch. of Comput. Sci. & Technol., Nanjing Univ. of Sci. & Technol., Nanjing, China

fYear

2014

fDate

7-11 April 2014

Firstpage

70

Lastpage

75

Abstract

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.

Keywords

Web services; algebraic specification; cloud computing; programming language semantics; resource allocation; service-oriented architecture; specification languages; GoGrid cloud resource management services; SOFIA language; algebraic specification language; co-algebras; formal specification techniques; service composition; service development; service discovery; service execution; service interaction; service semantics; service-oriented formalism-in-algebras; software specifications; software system semantics; Equations; Indexes; Reactive power; Semantics; Servers; Syntactics; Web services; algebraic specification; formal specification; semantics of services; service-oriented formalism in algebras (SOFIA);

fLanguage

English

Publisher

ieee

Conference_Titel

Service Oriented System Engineering (SOSE), 2014 IEEE 8th International Symposium on

Conference_Location

Oxford

Type

conf

DOI

10.1109/SOSE.2014.14

Filename

6825964