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 条

[11] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
GORSKI, J
COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
[12] Specification and analysis of real-time systems using Real-Time Maude
Ölveczky, PC
Meseguer, J
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
[13] FORMAL METHODS FOR THE SPECIFICATION AND DESIGN OF REAL-TIME SAFETY CRITICAL SYSTEMS
OSTROFF, JS
JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 33 - 60
[14] Towards real-time system specification and design
Schmerler, S
Tanurhan, Y
MullerGlaser, KD
PROCEEDINGS OF THE 1996 IPC CONFERENCE AND EXPOSITION, 1996, : 1 - 8
[15] Logical specification of reactive and real-time systems
Lano, K
JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 679 - 711
[16] Specification and refinement of continuous real-time systems
Goldsack, S
Lano, K
Durr, E
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
[17] Functional specification of real-time and hybrid systems
Muller, O
Scholz, P
HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 273 - 285
[18] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
HOOMAN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
[19] A new time model for the specification, design, validation and synthesis of embedded real-time systems
Münzenberger, R
Dörfel, M
Slomka, F
Hofmann, R
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 1095 - 1095
[20] UML specification of real-time imaging systems
Neill, CJ
Laplante, PA
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 273 - 277

← 1 2 3 4 5 →