loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Author: Karoly Bosa

Affiliation: Johannes Kepler University, Austria

ISBN: 978-989-8565-68-6

Keyword(s): Cloud Computing, Ambient Abstract State Machines, Ambient Calculus.

Related Ontology Subjects/Areas/Topics: Model Composition ; Modeling Languages ; Models ; Paradigm Trends ; Software Engineering

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.235.48.106

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.