Timing consistency checking for UML/MARTE behavioral models.
Jinho ChoiEunkyoung JeeDoo-Hwan BaePublished in: Softw. Qual. J. (2016)
Keyphrases
- consistency checking
- behavioral models
- hierarchical structures
- query answering
- database design
- dynamic behaviors
- modeling language
- metamodel
- object oriented
- temporal reasoning
- software systems
- temporal constraints
- software development
- conceptual model
- architectural models
- data exchange
- software engineering
- relational databases
- case study
- data mining
- constraint satisfaction problems
- abstract data types