On the Semantics of UML/MARTE Clock Constraints.
Frédéric MalletCharles AndréPublished in: ISORC (2009)
Keyphrases
- constraint language
- uml activity diagrams
- semantic properties
- specification language
- constraint programming
- power consumption
- constraint satisfaction
- semantic information
- logic programming
- software development
- high speed
- constrained optimization
- software systems
- constraint satisfaction problems
- information systems
- modeling language
- formal semantics
- conceptual modeling
- tool support
- description logics
- uml class diagrams
- database systems