Extended message sequence charts with time-interval semantics

Author

Silva, P. S Muniz

Author_Institution

Dept. de Engenharia de Comput. e Sistemas Digitais, Escola Politecnica da Univ. de Sao Paulo, Brazil

fYear

1998

fDate

16-17 May 1998

Firstpage

37

Lastpage

44

Abstract

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 analysis phase and its interpretation is not limited to the analysis of real-time software systems (where MSCs are mostly used), but rather is aimed for helping the quantitative 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

Keywords

formal specification; temporal logic; application domain; extended message sequence charts; quantitative temporal analysis; requirements analysis; semantics; software system; syntax; temporal knowledge; time-interval semantics; time-interval structure; Computer architecture; Costs; Identity-based encryption; Information analysis; Programming; Real time systems; Software engineering; Software systems; TV; Time factors;

fLanguage

English

Publisher

ieee

Conference_Titel

Temporal Representation and Reasoning, 1998. Proceedings. Fifth International Workshop on

Conference_Location

Sanibel Island, FL

Print_ISBN

0-8186-8473-9

Type

conf

DOI

10.1109/TIME.1998.674129

Filename

674129