Semantics and Verification of Data Flow in UML 2.0 Activities.
Harald StörrlePublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- data flow
- control flow
- uml activity diagrams
- symbolic execution
- formal methods
- object oriented
- database machine
- uml class diagrams
- specification language
- digital signal processing
- object oriented software
- data transfer
- human activities
- formal semantics
- model checking
- activity recognition
- systolic array
- software development
- constraint language
- sequence diagrams
- software systems
- workflow model
- class diagrams
- uml models
- bottle neck
- database design
- logic programming
- conceptual modeling
- uml diagrams
- artificial intelligence
- modeling language
- metamodel
- software architecture
- case study