An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine Thinker

Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi

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.

References

  1. Moore, R., Lopes, J., 1999. Paper templates. In TEMPLATE'06, 1st International Conference on Template Production. INSTICC Press.
  2. Abrial, J.-R., 1996. Extending B without changing it (for developing distributed ystems). In 1st Conference on the B method, Putting into Practice Methods and Tools for Information System Design. pp. 169-190, Nantes.
  3. Fekih, H., Jemni Ben Ayed, L., Merz, S., 2006. Transformation of B Specifications into UML Class Diagrams and State Machines. In: 21st Annual ACM Symposium on Applied Computing, pp. 1840-1844, Dijon.
  4. Gawanmeh, A., Tahar, S., Jemni Ben Ayed, L., 2008. Event-B based Invariant Checking of Secrecy in Group Key Protocols, The 33rd IEEE Conference on Local Computer Networks (LCN), Workshop on Network Security (WNS) (LCN 2008), Montreal
  5. Idani, A., Ledru, Y., 2006. Dynamic graphical UML views from formal B specifications. In Information and Software Technology, Vol 48, n°3. pp. 154-169.
  6. Johnson, L.B., 1994 Third conference on Clips proceedings.
  7. Jovanovic, J., Gasevic, D., Devedzic, V., 2004. A GUI for Jess. Expert Systems with Applications. Elsevier. pp. 625-637.
  8. Object Management Group. Unified Modeling Language Specification, Version 2.0. Specification, OMG (2003). http://www.uml.org/.
  9. Schnupp, P.H., 1989. Building Expert Systems in Prolog. Munich.
  10. Tatibouet, B., Hammad, H, Voisinet, H.C., 2002. From an abstract B specification to UML class diagrams. In 2nd IEEE Intl. Symp. Signal Processing and Information Technology (ISSPIT'2002), Marrakech, Morocco.
Download


Paper Citation


in Harvard Style

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 - Volume 1: MSVVEIS, (ICEIS 2009) ISBN 978-989-8111-90-6, pages 119-124. DOI: 10.5220/0001998801190124


in Bibtex Style

@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 - Volume 1: MSVVEIS, (ICEIS 2009)},
year={2009},
pages={119-124},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001998801190124},
isbn={978-989-8111-90-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)
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