Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus

1. Dumond, Y., Girardet, D., Oquendo, F.: A relationship between sequence and statechart diagrams. In: UML 2000 (2000); http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/Girardet.pdf , (accessed August 12, 2005)

2. Engels, G., Hausmann, J., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. In: IDPT 2002 (2002), http://wwwcs.upb.de/cs/ag-engels/Papers/2002/EngelsHHS-IDPT02.pdf , (accessed February 9, 2005)

3. Engels, G., Heckel, R., Küster, J.M., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 212–227. Springer, Heidelberg (2002)

   Google Scholar 

4. Engels, G., Küster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: ESEC/SIGSOFT FSE 2001, pp. 186–195. ACM Press, New York (2001)

   Google Scholar 

5. Engels, G., Küster, J.M., Heckel, R., Groenewegen, L.: Towards consistency-preserving model evolution. In: Proceedings of the International Workshop on Principles of Software Evolution, pp. 129–132. ACM Press, New York (2002)

   Chapter  Google Scholar 

6. Khriss, I., Elkoutbi, M., Keller, R.: Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 132–147. Springer, Heidelberg (1999)

   Chapter  Google Scholar 

7. Lam, V.S.W., Padget, J.: Consistency checking of statechart diagrams of a class hierarchy. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 412–427. Springer, Heidelberg (2005)

   Chapter  Google Scholar 

8. Lam, V.S.W., Padget, J.: An integrated environment for communicating UML statechart diagrams. In: Proceedings of 3rd ACS/IEEE International Conference on Computer Systems and Applications (to appear)

   Google Scholar 

9. Lam, V.S.W., Padget, J.: On execution semantics of UML statechart diagrams using the π-calculus. In: Proceedings of the International Conference on Software Engineering Research and Practice, pp. 877–882. CSREA Press (2003)

   Google Scholar 

10. Lam, V.S.W., Padget, J.: Formal specification and verification of the SET/A protocol with an integrated approach. In: Proceedings of 2004 IEEE International Conference on E-Commerce Technology, pp. 229–235. IEEE Computer Society, Los Alamitos (2004)

    Chapter  Google Scholar 

11. MasterCard and VISA. SET Secure Electronic Transaction Books 1–3 (May 1997)

    Google Scholar 

12. Milner, R.: The polyadic π-calculus: A tutorial. In: Logic and Algebra of Specification, Proceedings of International NATO Summer School, vol. 94, pp. 203–246. Springer, Heidelberg (1993)

    Google Scholar 

13. Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)

    Google Scholar 

14. Milner, R., Parrow, J., Walker, D.: A calculus of mobile process (Parts I and II). Information and Computation 100, 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

15. OMG. OMG Unified Modeling Language specification version 1.5 (March 2003), http://www.omg.org , (accessed January 20, 2005)

16. OMG. UML 2.0 superstructure specification (August 2003), http://www.omg.org , (accessed January 20, 2005)

17. Parrow, J.: An introduction to the π-calculus. In: Bergstra, A., Ponse, J.A., Smolka, S.A. (eds.) Handbook of Process Algebra, vol. ch. 8, pp. 479–543. Elsevier Science, Amsterdam (2001)

    Chapter  Google Scholar 

18. Quaglia, P.: The π-calculus: Notes on labelled semantics. Bulletin of the EATCS 68 (June 1999)

    Google Scholar 

19. Romão, A., da Silva, M.M.: An agent-based secure internet payment system for mobile computing. In: Lamersdorf, W., Merz, M. (eds.) TREC 1998. LNCS, vol. 1402, pp. 80–93. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

20. Sangiorgi, D.: A theory of bisimulation for the π-calculus. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 127–142. Springer, Heidelberg (1993)

    Google Scholar 

21. Tsiolakis, A., Ehrig, H.: Consistency analysis between UML class and sequence diagrams using attributed graph gammars. In: Proceedings of GraTra 2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, pp. 77–86 (2000)

    Google Scholar 

22. Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 326–340. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

23. Victor, B.: A Verification Tool for the Polyadic π-Calculus. Department of Computer Systems, Uppsala University, Licentiate thesis (1994)

    Google Scholar 

24. Victor, B., Moller, F.: The mobility workbench: A tool for the π-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 428–440. Springer, Heidelberg (1994)

    Google Scholar 

25. Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 314–323 (2000)

    Google Scholar 

26. Ziadi, T., Hélouët, H., Jézéquel, J.-M.: Revisiting statechart synthesis with an algebraic approach. In: Proceedings of the 26th International Conference on Software Engineering, pp. 242–251 (2004)

    Google Scholar 

Download references