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

317
views

0
downloads

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 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 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 test oriented service and object model for software product lines Parlakol, Nazif Bülent; Karagöz, Pınar; Department of Computer Engineering (2010) In this thesis, a new modeling technique is proposed for minimizing regression testing effort in software product lines. The “Product Flow Model” is used for the common representation of products in application engineering and the “Domain Service and Object Model” represents the variant based relations between products and core assets. This new approach provides a solution for avoiding unnecessary work load of regression testing using the principles of sub-service decomposition and variant based product/sub...

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.