Timed high-level message sequence charts for real-time system design

Tai Hyo Kim; Sung Deok Cha

doi:10.1007/11951148_6

Timed high-level message sequence charts for real-time system design

Tai Hyo Kim, Sung Deok Cha

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

Existing notations for expressing time constraints in high-level message sequence charts (HMSC) may cause ambiguity when used with HMSC compositions such as alternative and iteration. To overcome such limitation, we propose timed high-level message sequence charts (THMSC) which include an unambiguous subset of time constraints and timed edges as a new complementary notation. THMSC is effective in accurately specifying popular requirement patterns such as watchdog timers and periodic tasks. We present the formal semantics and demonstrate the effectiveness of THMSC using a real-world example that formalizes timing requirements for Korea Multi-Purpose Satellite (KOMPSAT) software.

Original language	English
Title of host publication	System Analysis and Modeling
Subtitle of host publication	Language Profiles - 5th International Workshop, SAM 2006, Revised Selected Papers
Pages	82-98
Number of pages	17
DOIs	https://doi.org/10.1007/11951148_6
Publication status	Published - 2006
Externally published	Yes
Event	5th International Workshop on System Analysis and Modeling: Language Profiles, SAM 2006 - Kaiserslautern, Germany Duration: 2006 May 31 → 2006 Jun 2

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4320 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	5th International Workshop on System Analysis and Modeling: Language Profiles, SAM 2006
Country/Territory	Germany
City	Kaiserslautern
Period	06/5/31 → 06/6/2

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/11951148_6

Cite this

Kim, T. H., & Cha, S. D. (2006). Timed high-level message sequence charts for real-time system design. In System Analysis and Modeling: Language Profiles - 5th International Workshop, SAM 2006, Revised Selected Papers (pp. 82-98). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4320 LNCS). https://doi.org/10.1007/11951148_6

Timed high-level message sequence charts for real-time system design. / Kim, Tai Hyo; Cha, Sung Deok.
System Analysis and Modeling: Language Profiles - 5th International Workshop, SAM 2006, Revised Selected Papers. 2006. p. 82-98 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4320 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Kim, TH & Cha, SD 2006, Timed high-level message sequence charts for real-time system design. in System Analysis and Modeling: Language Profiles - 5th International Workshop, SAM 2006, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4320 LNCS, pp. 82-98, 5th International Workshop on System Analysis and Modeling: Language Profiles, SAM 2006, Kaiserslautern, Germany, 06/5/31. https://doi.org/10.1007/11951148_6

Kim TH, Cha SD. Timed high-level message sequence charts for real-time system design. In System Analysis and Modeling: Language Profiles - 5th International Workshop, SAM 2006, Revised Selected Papers. 2006. p. 82-98. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11951148_6

@inproceedings{6e7d5faefbdd430ea48d157859a54b7d,

title = "Timed high-level message sequence charts for real-time system design",

abstract = "Existing notations for expressing time constraints in high-level message sequence charts (HMSC) may cause ambiguity when used with HMSC compositions such as alternative and iteration. To overcome such limitation, we propose timed high-level message sequence charts (THMSC) which include an unambiguous subset of time constraints and timed edges as a new complementary notation. THMSC is effective in accurately specifying popular requirement patterns such as watchdog timers and periodic tasks. We present the formal semantics and demonstrate the effectiveness of THMSC using a real-world example that formalizes timing requirements for Korea Multi-Purpose Satellite (KOMPSAT) software.",

author = "Kim, {Tai Hyo} and Cha, {Sung Deok}",

year = "2006",

doi = "10.1007/11951148_6",

language = "English",

isbn = "3540683712",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "82--98",

booktitle = "System Analysis and Modeling",

note = "5th International Workshop on System Analysis and Modeling: Language Profiles, SAM 2006 ; Conference date: 31-05-2006 Through 02-06-2006",

}

TY - GEN

T1 - Timed high-level message sequence charts for real-time system design

AU - Kim, Tai Hyo

AU - Cha, Sung Deok

PY - 2006

Y1 - 2006

N2 - Existing notations for expressing time constraints in high-level message sequence charts (HMSC) may cause ambiguity when used with HMSC compositions such as alternative and iteration. To overcome such limitation, we propose timed high-level message sequence charts (THMSC) which include an unambiguous subset of time constraints and timed edges as a new complementary notation. THMSC is effective in accurately specifying popular requirement patterns such as watchdog timers and periodic tasks. We present the formal semantics and demonstrate the effectiveness of THMSC using a real-world example that formalizes timing requirements for Korea Multi-Purpose Satellite (KOMPSAT) software.

AB - Existing notations for expressing time constraints in high-level message sequence charts (HMSC) may cause ambiguity when used with HMSC compositions such as alternative and iteration. To overcome such limitation, we propose timed high-level message sequence charts (THMSC) which include an unambiguous subset of time constraints and timed edges as a new complementary notation. THMSC is effective in accurately specifying popular requirement patterns such as watchdog timers and periodic tasks. We present the formal semantics and demonstrate the effectiveness of THMSC using a real-world example that formalizes timing requirements for Korea Multi-Purpose Satellite (KOMPSAT) software.

UR - http://www.scopus.com/inward/record.url?scp=79952266466&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79952266466&partnerID=8YFLogxK

U2 - 10.1007/11951148_6

DO - 10.1007/11951148_6

M3 - Conference contribution

AN - SCOPUS:79952266466

SN - 3540683712

SN - 9783540683711

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 82

EP - 98

BT - System Analysis and Modeling

T2 - 5th International Workshop on System Analysis and Modeling: Language Profiles, SAM 2006

Y2 - 31 May 2006 through 2 June 2006

ER -

Timed high-level message sequence charts for real-time system design

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this