Formal semantics of UML with real-time constructs

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

Volumn 2863, Issue , 2003, Pages 60-75

  Shankar, Subash ^a   Asa, Sinan ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; MODELING LANGUAGES; REAL TIME SYSTEMS; SEMANTICS;

COMPOSITIONAL SEMANTICS; COMPOSITIONALITY; FORMAL FRAMEWORK; FORMAL SEMANTICS; REAL TIME BEHAVIOR; REAL TIME CONSTRAINTS; SEQUENCE DIAGRAMS; STATECHART SEMANTICS;

UNIFIED MODELING LANGUAGE;

EID: 0242339592     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_6     Document Type: Article

References (19)

1. R. Alur. Timed automata. In International Conference on Computer-Aided Verification (CAV), pages 8-22, 1999.
2. P. Blackburn and M. D. Rijke. Why combine logics? Studia Logica, 59: 5-27, 1997.
3. E. M. Clarke, E. Emerson, and A. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS), 8(2): 244-263, Apr. 1986.
4. W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In COMPOS, volume 1536, pages 186-238. Springer-Verlag, 1998.
5. A. David, O. Möller, and W. Yi. Formal verification of UML statecharts with real time extensions. In Fundamental Approaches to Software Engineering (FASE), pages 218-232, 2002.
6. M. Finger and D. Gabbay. Adding a temporal dimension to a logic. Journal of Logic Language and Information, 1: 203-233, 1992.
7. M. Finger and D. Gabbay. Combining temporal logic systems. Notre Dame Journal of Formal Logic, Special Issue on Combining Logics, 37(2): 204-232, Spring 1996.
8. D. Harel. Recurring dominoes: Making the highly undecidable highly understandable. In Conference on Foundations of Computation Theory, pages 177-194, 1983.
9. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231-274, 1987.
10. M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic, 56(4): 1469-1485, Dec. 1991.
11. F. Kroeger. Temporal Logic of Programs. Sprinter Verlag, 1987.
12. L. Lavazza, G. Quaroni, and M. Venturelli. Combining UML and formal notations for modelling real-time systems. In Joint European Software Engineering Conference (ESEC) and International Symposium on the Foundations of Software Engineering (FSE), pages 196-206, 2001.
13. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Sprinter Verlag, 1992.
14. Object Management Group. UML Profile for Schedulability, Performance, and Time Specification, Draft Adopted Specification, January 2002.
15. S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In CAV'96, Computer Aided Verification, number 1102 in LNCS, pages 411-414. Springer-Verlag, 1996.
16. S. Shankar. Formal Verification of VHDL Designs Using Temporal Logics. PhD thesis, University of Minnesota, 1998.
17. S. Shankar. A semantic model of real-time UML. In 4th International Conference on Formal Engineering Methods (ICFEM), pages 573-577, 2002.
18. S. Shankar and J. Slagle. A polymodal semantics for VHDL. In Advances in Hardware Design and Verification (CHARME), pages 88-105. Chapman & Hall, 1997.
19. M. von der Beeck. A comparison of statecharts variants. In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT), pages 128-148, 1994.