Research Article
Code Mobility Modeling: A Temporal Labeled Reconfigurable Nets
@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
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.
Copyright © 2008–2024 ICST
