Paper Abstract and Keywords |
Presentation |
2005-09-12 10:30
On the Synthesis of System Models by Merging Various Views Takakazu Kaneko, Nobuoki Mano (Meisei Univ.) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
We have been researching system design method using knowledge-based models in state-based specification. In this paper, we describe the synthesis method of system models by merging various views. First we decompose systems into some interaction-phases, and then find the action-sequences of each component which satisfy the specification of each interaction-phases. We use the ATM system as an example, and explain how to use some architecture-patterns during the problem-solving. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
system design / merging of views / problem-solving / architecture pattern / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 105, no. 270, KBSE2005-16, pp. 1-6, Sept. 2005. |
Paper # |
KBSE2005-16 |
Date of Issue |
2005-09-05 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
KBSE |
Conference Date |
2005-09-12 - 2005-09-12 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Kikai-Shinko-Kaikan Bldg |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
Knowledge-Based Software engineering, etc |
Paper Information |
Registration To |
KBSE |
Conference Code |
2005-09-KBSE |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
On the Synthesis of System Models by Merging Various Views |
Sub Title (in English) |
|
Keyword(1) |
system design |
Keyword(2) |
merging of views |
Keyword(3) |
problem-solving |
Keyword(4) |
architecture pattern |
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Takakazu Kaneko |
1st Author's Affiliation |
Meisei University (Meisei Univ.) |
2nd Author's Name |
Nobuoki Mano |
2nd Author's Affiliation |
Meisei University (Meisei Univ.) |
3rd Author's Name |
|
3rd Author's Affiliation |
() |
4th Author's Name |
|
4th Author's Affiliation |
() |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2005-09-12 10:30:00 |
Presentation Time |
40 minutes |
Registration for |
KBSE |
Paper # |
KBSE2005-16 |
Volume (vol) |
vol.105 |
Number (no) |
no.270 |
Page |
pp.1-6 |
#Pages |
6 |
Date of Issue |
2005-09-05 (KBSE) |