In smart environments, context-aware service sense various kinds of context information and reacts automatically to adapt to changing circumstances. These adaptions may lead to context changes which trigger other services elsewhere in the environment and thus produce cascading reactions. Conflict adaptions or unexpected side effects may exist in this process. This article focuses on service conflicts related to frustrations in service execution and violations of the service's objective. A petri net-based approach is proposed to model and simulate context changes as well as services execution, and a conflicts discovery mechanism was built to detect potential conflicts. The case study of smart home scenarios shows how the method helps locate conflicts caused by different services, validating the effectiveness of the proposed approach.<\/p>","DOI":"10.4018\/ijaci.2019070105","type":"journal-article","created":{"date-parts":[[2019,7,19]],"date-time":"2019-07-19T13:46:35Z","timestamp":1563543995000},"page":"74-91","source":"Crossref","is-referenced-by-count":1,"title":["Context-Aware Service Modeling and Conflicts Discovery Based on Petri Net"],"prefix":"10.4018","volume":"10","author":[{"given":"Tao","family":"Lu","sequence":"first","affiliation":[{"name":"Institute of system engineering, Dalian University of Technology, Dalian, China"}]},{"given":"Dan","family":"Zhao","sequence":"additional","affiliation":[{"name":"Institute of system engineering, Dalian University of Technology, Dalian, China"}]}],"member":"2432","reference":[{"key":"IJACI.2019070105-0","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48157-5_29"},{"key":"IJACI.2019070105-1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2006.48"},{"key":"IJACI.2019070105-2","first-page":"134","article-title":"Increasing reliability in the development of intelligent environments.","author":"J. C.Augusto","year":"2009","journal-title":"Proceedings of the 5th international conference on intelligent environments"},{"key":"IJACI.2019070105-3","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2012.12.004"},{"key":"IJACI.2019070105-4","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2013.06.001"},{"key":"IJACI.2019070105-5","doi-asserted-by":"crossref","unstructured":"Cassens, J., Schmitt, F., Mende, T., & Herczeg, M. (2012). CASi - A generic context awareness simulator for ambient systems. In International Joint Conference on Ambient Intelligence (pp. 421-426). Berlin, Germany: Springer.","DOI":"10.1007\/978-3-642-34898-3_37"},{"key":"IJACI.2019070105-6","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-013-0209-4"},{"key":"IJACI.2019070105-7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.335"},{"key":"IJACI.2019070105-8","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_02"},{"key":"IJACI.2019070105-9","doi-asserted-by":"publisher","DOI":"10.1007\/s40860-016-0020-z"},{"key":"IJACI.2019070105-10","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-009-0060-5"},{"key":"IJACI.2019070105-11","unstructured":"Lee, K., Cho, E., & Kim, H. (2006). An ECA rule-based task programming language for ubiquitous environments. In International Conference on Advanced Communication Technology (ICACT2006) (pp. 357-360). New York, NY: IEEE."},{"key":"IJACI.2019070105-12","first-page":"169","article-title":"Formal analysis of pervasive computing systems.","author":"Y.Liu","year":"2012","journal-title":"International Conference on Engineering of Complex Computer System"},{"issue":"1","key":"IJACI.2019070105-13","first-page":"15","article-title":"Formal mirror models: An approach to just-in-time reasoning for device ecologies.","volume":"2","author":"S. W.Loke","year":"2008","journal-title":"International Journal of Smart Home"},{"key":"IJACI.2019070105-14","first-page":"25","article-title":"Fuzzy ECA rules for pervasive decision-centric personalized mobile learning.","volume":"273","author":"P.Moore","year":"2010","journal-title":"Studies in Computational Intelligence: Computational Intelligence for Technology Enhanced Learning"},{"issue":"3","key":"IJACI.2019070105-15","first-page":"1","article-title":"Modeling, simulation, and control of smart homes using petri nets.","volume":"5","author":"A. K.Nabih","year":"2011","journal-title":"International Journal of Smart Home"},{"key":"IJACI.2019070105-16","doi-asserted-by":"publisher","DOI":"10.1145\/311531.311623"},{"key":"IJACI.2019070105-17","doi-asserted-by":"publisher","DOI":"10.1007\/s40860-016-0019-5"},{"key":"IJACI.2019070105-18","unstructured":"Shankar, C., Ranganathan, A., & Campbell, R. (2005). An ECA-P policy-based framework for managing ubiquitous computing environments. In Proceedings of the Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous \u201905) (pp. 33-42). New York, NY: IEEE."},{"key":"IJACI.2019070105-19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76890-6_2"},{"key":"IJACI.2019070105-20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.12.030"},{"key":"IJACI.2019070105-21","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0991-94"},{"issue":"9","key":"IJACI.2019070105-22","first-page":"1024","article-title":"Pervasive\/ubiquitous computing.","volume":"26","author":"G.Xu","year":"2003","journal-title":"Chinese Journal of Computers"}],"container-title":["International Journal of Ambient Computing and Intelligence"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=233819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T18:35:05Z","timestamp":1651862105000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJACI.2019070105"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2019,7,1]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,7]]}},"URL":"https:\/\/doi.org\/10.4018\/ijaci.2019070105","relation":{},"ISSN":["1941-6237","1941-6245"],"issn-type":[{"value":"1941-6237","type":"print"},{"value":"1941-6245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,1]]}}}