Samenvatting
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.
Originele taal-2 | Engels |
---|---|
Titel | Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings |
Redacteuren | Peter Csaba Ölveczky, Kyungmin Bae |
Plaats van productie | Cham |
Uitgeverij | Springer |
Pagina's | 288-296 |
Aantal pagina's | 9 |
ISBN van elektronische versie | 978-3-030-02146-7 |
ISBN van geprinte versie | 978-3-030-02145-0 |
DOI's | |
Status | Gepubliceerd - 1 jan. 2018 |
Evenement | 15th International Conference on Formal Aspects of Component Software, FACS 2018 - Pohang, Zuid-Korea Duur: 10 okt. 2018 → 12 okt. 2018 |
Publicatie series
Naam | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 11222 LNCS |
ISSN van geprinte versie | 0302-9743 |
ISSN van elektronische versie | 1611-3349 |
Congres
Congres | 15th International Conference on Formal Aspects of Component Software, FACS 2018 |
---|---|
Land/Regio | Zuid-Korea |
Stad | Pohang |
Periode | 10/10/18 → 12/10/18 |
Financiering
Sander de Putter—This work is supported by ARTEMIS Joint Undertaking project EMC2 (grant nr. 621429). Dan Zhang—This work is supported by the 4TU-NIRICT project ViGARO.