Code Mobility Modeling: A Temporal Labeled Reconfigurable Nets

Kahloul Laid; Chaoui Allaoua

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

Research Article

Code Mobility Modeling: A Temporal Labeled Reconfigurable Nets

Download489 downloads

Cite: BibTeX Plain Text

@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 Laid¹^,*, Chaoui Allaoua²^,*

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.

Keywords: Code mobility design paradigms formal tools labeled reconfigurable nets temporal labeled reconfigurable nets.

Published: 2010-05-16
Publisher: ICST
Modified: 2010-05-16

: http://dx.doi.org/10.4108/ICST.MOBILWARE2008.2808