2014
DOI: 10.1007/978-3-319-06859-6_34
|View full text |Cite
|
Sign up to set email alerts
|

Towards a Formal Model for Cloud Computing

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
13
0

Year Published

2014
2014
2024
2024

Publication Types

Select...
3
3
2

Relationship

1
7

Authors

Journals

citations
Cited by 15 publications
(13 citation statements)
references
References 13 publications
0
13
0
Order By: Relevance
“…A. Gambi et al [2] define a systematic modelbased test generation framework that enables testing the elastic properties of cloud systems. In [15] Z. Benzadri et al, a formal specification adopting Bigraphical Reactive Systems is proposed for cloud services and customers and their interaction schemes. K. Klai et al [16] propose a formal model adopting Petri nets for describing elasticity mechanisms and their strategies for service-based business processes in cloud environments.…”
Section: Model Execution Resultsmentioning
confidence: 99%
“…A. Gambi et al [2] define a systematic modelbased test generation framework that enables testing the elastic properties of cloud systems. In [15] Z. Benzadri et al, a formal specification adopting Bigraphical Reactive Systems is proposed for cloud services and customers and their interaction schemes. K. Klai et al [16] propose a formal model adopting Petri nets for describing elasticity mechanisms and their strategies for service-based business processes in cloud environments.…”
Section: Model Execution Resultsmentioning
confidence: 99%
“…Di Cosmo et al [24] adopted automata to define the Aeolus formal component model that captures cloud resources. Benzadri et al [25] proposed a formal model for cloud computing using Bigraphical Reactive Systems (BRS). Amazon Web Services (AWS) [26] used TLA+ specification language in their complex systems such as S3 and DynamoDB.…”
Section: Related Workmentioning
confidence: 99%
“…[24] studies the complexity of finding a deployment plan in the cloud. [25] also reasons over cloud concepts for deployment and adaptation purposes. [26] aims at finding subtle bugs in their internal distributed algorithms, which helps optimizing their systems.…”
Section: Related Workmentioning
confidence: 99%
“…The authors verify the access control systems against organizational security requirements using techniques that are based on simple transition systems. As another example, Benzadri et al (2014) employed Bigraphical Reaction Systems to formally specify cloud services and customers as well as their interaction schemes. However, they did not consider security policies.…”
Section: Related Workmentioning
confidence: 99%