Presentation | 2005-03-15 A Method to Develop Distributed Real-time Applications based on UML/OCL Aya MAKIDERA, Eigo NAGAI, Kozo OKANO, Kenichi TANIGUCHI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We propose a technique for developing real-time application in distributed environments based UML/OCL. The technique efficiently checks Timeliness QoS consistency of the system and generates codes of the application. Checking Timeliness QoS consistency is devided into two steps, which allows us to verify it efficiently good performance. In this paper, we will explain systems implementating the techniques. Applying the method to a simple example finds that checking the consistency and code generation perform in a few seconds. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | UML / OCL / Distributed Environment / Real-time Application / Timeliness QoS / Linear Inequality / Checking / Timed Automata / Java / Code Generation |
Paper # | SS2004-64 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 2005/3/8(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Method to Develop Distributed Real-time Applications based on UML/OCL |
Sub Title (in English) | |
Keyword(1) | UML |
Keyword(2) | OCL |
Keyword(3) | Distributed Environment |
Keyword(4) | Real-time Application |
Keyword(5) | Timeliness QoS |
Keyword(6) | Linear Inequality |
Keyword(7) | Checking |
Keyword(8) | Timed Automata |
Keyword(9) | Java |
Keyword(10) | Code Generation |
1st Author's Name | Aya MAKIDERA |
1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
2nd Author's Name | Eigo NAGAI |
2nd Author's Affiliation | School of Engineering Science, Osaka University |
3rd Author's Name | Kozo OKANO |
3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
4th Author's Name | Kenichi TANIGUCHI |
4th Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
Date | 2005-03-15 |
Paper # | SS2004-64 |
Volume (vol) | vol.104 |
Number (no) | 723 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |