Projects
Our projects are focus on a formal foundation support Model-Driven Engineering (MDE). MDE represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual framework, called MDA, for defining a set of standards in support of MDD. However, MDA lacks a formal foundation. We propose a formal foundation supporting MDD based on ZOOM which can strengthen and facilitate MDD.
The followings are related projects:
- ZOOM: ZOOM stands for Z-based Object Oriented Modeling notation. It consist of notations intended for three important activities in object oriented development: the ZOOM specification notation ZOOM-S the ZOOM design notation ZOOM-D the ZOOM implementation language ZOOM-I/Java or ZOOM-I/C++
- Static Analyzer for Java: this project is trying to use the automated theorem prover to scan the java source code and find the potential runtime violations in it. We are using a Hypothesis Based approach to develop the logic structure of the program, then doing the analysis.
- Tools for Design By Contract: this is a project to design and develop a tools set for java, in order to integrate the Design By Contract capability to java programs. Based on that, our tools set can generate formal documentation, doing static verification according to the design information, or generate runtime safe guard codes.