Use case scenarios as verification conditions: Event-B/flow approach

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

Volumn 6968 LNCS, Issue , 2011, Pages 9-23

  Iliasov, Alexei ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT-B; FORMAL DEVELOPMENT; PROOF OBLIGATIONS; SAFETY CONSTRAINT; USE CASE SCENARIO; VERIFICATION CONDITION;

VERIFICATION;

EID: 80053513828     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24124-6_2     Document Type: Conference Paper

References (13)

1. Abrial, J.-R.: Modelling in Event-B. Cambridge University Press, Cambridge (2010)
2. Abrial, J.-R., Mussat, L.: Introducing Dynamic Constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, pp. 83-128. Springer, Heidelberg (1998)
3. Event-B.org. Event-B model repository (2011), http://deploy-eprints.ecs. soton.ac.uk/view/type/rodin=5Farchive.html
4. Fischer, C., Wehrheim, H.: Model-Checking CSP-OZ Specifications with FDR. In: Araki, A., Galloway, A., Taguchi, K. (eds.) IFM 1999: Proceedings of the 1st International Conference on Integrated Formal Methods, London, UK, pp. 315-334, Springer, Heidelberg (1999)
5. Hurlbut, R.R.: A survey of approaches for describing and formalizing use cases. Technical report, Expertech, Ltd. (1997)
6. Butler, M., Leuschel, M.: Combining CSP and B for Specification and Property Verification, pp. 221-236 (2005)
7. Mendoza-Grado, V.M.: Formal Verification of Use Cases. In: Requirements Engineering: Use Cases and More (1995)
8. Flow Models of stack and NFS. Event B/Flow specification (2011), http://iliasov.org/usecase/nfs.zip
9. Plugin, F.: Event-B wiki page (2011), http://wiki.event-b.org/index.php/ Flows
10. The RODIN platform, http://rodin-b-sharp.sourceforge.net/
11. Treharne, H., Schneider, S., Bramble, M.: Composing Specifications Using Communication. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 58-78. Springer, Heidelberg (2003)
12. NFSv4 web page. Network File System Version 4 (2011), http://datatracker.ietf.org/wg/nfsv4/
13. Woodcock, J., Cavalcanti, A.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, pp. 184-203. Springer, Heidelberg (2002)