A Timed Automata Semantics for Real-Time UML Specifications.
Hans ToetenelElla E. RoubtsovaJan van KatwijkPublished in: HCC (2001)
Keyphrases
- real time
- timed automata
- specification language
- real time systems
- model checking
- operational semantics
- formal specification
- uml activity diagrams
- theorem prover
- low cost
- reachability analysis
- modeling language
- formal semantics
- uml class diagrams
- formal methods
- metamodel
- programming language
- first order logic
- formal language
- uml diagrams
- software systems
- class diagram
- artificial intelligence
- state machine
- requirements specification
- class diagrams
- object oriented