A Model Transformation Semantics and Analysis Methodology for SecureUML.
Achim D. BruckerJürgen DoserBurkhart WolffPublished in: MoDELS (2006)
Keyphrases
- formal model
- conceptual model
- probabilistic model
- management system
- computational model
- mathematical model
- data mining
- prior knowledge
- logic programming
- network structure
- transformation rules
- empirical data
- conceptual framework
- quantitative analysis
- process model
- theoretical framework
- statistical analysis
- markov chain
- image registration
- probability distribution
- social networks
- learning algorithm