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

Sander de Putter; Anton Wijs; Dan Zhang

doi:10.1007/978-3-030-02146-7_15

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 proceeding › Conference contribution › Academic › peer-review

7 Citations (Scopus)

13 Downloads (Pure)

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 language	English
Title of host publication	Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings
Editors	Peter Csaba Ölveczky, Kyungmin Bae
Publisher	Springer
Pages	288-296
Number of pages	9
ISBN (Print)	9783030021450
DOIs	https://doi.org/10.1007/978-3-030-02146-7_15
Publication status	Published - 5 Oct 2018
Event	15th International Conference on Formal Aspects of Component Software 2018 - Pohang, Korea, Republic of Duration: 10 Oct 2018 → 12 Oct 2018 Conference number: 15

Publication series

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

Conference

Conference	15th International Conference on Formal Aspects of Component Software 2018
Abbreviated title	FACS 2018
Country/Territory	Korea, Republic of
City	Pohang
Period	10/10/18 → 12/10/18

Access to Document

10.1007/978-3-030-02146-7_15

Cite this

de Putter, S., Wijs, A., & Zhang, D. (2018). The SLCO framework for verified, model-driven construction of component software. In P. C. Ölveczky, & K. Bae (Eds.), Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings (pp. 288-296). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11222 LNCS). Springer. https://doi.org/10.1007/978-3-030-02146-7_15

de Putter, Sander ; Wijs, Anton ; Zhang, Dan. / The SLCO framework for verified, model-driven construction of component software. Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. editor / Peter Csaba Ölveczky ; Kyungmin Bae. Springer, 2018. pp. 288-296 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{22befc6b3b0044488234de20ba24c62d,

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

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.",

author = "{de Putter}, Sander and Anton Wijs and Dan Zhang",

year = "2018",

month = oct,

day = "5",

doi = "10.1007/978-3-030-02146-7_15",

language = "English",

isbn = "9783030021450",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "288--296",

editor = "{\"O}lveczky, {Peter Csaba} and Kyungmin Bae",

booktitle = "Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings",

address = "Germany",

note = "15th International Conference on Formal Aspects of Component Software 2018, FACS 2018 ; Conference date: 10-10-2018 Through 12-10-2018",

}

de Putter, S, Wijs, A & Zhang, D 2018, The SLCO framework for verified, model-driven construction of component software. in PC Ölveczky & K Bae (eds), Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11222 LNCS, Springer, pp. 288-296, 15th International Conference on Formal Aspects of Component Software 2018, Pohang, Korea, Republic of, 10/10/18. https://doi.org/10.1007/978-3-030-02146-7_15

The SLCO framework for verified, model-driven construction of component software. / de Putter, Sander; Wijs, Anton; Zhang, Dan.
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. ed. / Peter Csaba Ölveczky; Kyungmin Bae. Springer, 2018. p. 288-296 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11222 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - de Putter, Sander

AU - Wijs, Anton

AU - Zhang, Dan

N1 - Conference code: 15

PY - 2018/10/5

Y1 - 2018/10/5

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

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

UR - http://www.scopus.com/inward/record.url?scp=85055102253&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-02146-7_15

DO - 10.1007/978-3-030-02146-7_15

M3 - Conference contribution

AN - SCOPUS:85055102253

SN - 9783030021450

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 288

EP - 296

BT - Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings

A2 - Ölveczky, Peter Csaba

A2 - Bae, Kyungmin

PB - Springer

T2 - 15th International Conference on Formal Aspects of Component Software 2018

Y2 - 10 October 2018 through 12 October 2018

ER -

de Putter S, Wijs A, Zhang D. The SLCO framework for verified, model-driven construction of component software. In Ölveczky PC, Bae K, editors, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Springer. 2018. p. 288-296. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-02146-7_15

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this