Tooling Features
Global features
TismTool satisfies the following features:
- TismTool makes Model Driven Engineering simple.
- TismTool generates application source code from UML diagrams.
- TismTool verifies concurrent hierarchical state machines.
- TismTool checks consistency of model elements.
- TismTool’s RTE (Run-Time Environment) takes care of :
- Thread creation
- Reentrancy
- Marshalling and unmarshalling (callback) function calls
- Message passing
- Message queuing
- Synchronisation (rendezvous)
- TismTool offers two protection mechanisms: by thread and by mutex
- TismTool is free of charge.
State Machine features
TismTool processes the following UML State Machine features:
- simple state
- composite state
- orthogonal state
- submachine state
- initial pseudostate
- final state
- choice pseudostate
- junction pseudostate
- connectionpoint (entry/exit)
- connectionpoint reference (entry/exit)
- (triggerless) transition
- internal transition
- guard
- entry/exit actions
TismTool supports the following extensions:
- transition of a transaction
- "any/else" trigger
- informal text guard
TismTool does not support:
- history state
- terminate pseudostate
- join pseudostate
- fork pseudostate
- statelist