Incremental design of a state machine specification for mobile and real-time systems

被引：0
|
作者：
Itabashi, G [1 ]
Takahashi, K [1 ]
Kato, Y [1 ]
Suganuma, T [1 ]
Shiratori, N [1 ]
机构：
[1] Tohoku Univ, Scientis Corp, Grad Sch Informat Sci, Sendai, Miyagi 980, Japan
来源：
19th International Conference on Advanced Information Networking and Applications, Vol 1, Proceedings: AINA 2005 | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We introduce an inheritance concept into a specification method of mobile and real-time systems in order to reuse and refine existing specifications. Reusability by inheritance is emphasized in this paper. We take multiple inheritance to enable to reuse several specifications at a time. An upper specification can be skillfully divided into inherited parts and non-inherited ones. Therefore, a necessary part of the specification can be reused for a lower specification. As an application, the FIPA contract net interaction protocol is specified incrementally by using our method. We have been developing support tools for specifications described using our proposed method.
引用
收藏
页码：99 / 104
页数：6
相关论文
共 50 条
  • [1] Diagrammatic Specification of Mobile Real-Time Systems
    Linker, Sven
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2010, 6170 : 316 - 318
  • [2] Incremental verification of architecture specification language for real-time systems
    Tsai, JJP
    Sistla, AP
    Sahay, A
    Paul, R
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1998, 8 (03) : 347 - 360
  • [3] Incremental verification of architecture specification language for real-time systems
    Tsai, JJP
    Sistla, AP
    Paul, R
    THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 215 - 222
  • [4] An approach for integrated specification and design of real-time systems
    Tanurhan, Y
    Schmerler, S
    Golz, HP
    MullerGlaser, KD
    EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, : 258 - 263
  • [5] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [6] A general time model for the specification and design of embedded real-time systems
    Münzenberger, R
    Dörfel, M
    Hofmann, R
    Slomka, F
    MICROELECTRONICS JOURNAL, 2003, 34 (11) : 989 - 1000
  • [7] THE DESIGN OF REAL-TIME SYSTEMS - FROM SPECIFICATION TO IMPLEMENTATION AND VERIFICATION
    KOPETZ, H
    ZAINLINGER, R
    FOHLER, G
    KANTZ, H
    PUSCHNER, P
    SCHUTZ, W
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (03): : 72 - 82
  • [8] AUTOMATED SUPPORT FOR THE FORMAL SPECIFICATION AND DESIGN OF REAL-TIME SYSTEMS
    HOSTUART, C
    ZEDAN, H
    FANG, M
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 79 - 86
  • [9] MULTILEVEL SPECIFICATION OF REAL-TIME SYSTEMS
    GABRIELIAN, A
    FRANKLIN, MK
    COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 50 - 60
  • [10] SPECIFICATION TECHNIQUES FOR REAL-TIME SYSTEMS
    LUDEWIG, J
    MATHEIS, H
    COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 115 - 133
12345