Modeling languages

People: Mira Balaban, Igal Khitron

Goals: Development of F-OML, an F-Logic based Object Modeling Language. It can be used for extending UML diagrams, reasoning about them, testing UML models, and defining their syntax (meta-modeling) and semantics.

Implementation.

Publication