ABS: a core language for abstract behavioral specification. This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object-oriented systems. The language combines advanced concurrency and synchronization mechanisms for concurrent object groups with a functional language for modeling data. ABS uses asynchronous method calls, interfaces for encapsulation, and cooperative scheduling of method activations inside concurrent objects. This feature combination results in a concurrent object-oriented model which is inherently compositional. We discuss central design issues for ABS and formalize the type system and semantics of Core ABS, a calculus with the main features of ABS. For Core ABS, we prove a subject reduction property which shows that well-typedness is preserved during execution; in particular, “method not understood” errors do not occur at runtime for well-typed ABS models. Finally, we briefly discuss the tool support developed for ABS.

References in zbMATH (referenced in 31 articles )

Showing results 1 to 20 of 31.
Sorted by year (citations)

1 2 next

  1. Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra: Actor-based model checking for software-defined networks (2021)
  2. de Boer, Frank S.; Bonsangue, Marcello: Symbolic execution formally explained (2021)
  3. Albert, Elvira; Bezirgiannis, Nikolaos; De Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell (2020)
  4. Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl; Martin-Martin, Enrique: A transformational approach to resource analysis with typed-norms inference (2020)
  5. Haller, Philipp; Miller, Heather: A reduction semantics for direct-style asynchronous observables (2019)
  6. Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam: An evaluation of interaction paradigms for active objects (2019)
  7. Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I.; Román-Díez, Guillermo: Time analysis of actor programs (2019)
  8. Castegren, Elias; Wallin, Joel; Wrigstad, Tobias: Bestow and atomic: concurrent programming using isolation, delegation and grouping (2018)
  9. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  10. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  11. Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.: Behavioural semantics for asynchronous components (2017)
  12. Azadbakht, Keyvan; Bezirgiannis, Nikolaos; de Boer, Frank S.: Distributed network generation based on preferential attachment in ABS (2017)
  13. Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y. H.: Dynamic rebinding for concurrent object groups: theory and practice (2017)
  14. Henrio, Ludovic; Rochas, Justine: Multiactive objects and their applications (2017)
  15. Owe, Olaf; McDowell, Charlie: On detecting over-eager concurrency in asynchronously communicating concurrent object systems (2017)
  16. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: May-happen-in-parallel analysis for actor-based concurrency (2016)
  17. Bezirgiannis, Nikolaos; de Boer, Frank: ABS: a high-level modeling language for cloud-aware programming (2016) ioport
  18. Kurnia, Ilham W.; Poetzsch-Heffter, Arnd: Modeling actor systems using dynamic I/O automata (2016)
  19. Zanardini, Damiano; Albert, Elvira; Villela, Karina: Resource-usage-aware configuration in software product lines (2016)
  20. Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo: Quantified abstract configurations of distributed systems (2015)

1 2 next

Further publications can be found at: https://abs-models.org/publications/