Services and Contracts: Coalgebraically

Electronic Notes in Theoretical Computer Science

Volumn 212, Issue C, 2008, Pages 207-223

  Sun, Meng ^a  

^a CWI   (Netherlands)

Author keywords

coalgebra; composition; contract; interface; service

Indexed keywords

COMPUTER SIMULATION; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING;

AXIOMS; COALGEBRA; FUNCTORS; SERVICE-ORIENTED COMPUTING;

ALGEBRA;

EID: 43049085573     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.063     Document Type: Article

References (21)

1. Aczel P., and Mendler N. A final coalgebra theorem. In: Pitt D.H., Rydeheard D.E., Dybjer P., Pitts A., and Poigne A. (Eds). Proceedings of Category Theory and Computer Science. LNCS volume 389 (1989), Springer 357-365
2. Andrews T., Curbera F., Dholakia H., Goland Y., Klein J., Leymann F., Liu K., Roller D., Smith D., Thatte S., Trickovic I., and Weerawarana S. Business process execution language for web services version 1.1 (2003). http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
3. Barbosa L.S., Meng S., Aichernig B.K., and Rodrigues N. On the semantics of componentware: a coalgebraic perspective. In: He J., and Liu Z. (Eds). Mathematical Frameworks for Component Software - Models for Analysis and Synthesis (2006), World Scientific
4. Luís Soares Barbosa. Components as Coalgebras. PhD thesis, Universidade do Minho, Braga, Portugal, 2001
5. Luís Soares Barbosa and Sun Meng. Generic components. In Graham Hutton, editor, Proceedings of First APPSEM-II Workshop, Nottingham, March 2003. APPSEM Network Report
6. Barr M., and Wells C. Toposes, Triples and Theories (1985), Springer
7. Fiadeiro J.L., and Maibaum T. Categorical Semantics of Parallel Program Design. Science of Computer Programming 28 (1997) 111-138
8. Goguen J. Categorical Foundations for General Systems Theory. In: Pichler F., and Trappl R. (Eds). Advances in Cybernetics and Systems Research (1973), Transcripta Books 121-130
9. Jacobs B., and Hughes J. Simulations in coalgebra. In: Gumm H.P. (Ed). (CMCS'03 - Workshop on Coalgebraic Methods in Computer Science), Warsaw. Elect. Notes in Theor. Comp. Sci. 82 (April 2003) 245-263
10. Jacobs B., and Rutten J. A tutorial on (co)algebras and (co)induction. Bulletin of the European Association for Theoretical Computer Science 62 (1997) 222-259
11. Papazoglou M.P., and Georgakopoulos D. Service Oriented Computing. Comm. ACM 46 10 (2003) 25-28
12. Meng S. QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. In: He J., and Sanders J. (Eds). 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, pages 27-46, 2003
14. Meng S., Barbosa L.S., and Naixiao Z. On Refinement of Software Architectures. Proceedings of ICTAC'05. LNCS volume 3722 (2005), Springer 482-497
15. Milner R. Communication and Concurrency (1989), Prentice Hall
16. Papazoglou M.P., Traverso P., Dustdar S., and Leymann F. Service-Oriented Computing: State of the Art and Research Challenges. IEEE Computer (2007) 64-71
17. Rutten J. Universal coalgebra: a theory of systems. Theoretical Computer Science 249 (2000) 3-80
18. Szyperski C. Component Software - Beyond Object-Oriented Programming (1998), Addison-Wesley
19. Universal Description, Discovery, and Integration (UDDI) v3.0. http://www.uddi.org/
20. W3C. Simple object access protocol (soap) v1.2. http://www.w3.org/2000/xp/Group/
21. W3C. Web Service Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl