Specification of Real-Time Systems in UML.
Ella E. RoubtsovaJan van KatwijkW. J. ToetenelCornelis PronkRuud C. M. de RooijPublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- real time systems
- specification language
- formal methods
- state machine
- sequence diagrams
- reactive systems
- uml diagrams
- real time
- distributed systems
- embedded systems
- embedded real time systems
- formal specification
- modeling language
- conceptual modeling
- conceptual models
- real time database systems
- metamodel
- activity diagrams
- class diagrams
- object oriented
- mission critical
- timing constraints
- high level
- software design
- software development
- software engineering
- constraint language
- software systems
- real time embedded
- petri net
- object oriented programming language
- computational intelligence
- code generation
- business processes
- software architecture