{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:VSJ2AFSMAOXFZDMVUR6CI3LHEW","short_pith_number":"pith:VSJ2AFSM","canonical_record":{"source":{"id":"1412.0527","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-01T16:14:08Z","cross_cats_sorted":[],"title_canon_sha256":"605e1d34563cddc051c5345b6f8a1118837c1b22fa0cec19f556f503ce3e3c35","abstract_canon_sha256":"1df9059b872cbb805de8d0c922082931ff24d7d8a0f2d8e5848fb573ef2f035e"},"schema_version":"1.0"},"canonical_sha256":"ac93a0164c03ae5c8d95a47c246d67259c5c04e110191c72a177c9162c1aea07","source":{"kind":"arxiv","id":"1412.0527","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.0527","created_at":"2026-05-18T02:32:23Z"},{"alias_kind":"arxiv_version","alias_value":"1412.0527v1","created_at":"2026-05-18T02:32:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.0527","created_at":"2026-05-18T02:32:23Z"},{"alias_kind":"pith_short_12","alias_value":"VSJ2AFSMAOXF","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VSJ2AFSMAOXFZDMV","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VSJ2AFSM","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:VSJ2AFSMAOXFZDMVUR6CI3LHEW","target":"record","payload":{"canonical_record":{"source":{"id":"1412.0527","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-01T16:14:08Z","cross_cats_sorted":[],"title_canon_sha256":"605e1d34563cddc051c5345b6f8a1118837c1b22fa0cec19f556f503ce3e3c35","abstract_canon_sha256":"1df9059b872cbb805de8d0c922082931ff24d7d8a0f2d8e5848fb573ef2f035e"},"schema_version":"1.0"},"canonical_sha256":"ac93a0164c03ae5c8d95a47c246d67259c5c04e110191c72a177c9162c1aea07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:32:23.188401Z","signature_b64":"6iEALPIeyjTQasKwoPbejiNDfuuwyaWRTVBtTMuARdeDSHQp4c77I645wKkplvYcenR+ytxHeE81xO+AI36YAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac93a0164c03ae5c8d95a47c246d67259c5c04e110191c72a177c9162c1aea07","last_reissued_at":"2026-05-18T02:32:23.187868Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:32:23.187868Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.0527","source_version":1,"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:32:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CwGs7Wm+vkyT242JXaSofkq8bvJ8hhPV5j9GoBAUytw4NSdE/nGu3ZK7BYQBCGKtOvpTV41r7JF+uQBVVP8TCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T00:28:25.664397Z"},"content_sha256":"b7f3146c182db54a2917d857303620d8bbb41b9a57997dc3a8842dc42d460099","schema_version":"1.0","event_id":"sha256:b7f3146c182db54a2917d857303620d8bbb41b9a57997dc3a8842dc42d460099"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:VSJ2AFSMAOXFZDMVUR6CI3LHEW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic adaptor synthesis for protocol transformation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Marco Autili, Massimo Tivoli, Paola Inverardi","submitted_at":"2014-12-01T16:14:08Z","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 issues, mainly related to compatibility and communication aspects. Components may have incompatible interaction behavior. Moreover it might be necessary to enhance the current communication protocol to introduce more sophisticated interactions among components. We address these problems enhancing our architectural approach which allows for detection and recovery of integration mismatches by synt"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.0527","kind":"arxiv","version":1},"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:32:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hQBh1eaD20gzZ14KlNXy5O9pAASS4QGHk5f1Y3YI80j77QLVimmlYz+lTrBl3V/ZTfwMAXrauoTrsWWCkUUFAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T00:28:25.665007Z"},"content_sha256":"987ff714a548d7fc34421587fb078b19a852792514f96017815677e48b14b4c6","schema_version":"1.0","event_id":"sha256:987ff714a548d7fc34421587fb078b19a852792514f96017815677e48b14b4c6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VSJ2AFSMAOXFZDMVUR6CI3LHEW/bundle.json","state_url":"https://pith.science/pith/VSJ2AFSMAOXFZDMVUR6CI3LHEW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VSJ2AFSMAOXFZDMVUR6CI3LHEW/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-05T00:28:25Z","links":{"resolver":"https://pith.science/pith/VSJ2AFSMAOXFZDMVUR6CI3LHEW","bundle":"https://pith.science/pith/VSJ2AFSMAOXFZDMVUR6CI3LHEW/bundle.json","state":"https://pith.science/pith/VSJ2AFSMAOXFZDMVUR6CI3LHEW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VSJ2AFSMAOXFZDMVUR6CI3LHEW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:VSJ2AFSMAOXFZDMVUR6CI3LHEW","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":"1df9059b872cbb805de8d0c922082931ff24d7d8a0f2d8e5848fb573ef2f035e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-01T16:14:08Z","title_canon_sha256":"605e1d34563cddc051c5345b6f8a1118837c1b22fa0cec19f556f503ce3e3c35"},"schema_version":"1.0","source":{"id":"1412.0527","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.0527","created_at":"2026-05-18T02:32:23Z"},{"alias_kind":"arxiv_version","alias_value":"1412.0527v1","created_at":"2026-05-18T02:32:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.0527","created_at":"2026-05-18T02:32:23Z"},{"alias_kind":"pith_short_12","alias_value":"VSJ2AFSMAOXF","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VSJ2AFSMAOXFZDMV","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VSJ2AFSM","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:987ff714a548d7fc34421587fb078b19a852792514f96017815677e48b14b4c6","target":"graph","created_at":"2026-05-18T02:32:23Z","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 issues, mainly related to compatibility and communication aspects. Components may have incompatible interaction behavior. Moreover it might be necessary to enhance the current communication protocol to introduce more sophisticated interactions among components. We address these problems enhancing our architectural approach which allows for detection and recovery of integration mismatches by synt","authors_text":"Marco Autili, Massimo Tivoli, Paola Inverardi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-01T16:14:08Z","title":"Automatic adaptor synthesis for protocol transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.0527","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:b7f3146c182db54a2917d857303620d8bbb41b9a57997dc3a8842dc42d460099","target":"record","created_at":"2026-05-18T02:32:23Z","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":"1df9059b872cbb805de8d0c922082931ff24d7d8a0f2d8e5848fb573ef2f035e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-01T16:14:08Z","title_canon_sha256":"605e1d34563cddc051c5345b6f8a1118837c1b22fa0cec19f556f503ce3e3c35"},"schema_version":"1.0","source":{"id":"1412.0527","kind":"arxiv","version":1}},"canonical_sha256":"ac93a0164c03ae5c8d95a47c246d67259c5c04e110191c72a177c9162c1aea07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac93a0164c03ae5c8d95a47c246d67259c5c04e110191c72a177c9162c1aea07","first_computed_at":"2026-05-18T02:32:23.187868Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:32:23.187868Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6iEALPIeyjTQasKwoPbejiNDfuuwyaWRTVBtTMuARdeDSHQp4c77I645wKkplvYcenR+ytxHeE81xO+AI36YAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:32:23.188401Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.0527","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7f3146c182db54a2917d857303620d8bbb41b9a57997dc3a8842dc42d460099","sha256:987ff714a548d7fc34421587fb078b19a852792514f96017815677e48b14b4c6"],"state_sha256":"054a53e46c5e7926eb811e2b04a918befd4f7bd1d9d7bb17e0358cb9f9a5a386"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8tUhNefCn25sq3ArSO9cua5CFVlWwzZslZ5PgLL+7UQEtR7VZAErLxSOUXAVKxcPc/73ILRs5X4SJiH43aejCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T00:28:25.668184Z","bundle_sha256":"141f56f00e1dc6060fb42745571447a9b040ac86f9914017e6d28fa9e2ae5c30"}}