Hardware/software Codesign	Research Projects	Design Techniques for Real-time Embedded Systems	UNU-IIST Home
Formal Methods for Object and Component Systems

II/1/1/5 Formal Methods for Object and Component Systems

A number of possible avenues have been identified:

1. Formal models and refinement for object-oriented systems

2. Formalising UML

3. Formal aspects of component systems

4. Relating OO and component-based development

5. Applications of the techniques to network computing and mobile computing (relating to models for internet-based programming).

6. Application the method to formal support to design patterns and architectural description

7. Application of OO and component-based approach to real-time and fault-tolerance

8. Looking at the application of the formal techniques to Enterprise Javabeans

We have done the basic model for OO and the formalisation of parts of UML, and started to deal with modelling components (1-4). We need to work on further improvement on the results so that they can be accepted and recognised by the research community. We need to work on good case studies on using these techniques.

There are collaborative opportunities with the activities for software testing, and formal methods tools and applications.

Work in combining the formal methods with project development process and techniques in maintenance, evolution and business modelling can be looked at if we have fellows with experience in these areas.

In funded projects, such as e-government, UML, OO and component-based techniques can also be applied in the domain modelling and high level design.

Formal Methods for Object and Component Systems
Hardware/software Codesign	Research Projects	Design Techniques for Real-time Embedded Systems	UNU-IIST Home