Systematic Translation Rules from astd to Event-B

1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

   Book  MATH  Google Scholar 

2. Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)

   Book  MATH  Google Scholar 

3. Abrial, J.R., Butler, M., Hallerstede, S., Voisin, L.: An open extensible tool environment for Event-B. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 588–605. Springer, Heidelberg (2006)

   Chapter  Google Scholar 

4. Butler, M.: csp2b: A practical approach to combining CSP and b. Formal Aspects of Computing 12(3), 182–198 (2000)

   Article  MATH  Google Scholar 

5. Eclipse Consortium: Eclipse graphical modeling framework (gmf), http://www.eclipse.org/modeling/gmp/?project=gmf

6. Fraikin, B., Frappier, M.: Efficient symbolic computation of process expressions. Science of Computer Programming (2009)

   Google Scholar 

7. Fraikin, B., et al.: Synthesizing information systems: the apis project. In: Rolland, C., Pastor, O., Cavarero, J.L. (eds.) First International Conference on Research Challenges in Information Science (RCIS), Ouarzazate, Morocco, p. 12 (April 2007)

   Google Scholar 

8. Frappier, M., Gervais, F., Laleau, R., Fraikin, B., St-Denis, R.: Extending statecharts with process algebra operators. Innovations in Systems and Software Engineering 4(3), 285–292 (2008)

   Article  Google Scholar 

9. Frappier, M., St-Denis, R.: eb ³: an entity-based black-box specification method for information systems. Software and System Modeling 2(2), 134–149 (2003)

   Article  Google Scholar 

10. Harel, D.: Statecharts: A visual formalism for complex systems. Science of computer programming 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

11. Hoare, C.A.R.: CSP–Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

12. Leuschel, M., Butler, M.: ProB: A model checker for b. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

13. Rumbaugh, J., Jacobson, I., Booch, G.: The unified modeling language. University Video Communications (1996)

    Google Scholar 

14. Said, M.Y., Butler, M., Snook, C.: Language and tool support for class and state machine refinement in UML-B. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 579–595. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

15. Salabert, K., Milhau, J., et al.: iASTD: un interpréteur pour les ASTD. In: Atelier Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), Actes AFADL, Poitiers, France, pp. 3–6 (June 9-11, 2010)

    Google Scholar 

16. Sekerinski, E.: Verifying Statecharts with State Invariants. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 7–14. IEEE, Los Alamitos (2008)

    Google Scholar 

17. Sekerinski, E., Zurob, R.: Translating statecharts to b. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 128–144. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

18. Snook, C., Butler, M.: UML-B: Formal modeling and design aided by UML. ACM Transactions on Software Engineering and Methodology (TOSEM) 15(1), 122 (2006)

    Article  Google Scholar 

19. Van Der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

Download references