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 条
  • [21] A SPECIFICATION LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
    WUPPER, H
    VYTOPIL, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 111 - 127
  • [22] Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
    Hsiung, Pao-Ann
    Lin, Shang-Wei
    Lin, Chao-Sheng
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2010, 59 (01): : 13 - 32
  • [23] Specification and Timing Analysis of Real-Time Systems
    Shuhua Wang
    Grace Tsai
    Real-Time Systems, 2004, 28 : 69 - 90
  • [24] REQUIREMENT SPECIFICATION FOR REAL-TIME AND HYBRID SYSTEMS
    HE, HP
    ZEDAN, H
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 269 - 284
  • [25] MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 933 - 947
  • [26] Specification and analysis of real-time systems in statecharts
    Cha, SD
    Hong, HS
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 137 - 143
  • [27] Specification Theories for Probabilistic and Real-Time Systems
    Fahrenberg, Uli
    Legay, Axel
    Traonouez, Louis-Marie
    FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
  • [28] The API Specification for Real-Time Database Systems
    Ning Wei
    Wang Dao-lin
    PROCEEDINGS OF 2009 INTERNATIONAL WORKSHOP ON INFORMATION SECURITY AND APPLICATION, 2009, : 311 - 314
  • [29] Real-time embedded software design for mobile and ubiquitous systems
    Hsiung, Pao-Ann
    Lin, Shang-Wei
    Hung, Chin-Chieh
    Fu, Jih-Ming
    Lin, Chao-Sheng
    Chiang, Cheng-Chi
    Chiang, Kuo-Cheng
    Lu, Chun-Hsien
    Lu, Pin-Hsien
    EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4808 : 718 - 729
  • [30] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
12345