Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.
Gianna ReggioEgidio AstesianoChristine ChoppyHeinrich HußmannPublished in: FASE (2000)
Keyphrases
- lightweight
- state machines
- state machine
- sequence diagrams
- class diagram
- petri net
- formal methods
- fault tolerant
- finite state machines
- reactive systems
- recurrent networks
- wireless sensor networks
- artificial intelligence
- service oriented architecture
- dos attacks
- intermediate representation
- software engineering
- development environments
- metamodel
- object classes
- genetic algorithm
- rfid tags
- recurrent neural networks
- regression testing
- web services