The SLCO framework for verified, model-driven construction of component software

Sander de Putter, Anton Wijs, Dan Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Abstract

We present the Simple Language of Communicating Objects (Slco) framework, which has resulted from our research on applying formal methods for correct and efficient model-driven development of multi-component software. At the core is a domain specific language called Slco that specifies software behaviour. In this paper, we discuss the language, give an overview of the features of the framework, and discuss our roadmap for the future.

Original languageEnglish
Title of host publicationFormal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings
EditorsPeter Csaba Ölveczky, Kyungmin Bae
Place of PublicationCham
PublisherSpringer
Pages288-296
Number of pages9
ISBN (Electronic)978-3-030-02146-7
ISBN (Print)978-3-030-02145-0
DOIs
Publication statusPublished - 1 Jan 2018
Event15th International Conference on Formal Aspects of Component Software, FACS 2018 - Pohang, Korea, Republic of
Duration: 10 Oct 201812 Oct 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11222 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International Conference on Formal Aspects of Component Software, FACS 2018
CountryKorea, Republic of
CityPohang
Period10/10/1812/10/18

Fingerprint

Dive into the research topics of 'The SLCO framework for verified, model-driven construction of component software'. Together they form a unique fingerprint.

Cite this