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.
- 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 ScholarDigital Library
- 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 ScholarCross Ref
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- B. W. Boehm and P. N. Papaccio. Understanding and controlling software costs. IEEE Transactions on Software Engineering, 14(10):1462--1477, 1988. Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- M. G. Buscemi and U. Montanari. QoS negotiation in service composition. J. Log. Algebr. Program., 80(1):13--24, 2011.Google ScholarCross Ref
- 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 ScholarDigital Library
- European Commission Expert Group Report. The future of cloud computing: Opportunities for European cloud computing beyond 2010, 2010.Google Scholar
- FI-WARE. Web: www.fi-ppp.eu/projects/fi-ware.Google Scholar
- 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 ScholarCross Ref
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- D. Jones. The Definitive Guide to Monitoring the Data Center, Virtual Environments, and the Cloud. Realtime publishers, 2010.Google Scholar
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- J. Kramer. Is abstraction the key to computing? Communications of the ACM, 50(4):36--42, 2007. Google ScholarDigital Library
- 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 ScholarDigital Library
- C. Laneve and L. Padovani. The must preorder revisited. In 18th Intl. Conf. on Concurrency Theory, LNCS 4703, pages 212--225. Springer, 2007. Google ScholarDigital Library
- B. Meyer. Design by contract: The Eiffel method. In TOOLS (26), page 446. IEEE CS Press, 1998. Google ScholarDigital Library
- J. C. Okika. Analysis and Verification of Service Contracts. PhD thesis, Aalborg University, 2010.Google Scholar
- N. Oldham and K. Verma. Semantic WS-agreement partner selection. In In 15th Intl. WWW Conf., pages 697--706. ACM Press, 2006. Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- SLA@SOI. Web: http://sla-at-soi.eu.Google Scholar
- 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 ScholarDigital Library
- 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 Scholar
Recommendations
Composing Web Services: A QoS View
An Internet application can invoke several services--a stock-trading Web service, for example, could invoke a payment service, which could then invoke an authentication service. Such a scenario is called a composite Web service, and it can be specified ...
Modeling IMS services
The IMS offers telecom operators and service providers with the architecture and the procedures to build an open IP-based service infrastructure for deployment of innovative multimedia communication services that integrate telecom and data services. IMS ...
Extended BPEL System for e-Engineering Framework Considering the Characteristics of Mechanical Engineering Services
SCC '08: Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2Product development in mechanical industry can be defined as an engineering process based on the collaboration between different experts using various engineering services. The e-Engineering framework aims to integrate engineering services and mediate ...
Comments