Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Videos
Videos
Thesis submission
Thesis submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Contact us
Contact us
A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B
Date
2015-11-01
Author
Kara, Ahmet
Oğuztüzün, Mehmet Halit S.
Alpdemir, M. Nedim
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
6
views
0
downloads
Cite This
This paper proposes a software engineering solution for implementing simulations via the composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology uses Event-B as the formal specification language and Discrete Event System Specification as the model composition framework; utilizes refinement relations between Event-B machines for the specification, verification and generation of the data conversion steps between models and employs a code generator that inputs the Event-B machine definitions to generate converter code that connects two model ports.
Subject Keywords
Multi-resolution modelling
,
Model composability
,
DEVS
,
Event-B
,
Modelling and simulation
URI
https://hdl.handle.net/11511/35254
Journal
COMPUTER JOURNAL
DOI
https://doi.org/10.1093/comjnl/bxu126
Collections
Department of Computer Engineering, Article
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
A. Kara, M. H. S. Oğuztüzün, and M. N. Alpdemir, “A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B,”
COMPUTER JOURNAL
, vol. 58, no. 11, pp. 2804–2823, 2015, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/35254.