Show/Hide Menu
Hide/Show Apps
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
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
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
90
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
Suggestions
OpenMETU
Core
A Methodology for cross-resolution modeling in DEVS using event-B refinement
Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, Mahmut Nedim; Department of Computer Engineering (2014)
This thesis proposes a software engineering solution for implementing simulations via 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 relies on Event-B as the formal specification language and D...
A finite field framework for modeling, analysis and control of finite state automata
Reger, Johann; Schmidt, Klaus Verner (Informa UK Limited, 2004-09-01)
In this paper, we address the modeling, analysis and control of finite state automata, which represent a standard class of discrete event systems. As opposed to graph theoretical methods, we consider an algebraic framework that resides on the finite field F-2 which is defined on a set of two elements with the operations addition and multiplication, both carried out modulo 2. The key characteristic of the model is its functional completeness in the sense that it is capable of describing most of the finite st...
A novel CEM technique for modeling electromagnetic scattering from metasurfaces
ÖZGÜN, ÖZLEM; Mittra, Raj; Kuzuoğlu, Mustafa (Wiley, 2020-03-01)
This paper presents a novel computational electromagnetics (CEM) technique, which hybridizes the periodic finite element method (FEM) with the method of moments (MoM), for efficient numerical modeling of electromagnetic scattering from metasurfaces consisting of truncated periodic or locally varying quasi-periodic array of structures. Based on the quasi-periodic nature of metasurfaces, the periodic FEM is employed to generate high-level macro basis functions (MBFs). Following that, a reduced MoM matrix is f...
A modified applied element model for the simulation of plain concrete behaviour
Soysal, Berat Feyza; Arıcı, Yalın; Tuncay, Kağan (2022-08-01)
A modified applied element model to simulate the behaviour of plain concrete continuum structures including discrete cracking is proposed in this study. In the classical applied element model, Poisson effects are fully ignored. To remediate this issue, diagonal elements are introduced to include the Poisson effect, and the constitutive parameters are rigorously determined using the Cauchy-Born rule and the hyper-elastic theory. The formulation is validated for linear elastic problems and the consistency and...
A NEW HEURISTIC APPROACH FOR THE MULTIITEM DYNAMIC LOT-SIZING PROBLEM
KIRCA, O; KOKTEN, M (Elsevier BV, 1994-06-09)
In this paper a framework for a new heuristic approach for solving the single level multi-item capacitated dynamic lot sizing problem is presented. The approach uses an iterative item-by-item strategy for generating solutions to the problem. In each iteration a set of items are scheduled over the planning horizon and the procedure terminates when all items are scheduled. An algorithm that implements this approach is developed in which in each iteration a single item is selected and scheduled over the planni...
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
, pp. 2804–2823, 2015, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/35254.