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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/SOSE.2014.14 | SoSE |
Keywords | Field | DocType |
sofia language,service-oriented formalism-in-algebras,formal specification techniques,formal specification, algebraic specification, service-oriented formalism in algebras , semantics of services,gogrid cloud resource management services,semantics of services,service semantics,specification languages,algebraic specification,service composition,service discovery,software system semantics,algebraic specification language,service execution,resource allocation,programming language semantics,service development,co-algebras,service interaction,service-oriented architecture,software specifications,service-oriented formalism in algebras (sofia),cloud computing,web services,formal specification,service oriented architecture,indexes,reactive power,semantics,servers | Algebraic specification,Formal semantics (linguistics),Operational semantics,Programming language,Computer science,Action semantics,Software system,Formal specification,Service discovery,Semantics | Conference |
Citations | PageRank | References |
4 | 0.40 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dongmei Liu | 1 | 22 | 3.86 |
Hong Zhu | 2 | 1413 | 118.92 |
Ian Bayley | 3 | 158 | 14.79 |