Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.
Frank Alexander KraemerPeter HerrmannRolv BrækPublished in: OTM Conferences (2) (2006)
Keyphrases
- temporal logic
- state machines
- state machine
- efficient execution
- sequence diagrams
- model checking
- reactive systems
- finite state machines
- query optimization
- petri net
- fault tolerant
- web services
- formal methods
- belief revision
- parallel execution
- query processor
- spatial join
- artificial intelligence
- software development
- modeling language
- query processing
- database design
- software systems
- database operations
- recurrent networks
- database systems
- test cases
- test set