A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B

2015-11-01
Kara, Ahmet
Oğuztüzün, Mehmet Halit S.
Alpdemir, M. Nedim
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.
COMPUTER JOURNAL

Suggestions

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 new algorithm and computation approach for economic dispatch with prohibited operating zones in power systems
Cetinkaya, N; Urkmez, A; Erkmen, İsmet; Yalcinoz, T (2005-01-01)
This paper presents a new algorithm and computation approach to solve the economic load dispatch (ELD) in electrical power systems. We applied a new power formula to solve the LLD problem. If production units cost Curves are represented property then ELD becomes More Correct. In this respect we assumed that production units have prohibited operating zones. Cost curves of the production units are generally accepted as piece-wise quadratic function. The power production is cheaper since we do not use the prod...
A method for decentralized business process modeling
Türetken, Oktay; Demirörs, Onur; Department of Information Systems (2007)
This thesis study proposes a method for organizations to perform business process modeling in a decentralized and concurrent manner. The Plural method is based on the idea that organizations’ processes can be modeled by individuals actually performing the processes. Instead of having a central and devoted group of people to understand, analyze, model and improve processes, individuals are held responsible to model and improve their own processes concurrently. These individual models are then integrated to f...
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...
Citation Formats
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.