Title :
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
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);
Conference_Titel :
Service Oriented System Engineering (SOSE), 2014 IEEE 8th International Symposium on
Conference_Location :
Oxford
DOI :
10.1109/SOSE.2014.14
