| Project/Area Number |
02044052
|
|---|
| Research Category |
Grant-in-Aid for international Scientific Research
|
| Allocation Type | Single-year Grants |
|---|
| Section | Joint Research |
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
KATAYAMA Takuya Tokyo Institute of Technology, Faculty of Engineering, Professor, 工学部, 教授 (70016468)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
DENNIS Heimb コロラド大学, 計算機学科, 助教授
LORI Clarke マサチューセッツ大学, 計算機学科, 教授
RICHARD Tayl カリフォルニア大学, 情報計算機学科, 教授
LEON Osterwe カリフォルニア大学, 情報計算機学科, 教授
TOKUDA Takehiro Tokyo Institute of Technology, Faculty of Engineering, Associate Professor, 工学部, 助教授 (30111644)
OCHIMIZU Koichiro Shizuoka University, Faculty of Engineering, Professor, 工学部, 教授 (10022310)
TORII Koji Osaka University, Faculty of Engineering Science, Professor, 基礎工学部, 教授 (10172222)
HEIMBIGNER Dennis University of Colorado, Department of Computer Science, Associate Professor
CLARKE Lori University of Massachusetts, Department of Computer Science, Professor
TAYLOR Richard University of California, Department of Information and Computer Science, Profes
OSTERWEIL Leon University of California, Department of Information and Computer Science, Profes
|
|---|
| Project Period (FY) |
1990
|
| Project Status |
Completed (Fiscal Year 1990)
|
| Budget Amount *help |
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1990: ¥2,000,000 (Direct Cost: ¥2,000,000)
|
|---|
| Keywords | Process Programming / Software Database / Software Process / Software Process Enaction / Software Process Environment / Software Process Dynamics |
|---|
| Research Abstract |
Concept of software processes is considered as a key technology for scientific and rational way of creating complex and advanced softwares systems.
The purpose of the project was to exploit the technologies and the environmental support for the software processes. Both Japanese and American Researchers have studied process programming languages and formal method for describing software object bases, and have came to some useful insights as follows.
For the process programming language, American researchers have developed a procedural language based on ADA, while Japanese researchers have used HFSP, PDL and Prolog. It was found out that the American approach has more descriptive power than the Japanese approaches, while Japanese approaches are more readable than the american approach. Speaking of the programming environment, American researchers have demonstrated their environment which is well implemented, especially on the user interface issues and degree of integration. For the object bases, American researchers used the programmable relational database, which is a relational database extended with declarative conditions which must be satisfied during database operations. On the other hand, Japanese researchers have proposed a software objectbase model based on the attribute grammar formalisms, which uses incremental computation f attribute values to maintain relations and conditions among software objects.
|
