Asynchronous Programming in the Abstract Behavioural Specification Language

Azadbakht, K. (2019)

Doctoral Thesis

Chip manufacturers are rapidly moving towards so-called manycore chips with thousands of independent processors on the same silicon real estate. Current programming languages can only leverage the potential power by inserting code with low level concurrency constructs, sacrificing clarity. Alternatively, a programming language can integrate a thread of execution with a stable notion of identity, e.g., in active objects.
Abstract Behavioural Specification (ABS) is a language for designing executable models of parallel and distributed object-oriented systems based on active objects, and is defined in terms of a formal operational semantics which enables a variety of static and dynamic analysis techniques for the ABS models.
The overall goal of this thesis is to extend the asynchronous programming model and the corresponding analysis techniques in ABS.

• actor model
• concurrency
• active objects
• software verification
• multi threading
• preferential attachment
• deadlock detection

• All authors: Azadbakht, K.
• Supervisor: Boer, F.S. de
• Co-supervisor: Vink, E.P. de
• Committee: Arbab, F.; Bonsangue, M.M.; Henrio, L.; Plaat, A.; Sirjani, M.
• Qualification: Doctor (dr.)
• Awarding Institution: Leiden Institute of Advanced Computer Science, Faculty of Science, Leiden University
• Date: 2019-12-11