A step towards merging xUML and CSP ∥ B

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

Volumn 5115 LNCS, Issue , 2009, Pages 130-146

  Treharne, Helen ^a   Schneider, Steve ^a   Grant, Neil ^b   Evans, Neil ^b   Ifill, Wilson ^b  

^a UNIVERSITY OF SURREY   (United Kingdom)

^b AWE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTABLE UML; FORMAL REASONING; INTEGRATED FORMAL METHODS; STATE MACHINE; SYSTEM METHODOLOGIES; UML MODEL;

COMPUTER OPERATING PROCEDURES; CONTOUR FOLLOWERS; FORMAL LOGIC;

FORMAL METHODS;

EID: 77949778962     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11447-2_9     Document Type: Conference Paper

References (16)

1. Abrial, J.-R.: The B Book: Assigning Programs to Meanings. CUP, Cambridge (1996)
2. Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395-416. Springer, Heidelberg (2002)
3. Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASM. Information & Software Technology 46(5), 287-292 (2004)
4. Cavarra, A., Riccobene, E., Scandurra, P.: A framework to Simulate UML Models: Moving from a Semi-formal to a Formal Environment. In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), pp. 1519-1523 (2004)
5. Evans, N., Treharne, H.: Investigating a File Transfer Protocol Using CSP and B. SoSym Journal (2005)
6. Evans, N., Treharne, H., Laleau, R., Frappier, M.: How to Verify Dynamic Properties of Information Systems. In: 2nd International Conference on Software Engineering and Formal Methods. IEEE, China (2004)
7. Faitelson, D., Welch, J., Davies, J.: From predicates to programs: the semantics of a method language. In: Proceedings of SBMF 2005. Electronic Notes in Theoretical Computer Science (2005)
8. Formal Systems (Europe) Ltd.: FDR2 User Manual (2003)
9. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
10. Laleau, R., Polack, F.: Coming and going from UML to B: a proposal to support traceability in rigorous IS development. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, pp. 517-534. Springer, Heidelberg (2002)
11. Raistrick, C., Francis, P., Wright, J., Carter, C., Wilkie, I.: Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge (2004)
12. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)
13. Snook, C., Butler, M.: UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology (2006)
14. Neilson, D., Sorensen, I.H.: The B-Technologies: a system for computer aided programming. B-Core (UK) Ltd (1999), http://www.b-core.com
15. Schneider, S.: Concurrent and Real-Time Systems: the CSP Approach. Wiley, Chichester (1999)
16. Schneider, S., Treharne, H.: CSP Theorems for Communicating B machines. FACS 17(4) (2004)