Engineering virtualized services

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.

[1]  Reiner Hähnle,et al.  Abstract Interpretation of Symbolic Execution with Explicit State Updates , 2009, FMCO.

[2]  Wolfgang Ziegler,et al.  A proposal for WS-Agreement Negotiation , 2010, 2010 11th IEEE/ACM International Conference on Grid Computing.

[3]  Jeff Kramer,et al.  Is abstraction the key to computing? , 2007, CACM.

[4]  Frank S. de Boer,et al.  Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study , 2012, ESOCC.

[5]  Reiner Hähnle,et al.  ABS: A Core Language for Abstract Behavioral Specification , 2010, FMCO.

[6]  Heiko Ludwig,et al.  The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.

[7]  Gordon S. Blair,et al.  An architecture for next generation middleware , 2009 .

[8]  Frank S. de Boer,et al.  Schedulability of asynchronous real-time concurrent objects , 2009, J. Log. Algebraic Methods Program..

[9]  Einar Broch Johnsen,et al.  Validating Timed Models of Deployment Components with Parametric Concurrency , 2010, FoVeOOS.

[10]  Filipe Marques,et al.  SLA Design from a Business Perspective , 2005, DSOM.

[11]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[12]  Joseph C. Okika.  Analysis and Verification of Service Contracts , 2010 .

[13]  Vladimir Tosic,et al.  WSOL - A Language for the Formal Specification of Classes of Service for Web Services , 2003, ICWS.

[14]  Wolfgang Emmerich,et al.  SLAng: a language for defining service level agreements , 2003, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings..

[15]  Robert E. Strom,et al.  Typestate: A programming language concept for enhancing software reliability , 1986, IEEE Transactions on Software Engineering.

[16]  Ugo Montanari,et al.  QoS negotiation in service composition , 2011, J. Log. Algebraic Methods Program..

[17]  Elvira Albert,et al.  Cost Analysis of Java Bytecode , 2007, ESOP.

[18]  Bertrand Meyer.  Design By Contract. The Eiffel Method , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[19]  Adrian Paschke.  RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML , 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).

[20]  Einar Broch Johnsen,et al.  Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS , 2012, ICFEM.

[21]  Tomas Vitvar,et al.  SAWSDL: Semantic Annotations for WSDL and XML Schema , 2007, IEEE Internet Computing.

[22]  Cosimo Laneve,et al.  The Must Preorder Revisited , 2007, CONCUR.

[23]  Amit P. Sheth,et al.  Semantic WS-agreement partner selection , 2006, WWW '06.

[24]  Einar Broch Johnsen,et al.  Dynamic Resource Reallocation between Deployment Components , 2010, ICFEM.

[25]  Barry W. Boehm,et al.  Understanding and Controlling Software Costs , 1988, IEEE Trans. Software Eng..

[26]  Frank S. de Boer,et al.  User-defined schedulers for real-time concurrent objects , 2012, Innovations in Systems and Software Engineering.