Graduate Research Forum Details
Building Frameworks with Formal Methods
Author: | Zebin Chen |
---|---|
Date: | May 25, 2004 |
Time: | 16:00 |
Location: | 220 Deschutes |
Abstract
Formal methods have been a research focus of software engineering for years. However, modeling software systems in formal methods remains an involved process that needs more expertise beyond the role of domain experts, and even less has been done in the reuse of formal models. We conjecture that in the same way that frameworks are used in conventional programming languages to reuse design, they can be used in formal methods to the same effect. We use a case study to illustrate our idea. Some obstacles that hinder the idea are discussed, and we propose extending the notation of formal languages (Promela in our case) to eliminate such obstacles.