Skip to main content
SpringerLink
Log in

Active Object Languages: Current Research Trends

  • Book
  • © 2024

Overview

Editors:
  1. Frank de Boer

    1. Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ferruccio Damiani

    1. University of Turin, Turin, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Reiner Hähnle

    1. Darmstadt University of Technology, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Einar Broch Johnsen

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Eduard Kamburjan

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • First comprehensive overview on the state of art in active object languages
  • Contributors are experts in distributed systems, formal methods, and programming languages
  • Valuable for researchers and practitioners in software engineering and foundations of programming

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14360)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Programming

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Active Objects Based on Algebraic Effects

      • Martin Andrieux, Ludovic Henrio, Gabriel Radanne
      Pages 3-36

    3. Actor-Based Designs for Distributed Self-organisation Programming

      • Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
      Pages 37-58

    4. Encore: Coda

      • Elias Castegren, Tobias Wrigstad
      Pages 59-91

    5. Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems

      • Guido Salvaneschi, Pascal Weisenburger
      Pages 92-122

    6. A Survey of Actor-Like Programming Models for Serverless Computing

      • Jonas Spenger, Paris Carbone, Philipp Haller
      Pages 123-146

    7. Programming Language Implementations with Multiparty Session Types

      • Nobuko Yoshida
      Pages 147-165

  3. Modelling

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Integrated Timed Architectural Modeling/Execution Language

      • Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
      Pages 169-198

    3. Simulating User Journeys with Active Objects

      • Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
      Pages 199-225

    4. Actors Upgraded for Variability, Adaptability, and Determinism

      • Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani
      Pages 226-260

  4. Analysis

    1. Front Matter

      Pages 261-261
      Download chapter PDF

    2. Integrating Data Privacy Compliance in Active Object Languages

      • Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe
      Pages 263-288

    3. Context-Aware Trace Contracts

      • Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
      Pages 289-322

    4. Type-Based Verification of Delegated Control in Hybrid Systems

      • Eduard Kamburjan, Michael Lienhardt
      Pages 323-358

    5. Enforced Dependencies for Active Objects

      • Violet Ka I Pun, Volker Stolz
      Pages 359-374

  5. Back Matter

    Pages 375-375
    Download chapter PDF
Back to top

Keywords

About this book

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

Editors and Affiliations

  • Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

    Frank de Boer

  • University of Turin, Turin, Italy

    Ferruccio Damiani

  • Darmstadt University of Technology, Darmstadt, Germany

    Reiner Hähnle

  • University of Oslo, Oslo, Norway

    Einar Broch Johnsen, Eduard Kamburjan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation