Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.
Alessandra CavarraElvinia RiccobenePatrizia ScandurraPublished in: Abstract State Machines (2003)
Keyphrases
- state machines
- state machine
- sequence diagrams
- petri net
- fault tolerant
- formal methods
- database design
- intermediate representation
- finite state machines
- modeling language
- metamodel
- test cases
- software development
- object oriented
- software systems
- software engineering
- uml diagrams
- neural network
- regression testing
- fuzzy logic
- recurrent networks
- web services
- social networks