Abstract
This chapter focuses on the formal modeling of complex application scenarios using autonomic proximity-based federation among smart objects with wireless network connectivity, and proposes the middleware application framework to develop such complex application scenarios. Our modeling consists of three different levels. In the first-level modeling, 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. The federation between a pair of smart objects having a pair of ports of the same type and opposite polarities is modeled as the port matching between these two ports. The second-level modeling describes the dynamic change of the federation structure among smart objects as a graph rewriting system, where each node and each link, respectively, represents a smart object and a connection between two smart objects. The third-level modeling uses a catalytic reaction network to describe each complex federation scenario in which more than one federation are involved, and an output federation of a reaction may work either as an input federation of another reaction and/or a catalyst to activate another composition or decomposition reaction.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Milner R (2004) Theories for the global ubiquitous computer. In: Foundations of software science and computation structures, LNCS, vol 2987. Springer, Berlin, pp 5–11
Henricksen K, Indulska J, Rakotonirainy A (2002) Modeling context information in pervasive computing systems. In: Mattern F, Naghshineh M (eds) Pervasive 2002, LNCS, vol 2414. Springer, Berlin, pp 167–180
Berry G, Boudol G. (1990) The chemical abstract machine. In: Proc. POPL’90, ACM, pp 81–94
Cardelli L, Gordon AD (1998) Mobile ambients. In: Nivat M (ed) Foundations of software science and computational structures, LNCS, vol 1378. Springer, Berlin, pp 140–155
Păun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143
Milner R (2001) Bigraphical reactive systems. In: Proc. CONCUR 2001, LNCS, vol 2154. Springer, Berlin, pp 16–35
Castagna G, Vitek J, Zappa Nardelli F (2005) The seal calculus. Inf Comput 201(1):1–54
Schmitt A, Stefani J-B (2005) The Kell calculus: a family of higher-order distributed process calculi. In: Proceedings of the international workshop on global computing, LNCS, vol 3267. Springer, Berlin, pp 146–178
Ueda K, Kato N (2005) LMNtal: a language model with links and membranes. In: Proceedings of the fifth international workshop on membrane computing (WMC 2004), LNCS, vol 3365. Springer, Berlin, pp 110–125
Santi P (2005) Topology control in wireless and ad hoc sensor networks. ACM Comput Surv 37(2):164–194
Chinara S, Rath SK (2009) A survey on one-hop clustering algorithms in mobile ad hoc networks. J Netw Syst Manag 17(1–2):183–207
Dressler F, Akan OB (2010) A survey on bio-inspired networking. Comput Netw 54(6):881–900
Heimbigner D, McLeod D (1985) A federated architecture for information management. ACM Trans Inf Syst 3(3):253–278
Edwards WK, Joy B, Murphy B (2000) Core JINI. Prentice Hall Professional Technical Reference, Englewood Cliffs
Tanaka Y, Fujima J, Ohigashi M (2004) Meme media for the knowledge federation over the web and pervasive computing environments. In: Proc. ASIAN 2004, LNCS, vol 3321. Springer, Berlin, pp 33–47
Tanaka Y, Ito K, Fujima J (2006) Meme media for clipping and combining web resources. World Wide Web 9(2):117–142
Tanaka Y (2006) Knowledge federation over the web based on meme media technologies. In: LNCS, vol 3847. Springer, Berlin, pp 159–182
Tanaka Y (2003) Meme media and meme market architectures: knowledge media for editing, distributing, and managing intellectual resources. Wiley-IEEE Press, Hoboken
Tanaka Y (2010) Proximity-based federation of smart objects: liberating ubiquitous computing from stereotyped application scenarios. In: Setchi R, Jordanov J, Howlett RJ, Jain LC (eds) In: Knowledge-based and intelligent information and engineering systems—14th international conference, KES 2010, Cardiff, UK, 8–10 Sept 2010, Part I. LNCS, vol 6276. Springer, Berlin, pp 14–30
Julia J, Tanaka Y (2016) Proximity-based federation of smart objects: its graph-rewriting framework and correctness. J Intell Inf Syst 46(1):147–178
Gelernter D (1985) Generative communication in linda. ACM Trans Program Lang Syst 7(1):80–112
Picco GP, Murphy AL, Roman GC (1999) Lime: Linda meets mobility. In: ICSE’99: proceedings of the 21st international conference on software engineering, Los Alamitos, CA, USA, IEEE Computer Society Press, pp 368–377
Microsystems S (2001) Javaspaces service specification, version 1.2. https://river.apache.org/doc/specs/html/js-spec.html
Microsystems S (2001) Jini technology core platform specification, version 1.2. https://river.apache.org/doc/specs/html/lookup-spec.html
Collins J, Bagrodia R (2008) Programming in mobile ad hoc networks. In: Proceedings of the 4th conference on wireless internet, WICON’08, article no. 73
Kauffman S (2000) Investigations. Oxford University Press, Oxford
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Tanaka, Y. (2017). Proximity-Based Federation of Smart Objects and Their Application Framework. In: Kyung, CM., Yasuura, H., Liu, Y., Lin, YL. (eds) Smart Sensors and Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-33201-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-33201-7_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33200-0
Online ISBN: 978-3-319-33201-7
eBook Packages: EngineeringEngineering (R0)