Grant-in-Aid for Overseas Scientific Survey.
|Research Institution||Tokyo Institute of Technology|
KATAYAMA Takuya Tokyo Institute of Technology, Faculty of Engineering, Professor, 工学部, 教授 (70016468)
DENNIS Heimb コロラド大学, 計算機学科, 助教授
LORI Clarke マサチューセッツ大学, 計算機学科, 教授
RICHARD Tayl カリフォルニア大学, 情報計算機学科, 教授
LEON Osterwe カリフォルニア大学, 情報計算機学科, 教授
徳田 雄洋 東京工業大学, 工学部, 助教授 (30111644)
落水 浩一郎 静岡大学, 工学部, 教授 (10022310)
鳥居 宏次 大阪大学, 基礎工学部, 教授 (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
TOKUDA Takehiro Tokyo Institute of Technology, Faculty of Engineering, Associate Professor
OSTERWEIL Leon University of California, Department of Information and Computer Science, Profes
TORII Koji Osaka University, Faculty of Engineering Science, Professor
OCHIMIZU Koichiro Shizuoka University, Faculty of Engineering, Professor
|Project Fiscal Year
1990 – 1990
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 / プロセスプログラミング / ソフトウェアデ-タベ-ス / ソフトウェアプロセス / ソフトウェアプロセスの実働化 / ソフトウェアプロセス環境 / ソフトウェアプロセスダイナミックス|
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.