Simulation of Mobile Ambients by P Systems. Part 2

Ambient calculus is a theory which deals with mobile computing and computation and encompasses such notions as mobile agents, the ambients where the agents interact and the mobility of the ambients themselves. P systems is a formalism which abstracts from the structure and functioning of living cells and describes distributed parallel computing devices with multiset of objects processing. Ambient calculus and membrane computing are based on the same concepts and structures though they are developed in di®erent areas of computer science. The purpose of our work now is to express ambient calculus by means of P systems, namely by tissue P systems with dynamic network of membranes

Adaptable Mobile Transactions and Environment Awareness

National audienceMobile environments are characterized by high variability (e.g. variable bandwidth, disconnections, different communication prices) as well as by limited mobile host resources. Such characteristics lead to high rates of transaction failures and unpredictable execution costs. This paper introduces an Adaptable Mobile Transaction model (AMT) that allows defining transactions with several execution alternatives associated to a particular context. The principal goal is to adapt transaction execution to context variations. An analytical study shows that using AMTs increases commit probabilities and that it is possible to choose the way transactions will be executed according to their costs. In addition, the middleware TransMobi is proposed. It manages environment awareness and implements the AMT model with suitable protocols.Les environnements mobiles sont caractérisés par une grande variabilité (bande passante variable, déconnexions, prix de communication différents, etc.) ainsi que par des uni-tés mobiles à ressources limitées. Ces caractéristiques entraînent un nombre important de défaillances transactionnels et des coûts d'exécution imprévus. Cet article introduit un modèle de transactions mobiles adaptables (AMT) permettant de définir des transactions avec plusieurs alternatives d'exécution. Le principal objectif est d'adapter l'exécution des transactions aux variations du contexte. Une étude analytique montre que les AMT augmentent la probabilité de validation et qu'il est possible de choisir le type d'exécution en fonction de son coût. Nous proposons également l'intergiciel TransMobi gérant la perception de l'environnement et implantant le modèle AMT à l'aide de protocoles appropriés