1st International ICST Conference on Mobile Wireless Middleware, Operating Systems and Applications

Research Article

Code Mobility Modeling: A Temporal Labeled Reconfigurable Nets

Download267 downloads
  • @INPROCEEDINGS{10.4108/ICST.MOBILWARE2008.2808,
        author={Kahloul Laid and Chaoui Allaoua},
        title={Code Mobility Modeling: A Temporal Labeled Reconfigurable Nets},
        proceedings={1st International ICST Conference on Mobile Wireless Middleware, Operating Systems and Applications},
        publisher={ICST},
        proceedings_a={MOBILWARE},
        year={2010},
        month={5},
        keywords={Code mobility design paradigms formal tools labeled reconfigurable nets temporal labeled reconfigurable nets.},
        doi={10.4108/ICST.MOBILWARE2008.2808}
    }
    
  • Kahloul Laid
    Chaoui Allaoua
    Year: 2010
    Code Mobility Modeling: A Temporal Labeled Reconfigurable Nets
    MOBILWARE
    ICST
    DOI: 10.4108/ICST.MOBILWARE2008.2808
Kahloul Laid1,*, Chaoui Allaoua2,*
  • 1: Computer science department, Biskra University, Algeria.
  • 2: Lire Laboratory, Constantine University, Algeria.
*Contact email: kahloul2006@yahoo.fr, a_chaoui2001@yahoo.com

Abstract

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 “temporal labeled reconfigurable nets” and show how this one seems to be adequate to model different kinds of code mobility.