Show simple item record

dc.contributor.authorValmari, Antti
dc.contributor.authorLappalainen, Vesa
dc.contributor.editorGallardo, María del Mar
dc.contributor.editorMerino, Pedro
dc.date.accessioned2018-11-05T07:47:02Z
dc.date.available2019-06-17T21:35:36Z
dc.date.issued2018
dc.identifier.citationValmari, A., & Lappalainen, V. (2018). Modelling Without a Modelling Language. In M. D. M. Gallardo, & P. Merino (Eds.), <i>SPIN 2018 : Model Checking Software</i> (pp. 308-327). Springer. Lecture Notes in Computer Science, 10869. <a href="https://doi.org/10.1007/978-3-319-94111-0_18" target="_blank">https://doi.org/10.1007/978-3-319-94111-0_18</a>
dc.identifier.otherCONVID_28133404
dc.identifier.otherTUTKAID_78095
dc.identifier.urihttps://jyx.jyu.fi/handle/123456789/60094
dc.description.abstractDevelopments in computer hardware and programming languages, in this case C++, have made it feasible to write models of concurrent systems under verification in the programming language, instead of some established modelling language such as Promela. While this does not reduce the usefulness of modelling languages, it offers new possibilities that may be advantageous, for instance, when teaching state space ideas to newcomers or when experimenting with new scientific ideas. In earlier work, we were able to express everything else fairly naturally in C++, except the set of transitions. The present study uses C++ lambda functions to represent naturally transitions that consist of a tail state, guard, body, and head state. We discuss two implementations, a simple one and a faster one. We present measurements demonstrating that the loss of performance compared to the earlier approach is not big. Starting to use our approach is easy, because one only needs to have a C++ compiler and download (not install) one C++ file.fi
dc.format.extent347
dc.format.mimetypeapplication/pdf
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofSPIN 2018 : Model Checking Software
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.rightsIn Copyright
dc.subject.otherexplicit state spaces
dc.subject.othermodelling languages
dc.subject.otherimplementation issues
dc.titleModelling Without a Modelling Language
dc.typeconferenceObject
dc.identifier.urnURN:NBN:fi:jyu-201811054619
dc.contributor.laitosInformaatioteknologian tiedekuntafi
dc.contributor.laitosFaculty of Information Technologyen
dc.contributor.oppiaineTietojenkäsittelytiedefi
dc.contributor.oppiaineTietotekniikkafi
dc.contributor.oppiaineComputer Scienceen
dc.contributor.oppiaineMathematical Information Technologyen
dc.type.urihttp://purl.org/eprint/type/ConferencePaper
dc.date.updated2018-11-05T07:15:18Z
dc.relation.isbn978-3-319-94110-3
dc.description.reviewstatuspeerReviewed
dc.format.pagerange308-327
dc.relation.issn0302-9743
dc.relation.numberinseries10869
dc.type.versionacceptedVersion
dc.rights.copyright© Springer International Publishing AG, part of Springer Nature 2018
dc.rights.accesslevelopenAccessfi
dc.relation.conferenceInternational Symposium on Model Checking Software
dc.subject.ysoohjelmointikielet
dc.subject.ysoC++ (ohjelmointikieli)
dc.subject.ysomallintaminen
dc.format.contentfulltext
jyx.subject.urihttp://www.yso.fi/onto/yso/p162
jyx.subject.urihttp://www.yso.fi/onto/yso/p269
jyx.subject.urihttp://www.yso.fi/onto/yso/p3533
dc.rights.urlhttp://rightsstatements.org/page/InC/1.0/?language=en
dc.relation.doi10.1007/978-3-319-94111-0_18


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

In Copyright
Except where otherwise noted, this item's license is described as In Copyright