Abstract
AbstractThis 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.KeywordsPervasive ComputingLinear ConnectionSmart ObjectApplication FrameworkModule ObjectThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
