An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.

Stefan Leue Alin Stefanescu Wei Wei

Published in: TOOLS (46) (2008)

Keyphrases

uml activity diagrams
specification language
formal semantics
logic programming
uml class diagrams
relational databases
object oriented
metamodel
data model
dynamic environments
software systems
database design
schema mappings
hierarchical structures
object oriented modeling