Services and contracts: coalgebraically. (English) Zbl 1286.68024
Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 207-223 (2008).
Summary: 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.
For the entire collection see [Zbl 1279.68010].
For the entire collection see [Zbl 1279.68010].
MSC:
| 68M14 | Distributed systems |
| 68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
References:
| [1] | Aczel, P.; Mendler, N., A final coalgebra theorem, (Pitt, D. H.; Rydeheard, D. E.; Dybjer, P.; Pitts, A.; Poigne, A., Proceedings of Category Theory and Computer Science. Proceedings of Category Theory and Computer Science, LNCS, volume 389 (1989), Springer), 357-365 · Zbl 1496.03206 |
| [2] | Andrews, Tony; Curbera, Francisco; Dholakia, Hitesh; Goland, Yaron; Klein, Johannes; Leymann, Frank; Liu, Kevin; Roller, Dieter; Smith, Doug; Thatte, Satish; Trickovic, Ivana; Weerawarana, Sanjiva, Business process execution language for web services version 1.1 (2003) |
| [3] | Barbosa, Luís S.; Meng, Sun; Aichernig, Bernhard K.; Rodrigues, Nuno, On the semantics of componentware: a coalgebraic perspective, (He, Jifeng; Liu, Zhiming, Mathematical Frameworks for Component Software - Models for Analysis and Synthesis (2006), World Scientific) |
| [4] | Luís Soares Barbosa. Components as Coalgebras; Luís Soares Barbosa. Components as Coalgebras |
| [5] | Luís Soares Barbosa and Sun Meng. Generic components. In Graham Hutton, editor, Proceedings of First APPSEM-II Workshop; Luís Soares Barbosa and Sun Meng. Generic components. In Graham Hutton, editor, Proceedings of First APPSEM-II Workshop |
| [6] | Barr, Michael; Wells, Charles, Toposes, Triples and Theories (1985), Springer · Zbl 0567.18001 |
| [7] | Fiadeiro, José Luiz; Maibaum, Tom, Categorical Semantics of Parallel Program Design, Science of Computer Programming, 28, 111-138 (1997) · Zbl 0877.68080 |
| [8] | Goguen, Joseph, Categorical Foundations for General Systems Theory, (Pichler, F.; Trappl, R., Advances in Cybernetics and Systems Research (1973), Transcripta Books), 121-130 |
| [9] | Jacobs, Bart; Hughes, Jesse; Gumm, H. Peter, Simulations in coalgebra, (CMCS’03 - Workshop on Coalgebraic Methods in Computer Science), Warsaw. (CMCS’03 - Workshop on Coalgebraic Methods in Computer Science), Warsaw, Elect. Notes in Theor. Comp. Sci., 82, 245-263 (April 2003) · Zbl 1270.68027 |
| [10] | Jacobs, Bart; Rutten, Jan, A tutorial on (co)algebras and (co)induction, Bulletin of the European Association for Theoretical Computer Science, 62, 222-259 (1997) · Zbl 0880.68070 |
| [11] | Papazoglou, M. P.; Georgakopoulos, D., Service Oriented Computing, Comm. ACM, 46, 10, 25-28 (2003) |
| [12] | Meng, Sun, QCCS: A Formal Model to Enforce QoS Requirements in Service Composition, (He, J.; Sanders, J., Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering. Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE’07 (2007), IEEE Computer Society), 389-400 |
| [13] | Sun Meng and Bernhard Aichernig. A Coalgebraic Calculus for Component-based Systems. In Hung Dang Van and Zhiming Liu, editor, Proceedings of the Forkshop on Formal Aspects of Component Sofsware FACS’03; Sun Meng and Bernhard Aichernig. A Coalgebraic Calculus for Component-based Systems. In Hung Dang Van and Zhiming Liu, editor, Proceedings of the Forkshop on Formal Aspects of Component Sofsware FACS’03 |
| [14] | Meng, Sun; Barbosa, Luís S.; Naixiao, Zhang, On Refinement of Software Architectures, (Proceedings of ICTAC’05. Proceedings of ICTAC’05, LNCS, volume 3722 (2005), Springer), 482-497 · Zbl 1169.68367 |
| [15] | Milner, Robin, Communication and Concurrency (1989), Prentice Hall · Zbl 0683.68008 |
| [16] | Papazoglou, Michael P.; Traverso, Paolo; Dustdar, Schahram; Leymann, Frank, Service-Oriented Computing: State of the Art and Research Challenges, IEEE Computer, 64-71 (2007) |
| [17] | Rutten, Jan, Universal coalgebra: a theory of systems, Theoretical Computer Science, 249, 3-80 (2000) · Zbl 0951.68038 |
| [18] | Szyperski, Clemens, Component Software - Beyond Object-Oriented Programming (1998), Addison-Wesley |
| [19] | Universal Description, Discovery, and Integration (UDDI) v3.0 |
| [20] | W3C, Simple object access protocol (soap) v1.2 |
| [21] | W3C, Web Service Description Language (WSDL) 1.1 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
