An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing

Karoly Bosa

Abstract

In our former work we have given a high-level formal model of a cloud service architecture in terms of a novel formal method approach which combines the advantages of the mathematically well-founded software engineering method called abstract state machines and of the calculus of mobile agents called ambient calculus. This paper presents an extension for this cloud model which enables client-to-client interaction in an almost direct way, so that the involvement of cloud services is transparent to the users. The discussed solution for transparent use of services is a kind of switching service, where registered cloud users communicate with each other, and the only role the cloud plays is to switch resources from one client to another.

References

  1. Börger, E., Cisternino, A., and Gervasi, V. (2012). Ambient Abstract State Machines with Applications. J.CSS (Special Issue in honor of Amir Pnueli), 78(3):939- 959.
  2. Börger, E. and Stark, R. F. (2003). Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
  3. Bósa, K. (2012a). A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM. Technical report, Christian Doppler Laboratory for Client-Centric Cloud Computing (CDCC), Johannes Kepler University Linz, Austria.
  4. Bósa, K. (2012b). Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines. Semantics in Data and Knowledge Bases, 7693 of LNCS:18-49.
  5. Bósa, K. (2013). An Ambient ASM Model for Cloud Architectures. Formal Aspects of Computing. Submitted.
  6. Boudol, G., Castellani, I., Hennessy, M., and Kiehn, A. (1994). A Theory of Processes with Localities. Formal Aspects of Computing, 6:165-200. 10.1007/BF01221098.
  7. Cardelli, L. (1999). Mobility and Security. In Bauer, F. L. and Steinbrüggen, R., editors, Foundations of Secure Computation Proc. NATO Advanced Study Institute, pages 3-37. IOS Press. Lecture Notes for Marktoberdorf Summer School 1999 (A summary of several Ambient Calculus papers).
  8. Cardelli, L. and Gordon, A. D. (2000). Mobile Ambients. Theor. Comput. Sci., 240(1):177-213.
  9. Kozen, D. (1997). Kleene Algebra with Tests. Transactions on Programming Languages and Systems, 19(3):427- 443.
  10. Ma, H., Schewe, K.-D., Thalheim, B., and Wang, Q. (2008). Abstract State Services. In Object-Oriented and Entity-Relationship Modelling/International Conference on Conceptual Modeling / the Entity Relationship Approach, pages 406-415.
  11. Ma, H., Schewe, K.-D., Thalheim, B., and Wang, Q. (2009). A Theory of Data-Intensive Software Services. Service Oriented Computing and Applications, 3(4):263- 283.
  12. Ma, H., Schewe, K.-D., Thalheim, B., and Wang, Q. (2012). A Formal Model for the Interoperability of Service Clouds. Service-Oriented Computing and Applications. To appear.
  13. Milner, R., Parrow, J., and Walker, D. (1992). A Calculus of Mobile Processes, Parts I. and II. Information and Computation, 100(1):1-77.
  14. Schewe, K.-D. and Thalheim, B. (2007). Personalisation of Web Information Systems - A Term Rewriting Approach. Data & Knowledge Engineering, 62(1):101 - 117.
  15. Tanaka, Y. (2003). Meme Media and Meme Market Architectures: Knowledge Media for Editing, Distributing, and Managing Intellectual Resources. Wiley.
Download


Paper Citation


in Harvard Style

Bosa K. (2013). An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing . In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013) ISBN 978-989-8565-68-6, pages 459-470. DOI: 10.5220/0004490904590470


in Bibtex Style

@conference{icsoft-pt13,
author={Karoly Bosa},
title={An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)},
year={2013},
pages={459-470},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004490904590470},
isbn={978-989-8565-68-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)
TI - An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing
SN - 978-989-8565-68-6
AU - Bosa K.
PY - 2013
SP - 459
EP - 470
DO - 10.5220/0004490904590470