Paper Details: Downloads: 1042
Serial Number: P1121352313
Title: Converting UML Class Diagram with Anti-Pattern Problems into verified Code relying on Event-B
Authors: Eman K. Elsayed
Abstract: In this paper we proposed the logical correct path to implement automatically any algorithm or model in verified C# code. Our proposal depends on using the event-B as a formal method. It is suitable solution for un-experience in programming language and profession in mathematical modeling. Our proposal also integrates requirements, codes and verification in system development life cycle. We suggest also using event-B pattern. Our suggestion is classify into two cases, the algorithm case and the model case. The benefits of our proposal are reducing the prove effort, reusability, increasing the automation degree and generate high quality code. In this paper we applied and discussed the three phases of automatic code generation philosophy on two case studies the first is “minimum algorithm” and the second one is UML model for ATM
Keywords: Formal method, Event-B, Pattern, Code generation, RSM (Resource Standard Metrics), Satisfiability Modulo Theory (SMT).
Journal/Conference: International Journal of Artificial Intelligence and Machine Learning
Volume: 14
Issue: 1
Submission Date: 12/26/2013 12:00:00 AM
Review Date: 1/22/2014 12:00:00 AM
Publishing Date: 2/4/2014 12:00:00 AM
Article Downloads: 1042
Download:

Facebook