Open Source / Non-Proprietary
A tool which adapts SWITCH-technology for UML notation.
UniMod states for Unified Modeling. Long term project goal is to create unified methodology for application development process that will close the gap between Design and Development phases.
Currently, UniMod project is focused on designing and implementing applications behavior. Already implemented approach adapts SWITCH-technology for UML notation. SWITCH-technology is also known as Automata-based Programming and has it's own Russian site http://is.ifmo.ru/english/.
SWITCH-technology suggests to model application behavior with a help of Structural Finite State Machine (FSM). Structural FSM is defined as set of Abstract FSMs and scheme of Abstract FSMs interconnections.
There're a lot of tools and projects that uses FSM for describing application logic (IAR Systems visualSTATE, I-Logix Statemate, http://sourceforge.net/search/?words=FSM, http://is.ifmo.ru/progeny/vaganov/, http://lmt-automation.ifmo.ru/pdfs/stlguide_1_0_13b.pdf), but they are either a code-centric or do not use UML or are embedded systems oriented. In contrast to them, UniMod is focused on Model Driven Architecture, UML and universal computing.
UniMod defines it’s own methodology for describing application behavior and delivers set of tools that consists of Java Finite State Machine Framework and Eclipse Plug-in. Tools allow designing application logic with help of set of Class and Statechart Diagrams, generating finite state machine XML-description and then launch this XML-description using Runtime Framework that is part of Java Finite State Machine Framework.
Specific for UniMod details of UML diagrams usage are described in section Methodology. Note that Class diagram usage is little bit unusual.
Ideas and description can be found in: