Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

Designing Resource-Aware Cloud Applications

Published: 01 June 2015 Publication History

Abstract

Realizing the full potential of virtualized computation-the cloud-requires rethinking software development. Deployment decisions, and their validation, can and should be moved up the development chain into the design phase.

References

[1]
R. Buyya et al., “Cloud Computing and Emerging IT Platforms: Vision, Hype, and Reality for Delivering Computing as the 5th Utility,” Future Generation Computer Systems, vol. 25, no.6, 2009, pp. 599–616.
[2]
L. Columbus, “Where the Cloud Computing Jobs Will Be in2015,” Forbes, 12 Dec. 2014; www.forbes.com/sites/louiscolumbus/2014/12/12/where-cloud-computing-jobs-will-be-in-2015.
[3]
European Commission, “European Cloud Computing Strategy,” Digital Agenda for Europe: A Europe 2020 Initiative, updated 27 Feb. 2015; http://ec.europa.eu/digital-agenda/en/european-cloud-computing-strategy.
[4]
B. W. Boehm and P. N. Papaccio, “Understanding and Controlling Software Costs,” IEEE Trans. Software Eng., vol. 14, no. 10, 1988, pp. 1462–1477.
[5]
E. B. Johnsen et al., “ABS: A Core Language for Abstract Behavioral Specification,” in Proc. 9th Int'l Symp. Formal Methods for Components and Objects, LNCS 6957, Springer, 2011, pp. 142–164.
[6]
E. Albert et al., “Engineering Virtualized Services,” in Proc. 2nd Nordic Symp. Cloud Computing Internet Technologies (NordiCloud 13),2013, pp. 59–63.
[7]
E. Albert et al., “Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study Using Real-Time ABS,” J. Service-Oriented Computing and Applications, vol. 8, no. 4, 2014, pp. 323–339.

Cited By

View all
  • (2018)Deployment by Construction for Multicore ArchitecturesLeveraging Applications of Formal Methods, Verification and Validation. Modeling10.1007/978-3-030-03418-4_26(448-465)Online publication date: 5-Nov-2018

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Computer
Computer  Volume 48, Issue 6
June 2015
68 pages

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 June 2015

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 06 Oct 2024

Other Metrics

Citations

Cited By

View all
  • (2018)Deployment by Construction for Multicore ArchitecturesLeveraging Applications of Formal Methods, Verification and Validation. Modeling10.1007/978-3-030-03418-4_26(448-465)Online publication date: 5-Nov-2018

View Options

View options

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media