{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:MBBDMQTL4SSH4IZJ3DD2PKS66H","short_pith_number":"pith:MBBDMQTL","canonical_record":{"source":{"id":"1504.07504","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:37:50Z","cross_cats_sorted":[],"title_canon_sha256":"76e3267b3ae882c8c768d10a26a6b0296b8c2a9321822a159457c7449561f256","abstract_canon_sha256":"310b57428876649666a7e8afc3a14e28e227c3dfba8fb43636ab62341a104b56"},"schema_version":"1.0"},"canonical_sha256":"604236426be4a47e2329d8c7a7aa5ef1e15fe5a46eeb059425325112fa77ab38","source":{"kind":"arxiv","id":"1504.07504","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:MBBDMQTL4SSH4IZJ3DD2PKS66H","target":"record","payload":{"canonical_record":{"source":{"id":"1504.07504","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:37:50Z","cross_cats_sorted":[],"title_canon_sha256":"76e3267b3ae882c8c768d10a26a6b0296b8c2a9321822a159457c7449561f256","abstract_canon_sha256":"310b57428876649666a7e8afc3a14e28e227c3dfba8fb43636ab62341a104b56"},"schema_version":"1.0"},"canonical_sha256":"604236426be4a47e2329d8c7a7aa5ef1e15fe5a46eeb059425325112fa77ab38","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:17:10.736018Z","signature_b64":"JF0fQSaSacJzKuukbBixxpC0gAwV+pigE4VSrRhXXowKCCq8gYNqqwJQR9D+818+RXehc7H6fYeRTIjVZiWBAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"604236426be4a47e2329d8c7a7aa5ef1e15fe5a46eeb059425325112fa77ab38","last_reissued_at":"2026-05-18T02:17:10.735281Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:17:10.735281Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.07504","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:17:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xmsW02DIIEF8HbR9Vx2V9yhn7XRN/F468UUVN1ul7oDGLgJKkTwlir68ODf8irkVoIc06VTtkMKmANr3HGr1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T02:25:27.147260Z"},"content_sha256":"af3e19297cb3a1b2354a78988c9332d588d20e0f436e544e64127371330d2940","schema_version":"1.0","event_id":"sha256:af3e19297cb3a1b2354a78988c9332d588d20e0f436e544e64127371330d2940"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:MBBDMQTL4SSH4IZJ3DD2PKS66H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesis of correct adaptors for protocol enhancement in component-based systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"David Garlan, Marco Autili, Massimo Tivoli, Paola Inverardi","submitted_at":"2015-04-28T14:37:50Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07504","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:17:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YncATKwipGuqZ0yIV6BqSX9jTb01R7OPnkGzd9mdK+gqzKEzTf+ACCOloTwWFaS5BwEUIfcjtnswCqS0WJiUAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T02:25:27.147913Z"},"content_sha256":"193d36e2371bda5dcda0cab49f44fe6a5115750569400e7dad75d00ad5809d14","schema_version":"1.0","event_id":"sha256:193d36e2371bda5dcda0cab49f44fe6a5115750569400e7dad75d00ad5809d14"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MBBDMQTL4SSH4IZJ3DD2PKS66H/bundle.json","state_url":"https://pith.science/pith/MBBDMQTL4SSH4IZJ3DD2PKS66H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MBBDMQTL4SSH4IZJ3DD2PKS66H/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T02:25:27Z","links":{"resolver":"https://pith.science/pith/MBBDMQTL4SSH4IZJ3DD2PKS66H","bundle":"https://pith.science/pith/MBBDMQTL4SSH4IZJ3DD2PKS66H/bundle.json","state":"https://pith.science/pith/MBBDMQTL4SSH4IZJ3DD2PKS66H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MBBDMQTL4SSH4IZJ3DD2PKS66H/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"An1NtabQWfhMi0H/8IdRypkNTh20pkYgYtH+37cVdJ55iW8Epfw+hTiTuB5zfUxvDfChy0eko1Rag/ds3/IeBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T02:25:27.151701Z","bundle_sha256":"3728af741c18b2f05e3f51d6822661fd4b5fad5f870723cd0f1248c924b97ffd"}}