{"data":{"id":"10.48550/arxiv.1708.05875","type":"dois","attributes":{"doi":"10.48550/arxiv.1708.05875","prefix":"10.48550","suffix":"arxiv.1708.05875","identifiers":[{"identifier":"1708.05875","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"1708.05875"}],"creators":[{"name":"Niazi, Muaz A.","nameType":"Personal","givenName":"Muaz A.","familyName":"Niazi","affiliation":[],"nameIdentifiers":[]},{"name":"Hussain, Amir","nameType":"Personal","givenName":"Amir","familyName":"Hussain","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"A novel agent-based simulation framework for sensing in complex adaptive environments"}],"publisher":"arXiv","container":{},"publicationYear":2017,"subjects":[{"lang":"en","subject":"Networking and Internet Architecture (cs.NI)","subjectScheme":"arXiv"},{"lang":"en","subject":"Artificial Intelligence (cs.AI)","subjectScheme":"arXiv"},{"lang":"en","subject":"Multiagent Systems (cs.MA)","subjectScheme":"arXiv"},{"lang":"en","subject":"Software Engineering (cs.SE)","subjectScheme":"arXiv"},{"lang":"en","subject":"Adaptation and Self-Organizing Systems (nlin.AO)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Physical sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Physical sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"I.2.9, I.4.8, C.2.1, D.2.4, D.3.1, E.4, F.4, F.1.3, D.2.8","subjectScheme":"ACM"}],"contributors":[],"dates":[{"date":"2017-08-19T16:48:53Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2017-08-22T00:04:43Z","dateType":"Updated","dateInformation":"v1"},{"date":"2017-08","dateType":"Available","dateInformation":"v1"},{"date":"2017","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"IsVersionOf","relatedIdentifier":"10.1109/jsen.2010.2068044","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"In this paper we present a novel Formal Agent-Based Simulation framework (FABS). FABS uses formal specification as a means of clear description of wireless sensor networks (WSN) sensing a Complex Adaptive Environment. This specification model is then used to develop an agent-based model of both the wireless sensor network as well as the environment. As proof of concept, we demonstrate the application of FABS to a boids model of self-organized flocking of animals monitored by a random deployment of proximity sensors.","descriptionType":"Abstract"},{"description":"8 pages","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4xNzA4LjA1ODc1PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+MTcwOC4wNTg3NTwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5OaWF6aSwgTXVheiBBLjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TXVheiBBLjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5OaWF6aTwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5IdXNzYWluLCBBbWlyPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5BbWlyPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkh1c3NhaW48L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPkEgbm92ZWwgYWdlbnQtYmFzZWQgc2ltdWxhdGlvbiBmcmFtZXdvcmsgZm9yIHNlbnNpbmcgaW4gY29tcGxleCBhZGFwdGl2ZSBlbnZpcm9ubWVudHM8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMTc8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5OZXR3b3JraW5nIGFuZCBJbnRlcm5ldCBBcmNoaXRlY3R1cmUgKGNzLk5JKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPkFydGlmaWNpYWwgSW50ZWxsaWdlbmNlIChjcy5BSSk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5NdWx0aWFnZW50IFN5c3RlbXMgKGNzLk1BKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPlNvZnR3YXJlIEVuZ2luZWVyaW5nIChjcy5TRSk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5BZGFwdGF0aW9uIGFuZCBTZWxmLU9yZ2FuaXppbmcgU3lzdGVtcyAobmxpbi5BTyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBDb21wdXRlciBhbmQgaW5mb3JtYXRpb24gc2NpZW5jZXM8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBQaHlzaWNhbCBzY2llbmNlczwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iQUNNIj5JLjIuOSwgSS40LjgsIEMuMi4xLCBELjIuNCwgRC4zLjEsIEUuNCwgRi40LCBGLjEuMywgRC4yLjg8L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDE3LTA4LTE5VDE2OjQ4OjUzWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDE3LTA4LTIyVDAwOjA0OjQzWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJBdmFpbGFibGUiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTctMDg8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IlRleHQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8cmVsYXRlZElkZW50aWZpZXJzPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iRE9JIiByZWxhdGlvblR5cGU9IklzVmVyc2lvbk9mIj4xMC4xMTA5L0pTRU4uMjAxMC4yMDY4MDQ0PC9yZWxhdGVkSWRlbnRpZmllcj4KICA8L3JlbGF0ZWRJZGVudGlmaWVycz4KICA8dmVyc2lvbj4xPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9hcnhpdi5vcmcvbGljZW5zZXMvbm9uZXhjbHVzaXZlLWRpc3RyaWIvMS4wLyI+YXJYaXYub3JnIHBlcnBldHVhbCwgbm9uLWV4Y2x1c2l2ZSBsaWNlbnNlPC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+SW4gdGhpcyBwYXBlciB3ZSBwcmVzZW50IGEgbm92ZWwgRm9ybWFsIEFnZW50LUJhc2VkIFNpbXVsYXRpb24gZnJhbWV3b3JrIChGQUJTKS4gRkFCUyB1c2VzIGZvcm1hbCBzcGVjaWZpY2F0aW9uIGFzIGEgbWVhbnMgb2YgY2xlYXIgZGVzY3JpcHRpb24gb2Ygd2lyZWxlc3Mgc2Vuc29yIG5ldHdvcmtzIChXU04pIHNlbnNpbmcgYSBDb21wbGV4IEFkYXB0aXZlIEVudmlyb25tZW50LiBUaGlzIHNwZWNpZmljYXRpb24gbW9kZWwgaXMgdGhlbiB1c2VkIHRvIGRldmVsb3AgYW4gYWdlbnQtYmFzZWQgbW9kZWwgb2YgYm90aCB0aGUgd2lyZWxlc3Mgc2Vuc29yIG5ldHdvcmsgYXMgd2VsbCBhcyB0aGUgZW52aXJvbm1lbnQuIEFzIHByb29mIG9mIGNvbmNlcHQsIHdlIGRlbW9uc3RyYXRlIHRoZSBhcHBsaWNhdGlvbiBvZiBGQUJTIHRvIGEgYm9pZHMgbW9kZWwgb2Ygc2VsZi1vcmdhbml6ZWQgZmxvY2tpbmcgb2YgYW5pbWFscyBtb25pdG9yZWQgYnkgYSByYW5kb20gZGVwbG95bWVudCBvZiBwcm94aW1pdHkgc2Vuc29ycy48L2Rlc2NyaXB0aW9uPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iT3RoZXIiPjggcGFnZXM8L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/1708.05875","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-04T02:07:43.000Z","registered":"2022-03-04T02:07:44.000Z","published":"2017","updated":"2022-03-04T02:07:44.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.1708.05875","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}