Title : 
On modeling and satisfaction of non-functional requirements using cloud computing
         
        
            Author : 
Gomes, Rosivaldo ; Costa, Francois ; Bencomo, Nelly
         
        
            Author_Institution : 
Fed. Univ. of Goias, Goias, Brazil
         
        
        
        
        
        
            Abstract : 
Specification of the non-functional requirements of applications and determining the required resources for their execution are activities that demand a great deal of technical knowledge, frequently resulting in an inefficient use of resources. Cloud computing is an alternative for provisioning of resources, which can be done using either the provider´s own infrastructure or the infrastructure of one or more public clouds, or even a combination of both. It enables more flexibly/elastic use of resources, but does not solve the specification problem. In this paper we present an approach that uses models at runtime to facilitate the specification of non-functional requirements and resources, aiming to facilitate dynamic support for application execution in cloud computing environments with shared resources.
         
        
            Keywords : 
cloud computing; formal specification; application execution; cloud computing; nonfunctional requirement specification; resource provisioning; Adaptation models; Availability; Cloud computing; Computational modeling; Computer architecture; Resource management; Runtime;
         
        
        
        
            Conference_Titel : 
Cloud Computing and Communications (LatinCloud), 2nd IEEE Latin American Conference on
         
        
            Conference_Location : 
Maceio
         
        
        
            DOI : 
10.1109/LatinCloud.2013.6842213