Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing

Targeting at modeling the high-level dynamics of pervasive computing systems, we introduce bond computing systems (BCS) consisting of objects, bonds and rules. Objects are typed but addressless representations of physical or logical (computing and communicating) entities. Bonds are typed multisets of objects. In a BCS, a configuration is specified by a multiset of bonds, called a collection. Rules specify how a collection evolves to a new one. A BCS is a variation of a P system introduced by Gheorghe Paun where, roughly, there is no maximal parallelism but with typed and unbounded number of membranes, and hence, our model is also biologically inspired. In this paper, we focus on regular bond computing systems (RBCS), where bond types are regular, and study their computation power and verification problems. Among other results, we show that the computing power of RBCS lies between linearly bounded automata (LBA) and LBC (a form of bounded multicounter machines) and hence, the regular bond-type reachability problem (given an RBCS, whether there is some initial collection that can reach some collection containing a bond of a given regular type) is undecidable. We also study a restricted model (namely, B-boundedness) of RBCS where the reachability problem becomes decidable.

[1]  Mark Weiser.  The computer for the 21st century , 1991 .

[2]  Pascal Zimmer.  A Calculus for Context-Awareness , 2005 .

[3]  Oscar H. Ibarra,et al.  On P Systems Operating in Sequential Mode , 2004, DCFS.

[4]  Gheorghe Paun,et al.  Introduction to Membrane Computing , 2006, Applications of Membrane Computing.

[5]  Oscar H. Ibarra,et al.  The Power of Maximal Parallelism in P Systems , 2004, Developments in Language Theory.

[6]  Walter J. Savitch.  A note on multihead automata and context-sensitive languages , 2004, Acta Informatica.

[7]  Alfonso Rodríguez-Patón,et al.  Tissue P systems , 2003, Theor. Comput. Sci..

[8]  David Levine,et al.  PICO: A Middleware Framework for Pervasive Computing , 2003, IEEE Pervasive Comput..

[9]  Nancy A. Lynch,et al.  Distributed Computing: Models and Methods , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[10]  Luis-Felipe Cabrera,et al.  Mobile Computing Systems and Applications, 1994 Workshop On , 1995 .

[11]  Diane J. Cook,et al.  Health Monitoring and Assistance to Support Aging in Place , 2006, J. Univers. Comput. Sci..

[12]  Bill N. Schilit,et al.  Context-aware computing applications , 1994, Workshop on Mobile Computing Systems and Applications.

[13]  R. W. Peterson,et al.  OPTICAL INTERFEROMETRY OF SURFACES , 1991 .

[14]  Mohan J. Kumar,et al.  A Formal Framework for Community Computing , 2003 .

[15]  Sang Hyun Park,et al.  Smart home – digitally engineered domestic life , 2003, Personal and Ubiquitous Computing.

[16]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[17]  Christine Julien,et al.  A Formal Treatment of Context-Awareness , 2004, FASE.