A semantic model of real-time UML

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

Volumn 2495, Issue , 2002, Pages 573-577

  Shankar, Subash ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

CONTROL FLOWS; FORMAL ANALYSIS; FORMAL FRAMEWORK; REAL TIME; SEMANTIC MODEL;

FORMAL METHODS;

EID: 84948958247     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_57     Document Type: Conference Paper

References (7)

1. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
2. L. Lavazza, G. Quaroni, and M. Venturelli. Combining UML and formal notations for modelling real-time systems. In Foundations of Software Engineering (FSE), pages 196–206, 2001.
3. Object Management Group. UML Profile for Schedulability, Performanc e,and Time Specification, Dr aft Adopted Specification, January 2002.
4. S. Shankar. Formal Verification of VHDL Designs Using Temporal Logics. PhD thesis, University of Minnesota, 1998.
5. S. Shankar. A formal semantics for UML with real-time constructs. Technical Report TR-200209, Dept. of Computer Science, City University of New York (CUNY), 2002.
6. S. Shankar and J. Slagle. A polymodal semantics for VHDL. In Advances in Hardware Design and Verification (CHARME), pages 88–105. Chapman & Hall, 1997.
7. M. von der Beeck. A comparison of statecharts variants. In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT), pages 128–148, 1994.