Services and Contracts: Coalgebraically | Zendy

Meng Sun | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Services and Contracts: Coalgebraically

Author(s) -

Meng Sun

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.04.063

Subject(s) - bisimulation , observational equivalence , functor , axiom , morphism , equivalence (formal languages) , coalgebra , computer science , service (business) , popularity , mathematics , theoretical computer science , algebra over a field , programming language , pure mathematics , business , psychology , social psychology , geometry , marketing

The popularity of service-oriented computing has not been accompanied by the necessary formalization of the notions being involved. This paper focuses on the development of a coalgebraic framework to support service-oriented application design. In this paper, the concepts are separated into three hierarchies – interfaces, contracts and services. Interfaces are specified by functors, and services are shown to be coalgebras of such functors, which should satisfy the axioms given in corresponding contracts. Different interfaces, contracts and services are related respectively by the morphisms between them. And the notion of bisimulation for services is derived from service morphisms, which captures the observational equivalence of services

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research