loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Leila Jemni Ben Ayed and Mohamed Nidhal Jelassi

Affiliation: ESSTT, Tunisia

Keyword(s): B , Inference engine, Interactivity, Modeling, UML, translation

Abstract: In this paper, we describe Thinker, which can be considered as an interactive based-rules inference engine that supports inference rule where for some selected concepts we can have different results. This is the case of interactive transformation approach generating simultaneously different concepts from initial ones. For example, the transformation of formal notations from semi-formal ones, especially the application of rule-based approach translating B abstract machines into UML class diagrams. In addition, Thinker allows us to select one solution from a set of proposed solutions and to modify previous selections if there an ambiguous choice. Our inference engine is also generic and can be used in more than one domain. By the translation from B to UML class diagram, we illustrate our tool.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.87.69

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Jemni Ben Ayed, L. and Nidhal Jelassi, M. (2009). An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine Thinker. In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2009) - MSVVEIS; ISBN 978-989-8111-90-6, SciTePress, pages 119-124. DOI: 10.5220/0001998801190124

@conference{msvveis09,
author={Leila {Jemni Ben Ayed}. and Mohamed {Nidhal Jelassi}.},
title={An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine Thinker},
booktitle={Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2009) - MSVVEIS},
year={2009},
pages={119-124},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001998801190124},
isbn={978-989-8111-90-6},
}

TY - CONF

JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2009) - MSVVEIS
TI - An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine Thinker
SN - 978-989-8111-90-6
AU - Jemni Ben Ayed, L.
AU - Nidhal Jelassi, M.
PY - 2009
SP - 119
EP - 124
DO - 10.5220/0001998801190124
PB - SciTePress