P
U
B
L
I
S
H
E
D
P
A
P
E
R
S
1
9
9
3
|
 |
 |
 |
| |
|
Research Doc. 1993-01 |
|
- Authors(s): Behrouz H. Far, T. Takizawa and Z. Koono,
- Title:
-
"Software Creation: An SDL-Based Expert System for
Automatic Software Design,"
- Transactions/Magazines/Conferences:
- SDL '93: Using Objects, O. Fargemand and A. Sarma, eds.,
pp. 399-410, Elsevier Publishing Co., North-Holland, 1993.
- Abstract
- A goal of this project is reproducing human design process by
accumulating knowledge and experience of human designers.
Particularly, this paper presents an SDL-based software design tool,
the experimental expert system CREATOR2, featuring:
1) integration of SDL-based CASE tools with knowledge-based reasoning
techniques;
2) object-oriented (O-O) representation of the design process
knowledge,
composed of design rules for detailing, and tacit knowledge;
3) O-O representation of the SDL/GR symbols in the knowledge-base;
4) using multiple strategies in applying the design process
knowledge; and
5) O-O implementation of the system.
This leads to having a uniform modeling and advanced reasoning
environment for software design.
Experiments on designing switching software are reported.
Presently, the CREATOR2 system together with an SDL CASE tool
offers 60-100 times code expansion rate.
- Original Language: English
|
|
|
 |
 |
 |
|
|
|
| |
|
Research Doc. 1993-02 |
|
- Authors(s): Behrouz H. Far and Z. Koono,
- Title:
-
"Functional Reasoning, Explanation and Analysis: A Collective View
and A Proposal,"
- Transactions/Magazines/Conferences:
- Proc. IJCAI' 93 Workshop on Engineering Problems for
Qualitative Reasoning, Chambery, France, August 1993, pp. 23-30.
- Abstract
- The goals of this research are
(1) giving a collective view of the functional reasoning (FR)
research through identifying common core, formalizing underlying
assumptions and defining problems to be tackled;
(2) developing methods for deriving and explaining function of devices
from a description of their structure and behavior using FR
techniques; and
(3) applying FR techniques to real world engineering problems such as
design and diagnosis.
First, a survey of FR theories and techniques is presented, common
assumptions and basic problems are identified.
Second, Qualitative Function Formation (QFF) technique is introduced.
In QFF, a function concept is defined as an interpretation of a
persistence or an order in the sequence of qualitative states,
using trace of qualitative state vector derived by simulation
on a qualitative model of a device. Finally, application and
implementation of QFF in an experimental design system is demonstrated.
- Original Language: English
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-03 |
|
- Authors(s): Behrouz H. Far, T. Takizawa and Z. Koono,
- Title:
-
"Software Creation: Reproducing Human Cognitive Processes in
Automatic Software Design,"
- Transactions/Magazines/Conferences:
- Proc. Joint Conference on Software Engineering JCSE' 93,
Fukuoka, Japan, November 1993, pp. 289-296.
- Abstract
- The prime goals of this project are
(1) developing an automatic software design system that aims at
reproducing human cognitive processes;
(2) automating software design by shifting the prototyping and
modifications to higher design levels rather than source code.
This paper introduces an improved version of the experimental expert system
CREATOR2/3 for automatic design of switching software.
Basic features of this system are:
object-oriented (OO) representation of the design process knowledge,
composed of design rules for detailing, and tacit knowledge;
using multiple strategies in applying this knowledge; and
integrating it with a SDL CASE tool.
This leads to having a uniform modeling and advanced
reasoning environment for software design. Experiments on designing
switching software are reported. Presently, the CREATOR2/3 system together
with an SDL CASE tool offers 60-100 times the code expansion rate.
- Original Language: English
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-04 |
|
- Authors(s):
Z. Koono, Behrouz H. Far, T. Baba, Y. Yamasaki and M. Ohmori,
- Title:
-
"Software Creation: A Software Engineering Aspect,"
- Transactions/Magazines/Conferences:
- Proc. Joint Conference on Software Engineering JCSE' 93,
Fukuoka, Japan, November 1993, pp. 281-288.
- Abstract
- This paper describes a unique way of automatic software design learning from human designers. This is an early result of the continuing research following a systematic bottom up approach based on an industrial strategy. The main problem in software development is found to be arose from the increase of software. This system extracts design rules from the initial human design and reuses them by an expert system. Presently, the system may be regarded as an automatic design system from general flow chart level. Various basis of the idea, the method as well as the experimental results are reported.
- Original Language: English
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-05 |
|
- Authors(s): Behrouz H. Far and M. Nakamichi,
- Title:
-
"Qualitative Fault Diagnosis in Systems with Nonintermittent
Concurrent Faults: A Subjective Approach,"
- Transactions/Magazines/Conferences:
- IEEE Transactions on System, Man and Cybernetics,
vol. 23, no. 1, pp. 14-30, Jan/Feb 1993.
- Abstract
- Major approaches to automatic fault diagnosis of industrial plants are either subjective or objective. Subjective approaches imitate and synthesize the way that human experts diagnose faults. Objective approaches automate a portion of diagnosis task that human's cognitive limitation does not allow handling it efficiently. Currently available subjective fault diagnosis techniques suffer from certain drawbacks such as: lack of knowledge for modeling and reasoning with the required levels of detail; inefficiency in utilization of sensory data; and poor in learning experienced schemata. A subjective approach to fault diagnosis, using qualitative modeling and reasoning within the multiple view of the system is introduced. The focus is on automation of the cognitive skills of human experts, that include utilizing conceptual models to detect inherent redundancy in system behavior; qualitative reasoning to predict future states; and information selection to avoid computation overload.
- Original Language: English
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-06 |
|
- Authors(s):
Z. Koono, Behrouz H. Far, T. Baba, Y. Yamasaki, M. Ohmori and K. Hatae,
- Title:
-
"Software Creation: Towards Automatic Software Design by
Simulating Human Designers,"
- Transactions/Magazines/Conferences:
- Proc. 5th Int. Conf. on Software Eng. and Knowledge Eng., SEKE' 93,
CA, USA, June 1993, pp. 327-331.
- Abstract
- This paper describes the outline, the approach and current status
of the Software Creation project.
The main idea is to follow the design steps of human designers
by extracting and reusing the design process knowledge in a
hierarchically organized work process.
The presently implemented system consists of a SDL CASE tool
and an expert system for applying the design process knowledge.
This system serves as an experimental platform for the study
of human design by simulating the design at the lowest level.
The experiments are being made on designing switching software.
At the moment, the system can detail the input design data in
SDL graphic symbols to around 100 times complex C code.
- Original Language: English
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-07 |
|
- Authors(s):
Z. Koono, Behrouz H. Far, T. Takizawa, M. Ohmori, K. Hatae and T. Baba,
- Title:
-
"Software Creation: Implementation and Application of of Design
Process Knowledge in Automatic Software Design,"
- Transactions/Magazines/Conferences:
- Proc. 5th Int. Conf. on Software Eng. and Knowledge Eng., SEKE' 93,
CA, USA, June 1993, pp. 332-336.
- Abstract
- The goal of this project is to automate software design by accumulating knowledge and experience of human designers. This paper presents the CREATOR2, an experimental expert system for automatic software design, that simulates the behavior of human expert designers by applying the design process knowledge. In CREATOR2 the focus is on reproducing human cognitive processes and automating software design by shifting the modifications to the higher design levels rather than the source code. Some novel points are (1) implementing the design process knowledge, including transformation patterns for detailing and control knowledge, along with the design product knowledge together in an expert system named CREATOR2, and (2) using multiple strategy in applying the design process knowledge. This leads to having a uniform modeling and advanced reasoning environment for software design.
- Original Language: English
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-08 |
|
- Authors(s): Behrouz H. Far and Z. Koono,
- Title:
-
"Integrating Device Modeling and Design Process Knowledge in
Functional Design,"
- Transactions/Magazines/Conferences:
- 日本機械学会 第11回設計シンポジウム,
pp. 40-49, Tokyo, Japan, June, 1993.
- Abstract
- The goal of this project is developing tools for supporting knowledge intensive activities in design. The focus is on incorporating the conventional device modeling and analysis techniques with the design process modeling for rapid refinement of design. Particularly, we propose methods for deriving and explaining why and how a device can achieve a desired function, using qualitative description of its structure and behavior, and binding this function with the goal of the human designer. Qualitative Function Formation (QFF) technique is introduced. Some novel points are using a unified representation scheme for modeling the design process, decision schemas and the design product, by defining coordinative operations, temporal and dependency constraints, and binding them with the conventional qualitative simulation. Application of QFF in an experimental design support tool is reported. QFF offers the capability of deriving and explaining function of devices in the face of altered configuration, aiming at minimizing the cognitive overload of the human designers.
- Original Language: English
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-09 |
|
- Authors(s): 河野 善彌, Behrouz H. Far, 馬場 健,
- Title:
-
"ソフトウェアクリエーション: 統一構造に基づいた
ソフトウェアの自動設計,"
- Transactions/Magazines/Conferences:
- 日本機械学会 第11回設計シンポジウム,
pp. 110-119, Tokyo, Japan, June, 1993.
- Abstract
- This paper reports an evolutionary automatic software design system based on unified structure. The major part of software development cost is caused by additions/changes after the initial development. If design technologies during the preceding design may be reused, the burden may be decreased to a large extent. This automatic software design is an automatic design simulating human design. It is found that hierarchical structure is a basic principle. The design may be modeled by a hammock net-like processing network. A new approach for capturing design knowledge is introduced.Based on them, a first step software design system has been devised and studies have been made. Up to now, this system details an initial simple design input up to 50 - 100 times detailed C codes.
- Original Language: Japanese
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-10 |
|
- Authors(s): 河野 善彌, Behrouz H. Far, 大森 麻理,
- Title:
-
"ソフトウェアクリエーション: 知識工学側面,"
(Software Creation: A Knowledge Engineering Aspect),
(in Japanese),
- Transactions/Magazines/Conferences:
- Proc. 1993年度人工知能学会 (第7回) 全国大会,
Tokyo, Japan, 1993, pp. 649-652.
- Abstract
- This paper reports an automatic software design system learning human
design from the Knowledge Eengineering view point.
A human development process is analysed and modeled by a hammock
net-like distributed system with nodes corresponding to elementary
design tasks.
The procesess deriving the hammock net structure and the processing
model of elementary nodes are described. Based on them, a systematic
way to construct an automatic design system with evolving capability
and a unique design knowledge extraction method has been described.
The results of design rule extractions and the learning effect of
rules are introduced.
This system details a simple input to codes of 50 to 100 time.
- Original Language: Japanese
|
|
|
|
|
|
|
|
|
| |
|
Research Doc. 1993-11 |
|
- Authors(s): Behrouz H. Far, T. Takizawa, and Z. Koono,
- Title:
-
"Software Creation: An Expert System for Applying Design
Process Knowledge in Software Design,"
- Transactions/Magazines/Conferences:
- 1993年度人工知能学会 (第7回) 全国大会,
Tokyo, Japan, 1993, pp. 653-656.
- Abstract
- 本プロジェクトでは、人間設計者の知識又は経験を獲得することによってソフトウェア自動設計を行なう CREATOR2 と名付けた、実験用設計エキスパートシステムを紹介する。CREATOR2 では、設計工程知識で含まれている `設計ルール'及び `制御知識' と `設計対象知識' をともに表現でき、これによって様々な分野で使用する効率が高いソフトウェアを設計することができる。実例として、交換ようソフトウェア設計について報告する。
The goal of this project is automating software design by accumulating knowledge and experience of human designers. CREATOR2, an experimental expert system that simulates behavior of human expert designers by applying the design process knowledge is introduced. A novel point is using a unified representation scheme for the design process knowledge, composed of design rules for detailing and tacit knowledge, and the design product knowledge. Experiments on designing switching software are reported.
- Original Language: English
|
|
|
|
|
|
|
|
|
| |
- Authors(s): 大森 麻理, Behrouz H. Far, 河野 善彌,
- Title:
- "ソフトウェアクリエーション: 交換接続プログラムの設計ルール,"
(Software Creation: Design Rules of Switching Service Program),
(in Japanese),
- Transactions/Magazines/Conferences:
- 1993年度電子情報通信学会 春季大会
( IEICE Spring Conf. ),
Tokyo, Japan, March 1993, pp. 3/76.
- Abstract
-
- Original Language: Japanese
|
|
|
|
|
|
|
|
|
| |
- Authors(s): 波多江 健一郎, Behrouz H. Far, 河野 善彌,
- Title:
- "ソフトウェアクリエーション: 交換運用プログラムの設計ルール,"
(Software Creation: Design Rules of Switching Administration Program),
(in Japanese),
- Transactions/Magazines/Conferences:
- 1993年度電子情報通信学会 春季大会
( IEICE Spring Conf. ),
Tokyo, Japan, March 1993, pp. 3/77.
- Abstract
-
- Original Language: Japanese
|
|
|
|
|
|
|
|
|
| |
- Authors(s): 山崎 安挙, Behrouz H. Far, 河野 善彌,
- Title:
- "ソフトウェアクリエーション: データアクセスプログラム自動生成の基礎検討,"
(Software Creation: A Fundamental Study on Data Access Program),
(in Japanese),
- Transactions/Magazines/Conferences:
- 1993年度電子情報通信学会 春季大会
( IEICE Spring Conf. ),
Tokyo, Japan, March 1993, pp. 3/75.
- Abstract
-
- Original Language: Japanese
|
|
|
|
|
|
|
|
|
| |
- Authors(s): 河野 善彌, Behrouz H. Far, 馬場 健, 山崎 安挙, 大森 麻理,
- Title:
- "ソフトウェアクリエーション: 新しい生産性向上を目指して,"
(Software Creation: A New Approach Towards Increasing
Software Productivity),
(in Japanese),
- Transactions/Magazines/Conferences:
- 1993年度電子情報通信学会 春季大会
( IEICE Spring Conf. ),
Tokyo, Japan, March 1993, pp. 7/434-7/435.
- Abstract
-
- Original Language: Japanese
|
|
|
|
|
|
|
acm.org