dc.contributor.author | Valmari, Antti | |
dc.contributor.author | Lappalainen, Vesa | |
dc.contributor.editor | Gallardo, María del Mar | |
dc.contributor.editor | Merino, Pedro | |
dc.date.accessioned | 2018-11-05T07:47:02Z | |
dc.date.available | 2019-06-17T21:35:36Z | |
dc.date.issued | 2018 | |
dc.identifier.citation | Valmari, 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.other | CONVID_28133404 | |
dc.identifier.other | TUTKAID_78095 | |
dc.identifier.uri | https://jyx.jyu.fi/handle/123456789/60094 | |
dc.description.abstract | Developments 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.extent | 347 | |
dc.format.mimetype | application/pdf | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.relation.ispartof | SPIN 2018 : Model Checking Software | |
dc.relation.ispartofseries | Lecture Notes in Computer Science | |
dc.rights | In Copyright | |
dc.subject.other | explicit state spaces | |
dc.subject.other | modelling languages | |
dc.subject.other | implementation issues | |
dc.title | Modelling Without a Modelling Language | |
dc.type | conferenceObject | |
dc.identifier.urn | URN:NBN:fi:jyu-201811054619 | |
dc.contributor.laitos | Informaatioteknologian tiedekunta | fi |
dc.contributor.laitos | Faculty of Information Technology | en |
dc.contributor.oppiaine | Tietojenkäsittelytiede | fi |
dc.contributor.oppiaine | Tietotekniikka | fi |
dc.contributor.oppiaine | Computer Science | en |
dc.contributor.oppiaine | Mathematical Information Technology | en |
dc.type.uri | http://purl.org/eprint/type/ConferencePaper | |
dc.date.updated | 2018-11-05T07:15:18Z | |
dc.relation.isbn | 978-3-319-94110-3 | |
dc.description.reviewstatus | peerReviewed | |
dc.format.pagerange | 308-327 | |
dc.relation.issn | 0302-9743 | |
dc.relation.numberinseries | 10869 | |
dc.type.version | acceptedVersion | |
dc.rights.copyright | © Springer International Publishing AG, part of Springer Nature 2018 | |
dc.rights.accesslevel | openAccess | fi |
dc.relation.conference | International Symposium on Model Checking Software | |
dc.subject.yso | ohjelmointikielet | |
dc.subject.yso | C++ (ohjelmointikieli) | |
dc.subject.yso | mallintaminen | |
dc.format.content | fulltext | |
jyx.subject.uri | http://www.yso.fi/onto/yso/p162 | |
jyx.subject.uri | http://www.yso.fi/onto/yso/p269 | |
jyx.subject.uri | http://www.yso.fi/onto/yso/p3533 | |
dc.rights.url | http://rightsstatements.org/page/InC/1.0/?language=en | |
dc.relation.doi | 10.1007/978-3-319-94111-0_18 | |