TY - JFULL AU - Kahloul Laid and Chaoui Allaoua PY - 2007/8/ TI - Coloured Reconfigurable Nets for Code Mobility Modeling T2 - International Journal of Computer and Information Engineering SP - 1938 EP - 1944 VL - 1 SN - 1307-6892 UR - https://publications.waset.org/pdf/15961 PU - World Academy of Science, Engineering and Technology NX - Open Science Index 7, 2007 N2 - Code mobility technologies attract more and more developers and consumers. Numerous domains are concerned, many platforms are developed and interest applications are realized. However, developing good software products requires modeling, analyzing and proving steps. The choice of models and modeling languages is so critical on these steps. Formal tools are powerful in analyzing and proving steps. However, poorness of classical modeling language to model mobility requires proposition of new models. The objective of this paper is to provide a specific formalism “Coloured Reconfigurable Nets" and to show how this one seems to be adequate to model different kinds of code mobility. ER -