A comparison of textual modeling languages: OCL, alloy, FOML

Keyphrases

• Modeling Language 100%
• Textual Modeling 100%
• Logic-based 50%
• Modeling Analysis 50%
• Typical Model 50%
• Rule-based Languages 50%
• Object Inference 50%
• Logic Rules 50%
• State Invariant 50%
• Diagrammatic Notation 50%
• Object Queries 50%
• Model-driven Engineering 50%
• Object Modeling 50%
• Object Analysis 50%

Computer Science

• modeling language 100%
• Expressive Logic 50%
• Model-Driven Engineering 50%
• Postcondition 50%
• State Invariant 50%