research-article

Engineering virtualized services

Authors:

Reiner Hähnle,

Einar Broch Johnsen,

Cosimo LaneveAuthors Info & Claims

NordiCloud '13: Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies

Pages 59 - 63

https://doi.org/10.1145/2513534.2513545

Published: 02 September 2013 Publication 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.

Digital 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.

[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.

Digital 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.

Digital Library

[5]

B. W. Boehm and P. N. Papaccio. Understanding and controlling software costs. IEEE Transactions on Software Engineering, 14(10):1462--1477, 1988.

Digital 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.

Digital 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.

Digital Library

[8]

M. G. Buscemi and U. Montanari. QoS negotiation in service composition. J. Log. Algebr. Program., 80(1):13--24, 2011.

[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.

Digital Library

[10]

European Commission Expert Group Report. The future of cloud computing: Opportunities for European cloud computing beyond 2010, 2010.

[11]

FI-WARE. Web: www.fi-ppp.eu/projects/fi-ware.

[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.

[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.

Digital 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.

Digital 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.

Digital 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.

Digital Library

[17]

D. Jones. The Definitive Guide to Monitoring the Data Center, Virtual Environments, and the Cloud. Realtime publishers, 2010.

[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.

Digital 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.

Digital Library

[20]

J. Kramer. Is abstraction the key to computing? Communications of the ACM, 50(4):36--42, 2007.

Digital 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.

Digital 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.

Digital Library

[23]

B. Meyer. Design by contract: The Eiffel method. In TOOLS (26), page 446. IEEE CS Press, 1998.

Digital Library

[24]

J. C. Okika. Analysis and Verification of Service Contracts. PhD thesis, Aalborg University, 2010.

[25]

N. Oldham and K. Verma. Semantic WS-agreement partner selection. In In 15th Intl. WWW Conf., pages 697--706. ACM Press, 2006.

Digital 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.

Digital 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.

Digital Library

[28]

SLA@SOI. Web: http://sla-at-soi.eu.

[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.

Digital 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.

Cited By

Fowler SHaller PKuhn RLindley SScalas AVasconcelos V(2024)Behavioural Types for Heterogeneous Systems (Position Paper)Electronic Proceedings in Theoretical Computer Science10.4204/EPTCS.401.4401(37-48)Online publication date: 6-Apr-2024
https://doi.org/10.4204/EPTCS.401.4
Laneve C(2023)Liquidity analysis in resource-aware programmingJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2023.100889135(100889)Online publication date: Oct-2023
https://doi.org/10.1016/j.jlamp.2023.100889
Crafa SLaneve C(2022)Liquidity Analysis in Resource-Aware ProgrammingFormal Aspects of Component Software10.1007/978-3-031-20872-0_12(205-221)Online publication date: 2-Nov-2022
https://doi.org/10.1007/978-3-031-20872-0_12
Show More Cited By

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 2

Product 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

Information & Contributors

Information

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

Editors:
Arnor Solberg
SINTEF, Norway
,
Muhammad Ali Babar
IT University of Copenhagen, Denmark & The University of Lancaster, UK
,
Marlon Dumas
University of Tartu, Estonia
,
Carlos E. Cuesta
Rey Juan Carlos University, Spain

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: 02 September 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

NordiCloud '13

NordiCloud '13: Second Nordic Symposium on Cloud Computing & Internet Technologies

September 2 - 3, 2013

Oslo, Norway

Acceptance Rates

NordiCloud '13 Paper Acceptance Rate 9 of 15 submissions, 60%;

Overall Acceptance Rate 9 of 15 submissions, 60%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
114
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Fowler SHaller PKuhn RLindley SScalas AVasconcelos V(2024)Behavioural Types for Heterogeneous Systems (Position Paper)Electronic Proceedings in Theoretical Computer Science10.4204/EPTCS.401.4401(37-48)Online publication date: 6-Apr-2024
https://doi.org/10.4204/EPTCS.401.4
Laneve C(2023)Liquidity analysis in resource-aware programmingJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2023.100889135(100889)Online publication date: Oct-2023
https://doi.org/10.1016/j.jlamp.2023.100889
Crafa SLaneve C(2022)Liquidity Analysis in Resource-Aware ProgrammingFormal Aspects of Component Software10.1007/978-3-031-20872-0_12(205-221)Online publication date: 2-Nov-2022
https://doi.org/10.1007/978-3-031-20872-0_12
Wagle S(2017)Cloud Computing ContractsPrivacy and Identity Management. Facing up to Next Steps10.1007/978-3-319-55783-0_13(182-198)Online publication date: 1-Apr-2017
https://doi.org/10.1007/978-3-319-55783-0_13
(2016)BibliographyFrom Action Systems to Distributed Systems10.1201/b20053-23(247-271)Online publication date: 20-Apr-2016
https://doi.org/10.1201/b20053-23
Aichernig BLorber FTappler M(2016)Conformance Checking of Real-Time ModelsEssays Dedicated to Frank de Boer on Theory and Practice of Formal Methods - Volume 966010.1007/978-3-319-30734-3_4(15-32)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1007/978-3-319-30734-3_4
Giachino EGouw SLaneve CNobakht B(2016)Statically and Dynamically Verifiable SLA MetricsEssays Dedicated to Frank de Boer on Theory and Practice of Formal Methods - Volume 966010.1007/978-3-319-30734-3_15(211-225)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1007/978-3-319-30734-3_15
Serbanescu VAzadbakht KBoer FNagarajagowda CNobakht B(2016)A design pattern for optimizations in data intensive applications using ABS and JAVA 8Concurrency and Computation: Practice & Experience10.1002/cpe.348028:2(374-385)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1002/cpe.3480
Hahnle RJohnsen E(2015)Designing Resource-Aware Cloud ApplicationsComputer10.1109/MC.2015.17248:6(72-75)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1109/MC.2015.172
Beckert BHähnle R(2014)Reasoning and Verification: State of the Art and Current TrendsIEEE Intelligent Systems10.1109/MIS.2014.329:1(20-29)Online publication date: Jan-2014
https://doi.org/10.1109/MIS.2014.3
Show More Cited By

View Options

Get Access

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents