A formal model for service mediators

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6413 LNCS, Issue , 2010, Pages 76-85

  Schewe, Klaus Dieter ^a   Wang, Qing ^b  

^a SOFTWARE COMPETENCE CENTER HAGENBERG   (Austria)

^b UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODEL; HIGH LEVEL SPECIFICATION; SERVICE-BASED;

SECURITY OF DATA;

SPECIFICATIONS;

EID: 78649973226     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16385-2_11     Document Type: Conference Paper

References (25)

1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architecture and Applications. Springer, Heidelberg (2004)
2. Altenhofen, M., Börger, E., Lemcke, J.: An abstract model for process mediation. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 81-95. Springer, Heidelberg (2005)
3. Alves, A., et al.: Web services business process execution language, version 2.0., OASIS Standard Committee (2007), http://docs.oasis-open.org/ wsbpel/2.0/wsbpel-v2.0.html
4. Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R.H., Konwinski, A., Lee, G., Patterson, D.A., Rabkin, A., Stoica, I., Zaharia, M.: Above the clouds: A berkeley view of cloud computing. Technical Report UCB/EECS-2009-28, Department for Electrical Engineering and Computer Sciences, University of California at Berkeley, US (2009)
5. Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. University Press, Cambridge (2003)
6. Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data and Knowledge Engineering 58(3), 327-357 (2006) (Pubitemid 43994224)
7. Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier Science B.V., Amsterdam (2001)
8. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
9. Brenner, M.R., Unmehopa, M.R.: Service-oriented architecture and web services penetration in next-generation networks. Bell Labs Technical Journal 12(2), 147-159 (2007)
10. Buyyaa, R., Yeo, C.S., Venugopala, S., Broberga, J., Brandic, I.: Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility. Future Generation Computer Systems 25(6), 599-616 (2009)
11. Christensen, E., et al.: Web services description language (WSDL) 1.1 (2001), http://www.w3c.org/TR/wsdl
12. Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River (2005)
13. Gurevich, J.: Sequential abstract state machines capture sequential algorithms. ACM Transactions on Computational Logic 1(1), 77-111 (2000)
14. Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing 9, 75-81 (2005)
15. Kozen, D.: Kleene algebra with tests. ACM Transactions on Programming Languages and Systems 19(3), 427-443 (1997)
16. Kumaran, S., et al.: Using a model-driven transformational approach and service-oriented architecture for service delivery management. IBM Systems Journal 46(3), 513-530 (2007)
17. Kuropka, D., Tröger, P., Staab, S.,Weske, M. (eds.): Semantic Service Provisioning. Springer, Heidelberg (2008)
18. Ma, H., Schewe, K.-D., Thalheim, B.,Wang, Q.: A theory of data-intensive software services. Service Oriented Computing and Its Applications 3(4), 263-283 (2009)
19. Ma, H., Schewe, K.-D., Wang, Q.: An abstract model for service provision, search and composition. In: Kirchberg, M., et al. (eds.) Services Computing Conference - APSCC 2009, pp. 95-102. IEEE Asia Pacific (2009)
20. Papazoglou, M.P., van den Heuvel, W.-J.: Service oriented architectures: Approaches, technologies and research issues. VLDB Journal 16(3), 389-415 (2007)
21. Schewe, K.-D., Thalheim, B.: Conceptual modelling of web information systems. Data and Knowledge Engineering 54(2), 147-188 (2005)
22. Schewe, K.-D., Wang, Q.: A customised ASM thesis for database transformations (2009) (submitted for publication)
23. Tanaka, Y.: Meme Media and Meme Market Architectures. IEEE Press, Wiley-Interscience, USA (2003)
24. Yara, P., Ramachandran, R., Balasubramanian, G., Muthuswamy, K., Chandrasekar, D.: Global software development with cloud platforms. In: Software Engineering Approaches for Offshore and Outsourced Development, pp. 81-95. Springer, Heidelberg (2009)
25. Zeng, W., Zhao, Y., Ou, K., Song, W.: Research on cloud storage architecture and key technologies. In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, pp. 1044-1048. ACM, New York (2009)