Models as documents, documents as models

Perdita Stevens

doi:10.1007/978-3-031-19756-7_3

Models as documents, documents as models

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In software engineering, documentation and models are both broad concepts which attract varying approaches and attitudes. Moreover, as the title indicates, they overlap: in some circumstances, an artefact thought of as a model can serve to document a software project, while in others, an artefact thought of as a document can be manipulated by model-driven engineering tools just like any other kind of model. In this short paper we briefly explore these issues and provide pointers to some of the relevant literature.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer, Cham
Pages	28-34
Number of pages	7
ISBN (Electronic)	978-3-031-19756-7
ISBN (Print)	978-3-031-19755-0
DOIs	https://doi.org/10.1007/978-3-031-19756-7_3
Publication status	Published - 17 Oct 2022
Event	11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022 https://2022.isola-conference.org/

Publication series

Name	Lecture Notes in Computer Science
Volume	13702
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Symposium

Symposium	11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated title	ISOLA'22
Country/Territory	Greece
Period	22/10/22 → 30/10/22
Internet address	https://2022.isola-conference.org/

Keywords

documentation
programming
modelling

Access to Document

10.1007/978-3-031-19756-7_3Licence: All Rights Reserved

paperAccepted author manuscript, 180 KBLicence: Creative Commons: Attribution (CC-BY)

https://link.springer.com/chapter/10.1007/978-3-031-19756-7_3Licence: All Rights Reserved

Cite this

Stevens, P. (2022). Models as documents, documents as models. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II (pp. 28-34). (Lecture Notes in Computer Science; Vol. 13702). Springer, Cham. https://doi.org/10.1007/978-3-031-19756-7_3

Stevens, Perdita. / Models as documents, documents as models. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. editor / Tiziana Margaria ; Bernhard Steffen. Springer, Cham, 2022. pp. 28-34 (Lecture Notes in Computer Science).

@inproceedings{312a46ef7950419595b9eff07e48166e,

title = "Models as documents, documents as models",

abstract = "In software engineering, documentation and models are both broad concepts which attract varying approaches and attitudes. Moreover, as the title indicates, they overlap: in some circumstances, an artefact thought of as a model can serve to document a software project, while in others, an artefact thought of as a document can be manipulated by model-driven engineering tools just like any other kind of model. In this short paper we briefly explore these issues and provide pointers to some of the relevant literature.",

keywords = "documentation, programming, modelling",

author = "Perdita Stevens",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISOLA'22 ; Conference date: 22-10-2022 Through 30-10-2022",

year = "2022",

month = oct,

day = "17",

doi = "10.1007/978-3-031-19756-7_3",

language = "English",

isbn = "978-3-031-19755-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Cham",

pages = "28--34",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II",

url = "https://2022.isola-conference.org/",

}

Stevens, P 2022, Models as documents, documents as models. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. Lecture Notes in Computer Science, vol. 13702, Springer, Cham, pp. 28-34, 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Greece, 22/10/22. https://doi.org/10.1007/978-3-031-19756-7_3

Models as documents, documents as models. / Stevens, Perdita.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. ed. / Tiziana Margaria; Bernhard Steffen. Springer, Cham, 2022. p. 28-34 (Lecture Notes in Computer Science; Vol. 13702).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Models as documents, documents as models

AU - Stevens, Perdita

PY - 2022/10/17

Y1 - 2022/10/17

N2 - In software engineering, documentation and models are both broad concepts which attract varying approaches and attitudes. Moreover, as the title indicates, they overlap: in some circumstances, an artefact thought of as a model can serve to document a software project, while in others, an artefact thought of as a document can be manipulated by model-driven engineering tools just like any other kind of model. In this short paper we briefly explore these issues and provide pointers to some of the relevant literature.

AB - In software engineering, documentation and models are both broad concepts which attract varying approaches and attitudes. Moreover, as the title indicates, they overlap: in some circumstances, an artefact thought of as a model can serve to document a software project, while in others, an artefact thought of as a document can be manipulated by model-driven engineering tools just like any other kind of model. In this short paper we briefly explore these issues and provide pointers to some of the relevant literature.

KW - documentation

KW - programming

KW - modelling

U2 - 10.1007/978-3-031-19756-7_3

DO - 10.1007/978-3-031-19756-7_3

M3 - Conference contribution

SN - 978-3-031-19755-0

T3 - Lecture Notes in Computer Science

SP - 28

EP - 34

BT - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer, Cham

T2 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 22 October 2022 through 30 October 2022

ER -

Stevens P. Models as documents, documents as models. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. Springer, Cham. 2022. p. 28-34. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-031-19756-7_3

Models as documents, documents as models

Abstract

Publication series

Symposium

Keywords

Access to Document

Fingerprint

Cite this