Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Category Theory and Computer Science
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
On refinement of software architectures
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A coalgebraic approach to non-determinism: Applications to multilattices
Information Sciences: an International Journal
| Hi-index | 0.00 |
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.