February 3, Wednesday
12:00 – 14:00
Round-Trip Modeling Using OPM/PL
Graduate seminar
Lecturer : Guy Wiener
Affiliation : CS, BGU
Location : 37/202
Host : graduate seminar
In software development today there is a tension between the advantages of
model-based methodologies and the need for rapid development methodologies,
such as agile development methodologies (TDD, XP and Scrum, to name a few).
Our work aim at synthesizing those approaches by providing lightweight tools for
fleshing out a model from existing code. In this talk we present OPM/PL, a
suite of modeling tools for the Object-Process Methodology (OPM), implemented in
Prolog. We discuss the gap between model-based and agile software development
methodologies, and show how OPM/PL bridges the gap. Finally, we show an example
of using OPM/PL for round-trip modeling: Import information from code, link it
to a model, generate new code from the model, and import information from the
new code.