UML Inter-Model Consistency Based on CPN and CCS Formalism.

Yoshiyuki Shinkawa

Published in: Software Engineering Research and Practice (2007)

Keyphrases

formal model
high level
probabilistic model
statistical model
software engineering
theoretical framework
experimental data
social networks
management system
computational model
state machine
case study
objective function
relational databases