Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1007/978-3-642-40615-7_5guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Separating Cost and Capacity for Load Balancing in ABS Deployment Models

Published: 24 September 2012 Publication History

Abstract

Software is often developed for a range of deployment scenarios; different versions of the software may be specialized for a number of distributed and even virtualized architectures. Since software performance can vary significantly depending on the target architecture, design decisions may need to address which features to include and what performance to expect for the different architectures. If the load of the software system depends on external parameters such as users, the software may also need to include dynamic load balancing strategies to alleviate congestion and thereby improve its own performance.
Executable models in the abstract behavioral specification language ABS can support such design decisions by explicitly modeling deployment scenarios, including load, congestion, response time, etc. This paper gives an overview of how deployment scenarios can be captured in ABS. A separation of concerns between execution cost at the object level and execution capacity at the deployment level makes it easy to compare timing and performance for different deployment scenarios early in system modeling. The language and associated simulation tool is demonstrated on an example of a virtual world framework for distributed gaming.

References

[1]
Agha, G.A.: ACTORS: A Model of Concurrent Computations in Distributed Systems. The MIT Press, Cambridge 1986
[2]
Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.: COSTABS: A cost and termination analyzer for ABS. In: Kiselyov, O., Thompson, S. eds. Proc. Workshop on Partial Evaluation and Program Manipulation PEPM 2012, pp. 151---154. ACM 2012
[3]
Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: Cost Analysis of Java Bytecode. In: De Nicola, R. ed. ESOP 2007. LNCS, vol. 4421, pp. 157---172. Springer, Heidelberg 2007
[4]
Albert, E., Genaim, S., Gómez-Zamalloa, M., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Simulating concurrent behaviors with worst-case cost bounds. In: Butler, M., Schulte, W. eds. FM 2011. LNCS, vol. 6664, pp. 353---368. Springer, Heidelberg 2011
[5]
Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf 2007
[6]
Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Transactions on Software Engineering 305, 295---310 2004
[7]
BjØrk, J., de Boer, F.S., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: User-defined schedulers for real-time concurrent objects. Innovations in Systems and Software Engineering 91, 29---43 2013
[8]
Caromel, D., Henrio, L.: A Theory of Distributed Object. Springer 2005
[9]
Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Resource interfaces. In: Alur, R., Lee, I. eds. EMSOFT 2003. LNCS, vol. 2855, pp. 117---133. Springer, Heidelberg 2003
[10]
Clarke, D., Diakov, N., Hähnle, R., Johnsen, E.B., Schaefer, I., Schäfer, J., Schlatte, R., Wong, P.Y.H.: Modeling spatial and temporal variability with the HATS abstract behavioral modeling language. In: Bernardo, M., Issarny, V. eds. SFM 2011. LNCS, vol. 6659, pp. 417---457. Springer, Heidelberg 2011
[11]
de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. ed. ESOP 2007. LNCS, vol. 4421, pp. 316---330. Springer, Heidelberg 2007
[12]
de Boer, F.S., Hähnle, R., Johnsen, E.B., Schlatte, R., Wong, P.Y.H.: Formal modeling of resource management for cloud architectures: An industrial case study. In: De Paoli, F., Pimentel, E., Zavattaro, G. eds. ESOCC 2012. LNCS, vol. 7592, pp. 91---106. Springer, Heidelberg 2012
[13]
de Boer, F.S., Jaghoori, M.M., Johnsen, E.B.: Dating concurrent objects: Real-time modeling and schedulability analysis. In: Gastin, P., Laroussinie, F. eds. CONCUR 2010. LNCS, vol. 6269, pp. 1---18. Springer, Heidelberg 2010
[14]
Eckhardt, J., Mühlbauer, T., AlTurki, M., Meseguer, J., Wirsing, M.: Stable availability under denial of service attacks through formal patterns. In: de Lara, J., Zisman, A. eds. FASE 2012. LNCS, vol. 7212, pp. 78---93. Springer, Heidelberg 2012
[15]
Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: Proc. 31st International Conference on Software Engineering ICSE 2009, pp. 111---121. IEEE 2009
[16]
Fersman, E., Krcál, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Information and Computation 2058, 1149---1172 2007
[17]
Gulwani, S., Mehra, K.K., Chilimbi, T.M.: SPEED: Precise and Efficient Static Estimation of Program Computational Complexity. In: POPL, pp. 127---139. ACM 2009
[18]
Haller, P., Odersky, M.: Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science 4102-3, 202---220 2009
[19]
Jaghoori, M.M., de Boer, F.S., Chothia, T., Sirjani, M.: Schedulability of asynchronous real-time concurrent objects. Journal of Logic and Algebraic Programming 785, 402---416 2009
[20]
Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.: ABS: A core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. eds. FMCO 2010. LNCS, vol. 6957, pp. 142---164. Springer, Heidelberg 2011
[21]
Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling 61, 35---58 2007
[22]
Johnsen, E.B., Owe, O., Schlatte, R., Tapia Tarifa, S.L.: Dynamic resource reallocation between deployment components. In: Dong, J.S., Zhu, H. eds. ICFEM 2010. LNCS, vol. 6447, pp. 646---661. Springer, Heidelberg 2010
[23]
Johnsen, E.B., Owe, O., Schlatte, R., Tapia Tarifa, S.L.: Validating timed models of deployment components with parametric concurrency. In: Beckert, B., Marché, C. eds. FoVeOOS 2010. LNCS, vol. 6528, pp. 46---60. Springer, Heidelberg 2011
[24]
Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: A formal model of object mobility in resource-restricted deployment scenarios. In: Arbab, F., Ölveczky, P.C. eds. FACS 2011. LNCS, vol. 7253, pp. 187---204. Springer, Heidelberg 2012
[25]
Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: A formal model of user-defined resources in resource-restricted deployment scenarios. In: Beckert, B., Damiani, F., Gurov, D. eds. FoVeOOS 2011. LNCS, vol. 7421, pp. 196---213. Springer, Heidelberg 2012
[26]
Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. In: Aoki, T., Taguchi, K. eds. ICFEM 2012. LNCS, vol. 7635, pp. 71---86. Springer, Heidelberg 2012
[27]
Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Modeling application-level management of virtualized resources in ABS. In: Beckert, B., Bonsangue, M.M. eds. FMCO 2011. LNCS, vol. 7542, pp. 89---108. Springer, Heidelberg 2012
[28]
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 11-2, 134---152 1997
[29]
Petriu, D.B., Woodside, C.M.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Software and System Modeling 62, 163---184 2007
[30]
Vellon, M., Marple, K., Mitchell, D., Drucker, S.: The architecture of a distributed virtual worlds system. In: Proc. 4th USENIX Conference on Object-Oriented Technologies and Systems COOTS, pp. 211---218. USENIX 1998
[31]
Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. eds. FM 2006. LNCS, vol. 4085, pp. 147---162. Springer, Heidelberg 2006
[32]
Welc, A., Jagannathan, S., Hosking, A.: Safe futures for Java. In: Proc. Object oriented programming, systems, languages, and applications OOPSLA 2005, pp. 439---453. ACM Press, New York 2005

Cited By

View all
  • (2012)The Abstract Behavioral Specification LanguageRevised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 786610.1007/978-3-642-40615-7_1(1-37)Online publication date: 24-Sep-2012

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings
FMCO 2012: Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 7866
September 2012
239 pages
ISBN:9783642406140
  • Editors:
  • Elena Giachino,
  • Reiner Hähnle,
  • Frank Boer,
  • Marcello Bonsangue

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 24 September 2012

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2012)The Abstract Behavioral Specification LanguageRevised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 786610.1007/978-3-642-40615-7_1(1-37)Online publication date: 24-Sep-2012

View Options

View options

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media