Formal Modeling for UML/MARTE Concurrency Resources.

Pablo Peñil Hector Posadas Eugenio Villar

Published in: ICECCS (2010)

Keyphrases

modeling language
unified modeling language
uml profile
formal methods
database systems
object oriented
software systems
sequence diagrams
limited resources
metamodel
resource allocation
database design
resource management
database
conceptual modeling
software engineering
artificial intelligence