{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:BFFUGZLS3TWFZRENMVCSJ5RIPU","short_pith_number":"pith:BFFUGZLS","canonical_record":{"source":{"id":"2011.03357","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-11-06T13:45:45Z","cross_cats_sorted":[],"title_canon_sha256":"c0fe0f134f259a3a7d6c37c6ba8f09f45436c46453b2420c8b800a0ab418719d","abstract_canon_sha256":"4700ab81718ab82422cfa424a7e3e64a4504fe35ddd4fd695933958a1d04ff00"},"schema_version":"1.0"},"canonical_sha256":"094b436572dcec5cc48d654524f6287d11f1d44e1fb060d529c190200e8a8a52","source":{"kind":"arxiv","id":"2011.03357","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2011.03357","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"arxiv_version","alias_value":"2011.03357v1","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.03357","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"pith_short_12","alias_value":"BFFUGZLS3TWF","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"pith_short_16","alias_value":"BFFUGZLS3TWFZREN","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"pith_short_8","alias_value":"BFFUGZLS","created_at":"2026-07-05T01:49:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:BFFUGZLS3TWFZRENMVCSJ5RIPU","target":"record","payload":{"canonical_record":{"source":{"id":"2011.03357","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-11-06T13:45:45Z","cross_cats_sorted":[],"title_canon_sha256":"c0fe0f134f259a3a7d6c37c6ba8f09f45436c46453b2420c8b800a0ab418719d","abstract_canon_sha256":"4700ab81718ab82422cfa424a7e3e64a4504fe35ddd4fd695933958a1d04ff00"},"schema_version":"1.0"},"canonical_sha256":"094b436572dcec5cc48d654524f6287d11f1d44e1fb060d529c190200e8a8a52","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:49:42.341245Z","signature_b64":"xcSNba+8a1J2aXDbtIETxWhQ2jrtsCVugtMD2KnoCWiQqE8sybxCllBD7CVYo78tuN10CRWtCNG1sPmnM6IUCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"094b436572dcec5cc48d654524f6287d11f1d44e1fb060d529c190200e8a8a52","last_reissued_at":"2026-07-05T01:49:42.340075Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:49:42.340075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2011.03357","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-07-05T01:49:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8m/OUeqWi4FmIkKP9L6XfGeyk32w7xwaLNY9d1dWG4saw96dFUa+5AZ1bXfpYuhsHbIJP3yA9H5RovS7Txe0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T09:48:03.209934Z"},"content_sha256":"6296a239274c263ae805bd7a71eedd028af9286139c5f24b65ac1d7f842266ac","schema_version":"1.0","event_id":"sha256:6296a239274c263ae805bd7a71eedd028af9286139c5f24b65ac1d7f842266ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:BFFUGZLS3TWFZRENMVCSJ5RIPU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian M\\\"oller, Andy Sch\\\"urr, Gabriele Taentzer, Jens Kosiol, Lars Fritsche","submitted_at":"2020-11-06T13:45:45Z","abstract_excerpt":"Concurrent model synchronization is the task of restoring consistency between two correlated models after they have been changed concurrently and independently. To determine whether such concurrent model changes conflict with each other and to resolve these conflicts taking domain- or user-specific preferences into account is highly challenging. In this paper, we present a framework for concurrent model synchronization algorithms based on Triple Graph Grammars (TGGs). TGGs specify the consistency of correlated models using grammar rules; these rules can be used to derive different consistency "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.03357","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2011.03357/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:49:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DEJDz9u7IZQLFUy4rNrgPqKLlzuV5eLhe0xZIgpopjkxfDs4V+Akg0xWEyoNMo6iv9z9i9ZpTvmi+6Ktlr6/AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T09:48:03.210295Z"},"content_sha256":"7ed9df97130ad5a5035cf67de40b3094cfb2ac178b34b48f02e52e0ee3bb90f1","schema_version":"1.0","event_id":"sha256:7ed9df97130ad5a5035cf67de40b3094cfb2ac178b34b48f02e52e0ee3bb90f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BFFUGZLS3TWFZRENMVCSJ5RIPU/bundle.json","state_url":"https://pith.science/pith/BFFUGZLS3TWFZRENMVCSJ5RIPU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BFFUGZLS3TWFZRENMVCSJ5RIPU/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-07-18T09:48:03Z","links":{"resolver":"https://pith.science/pith/BFFUGZLS3TWFZRENMVCSJ5RIPU","bundle":"https://pith.science/pith/BFFUGZLS3TWFZRENMVCSJ5RIPU/bundle.json","state":"https://pith.science/pith/BFFUGZLS3TWFZRENMVCSJ5RIPU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BFFUGZLS3TWFZRENMVCSJ5RIPU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:BFFUGZLS3TWFZRENMVCSJ5RIPU","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":"4700ab81718ab82422cfa424a7e3e64a4504fe35ddd4fd695933958a1d04ff00","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-11-06T13:45:45Z","title_canon_sha256":"c0fe0f134f259a3a7d6c37c6ba8f09f45436c46453b2420c8b800a0ab418719d"},"schema_version":"1.0","source":{"id":"2011.03357","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2011.03357","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"arxiv_version","alias_value":"2011.03357v1","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.03357","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"pith_short_12","alias_value":"BFFUGZLS3TWF","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"pith_short_16","alias_value":"BFFUGZLS3TWFZREN","created_at":"2026-07-05T01:49:42Z"},{"alias_kind":"pith_short_8","alias_value":"BFFUGZLS","created_at":"2026-07-05T01:49:42Z"}],"graph_snapshots":[{"event_id":"sha256:7ed9df97130ad5a5035cf67de40b3094cfb2ac178b34b48f02e52e0ee3bb90f1","target":"graph","created_at":"2026-07-05T01:49:42Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2011.03357/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Concurrent model synchronization is the task of restoring consistency between two correlated models after they have been changed concurrently and independently. To determine whether such concurrent model changes conflict with each other and to resolve these conflicts taking domain- or user-specific preferences into account is highly challenging. In this paper, we present a framework for concurrent model synchronization algorithms based on Triple Graph Grammars (TGGs). TGGs specify the consistency of correlated models using grammar rules; these rules can be used to derive different consistency ","authors_text":"Adrian M\\\"oller, Andy Sch\\\"urr, Gabriele Taentzer, Jens Kosiol, Lars Fritsche","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-11-06T13:45:45Z","title":"A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.03357","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:6296a239274c263ae805bd7a71eedd028af9286139c5f24b65ac1d7f842266ac","target":"record","created_at":"2026-07-05T01:49:42Z","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":"4700ab81718ab82422cfa424a7e3e64a4504fe35ddd4fd695933958a1d04ff00","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-11-06T13:45:45Z","title_canon_sha256":"c0fe0f134f259a3a7d6c37c6ba8f09f45436c46453b2420c8b800a0ab418719d"},"schema_version":"1.0","source":{"id":"2011.03357","kind":"arxiv","version":1}},"canonical_sha256":"094b436572dcec5cc48d654524f6287d11f1d44e1fb060d529c190200e8a8a52","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"094b436572dcec5cc48d654524f6287d11f1d44e1fb060d529c190200e8a8a52","first_computed_at":"2026-07-05T01:49:42.340075Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:49:42.340075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xcSNba+8a1J2aXDbtIETxWhQ2jrtsCVugtMD2KnoCWiQqE8sybxCllBD7CVYo78tuN10CRWtCNG1sPmnM6IUCA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:49:42.341245Z","signed_message":"canonical_sha256_bytes"},"source_id":"2011.03357","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6296a239274c263ae805bd7a71eedd028af9286139c5f24b65ac1d7f842266ac","sha256:7ed9df97130ad5a5035cf67de40b3094cfb2ac178b34b48f02e52e0ee3bb90f1"],"state_sha256":"ac31ec0565d7634e9ef73a24b0c1d98dfe1d3b53e20e99919447033dadb1c994"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dBSVBTZv8XW8QDSVFX4VH/PRlqUg6VSMQagZL/a9mB+ae7D9Fl/AQNzRqpxsK6/g2ngtG4BuLh4sWS/SPu6UCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-18T09:48:03.212414Z","bundle_sha256":"2563512ef545b949521d3b92d883bd40acbfc1f0bcf9ca1243ac41fdd3acd5ba"}}