{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:KHHHL2WALEPU4IECDEOUB5U6JN","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a3a6544bdcb4193177f768413de60063e690977fe46be1b2019ce50400950a2d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-05-18T06:32:29Z","title_canon_sha256":"f353937367f09d5f04f3961e6ceca8b20610035683c670936a5843e889eb9423"},"schema_version":"1.0","source":{"id":"1505.04527","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.04527","created_at":"2026-05-18T02:07:25Z"},{"alias_kind":"arxiv_version","alias_value":"1505.04527v1","created_at":"2026-05-18T02:07:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.04527","created_at":"2026-05-18T02:07:25Z"},{"alias_kind":"pith_short_12","alias_value":"KHHHL2WALEPU","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"KHHHL2WALEPU4IEC","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"KHHHL2WA","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:a98a27a065594849d38d1d7ce87f64ca969363fbc7cd1363dca31b7939be10b2","target":"graph","created_at":"2026-05-18T02:07:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"A computing infrastructure where everything is a service offers many new system and application possibilities. Among the main challenges, however, is the issue of service substitution for the application execution in such heterogeneous environments. An application would like to continue to execute even when a service disappears, or it would like to benefit from the environment by using better services with better QoS when possible. In this article, we define a generic service model and describe the equivalence relations between services considering the functionalities they propose and their no","authors_text":"Fr\\'ed\\'eric Le Mou\\\"el (CITI Insa Lyon / INRIA Grenoble Rh\\^one-Alpes), Noha Ibrahim, St\\'ephane Fr\\'enot (CITI Insa Lyon / Inria Grenoble Rh\\^one-Alpes)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-05-18T06:32:29Z","title":"Semantic Service Substitution in Pervasive Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.04527","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:9b3252db0b12569ebf1c101988e187642f5fe427a27cfdf9f8d4ca47badcf331","target":"record","created_at":"2026-05-18T02:07:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a3a6544bdcb4193177f768413de60063e690977fe46be1b2019ce50400950a2d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-05-18T06:32:29Z","title_canon_sha256":"f353937367f09d5f04f3961e6ceca8b20610035683c670936a5843e889eb9423"},"schema_version":"1.0","source":{"id":"1505.04527","kind":"arxiv","version":1}},"canonical_sha256":"51ce75eac0591f4e2082191d40f69e4b621ca1f24ce18f33008cce652d8c64fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51ce75eac0591f4e2082191d40f69e4b621ca1f24ce18f33008cce652d8c64fa","first_computed_at":"2026-05-18T02:07:25.242924Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:07:25.242924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZO68/MTTyuMC2cAY9yQCSzivNY2SCIa2CnmuAD2g/LtNGdPEZJCmGulMWDqeLa8vp4ahKe58QSUHAWkZsuNfDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:07:25.243441Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.04527","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b3252db0b12569ebf1c101988e187642f5fe427a27cfdf9f8d4ca47badcf331","sha256:a98a27a065594849d38d1d7ce87f64ca969363fbc7cd1363dca31b7939be10b2"],"state_sha256":"d86fe234a62684344bf6724030a25ae1d3198e0b333091aa5a647c8a3ad6beed"}