{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:20:04Z","timestamp":1777890004127,"version":"3.51.4"},"reference-count":28,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Multiagent and Grid Systems: An International Journal of Data Science and Artificial Intelligence"],"published-print":{"date-parts":[[2017,11]]},"abstract":"<jats:p>One of the primary objectives of ambient systems is to provide services based on the ability to interact with the environment (including objects, humans and system components). An ambient system must deal with the dynamic integration of new and unexpected elements (e.g. users or devices). To fulfil the system functions, we need to specify the ambient system and its dynamic context. In this paper, we present an elaborated formal approach to model the core concepts of context-aware systems and their dynamic reconfigurations. The approach enables a high-level of abstraction and supports building context-aware systems by providing modularity and separation of concerns. For this purpose, one, we use Milner\u2019s standard bigraphs to model the contextual part of the context-aware system and second, we provide an extension of the Bigraphical Reactive System (BRS) to model the functional part of multi-agent system architectures (BRS-MAS). Finally, to evaluate the proposed approach, we use a Bigraphical Model Checker (BigMC) to verify safety and liveliness properties through a smart car management system case study.<\/jats:p>","DOI":"10.3233\/mgs-170276","type":"journal-article","created":{"date-parts":[[2017,12,15]],"date-time":"2017-12-15T11:58:57Z","timestamp":1513339137000},"page":"373-394","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":1,"title":["A multi-agent based approach for modelling context-aware systems"],"prefix":"10.1177","volume":"13","author":[{"given":"Ali","family":"Sahnoun","sequence":"first","affiliation":[{"name":"LIRE Laboratory, University of Constantine II-Abdelhamid Mehri, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Taki Eddine","family":"Dib","sequence":"additional","affiliation":[{"name":"LIRE Laboratory, University of Constantine II-Abdelhamid Mehri, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramdane","family":"Maamri","sequence":"additional","affiliation":[{"name":"LIRE Laboratory, University of Constantine II-Abdelhamid Mehri, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2017,11,1]]},"reference":[{"key":"bibr1-MGS-170276","unstructured":"BauerJ. KutscheR.D. and EhrmanntrautR., Identification and modeling of contexts for different information scenarios in air traffic, Technische Universita, Berlin, Diplomarbeit, 2003, 1\u2013104."},{"key":"bibr2-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-26350-0_5"},{"key":"bibr3-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1007\/11690634_13"},{"key":"bibr4-MGS-170276","first-page":"18","volume":"1256","author":"Cherfia T.A.","year":"2014","journal-title":"Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems"},{"key":"bibr5-MGS-170276","unstructured":"DeyA.K. SalberD. AbowdG.D. and FutakawaM., An architecture to support context-aware applications, Georgia Institute of Technology, 1999, 1\u201310."},{"key":"bibr6-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1007\/s007790170019"},{"key":"bibr7-MGS-170276","doi-asserted-by":"publisher","DOI":"10.3233\/MGS-160246"},{"key":"bibr8-MGS-170276","first-page":"16","author":"Ferry N.","year":"2010","journal-title":"Advances in Intelligent and Soft Computing"},{"key":"bibr9-MGS-170276","unstructured":"HenricksenK. IndulskaJ. and RakotonirainyA., Generating context management infrastructure from high-level context models, in: 4th International Conference on Mobile Data Management (MDM), Springer, Industrial Track, Melbourne, Australia, 21\u201324 January 2003, 1\u20136."},{"key":"bibr10-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1145\/176789.176794"},{"key":"bibr11-MGS-170276","doi-asserted-by":"crossref","unstructured":"HarringtonD. WijnenB. and PresuhnR., An architecture for describing simple network management protocol (SNMP) management frameworks [online], Available At: http:\/\/tools.Ietf.Org\/html\/rfc3411 [Accessed 9 Nov 2015], RFC Editor, United States, 2002, 1\u201364.","DOI":"10.17487\/rfc3411"},{"key":"bibr12-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.002"},{"key":"bibr13-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505004809"},{"key":"bibr14-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013591"},{"key":"bibr15-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2231985"},{"key":"bibr16-MGS-170276","first-page":"1","author":"Pereira E.","year":"2012","journal-title":"Cyber-Physical Cloud Computing Working Papers"},{"key":"bibr17-MGS-170276","unstructured":"RaoA.S. and GeorgeffM., BDI-agents: From theory to practice, in: Proceedings of the First International Conference on Multi Agent Systems, AAAI Press, San Francisco, California, 12\u201314 June 1995, 312\u2013319."},{"key":"bibr18-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-0394.2007.00436.x"},{"key":"bibr19-MGS-170276","first-page":"1043","volume":"15","author":"Sahnoun A.","year":"2016","journal-title":"Proceedings of SAI Intelligent Systems Conference"},{"key":"bibr20-MGS-170276","first-page":"61","volume":"1159","author":"Scalabrin E.","year":"1996","journal-title":"Distributed AI And Multi-Agent Systems I of LNCS"},{"key":"bibr21-MGS-170276","first-page":"85","author":"Schilit B.","year":"1994","journal-title":"IEEE Workshop on Mobile Computing Systems and Applications"},{"key":"bibr22-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2010.02.003"},{"key":"bibr23-MGS-170276","unstructured":"StrangT., Service Interoperability in Ubiquitous Computing Environments, PhD thesis, Ludwig-Maximilians-University Munich, Oct 2003."},{"key":"bibr24-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1109\/SSNE.2011.17"},{"key":"bibr25-MGS-170276","doi-asserted-by":"crossref","unstructured":"WeiserM., The Computer for the 21st Century, Scientific American, SPECIAL ISSUE: Communications, Computers and Networks: How to Work, Play and Thrive in Cyberspace 265(3) (1991), 94\u2013105.","DOI":"10.1038\/scientificamerican0991-94"},{"key":"bibr26-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1049\/ise.1994.0018"},{"key":"bibr27-MGS-170276","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2011.58"},{"key":"bibr28-MGS-170276","doi-asserted-by":"publisher","DOI":"10.7146\/brics.v12i27.21894"}],"container-title":["Multiagent and Grid Systems: An International Journal of Data Science and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/MGS-170276","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/MGS-170276","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/MGS-170276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T05:26:19Z","timestamp":1777613179000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/MGS-170276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["10.3233\/MGS-170276"],"URL":"https:\/\/doi.org\/10.3233\/mgs-170276","relation":{},"ISSN":["1574-1702","1875-9076"],"issn-type":[{"value":"1574-1702","type":"print"},{"value":"1875-9076","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11]]}}}