Skip to main content
SpringerLink
Log in

Proximity-Based Federation of Smart Objects: Liberating Ubiquitous Computing from Stereotyped Application Scenarios

  • Conference paper
Knowledge-Based and Intelligent Information and Engineering Systems (KES 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6276))

Abstract

This paper proposes three new formal models of autonomic proximity-based federation among smart objects with wireless network connectivity and services available on the Internet. Each smart object is modeled as a set of ports, each of which represents an I/O interface for a function of this smart object to interoperate with some function of another smart object. This paper first proposes our first-level formal modeling of smart objects and their federation, giving also the semantics of federation defined in a Prolog-like language. Then it proposes the second-level formal modeling using graph rewriting rules for developing application frameworks using a dynamically changing single federation, and finally, proposes the third-level formal modeling based on collectively autocatalytic sets for the development of complex application scenarios in which many smart objects are involved in mutually related more than one federation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Milner, R.: Theories for the Global Ubiquitous Computer. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 5–11. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. Henricksen, K., Indulska, J., Rakotonirainy, A.: Modeling Context Information in Pervasive Computing Systems. In: Mattern, F., Naghshineh, M. (eds.) PERVASIVE 2002. LNCS, vol. 2414, pp. 167–180. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proc. POPL 1990, pp. 81–94. ACM, New York (1990)

    Chapter  Google Scholar 

  4. Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  5. Păun, G.: Computing with Membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)

    Article  MATH  Google Scholar 

  6. Milner, R.: Bigraphical Reactive Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 16–35. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. Castagna, G., Vitek, J., Zappa Nardelli, F.: The Seal Calculus. Information and Computation 201(1), 1–54 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  8. Schmitt, A., Stefani, J.-B.: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146–178. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  9. Ueda, K., Kato, N.: LMNtal: A Language Model with Links and Membranes. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 110–125. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Santi, P.: Topology Control in Wireless and Ad Hoc Sensor Networks. ACM Computing Surveys 37(2), 164–194 (2005)

    Article  Google Scholar 

  11. Chinara, S., Rath, S.K.: A Survey on One-Hop Clustering Algorithms in Mobile Ad Hoc Networks. Journal of Network and Systems Management 17(1-2), 183–207 (2009)

    Article  Google Scholar 

  12. Dressler, F., Akan, O.B.: A Survey on Bio-Inspired Networking. Computing Networks 54(6), 881–900 (2010)

    Article  MATH  Google Scholar 

  13. Heimbigner, D., McLeod, D.: A federated architecture for information management. ACM Transactions on Information Systems (TOIS) 3(3), 253–278 (1985)

    Article  Google Scholar 

  14. Edwards, W.K., Joy, B., Murphy, B.: Core JINI. Prentice Hall Professional Technical Reference (2000)

    Google Scholar 

  15. Tanaka, Y., Fujima, J., Ohigashi, M.: Meme media for the knowledge federation over the web and pervasive computing environments. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol. 3321, pp. 33–47. Springer, Heidelberg (2004)

    Google Scholar 

  16. Tanaka, Y., Ito, K., Fujima, J.: Meme media for clipping and combining web resources. World Wide Web 9(2), 117–142 (2006)

    Article  Google Scholar 

  17. Tanaka, Y.: Knowledge federation over the web based on meme media technologies. In: Jantke, K.P., Lunzer, A., Spyratos, N., Tanaka, Y. (eds.) Federation over the Web. LNCS (LNAI), vol. 3847, pp. 159–182. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  18. Tanaka, Y.: Meme Media and Meme Market Architectures: Knowledge Media for Editing, Distributing, and Managing Intellectual Resources. Wiley-IEEE Press (2003)

    Google Scholar 

  19. Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985)

    Article  MATH  Google Scholar 

  20. Picco, G.P., Murphy, A.L., Roman, G.C.: Lime: Linda meets mobility. In: ICSE 1999: Proceedings of the 21st international conference on Software engineering, pp. 368–377. IEEE Computer Society Press, Los Alamitos (1999)

    Chapter  Google Scholar 

  21. Sun Microsystems: Javaspaces service specification, version 1.2 (2001)

    Google Scholar 

  22. Sun Microsystems: Jini technology core platform specification, version 1.2 (2001)

    Google Scholar 

  23. Collins, J., Bagrodia, R.: Programming in Mobile Ad Hoc Networks. In: Proc. the 4th Conf. on Wireless Internet. WICON 2008, article no. 73 (2008)

    Google Scholar 

  24. Kauffman, S.: Investigations. Oxford University Press, Oxford (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Meme Media Laboratory, Hokkaido University, N13, W8, Sapporo, 060-8628, Japan

    Yuzuru Tanaka

Authors
  1. Yuzuru Tanaka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Engineering, The Parade, Cardiff University, CF24 3AA, Cardiff, UK

    Rossitza Setchi

  2. Dept. of Computer Science and Software Engineering, BUckingham Building, Lion Terrace, University of Portsmouth, PO1 3HE, Portsmouth, UK

    Ivan Jordanov

  3. KES International, 145-157, St. John Street, EC1V 4PY, London, UK

    Robert J. Howlett

  4. School of Electrical and Information Engineering, University of South Australia, ,, Adelaide, Mawson Lakes Campus, 5095, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tanaka, Y. (2010). Proximity-Based Federation of Smart Objects: Liberating Ubiquitous Computing from Stereotyped Application Scenarios. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2010. Lecture Notes in Computer Science(), vol 6276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15387-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15387-7_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15386-0

  • Online ISBN: 978-3-642-15387-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation