Inter-Model Consistency in UML Based on CPN Formalism.

Yoshiyuki Shinkawa

Published in: APSEC (2006)

Keyphrases

formal model
high level
computational model
objective function
prior knowledge
genetic algorithm
relational databases
software engineering
artificial intelligence
object oriented
em algorithm
petri net
statistical model
metamodel