🤖 AI-powered diagram generation using Google's Gemini API 📊 Interactive Mermaid.js diagrams 💾 Download diagrams as SVG files 🎨 Clean and intuitive user interface 📚 Example workflows for ...

Abstract: In this paper, we present a new approach to generating Event B specification from UML Activity Diagrams (AD ... concepts), and we illustrate the proposed technique by an example of workflow ...