{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:MBBDMQTL4SSH4IZJ3DD2PKS66H","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":"310b57428876649666a7e8afc3a14e28e227c3dfba8fb43636ab62341a104b56","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:37:50Z","title_canon_sha256":"76e3267b3ae882c8c768d10a26a6b0296b8c2a9321822a159457c7449561f256"},"schema_version":"1.0","source":{"id":"1504.07504","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07504","created_at":"2026-05-18T02:17:10Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07504v2","created_at":"2026-05-18T02:17:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07504","created_at":"2026-05-18T02:17:10Z"},{"alias_kind":"pith_short_12","alias_value":"MBBDMQTL4SSH","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MBBDMQTL4SSH4IZJ","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MBBDMQTL","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:193d36e2371bda5dcda0cab49f44fe6a5115750569400e7dad75d00ad5809d14","target":"graph","created_at":"2026-05-18T02:17:10Z","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":"Adaptation of software components is an important issue in Component Based Software Engineering (CBSE). Building a system from reusable or Commercial-Off-The-Shelf (COTS) components introduces a set of problems, mainly related to compatibility and communication aspects. On one hand, components may have incompatible interaction behavior. This might require to restrict the system's behavior to a subset of safe behaviors. On the other hand, it might be necessary to enhance the current communication protocol. This might require to augment the system's behavior to introduce more sophisticated inter","authors_text":"David Garlan, Marco Autili, Massimo Tivoli, Paola Inverardi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:37:50Z","title":"Synthesis of correct adaptors for protocol enhancement in component-based systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07504","kind":"arxiv","version":2},"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:af3e19297cb3a1b2354a78988c9332d588d20e0f436e544e64127371330d2940","target":"record","created_at":"2026-05-18T02:17:10Z","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":"310b57428876649666a7e8afc3a14e28e227c3dfba8fb43636ab62341a104b56","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:37:50Z","title_canon_sha256":"76e3267b3ae882c8c768d10a26a6b0296b8c2a9321822a159457c7449561f256"},"schema_version":"1.0","source":{"id":"1504.07504","kind":"arxiv","version":2}},"canonical_sha256":"604236426be4a47e2329d8c7a7aa5ef1e15fe5a46eeb059425325112fa77ab38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"604236426be4a47e2329d8c7a7aa5ef1e15fe5a46eeb059425325112fa77ab38","first_computed_at":"2026-05-18T02:17:10.735281Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:17:10.735281Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JF0fQSaSacJzKuukbBixxpC0gAwV+pigE4VSrRhXXowKCCq8gYNqqwJQR9D+818+RXehc7H6fYeRTIjVZiWBAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:17:10.736018Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.07504","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af3e19297cb3a1b2354a78988c9332d588d20e0f436e544e64127371330d2940","sha256:193d36e2371bda5dcda0cab49f44fe6a5115750569400e7dad75d00ad5809d14"],"state_sha256":"6d24b6bf739a428b9a41b9a59aa9a43fa79fa86db3e95b3461c96594d7fa5cdf"}