Resource-Aware Models in ABS


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

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).



Address:  University of Minho, Gualtar campus, Braga, Portugal.

Building. Departamento de Informatica, Building 07.

Coffee session: at 4PM-4:30PM, Sala de Estar, 4th floor.

Talks session: at 4:30PM-5PM, Sala 0.07 (DI-0.03), ground floor.