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

Sander de Putter*, Anton Wijs, Dan Zhang

*Corresponding author for this work

    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
    PublisherSpringer Verlag
    Pages288-296
    Number of pages9
    ISBN (Print)9783030021450
    DOIs
    Publication statusPublished - 5 Oct 2018
    Event15th International Conference on Formal Aspects of Component Software 2018 - Pohang, Korea, Republic of
    Duration: 10 Oct 201812 Oct 2018
    Conference number: 15

    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 2018
    Abbreviated titleFACS 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