Login / Signup

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning.

Ferhat ErataArda GoknilIvan KurtevBedir Tekinerdogan
Published in: CoRR (2024)
Keyphrases
  • probabilistic model
  • computational model
  • mathematical model
  • object model
  • formal model
  • complex objects
  • object models
  • reasoning process
  • reasoning engine