skip to main content
10.1145/2513534.2513545acmotherconferencesArticle/Chapter ViewAbstractPublication PagesnordicloudConference Proceedingsconference-collections
research-article

Engineering virtualized services

Published:02 September 2013Publication History

ABSTRACT

To foster the industrial adoption of virtualized services, it is necessary to address two important problems: (1) the efficient analysis, dynamic composition and deployment of services with qualitative and quantitative service levels and (2) the dynamic control of resources such as storage and processing capacities according to the internal policies of the services. The position supported in this paper is to overcome these problems by leveraging service-level agreements into software models and resource management into early phases of service design.

References

  1. E. Albert, P. Arenas, S. Genaim, G. Puebla, and D. Zanardini. Cost Analysis of Java Bytecode, In 16th Eur. Symp. on Programming (ESOP), LNCS 4421, pages 157--172. Springer, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. D. Battré, F. M. T. Brazier, K. P. Clark, M. A. Oey, A. Papaspyrou, O. Wäldrich, P. Wieder, and W. Ziegler. A proposal for WS-agreement negotiation. In 11th IEEE/ACM Intl. Conf. on Grid Computing, pages 233--241. IEEE CS Press, 2010.Google ScholarGoogle ScholarCross RefCross Ref
  3. J. Bjørk, F. S. de Boer, E. B. Johnsen, R. Schlatte, and S. L. Tapia Tarifa. User-defined schedulers for real-time concurrent objects. Innovations in Systems and Software Engineering, 9(1):29--43, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. G. S. Blair, G. Coulson, P. Robin, and M. Papathomas. An architecture for next generation middleware. In IFIP Intl. Conf. on Distributed Systems Platforms and Open Distributed Processing (Middleware'98), pages 191--206. Springer, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. B. W. Boehm and P. N. Papaccio. Understanding and controlling software costs. IEEE Transactions on Software Engineering, 14(10):1462--1477, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. F. S. de Boer, R. Hähnle, E. B. Johnsen, R. Schlatte, and P. Y. H. Wong. Formal modeling of resource management for cloud architectures: An industrial case study. In Eur. Conf. on Service-Oriented and Cloud Computing (ESOCC), LNCS 7592, pages 91--106. Springer, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. R. Bubel, R. Hähnle, and B. Weiss. Abstract interpretation of symbolic execution with explicit state updates. In 6th Intl. Symp. on Formal Methods for Components and Objects (FMCO). Springer, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. M. G. Buscemi and U. Montanari. QoS negotiation in service composition. J. Log. Algebr. Program., 80(1):13--24, 2011.Google ScholarGoogle ScholarCross RefCross Ref
  9. L. De Alfaro and T. A. Henzinger. Interface automata. In 8th Eur. Software Engineering Conf. & 9th ACM SIGSOFT Intl. Symp. on Foundations of software engineering, ESEC/FSE-9, pages 109--120. ACM Press, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. European Commission Expert Group Report. The future of cloud computing: Opportunities for European cloud computing beyond 2010, 2010.Google ScholarGoogle Scholar
  11. FI-WARE. Web: www.fi-ppp.eu/projects/fi-ware.Google ScholarGoogle Scholar
  12. M. M. Jaghoori, F. S. de Boer, T. Chothia, and M. Sirjani. Schedulability of asynchronous real-time concurrent objects. Journal of Logic and Algebraic Programming, 78(5):402--416, 2009.Google ScholarGoogle ScholarCross RefCross Ref
  13. E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen. ABS: A core language for abstract behavioral specification. In 9th Intl. Symp. on Formal Methods for Components and Objects (FMCO), LNCS 6957, pages 142--164. Springer, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. E. B. Johnsen, O. Owe, R. Schlatte, and S. L. Tapia Tarifa. Dynamic resource reallocation between deployment components. In Intl. Conf. on Formal Engineering Methods (ICFEM), LNCS 6447, pages 646--661. Springer, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. E. B. Johnsen, O. Owe, R. Schlatte, and S. L. Tapia Tarifa. Validating timed models of deployment components with parametric concurrency. In Intl. Conf. on Formal Verification of Object-Oriented Software (FoVeOOS), LNCS 6528, pages 46--60. Springer, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. E. B. Johnsen, R. Schlatte, and S. L. Tapia Tarifa. Modeling resource-aware virtualized applications for the cloud in Real-Time ABS. In Intl. Conf. on Formal Engineering Methods (ICFEM), LNCS 7635, pages 71--86. Springer, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. D. Jones. The Definitive Guide to Monitoring the Data Center, Virtual Environments, and the Cloud. Realtime publishers, 2010.Google ScholarGoogle Scholar
  18. A. Keller and H. Ludwig. The WSLA framework: Specifying and monitoring service level agreements for web services. Journal of Network and Systems Management, 11:57--81, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. J. Kopecký, T. Vitvar, C. Bournez, and J. Farrell. SAWSDL: Semantic annotations for WSDL and XML schema. IEEE Internet Computing, 11:60--67, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. J. Kramer. Is abstraction the key to computing? Communications of the ACM, 50(4):36--42, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. D. D. Lamanna, J. Skene, and W. Emmerich. SLAng: A language for defining service level agreements. Future Trends of Distributed Computing Systems, IEEE Intl. Workshop, page 100, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. C. Laneve and L. Padovani. The must preorder revisited. In 18th Intl. Conf. on Concurrency Theory, LNCS 4703, pages 212--225. Springer, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. B. Meyer. Design by contract: The Eiffel method. In TOOLS (26), page 446. IEEE CS Press, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. J. C. Okika. Analysis and Verification of Service Contracts. PhD thesis, Aalborg University, 2010.Google ScholarGoogle Scholar
  25. N. Oldham and K. Verma. Semantic WS-agreement partner selection. In In 15th Intl. WWW Conf., pages 697--706. ACM Press, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. A. Paschke. RBSLA a declarative rule-based service level agreement language based on RuleML. In Intl. Conf. on Computational Intelligence for Modelling, Control and Automation and Intl. Conf. on Intelligent Agents, Web Technologies and Internet Commerce, pages 308--314. IEEE CS Press, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. J. P. Sauvé, F. Marques, A. Moura, M. C. Sampaio, J. Jornada, and E. Radziuk. SLA design from a business perspective. In 16th IFIP/IEEE Intl. Workshop on Distributed Systems: Operations and Management (DSOM), LNCS 3775. Springer, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. SLA@SOI. Web: http://sla-at-soi.eu.Google ScholarGoogle Scholar
  29. R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, 12(1):157--171, 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. V. Tosic, B. Pagurek, and K. Patel. WSOL - a language for the formal specification of classes of service for web services. In Intl. Conf. on Web Services (ICWS), pages 375--381. CSREA Press, 2003.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in
  • Published in

    cover image ACM Other conferences
    NordiCloud '13: Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies
    September 2013
    88 pages
    ISBN:9781450323079
    DOI:10.1145/2513534

    Copyright © 2013 ACM

    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 2 September 2013

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • research-article

    Acceptance Rates

    NordiCloud '13 Paper Acceptance Rate9of15submissions,60%Overall Acceptance Rate9of15submissions,60%

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader