Extended Message Sequence Charts with time-interval semantics

被引：3
|
作者：
Silva, PSM [1 ]
机构：
[1] Univ Sao Paulo, Escola Politecn, Dept Engn Computacao & Sistemas Digitais, BR-05508900 Sao Paulo, Brazil
来源：
FIFTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - PROCEEDINGS: TIME-98 | 1998年
关键词：
D O I：
10.1109/TIME.1998.674129
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper describes the main ideas of an extension of Message Sequence Charts (MSCs) in a time-interval structure to improve the temporal knowledge of the environment where a software system will be built. The extended MSC could be used at the requirements anal!lsis phase and its interpretation is nor limited to the anal?ais of real-time software systems (where MSCs are mostly used), but rather is aimed for helping the qualitative temporal analysis of the application domain, whatever the software solution for the system. The paper briefly overviews MSCs, describes the goals of the proposed interpretation for basic MSCs, and defines their syntax and semantics.
引用
收藏
页码：37 / 44
页数：8
相关论文
共 50 条
  • [1] Semantics of message sequence charts
    Letichevsky, AA
    Kapitonova, JV
    Kotlyarov, VP
    Volkov, VA
    Letichevsky, AA
    Weigert, T
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 117 - 132
  • [2] Semantics of timed message Sequence charts
    Letichevskij, A.A.
    Kapitonova, Yu.V.
    Kotlyarov, V.P.
    Letichevskij, A.A.
    Volkov, V.A.
    Kibernetika i Sistemnyj Analiz, 2002, (04): : 3 - 32
  • [3] Instantiation semantics for message sequence charts
    Padilla, Gerardo
    Bastani, Farokh B.
    de Oca, Carlos Montes
    Serrano, Miguel A.
    SEVENTH MEXICAN INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, PROCEEDINGS, 2006, : 191 - +
  • [4] Semantics of Timed Message Sequence Charts
    A. A. Letichevskii
    Yu. V. Kapitonova
    V. P. Kotlyarov
    A. A. Letichevskii
    V. A. Volkov
    Cybernetics and Systems Analysis, 2002, 38 (4) : 475 - 484
  • [5] Extended time-interval analysis
    Fynbo, H. O. U.
    Riisager, K.
    NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2014, 735 : 557 - 563
  • [6] AN ALGEBRAIC SEMANTICS OF BASIC MESSAGE SEQUENCE CHARTS
    MAUW, S
    RENIERS, MA
    COMPUTER JOURNAL, 1994, 37 (04): : 269 - 277
  • [7] Algebraic semantics of basic message sequence charts
    Mauw, S.
    Reniers, M.A.
    Computer Journal, 1994, 37 (04): : 269 - 277
  • [8] A time-interval sequence classification method
    Tsai, Chieh-Yuan
    Chen, Chih-Jung
    Chien, Chun-Ju
    KNOWLEDGE AND INFORMATION SYSTEMS, 2013, 37 (02) : 251 - 278
  • [9] A time-interval sequence classification method
    Chieh-Yuan Tsai
    Chih-Jung Chen
    Chun-Ju Chien
    Knowledge and Information Systems, 2013, 37 : 251 - 278
  • [10] COMMENTS ON A PROPOSED SEMANTICS FOR BASIC MESSAGE SEQUENCE CHARTS
    LADKIN, PB
    LEUE, S
    COMPUTER JOURNAL, 1994, 37 (09): : 814 - 815
12345