• home
• current students
• graduate
• events

Presenter: Mr. Demissie B. Aredo - Dept. of Informatics, University of Oslo, Oslo, Norway
Supervisor:

Date: Mon, February 24, 2003
Time: 14:30:00 - 15:30:00
Place: EOW 430

ABSTRACT

Abstract

Design and development of distributed systems are complex due to their inherent heterogeneity, distribution, openness, dynamic reconfiguration, and large size. Object-oriented modeling notations such as the Unified Modeling Language (UML), provide structuring mechanisms necessary for description of distributed systems. UML has become popular among software developers due to its graphical notations that are easy to learn and use and the availability of tool support. Yet, the lack of fully explored precise semantic foundation for graphical UML notations hampers its application to rigorous system development in the industrial settings. Without a fully explored and firm semantic foundation, it is difficult to determine whether or not a model is consistent, or a model modification is correct, or an implementation conforms to the design. Hence, there is a strong need for precise semantic definition for UML notations.

On the other hand, formal methods provide the high level of rigor necessary for development of distributed systems. However, due to their esoteric nature (as argued by many researchers), software developers will not, in the foreseeable future, be willing to use abstract formal languages and notations to design software systems. An optimal solution should strike a balance between the ease of use and the level of rigor by integrating the best of both worlds in a system development framework. We developed an integrated development framework based on a dual language approach, usually known as method integration. In this talk, the main research issues arising in this approach will be highlighted and the results achieved will be discussed.

For Further Information Contact
Dr. N.J. Dimopoulos (721-8902)