article

The ABS simulator toolchain

Authors:

Rudolf Schlatte,

Einar Broch Johnsen,

Eduard Kamburjan,

S. Lizeth Tapia TarifaAuthors Info & Claims

Volume 223, Issue C

https://doi.org/10.1016/j.scico.2022.102861

Published: 01 November 2022 Publication History

Abstract

ABS is a language for behavioral modeling of distributed, time- and resource-sensitive communicating systems. ABS is based on an executable actor-based semantics with asynchronous method calls, with method call results being delivered via future variables. Data is modeled via a functional, side-effect-free layer of algebraic data types and parametric functions. Actor behavior is expressed in a sequential, imperative way, with explicit suspension points for in-actor cooperative scheduling. A declarative time and resource model allows modeling of time-sensitive actor behavior in a compositional way. A software product line language layer implements model variability via code deltas and feature models. This paper describes the toolchain that makes it possible to simulate ABS models, and lists the most important case studies done with ABS.

Highlights

•

ABS is a language for behavioral modeling of distributed, time and resource sensitive communicating systems.

•

The ABS Toolchain compiles ABS models into code executable on the Erlang BEAM VM.

•

Development of ABS and its toolchain has been ongoing for a decade.

•

Multiple case studies have been published that highlight the suitability of ABS in multiple domains.

References

[1]

E.B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, M. Steffen, ABS: a core language for abstract behavioral specification, in: B. Aichernig, F.S. de Boer, M.M. Bonsangue (Eds.), Proc. FMCO 2010, in: LNCS, vol. 6957, Springer, 2011, pp. 142–164,.

Digital Library

[2]

F.S. de Boer, V. Serbanescu, R. Hähnle, L. Henrio, J. Rochas, C.C. Din, E.B. Johnsen, M. Sirjani, E. Khamespanah, K. Fernandez-Reyes, A.M. Yang, A survey of active object languages, ACM Comput. Surv. 50 (5) (2017) 76:1–76:39,.

Digital Library

[3]

R. Hähnle, The abstract behavioral specification language: a tutorial introduction, in: Proc. FMCO 2012, in: LNCS, vol. 7866, Springer, 2012, pp. 1–37,.

Digital Library

[4]

Schlatte, R.; Stolz, V.; Tveito, L. (May 2021): ABS Tools, version 1.9.3. https://doi.org/10.5281/zenodo.6867529.

[5]

E.B. Johnsen, R. Schlatte, S.L. Tapia Tarifa, Integrating deployment architectures and resource consumption in timed object-oriented models, J. Log. Algebraic Methods Program. 84 (1) (2015) 67–91,.

[6]

J. Bjørk, F.S. de Boer, E.B. Johnsen, R. Schlatte, S.L. Tapia Tarifa, User-defined schedulers for real-time concurrent objects, Innov. Syst. Softw. Eng. 9 (1) (2013) 29–43,.

Digital Library

[7]

R. Schlatte, E.B. Johnsen, E. Kamburjan, S.L.T. Tarifa, Modeling and analyzing resource-sensitive actors: a tutorial introduction, in: COORDINATION 2021, in: LNCS, vol. 12717, Springer, 2021, pp. 3–19,.

Digital Library

[8]

J. Doménech, S. Genaim, E.B. Johnsen, R. Schlatte, EasyInterface: a toolkit for rapid development of guis for research prototype tools, in: FASE, in: LNCS, vol. 10202, Springer, 2017, pp. 379–383,.

Digital Library

[9]

T.J. Parr, R.W. Quong, ANTLR: a predicated-LL(k) parser generator, Softw. Pract. Exp. 25 (7) (1995) 789–810,.

Digital Library

[10]

T. Ekman, G. Hedin, The JastAdd system - modular extensible compiler construction, Sci. Comput. Program. 69 (1–3) (2007) 14–26,.

Digital Library

[11]

J. Armstrong Erlang, Commun. ACM 53 (9) (2010) 68–75,.

Digital Library

[12]

E. Albert, F.S. de Boer, R. Hähnle, E.B. Johnsen, R. Schlatte, S.L. Tapia Tarifa, P.Y.H. Wong, Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS, Serv. Oriented Comput. Appl. 8 (4) (2014) 323–339,.

Digital Library

[13]

N. Bezirgiannis, F.S. de Boer, S. de Gouw, Human-in-the-loop simulation of cloud services, in: ESOCC, in: LNCS, vol. 10465, Springer, 2017, pp. 143–158,.

[14]

J.-C. Lin, I.C. Yu, E.B. Johnsen, M.-C. Lee ABS-YARN, A formal framework for modeling Hadoop YARN clusters, in: FASE, in: LNCS, vol. 9633, Springer, 2016, pp. 49–65,.

[15]

J.-C. Lin, M. Lee, I.C. Yu, E.B. Johnsen, A configurable and executable model of Spark Streaming on Apache YARN, Int. J. Grid Util. Comput. 11 (2) (2020) 185–195,.

Digital Library

[16]

E.B. Johnsen, J.-C. Lin, I.C. Yu, Comparing AWS deployments using model-based predictions, in: ISoLA (2), in: LNCS, vol. 9953, 2016, pp. 482–496,.

[17]

J.-C. Lin, J. Mauro, T.B. Røst, I.C. Yu, A model-based scalability optimization methodology for cloud applications, in: IEEE SC2, IEEE Computer Society, 2017, pp. 163–170,.

[18]

S. Bijo, E.B. Johnsen, K.I. Pun, S.L. Tapia Tarifa, A formal model of data access for multicore architectures with multilevel caches, Sci. Comput. Program. 179 (2019) 24–53,.

Digital Library

[19]

N. Bezirgiannis, F.S. de Boer, E.B. Johnsen, K.I. Pun, S.L. Tapia Tarifa, Implementing SOS with active objects: a case study of a multicore memory system, in: FASE, in: LNCS, vol. 11424, Springer, 2019, pp. 332–350,.

[20]

K. Hightower, B. Burns, J. Beda, Kubernetes: Up and Running, O'Reilly, 2017.

[21]

G. Turin, A. Borgarelli, S. Donetti, E.B. Johnsen, S.L. Tapia Tarifa, F. Damiani, A formal model of the Kubernetes container framework, in: ISoLA, in: LNCS, vol. 12476, Springer, 2020, pp. 558–577,.

Digital Library

[22]

E. Kamburjan, R. Hähnle, S. Schön, Formal modeling and analysis of railway operations with active objects, Sci. Comput. Program. 166 (2018) 167–193,.

[23]

E. Kamburjan, J. Stromberg, Tool support for validation of formal system models: interactive visualization and requirements traceability, in: F-IDE@FM, in: EPTCS, vol. 310, 2019, pp. 70–85,.

Cited By

Uhrmacher AFrazier PHähnle RKlügl FLorig FLudäscher BNenzi LRuiz-Martin CRumpe BSzabo CWainer GWilsdorf P(2024)Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and SimulationACM Transactions on Modeling and Computer Simulation10.1145/367322634:4(1-51)Online publication date: 13-Aug-2024
https://dl.acm.org/doi/10.1145/3673226
Turin GBorgarelli ADonetti SDamiani FJohnsen ETapia Tarifa S(2023)Predicting resource consumption of Kubernetes container systems using resource modelsJournal of Systems and Software10.1016/j.jss.2023.111750203:COnline publication date: 13-Jul-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111750

Index Terms

The ABS simulator toolchain
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
2. Software and its engineering

Index terms have been assigned to the content through auto-classification.

Recommendations

Verified software toolchain
NFM'12: Proceedings of the 4th international conference on NASA Formal Methods

The software toolchain includes static analyzers to check assertions about programs; optimizing compilers to translate programs to machine language; operating systems and libraries to supply context for programs. Our Verified Software Toolchain verifies ...
Verified software toolchain
ESOP'11/ETAPS'11: Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software

The software toolchain includes static analyzers to check assertions about programs; optimizing compilers to translate programs tomachine language; operating systems and libraries to supply context for programs. Our Verified Software Toolchain verifies ...
ABS: a core language for abstract behavioral specification
FMCO'10: Proceedings of the 9th international conference on Formal Methods for Components and Objects

This paper presents ABS, an <em>abstract behavioral specification</em> language for designing executable models of distributed object-oriented systems. The language combines advanced concurrency and synchronization mechanisms for concurrent object groups ...

Comments

Information & Contributors

Information

Published In

cover image Science of Computer Programming

Science of Computer Programming Volume 223, Issue C

Nov 2022

146 pages

ISSN:0167-6423

Issue’s Table of Contents

The Author(s).

Publisher

Elsevier North-Holland, Inc.

United States

Publication History

Published: 01 November 2022

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Uhrmacher AFrazier PHähnle RKlügl FLorig FLudäscher BNenzi LRuiz-Martin CRumpe BSzabo CWainer GWilsdorf P(2024)Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and SimulationACM Transactions on Modeling and Computer Simulation10.1145/367322634:4(1-51)Online publication date: 13-Aug-2024
https://dl.acm.org/doi/10.1145/3673226
Turin GBorgarelli ADonetti SDamiani FJohnsen ETapia Tarifa S(2023)Predicting resource consumption of Kubernetes container systems using resource modelsJournal of Systems and Software10.1016/j.jss.2023.111750203:COnline publication date: 13-Jul-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111750

View Options

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

Media

Figures

Other

Tables

View Issue’s Table of Contents