{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:45:16Z","timestamp":1730209516672,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1109\/cogsima.2015.7108173","type":"proceedings-article","created":{"date-parts":[[2015,5,19]],"date-time":"2015-05-19T20:05:39Z","timestamp":1432065939000},"page":"42-48","source":"Crossref","is-referenced-by-count":1,"title":["Assessing situation models with a lightweight formal method"],"prefix":"10.1109","author":[{"given":"Vinicius M.","family":"Sobral","sequence":"first","affiliation":[]},{"given":"Joao Paulo A.","family":"Almeida","sequence":"additional","affiliation":[]},{"given":"Patr\u00edcia Dockhorn","family":"Costa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CogSIMA.2013.6523827"},{"key":"ref3","article-title":"Architectural Support for Context-Aware Applications: From Context Models to Services Platforms","author":"costa","year":"2007","journal-title":"University of Twente"},{"key":"ref6","first-page":"i","author":"jackson","year":"2006","journal-title":"Software Abstractions-Logic Language and Analysis"},{"key":"ref5","first-page":"2904","article-title":"Validating Modal Aspects of Onto UML Conceptual Models Using Automatically Generated Visual World Structures","volume":"16","author":"benevides","year":"2010","journal-title":"J UCS"},{"key":"ref8","first-page":"346","article-title":"Network composition for situation assessment: A trusted meeting case study","author":"lu","year":"2012","journal-title":"Information Fusion (FUSION) 2012 15th International Conference on"},{"key":"ref7","article-title":"Ontological foundations for structural conceptual models","author":"guizzardi","year":"2005","journal-title":"CTIT Centre for Telematics and Information Technology"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2012.26"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12206-9_30"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2007.01.004"}],"event":{"name":"2015 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support","start":{"date-parts":[[2015,3,9]]},"location":"Orlando, FL","end":{"date-parts":[[2015,3,12]]}},"container-title":["2015 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102993\/7107964\/07108173.pdf?arnumber=7108173","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T17:55:07Z","timestamp":1490378107000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7108173\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/cogsima.2015.7108173","relation":{},"subject":[],"published":{"date-parts":[[2015,3]]}}}