Project name: PathLP
Project members: Mira Balaban, Igal Khitron
Academic advisors: Mira Balaban and Michael Kifer
PathLP (a path oriented logic programming language) is a new programming language being developed at the Computer Science Department of Ben Gurion University of the Negev, Israel, and the Computer Science Department of Stony Brook University, NY, USA.
PathLP is a logic programming language of guarded path expressions. It has constructs for object path expressions, type path expressions, cardinality constraints, and membership and subset formulas. This language is being developed as a foundational layer for the F-logic based object modeling language F-OML (an overview: In OCL and Textual Modeling workshop, MoDELS 2010; paper: In MoDELS 2011) but is also interesting in its own right. F-OML is intended as an expressive, executable formal basis for model-level IDEs. It supports a wide variety of model-level activities, such as imposing constraints on UML diagrams, defining design patterns, reasoning about UML diagrams, testing UML diagrams, specification of Domain Specific Modeling Languages, and meta-modeling. An extension of F-OML to support Object-State is planned. F-OML is part of our general modelling activities.