dc.contributor.author | Bezirgiannis, Nikolaos | |
dc.contributor.author | de Boer, Frank | |
dc.contributor.author | Johnsen, Einar Broch | |
dc.contributor.author | Pun, Ka I | |
dc.contributor.author | Tapia Tarifa, Silvia Lizeth | |
dc.date.accessioned | 2019-08-19T08:45:46Z | |
dc.date.available | 2019-08-19T08:45:46Z | |
dc.date.created | 2019-07-08T16:09:13Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | Bezirgiannis, N., de Boer, F., Johnsen, E. B., Pun, K. I., & Tapia Tarifa, S. L. (2019). Implementing SOS with active objects: A case study of a multicore memory system. In R. Hähnle & W. van der Aalst (Eds.), Fundamental approaches to software engineering (pp. 332-350). | nb_NO |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://hdl.handle.net/11250/2608933 | |
dc.description.abstract | This paper describes the development of a parallel simulator of a multicore memory system from a model formalized as a structural operational semantics (SOS). Our implementation uses the Abstract Behavioral Specification (ABS) language, an executable, active object modelling language with a formal semantics, targeting distributed systems. We develop general design patterns in ABS for implementing SOS, and describe their application to the SOS model of multicore memory systems. We show how these patterns allow a formal correctness proof that the implementation simulates the formal operational model and discuss further parallelization and fairness of the simulator. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | Springer | nb_NO |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.title | Implementing SOS with Active Objects: A Case Study of a Multicore Memory System | nb_NO |
dc.type | Journal article | nb_NO |
dc.type | Peer reviewed | nb_NO |
dc.description.version | publishedVersion | nb_NO |
dc.rights.holder | © The Author(s) 2019. | nb_NO |
dc.subject.nsi | VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420 | nb_NO |
dc.source.pagenumber | 332-350 | nb_NO |
dc.source.volume | 11424 | nb_NO |
dc.source.journal | Lecture Notes in Computer Science | nb_NO |
dc.identifier.doi | 10.1007/978-3-030-16722-6_20 | |
dc.identifier.cristin | 1710689 | |
dc.relation.project | Norges forskningsråd: 240614 | nb_NO |
dc.relation.project | Norges forskningsråd: 274515 | nb_NO |
cristin.unitcode | 203,12,4,0 | |
cristin.unitname | Institutt for data- og realfag | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |