Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines

Bósa, Károly

doi:10.1007/978-3-642-36008-4_2

Cited by 8 publications

(6 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In (Bósa, 2012b) we extended this ASM machine given in (Börger et al, 2012), such that it fully captures the calculus of mobile agents and it can interpret the agents' algorithms (given in terms of ASM syntax in curAmbProc as well) in the corresponding contexts. By this one is able to describe formal models of distributed systems including mobile components in the mentioned two abstraction layers.…”

Section: Ambient Asmmentioning

confidence: 99%

“…The basic structure of the defined cloud model, which is based on the simplified Infrastructure as a Service (IaaS) specification given in (Bósa, 2012b), is the following:…”

Section: The Cloud Service Architecturementioning

confidence: 99%

“…In (Bósa, 2012b) we proposed a new formal method approach which is able to incorporate the major advantages of the abstract state machines (ASMs) (Börger and Stark, 2003) and of ambient calculus (Cardelli and Gordon, 2000). Namely, one can describe formal models of distributed systems including mobile components in two abstraction layers such that while the algorithms of executable components (agents) are specified in terms of ASMs; their communication topology, locality and mobility described with the terms of ambient calculus in our method.…”

Section: Introductionmentioning

confidence: 99%

“…The ambient called root is a special ambient which is required for the ASM definition of ambient calculus, see(Börger et al, 2012) and(Bósa, 2012b).…”

mentioning

confidence: 99%

“…This is the only way how an ASM agent can make changes in the ambient tree hierarchy contained by dynamic derived function curAmbProc(Bósa, 2012b).ICSOFT2013-8thInternationalJointConferenceonSoftwareTechnologies…”

mentioning

confidence: 99%

See 4 more Smart Citations

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

Bósa¹

2013

Proceedings of the 8th International Joint Conference on Software Technologies

View full text Add to dashboard Cite

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. 459 Bosa K.. An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing.

show abstract

Section: Ambient Asmmentioning

confidence: 99%

“…The basic structure of the defined cloud model, which is based on the simplified Infrastructure as a Service (IaaS) specification given in (Bósa, 2012b), is the following:…”

Section: The Cloud Service Architecturementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…The ambient called root is a special ambient which is required for the ASM definition of ambient calculus, see(Börger et al, 2012) and(Bósa, 2012b).…”

mentioning

confidence: 99%

mentioning

confidence: 99%

See 3 more Smart Citations