DASCOM 7/2005-06/2008

Declarative Approaches to Software Complexity

Software complexity is one of reasons why many software projects run over time and over budget. In this research project we focus on declarative approaches for managing complexity. We propose to study a class of declarative approaches that satisyfy three criteria:

• simplicity: the description language should be sufficiently simple so as to ease the practical adoption;
• graphical notation: graphical models are easier to comprehend and manipulate in general than purely textual ones;
• executable models: the models produced should not simply be a high-level description of lower level artifacts but rather allow actual simulation and execution.Current approaches tend to use overly complex description languages or fail to produce executable models. The starting point of our approach are EOP-models that were developped in the context of the FACTORS project and that combine the triad of features listed above.

Contact: Pierre Kelsen
Project Page :