Title :
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
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;
Conference_Titel :
Temporal Representation and Reasoning, 1998. Proceedings. Fifth International Workshop on
Conference_Location :
Sanibel Island, FL
Print_ISBN :
0-8186-8473-9
DOI :
10.1109/TIME.1998.674129
