Abstract Behavioral Specification: unifying modeling and programming

Leiden Repository

Abstract Behavioral Specification: unifying modeling and programming

Type: Doctoral Thesis
Title: Abstract Behavioral Specification: unifying modeling and programming
Author: Bezirgiannis, N.
Journal Title: IPA Dissertation Series
Issue Date: 2018-04-17
Keywords: Software modeling
Cooperative multitasking
Active objects
Actor model
Human in the loop simulation
Distributed objects
Executable modeling language
Compiler correctness
Abstract: We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels. Our language is based on top of the Abstract Behavioral Specification (ABS), which is an executable modeling language with a focus on cooperative-multitasking concurrency. We translate programs written in ABS to Haskell, an established functional programming language, since Haskell supports both cooperative concurrency in the form of coroutines, and multicore parallelism through lightweight threads of execution. Further, we formally prove the correctness as well as the resource-consumption preservation of the translation of a subset of our language to Haskell.To enable software models take control of their computing resources, we extend our language with certain constructs that abstract over the hardware. This resource-aware language extension is packaged in a tool-suite for human-in-the-loop simulation of Cloud services; such a live simulation can be used for training DevOps to the cloud environment of IT companies.Finally, we provide an implementation of distributed communication to the Cloud infrastructure, so that software models written in ABS can be executed as distributed applications, which can programmatically monitor and control their own Cloud deployment.
Promotor: Supervisor: Boer F.S. de Co-Supervisor: Gouw C.P.T. de
Faculty: Science
University: Leiden
Handle: http://hdl.handle.net/1887/61629
 

Files in this item

Description Size View
application/pdf Full Text 2.362Mb Under embargo until 2020-04-17
application/pdf Cover 72.05Kb View/Open
application/pdf Title Page_Contents 887.0Kb View/Open
application/pdf Chapter 01 258.5Kb View/Open
application/pdf Chapter 02 409.9Kb View/Open
application/pdf Chapter 03 921.7Kb Under embargo until 2020-04-17
application/pdf Chapter 04 655.0Kb Under embargo until 2020-04-17
application/pdf Chapter 05 499.1Kb Under embargo until 2020-04-17
application/pdf Chapter 06 250.0Kb View/Open
application/pdf Summary 126.4Kb View/Open
application/pdf Summary_in Dutch 142.3Kb View/Open
application/pdf Bibliography_IPA Dissertations Series 212.9Kb View/Open

This item appears in the following Collection(s)