Abstract
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 specifies 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 LBA (linearly bounded automata) 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 some restricted models (namely, B-boundedness and 1-transfer) of RBCS where the reachability problem becomes decidable.
The work by Linmin Yang and Zhe Dang was supported in part by NSF Grant CCF-0430531. The work by Oscar H. Ibarra was supported in part by NSF Grant CCF-0430945 and CCF-0524136.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cook, D.: Health monitoring and assistance to support aging in place. Journal of Universal Computer Science 12(1), 15–29 (2006)
Dang, Z., Ibarra, O.H.: On P systems operating in sequential mode. In: Preproceedings of the 6th Workshop on Descriptional Complexity of Formal Systems (DCFS’04), 2004. Report No. 619, Univ. of Western Ontario, London, Canada, pp. 164–177 (2004)
Ibarra, O.H., Yen, H., Dang, Z.: The power of maximal parallelism in p systems. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol. 3340, pp. 212–224. Springer, Heidelberg (2004)
Kumar, M., Shirazi, B., Das, S.K., Sung, B.Y., Levine, D., Singhal, M.: PICO: a middleware framework for pervasive computing. Pervasive Computing, IEEE 2(3), 72–79 (2003)
Lamport, L., Lynch, N.: Distributed computing: models and methods. Handbook of theoretical computer science (vol. B): formal models and semantics, 1157–1199 (1991)
Martin-Vide, C., Paun, Gh., Pazos, J., Rodriguez-Paton, A.: Tissue P systems. Theoretical Computer Science 296(2), 295–326 (2003)
Park, S.H., Won, S.H., Lee, J.B., Kim, S.W.: Smart home-digitally engineered domestic life. Personal and Ubiquitous Computing 7(3-4), 189–196 (2003)
Paun, Gh.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Paun, Gh.: Introduction to membrane computing. See P Systems Web Page at (2004), http://psystems.disco.unimib.it
Roman, G.-C., Julien, C., Payton, J.: A formal treatment of context-awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 12–36. Springer, Heidelberg (2004)
Savitch, W.J.: A note on multihead automata and context-sensitive languages. Acta Informatica 2(3), 249–252 (1973)
Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: Proceedings of Workshop on Mobile Computing Systems and Applications, pp. 85–90. IEEE Computer Society Press, Santa Cruz, CA (1994)
Sung, B.Y., Kumar, M., Shirazi, B., Kalasapur, S.: A formal framework for community computing. Technical report (2003)
Weiser, M.: The computer for the 21st century. Scientific American 265(3), 66–75 (1991)
Zimmer, P.: A calculus for context-awareness. BRICS Research Series (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, L., Dang, Z., Ibarra, O.H. (2007). Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. In: Akl, S.G., Calude, C.S., Dinneen, M.J., Rozenberg, G., Wareham, H.T. (eds) Unconventional Computation. UC 2007. Lecture Notes in Computer Science, vol 4618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73554-0_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-73554-0_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73553-3
Online ISBN: 978-3-540-73554-0
eBook Packages: Computer ScienceComputer Science (R0)