{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:DPKTGVETYPRR4CPSM2QMK5U7O2","short_pith_number":"pith:DPKTGVET","schema_version":"1.0","canonical_sha256":"1bd5335493c3e31e09f266a0c5769f76aa8dfdd18f2147d3fb235a0acd9c3dbc","source":{"kind":"arxiv","id":"2607.29552","version":1},"attestation_state":"computed","paper":{"title":"Improving the Understandability of Conceptual Models via Abstract Notation Engineering","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Amine Abbad-Andaloussi, Daniel Jeppe Sch\\\"utt, Hugo A. L\\'opez, Kasper Solh{\\o}j J{\\o}rgensen, Tobias van Deurs Lundsgaard","submitted_at":"2026-07-31T15:43:34Z","abstract_excerpt":"Conceptual modeling supports the design, analysis, and communication of the properties of complex systems, yet conceptual models can be difficult to understand when domain-level abstractions must be encoded through low-level constructs required mainly for semantic conformity. Prior work has mainly improved how existing individual constructs are visually represented. We shift the focus from individual constructs to recurring configurations of constructs, and propose abstract notation engineering as a language-agnostic method for replacing such configurations with higher-level, semantically tran"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2607.29552","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-31T15:43:34Z","cross_cats_sorted":[],"title_canon_sha256":"ad284de4e52fcf0fbb8066e6d47235fccc261207728d698f44bbeb71bf772a11","abstract_canon_sha256":"e7a3c5d3f5d21fb725300c7b1ca39b52551cf7de29540b18635de2363b9f30d6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-03T01:38:19.302294Z","signature_b64":"WM5I80xvAK4P/CSeOA4fejivIBaMHjx9k+dkjh66C3YGxrKKRF8KtQxiBaa1OvLFX9aJxMz2sDnYxkMSecGaBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1bd5335493c3e31e09f266a0c5769f76aa8dfdd18f2147d3fb235a0acd9c3dbc","last_reissued_at":"2026-08-03T01:38:19.300859Z","signature_status":"signed_v1","first_computed_at":"2026-08-03T01:38:19.300859Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Improving the Understandability of Conceptual Models via Abstract Notation Engineering","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Amine Abbad-Andaloussi, Daniel Jeppe Sch\\\"utt, Hugo A. L\\'opez, Kasper Solh{\\o}j J{\\o}rgensen, Tobias van Deurs Lundsgaard","submitted_at":"2026-07-31T15:43:34Z","abstract_excerpt":"Conceptual modeling supports the design, analysis, and communication of the properties of complex systems, yet conceptual models can be difficult to understand when domain-level abstractions must be encoded through low-level constructs required mainly for semantic conformity. Prior work has mainly improved how existing individual constructs are visually represented. We shift the focus from individual constructs to recurring configurations of constructs, and propose abstract notation engineering as a language-agnostic method for replacing such configurations with higher-level, semantically tran"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.29552","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/2607.29552/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.29552","created_at":"2026-08-03T01:38:19.301718+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.29552v1","created_at":"2026-08-03T01:38:19.301718+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.29552","created_at":"2026-08-03T01:38:19.301718+00:00"},{"alias_kind":"pith_short_12","alias_value":"DPKTGVETYPRR","created_at":"2026-08-03T01:38:19.301718+00:00"},{"alias_kind":"pith_short_16","alias_value":"DPKTGVETYPRR4CPS","created_at":"2026-08-03T01:38:19.301718+00:00"},{"alias_kind":"pith_short_8","alias_value":"DPKTGVET","created_at":"2026-08-03T01:38:19.301718+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2","json":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2.json","graph_json":"https://pith.science/api/pith-number/DPKTGVETYPRR4CPSM2QMK5U7O2/graph.json","events_json":"https://pith.science/api/pith-number/DPKTGVETYPRR4CPSM2QMK5U7O2/events.json","paper":"https://pith.science/paper/DPKTGVET"},"agent_actions":{"view_html":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2","download_json":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2.json","view_paper":"https://pith.science/paper/DPKTGVET","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.29552&json=true","fetch_graph":"https://pith.science/api/pith-number/DPKTGVETYPRR4CPSM2QMK5U7O2/graph.json","fetch_events":"https://pith.science/api/pith-number/DPKTGVETYPRR4CPSM2QMK5U7O2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2/action/storage_attestation","attest_author":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2/action/author_attestation","sign_citation":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2/action/citation_signature","submit_replication":"https://pith.science/pith/DPKTGVETYPRR4CPSM2QMK5U7O2/action/replication_record"}},"created_at":"2026-08-03T01:38:19.301718+00:00","updated_at":"2026-08-03T01:38:19.301718+00:00"}