Actors at work

Author(s):
Nobakht, B.
Published
2016
Publication type
Doctoral Thesis

Abstract

The core contributions of this thesis target the intersection of object orientation, actor

model, and concurrency. We choose Java as the main target programming language

and as one of the mainstream object-oriented languages. We formalize a subset of Java and its concurrency API to facilitate formal verification and reasoning about it. We create an abstract mapping from a concurrent-object modeling language, ABS, to the programming semantics of concurrent Java. We provide the formal semantics of the mapping and runtime properties of the concurrency layer including deadlines and scheduling policies. We provide an implementation of the ABS concurrency layer as a Java API library and framework utilizing the latest language additions in Java 8.

ConcurrencyAsynchronous messagesProgramming languagesJava, Co-routineAbsActor model
Defense date
2016-12-15
Language
English
Supervisor(s)
Boer, F.S. de
Advisor(s)
Gouw, P.T de
Committee member(s)
Arbab, F.; Bonsangue, M.M.; Johnsen, E.B.; Sirjani, M.
Qualification
Ph.D.
Degree granting institution
Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University, Leiden
hdl
1887/45620
ISBN(s)
9789402804362