Resource-Aware Models in ABS

12/14/2017

By Einar Broch Johnsen, University of Oslo, Norway.

Abstract. ABS is an actor-based modeling language with explicit notions of resources and time. In this talk we discuss modeling abstractions for resource-aware models and analysis techniques exploiting the formal semantics of ABS, using examples from cloud computing. The talk will not be overly technical, but rather focus on possibilities opened by resource-aware actor-based models in terms of research challenges and application domains. ABS and its simulation back-end are open source, available from http://abs-models.org.

Keywords. Software engineering, formal methods, Modeling languages, cloud computing, scaling, service-level agreements, operational planning.

About the Speaker. Einar Broch Johnsen is a professor at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; program specification and modeling; formal methods and associated theory; lightweight analysis, type systems, testing; as well as deductive verification and formal logic. He is active in formal methods for distributed and concurrent systems, including object-oriented and concurrent languages, manycore computing, and cloud computing. He is one of the main developers of the ABS modeling language.

Einar Broch Johnsen is the deputy director of the Sirius Centre, a center of excellence for research driven innovation on scalable data access, with 8 year funding from the Research Council of Norway. He has been prominently involved in many national and European research projects; in particular, he was the coordinator of the EU FP7 project Envisage (2013-2016) on formal methods for cloud computing. Einar Broch Johnsen is member of IFIP WG2.2 “Formal Description of Programming Concepts”. He was board member of Sintef ICT (2009-2015). He is currently board member of Formal Methods Europe and steering committee member of the conference series on Integrated Formal Methods (iFM) and on Formal Techniques for Networked and Distributed Systems (FORTE).