Taming the shrew - Resolving structural heterogeneities with hierarchical CPNs

Keyphrases

• Structural Heterogeneity 100%
• Hierarchical Colored Petri Net 100%
• Shrew 100%
• Model Transformation 75%
• Colored Petri Nets 50%
• Mapping Operator 50%
• Impedance Mismatch 50%
• Model-driven Engineering 25%
• Recurring 25%
• Metamodel 25%
• Behavioral Properties 25%
• Operational Semantics 25%
• Semantic Concept 25%
• Modelling Constructs 25%
• Debuggability 25%

Computer Science

• Model Transformation 100%
• Colored Petri Net 100%
• Impedance Mismatch 66%
• Model-Driven Engineering 33%
• Operational Semantics 33%
• Analysis Model 33%
• Model Checking 33%
• Semantic Concept 33%