{"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"}