{"id":"https://openalex.org/W2545579647","doi":"https://doi.org/10.23638/lmcs-13(3:5)2017","title":"Tracing where IoT data are collected and aggregated","display_name":"Tracing where IoT data are collected and aggregated","publication_year":2017,"publication_date":"2017-07-19","ids":{"openalex":"https://openalex.org/W2545579647","doi":"https://doi.org/10.23638/lmcs-13(3:5)2017","mag":"2545579647"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-13(3:5)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:5)2017","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.23638/lmcs-13(3:5)2017","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074423047","display_name":"Chiara Bodei","orcid":"https://orcid.org/0000-0002-0586-9333"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chiara Bodei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055365661","display_name":"Pierpaolo Degano","orcid":"https://orcid.org/0000-0002-8070-4838"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pierpaolo Degano","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021962518","display_name":"Gianluigi Ferrari","orcid":"https://orcid.org/0000-0001-6688-0934"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gian-Luigi Ferrari","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5043354136","display_name":"Letterio Galletta","orcid":"https://orcid.org/0000-0003-0351-9169"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Letterio Galletta","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5074423047"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5327,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.84591497,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"Volume 13, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.791780948638916},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.7894959449768066},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.7781235575675964},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5936722755432129},{"id":"https://openalex.org/keywords/smart-objects","display_name":"Smart objects","score":0.5601311922073364},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4862919747829437},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.47325044870376587},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.4214611351490021},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.41126003861427307},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.329914391040802},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3269214332103729},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2157275676727295},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15188279747962952}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.791780948638916},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.7894959449768066},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.7781235575675964},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5936722755432129},{"id":"https://openalex.org/C2780202397","wikidata":"https://www.wikidata.org/wiki/Q2294986","display_name":"Smart objects","level":3,"score":0.5601311922073364},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4862919747829437},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.47325044870376587},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.4214611351490021},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.41126003861427307},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.329914391040802},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3269214332103729},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2157275676727295},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15188279747962952},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23638/lmcs-13(3:5)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:5)2017","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1610.08419","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1610.08419","pdf_url":"https://arxiv.org/pdf/1610.08419","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.1610.08419","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1610.08419","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.23638/lmcs-13(3:5)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:5)2017","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6399999856948853,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W563453116","https://openalex.org/W604094558","https://openalex.org/W1557561422","https://openalex.org/W1586636845","https://openalex.org/W1601449964","https://openalex.org/W1801319046","https://openalex.org/W1882297107","https://openalex.org/W1980168285","https://openalex.org/W1990328104","https://openalex.org/W1991895580","https://openalex.org/W1994676271","https://openalex.org/W2002622794","https://openalex.org/W2013747113","https://openalex.org/W2034079583","https://openalex.org/W2039909203","https://openalex.org/W2043100293","https://openalex.org/W2085407655","https://openalex.org/W2087356426","https://openalex.org/W2098830096","https://openalex.org/W2128932399","https://openalex.org/W2140856716","https://openalex.org/W2141624400","https://openalex.org/W2147340401","https://openalex.org/W2161307885","https://openalex.org/W2162888762","https://openalex.org/W2164336389","https://openalex.org/W2274568150","https://openalex.org/W2342691005","https://openalex.org/W2464481483","https://openalex.org/W2490188604","https://openalex.org/W2512141519","https://openalex.org/W2516030120","https://openalex.org/W2560421581","https://openalex.org/W2574397945","https://openalex.org/W2575895509","https://openalex.org/W2579546781","https://openalex.org/W2604787077"],"related_works":["https://openalex.org/W4245926026","https://openalex.org/W4311097251","https://openalex.org/W2586548817","https://openalex.org/W2888673113","https://openalex.org/W2625093826","https://openalex.org/W2950174689","https://openalex.org/W4200598720","https://openalex.org/W2921026492","https://openalex.org/W2558872422","https://openalex.org/W1980767016"],"abstract_inverted_index":{"The":[0,97],"Internet":[1],"of":[2,8,22,64,87,99,112],"Things":[3],"(IoT)":[4],"offers":[5],"the":[6,9,52,82,85,95,100,110],"infrastructure":[7],"information":[10],"society.":[11],"It":[12],"hosts":[13],"smart":[14,113],"objects":[15],"that":[16,80],"automatically":[17],"collect":[18],"and":[19,36,44,49,84,90],"exchange":[20],"data":[21],"various":[23],"kinds,":[24],"directly":[25],"gathered":[26],"from":[27,60],"sensors":[28],"or":[29],"generated":[30],"by":[31,105],"aggregations.":[32],"Suitable":[33],"coordination":[34],"primitives":[35],"analysis":[37,79,101],"mechanisms":[38],"are":[39],"in":[40,94,115],"order":[41],"to":[42,50,108,117],"design":[43],"reason":[45],"about":[46],"IoT":[47,88],"systems,":[48],"intercept":[51],"implied":[53],"technological":[54],"shifts.":[55],"We":[56],"address":[57],"these":[58],"issues":[59],"a":[61,72,77,106],"foundational":[62],"point":[63],"view.":[65],"To":[66],"study":[67],"them,":[68],"we":[69],"define":[70],"IoT-LySa,":[71],"process":[73],"calculus":[74],"endowed":[75],"with":[76],"static":[78],"tracks":[81],"provenance":[83],"manipulation":[86],"data,":[89],"how":[91],"they":[92],"flow":[93],"system.":[96],"results":[98],"can":[102],"be":[103],"used":[104],"designer":[107],"check":[109],"behaviour":[111],"objects,":[114],"particular":[116],"verify":[118],"non-functional":[119],"properties,":[120],"among":[121],"which":[122],"security.":[123]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}