Property specification and Static Verification of UML models

ARES 2008 - 3rd International Conference on Availability, Security, and Reliability, Proceedings

Volumn , Issue , 2008, Pages 96-103

  Siveroni, Igor ^a   Zisman, Andrea ^a   Spanoudakis, George ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; COMPUTER SYSTEM FIREWALLS; ERROR ANALYSIS; LINGUISTICS; TEMPORAL LOGIC;

ACTION LANGUAGES; BEHAVIOR SPECIFICATIONS; INTERNATIONAL CONFERENCES; LINEAR TEMPORAL LOGICS; STATE MACHINE DIAGRAMS; STATIC VERIFICATION; UML MODELING;

UNIFIED MODELING LANGUAGE;

EID: 49049084273     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2008.194     Document Type: Conference Paper

References (18)

1. M. Dwyer, G. Avrunim, and J. Corbett. Patterns in property specifications for finite state verification. In International Conference on Software Engineering (ICSE'99), 1999.
2. E. Emerson. Temporal and modal logic. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. MIT Press, 1990.
3. A. Evans et al. Making UML precise. In Formalizing UML. Why? How, OOPSLA'98 Workshop Proceedings, 1998.
4. S. Gnesi and F. Mazzanti. On the fly model checking of communicating UML state machines. In ACIS. IEEE, 2004.
5. G. Holzman. The Spin model checker: primer and reference manual. Addison-Wesley, 2003.
6. J. Jürgens. Secure Systems Development with UML. Springer, 2004.
7. J. Jürgens and P. Shabalin. Automatic verification of umlsec models for security requirements. In SAC'02. ACM, 2002.
8. 2a, 2006.
9. D. Latella, I. Majzik, and M. Massink. Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computation, 11(6), 1999.
10. Object Management Group. http://www.uml.org.
11. I. Paltor and J. Lilius. Formalising UML state machines for model checking. In UML 1999. LNCS 1723, Springer, 1999.
12. I. Paltor and J. Lilius. vUML: A tool for verifying UML models. In ASE'99. IEEE, 1999.
13. Papyrus UML. http://www.papyrusuml.org.
14. T. Schäfer, A. Knapp, and S. Merz. Model checking UML state machines and collaborations. In Workshop on Software Model Checking. ENTCS, 55(3), 2001.
15. F. Schneider. Enforceable security policies. ACM Transactions on Information and Systems Security, 3(1), 2000.
16. L. Torsten, D. Basin, and J. Doser. SecureUML: A UML-based modeling language for model-driven security. In UML'02. Springer-Verlag, 2002.
17. M. von der Beeck. A structured operational semantics for UML-statecharts. Software and System Modeling, 1(2), 2002.
18. A. Zisman. A static verification framework for secure peerto-peer applications. In ICIW07. IEEE, 2007.