{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:7KAUIPPNYWENBSEIXGQ5HVWLIE","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":"639014902883b340663efb2181bb93a694ddbfb173fe3f06374bc9097cd72896","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-06-25T17:55:17Z","title_canon_sha256":"12da7594da2d0cc352b0fa05e47a181512c1cf97d2dfb7435d11500dffd19ad7"},"schema_version":"1.0","source":{"id":"2006.14612","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.14612","created_at":"2026-07-05T01:13:33Z"},{"alias_kind":"arxiv_version","alias_value":"2006.14612v1","created_at":"2026-07-05T01:13:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.14612","created_at":"2026-07-05T01:13:33Z"},{"alias_kind":"pith_short_12","alias_value":"7KAUIPPNYWEN","created_at":"2026-07-05T01:13:33Z"},{"alias_kind":"pith_short_16","alias_value":"7KAUIPPNYWENBSEI","created_at":"2026-07-05T01:13:33Z"},{"alias_kind":"pith_short_8","alias_value":"7KAUIPPN","created_at":"2026-07-05T01:13:33Z"}],"graph_snapshots":[{"event_id":"sha256:3dae8daf2d45801c5a2037863b4ac90b54895bd868f2053bc0ccaafa37ff1cb2","target":"graph","created_at":"2026-07-05T01:13:33Z","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/2006.14612/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel typed graphs whose manipulation and transformation are carried out by multilevel typed graph transformation rules. These rules are cospans of three graphs and two inclusion graph homomorphisms where the three graphs are multilevel typed over a common typing chain. In this paper, we show that typed graph transformations can be appropriately generalized to multilevel typed graph transformations improving preciseness, fl","authors_text":"Adrian Rutle, Fernando Mac\\'ias, Uwe Wolter","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-06-25T17:55:17Z","title":"Multilevel Typed Graph Transformations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.14612","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:97dd19444bcad9d9f5e3c87427ccb99711c261ca1c701b5ca63616b2e1aa895c","target":"record","created_at":"2026-07-05T01:13:33Z","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":"639014902883b340663efb2181bb93a694ddbfb173fe3f06374bc9097cd72896","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-06-25T17:55:17Z","title_canon_sha256":"12da7594da2d0cc352b0fa05e47a181512c1cf97d2dfb7435d11500dffd19ad7"},"schema_version":"1.0","source":{"id":"2006.14612","kind":"arxiv","version":1}},"canonical_sha256":"fa81443dedc588d0c888b9a1d3d6cb4111d8484b6ebd8d69e4b204d6e357d44e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fa81443dedc588d0c888b9a1d3d6cb4111d8484b6ebd8d69e4b204d6e357d44e","first_computed_at":"2026-07-05T01:13:33.896120Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:13:33.896120Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lm0yd/d0xR/JkqZB9MtPOSdUYVEB+xBqxuV9MY5yJsihWzU4yKe3mv5CBJpjKKrX7jtg2czJzEnNiOsKXHEaAg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:13:33.896529Z","signed_message":"canonical_sha256_bytes"},"source_id":"2006.14612","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:97dd19444bcad9d9f5e3c87427ccb99711c261ca1c701b5ca63616b2e1aa895c","sha256:3dae8daf2d45801c5a2037863b4ac90b54895bd868f2053bc0ccaafa37ff1cb2"],"state_sha256":"fe3013f88ad0086c0ad2aec5c6fd96688b153e8ad703a2bab1d33641d94736c3"}