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 26 articles )

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

1 2 next

  1. Haller, Philipp; Miller, Heather: A reduction semantics for direct-style asynchronous observables (2019)
  2. Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam: An evaluation of interaction paradigms for active objects (2019)
  3. Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I.; Román-Díez, Guillermo: Time analysis of actor programs (2019)
  4. Castegren, Elias; Wallin, Joel; Wrigstad, Tobias: Bestow and atomic: concurrent programming using isolation, delegation and grouping (2018)
  5. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  6. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  7. Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.: Behavioural semantics for asynchronous components (2017)
  8. Azadbakht, Keyvan; Bezirgiannis, Nikolaos; de Boer, Frank S.: Distributed network generation based on preferential attachment in ABS (2017)
  9. Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y. H.: Dynamic rebinding for concurrent object groups: theory and practice (2017)
  10. Henrio, Ludovic; Rochas, Justine: Multiactive objects and their applications (2017)
  11. Owe, Olaf; McDowell, Charlie: On detecting over-eager concurrency in asynchronously communicating concurrent object systems (2017)
  12. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: May-happen-in-parallel analysis for actor-based concurrency (2016)
  13. Bezirgiannis, Nikolaos; de Boer, Frank: ABS: a high-level modeling language for cloud-aware programming (2016)
  14. Kurnia, Ilham W.; Poetzsch-Heffter, Arnd: Modeling actor systems using dynamic I/O automata (2016)
  15. Zanardini, Damiano; Albert, Elvira; Villela, Karina: Resource-usage-aware configuration in software product lines (2016)
  16. Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo: A multi-domain incremental analysis engine and its application to incremental resource analysis (2015)
  17. Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo: Quantified abstract configurations of distributed systems (2015)
  18. Azadbakht, Keyvan; Serbanescu, Vlad; de Boer, Frank: High performance computing applications using parallel data processing units (2015) ioport
  19. Bubel, Richard; Din, Crystal Chang; Hähnle, Reiner; Nakata, Keiko: A dynamic logic with traces and coinduction (2015)
  20. Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner: Key-ABS: a deductive verification tool for the concurrent modelling language ABS (2015)

1 2 next