UML to B: Formal verification of object-oriented models

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

Volumn 2999, Issue , 2004, Pages 187-206

  Lano, K ^a   Clark, D ^a   Androutsopoulos, K ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

B; Graphical specifications; UML; UML RSDS

Indexed keywords

BORON; FORMAL SPECIFICATION; FORMAL VERIFICATION; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS; UNIFIED MODELING LANGUAGE; VERIFICATION;

CRITICAL SYSTEMS; OBJECT ORIENTED MODEL; PRECISE ANALYSIS; SPECIFICATION TECHNIQUE; UML CLASS DIAGRAMS; UML MODEL; UML-RSDS;

FORMAL METHODS;

EID: 26444582642     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24756-2_11     Document Type: Article

References (22)

1. J-R. Abrial, The B Method, Cambridge University Press, 1996.
2. W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hahnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. Technical Report 2000/4, University of Karlsruhe, Department of Computer Science, Jan. 2000.
3. R. Bharadwaj, C. Heitmeyer, Model checking complete requirements specifications using abstraction. In Proceedings of Automated Software Engineering, 6, 37-68, 1999.
4. 20 States and Beyond, Proceedings of the Fifth Annual Symposium on Logic in Computer Science, 1990.
5. CS-RR Inc., CS-RR Software User Requirements Document, 1994.
6. Daniel Jackson, Micromodels of Software: Lightweight Modelling and Analysis with Alloy, Software Design Group, MIT Lab for Computer Science, 2002.
7. S. Kim, D. Carrington, A Formal Mapping Between UML Models and Object-Z Specifications, in ZB2000, LNCS Vol. 1878, Springer-Verlag, 2000.
8. K. Lano, D. Clark, K. Androutsopoulos, Safety and Security Analysis of Object-oriented Models, Safecomp 2002.
9. K. Lano, H. Haughton, Specification in B, Imperial College Press, 1996.
10. K. Lano, J. Fiadeiro, L. Andrade, Software Design in Java 2, Palgrave, 2002.
11. K. Lano, D. Clark, K. Androutsopoulos, Formal Specification and Verification of Railway Systems using UML, FORMS 2003.
12. K. Lano, D. Clark, K. Androutsopoulos, Synthesis of Code from UML Specifications, DCS, King's College, 2003.
13. K. Lano, D. Clark, K. Androutsopoulos, Extended Axiomatic Semantics of UML Class Diagrams and Statecharts, DCS, King's College, 2003.
14. OMG, UML Version 1.5 Specification, http://www.omg.org/uml/, 2003.
15. OMG, Response to UML 2.0 OCL RfP, OMG Document ad/2003-01-07, 2003.
16. OMG, Model-Driven Architecture, http://www.omg.org/mda/, 2003.
17. Richters, M. A UML-based Specification Environment, http://www.db. informatik.uni-bremen.de/projects/USE, 2001.
18. G. Smith, The Object-Z Specification Language, Kluwer, 2000.
19. C. Snook, P. Wheeler, M. Butler, Preliminary Tool Extensions for Integration of UML and B, IST-2000-30103 deliverable D4.1.2, 2003.
20. H. Treharne, Supplementing a UML Development Process with B, FME '02.
21. J. Warmer, A. Kleppe, The Object Constraint Language: Precise Modelling with UML, Addison-Wesley, 1999.
22. P. Zeppo, From UML to B Specifications, MSc thesis, Dept. of Computer Science, King's College London, 2002.