{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:TV6VKTGCAVX4MPIXQ3PGUSBWWU","short_pith_number":"pith:TV6VKTGC","schema_version":"1.0","canonical_sha256":"9d7d554cc2056fc63d1786de6a4836b512ff918198afff62443dac16a55ab93f","source":{"kind":"arxiv","id":"1803.10831","version":1},"attestation_state":"computed","paper":{"title":"Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Andy Sch\\\"urr (TU Darmstadt, Anthony Anjorin (Paderborn University, Enes Yigitbas (Paderborn University, Erhan Leblebici (TU Darmstadt, Germany, Germany), Marius Lauder (Continental Automotive GmbH, Martin Witte (Siemens AG","submitted_at":"2018-03-28T19:57:59Z","abstract_excerpt":"To cope with the increasing complexity of developing and maintaining modern (software) systems, multiple abstractions (models) of the same system can be established and used to allow different domain experts to collaborate and contribute their respective expertise. This divide-and-conquer, model-based approach requires, however, support for a concurrent engineering process, i.e., providing a means of checking, restoring, and ensuring the consistency of all involved and concurrently maintained models. The task of providing such support is often referred to as consistency management.\n  Although "},"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":"1803.10831","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-28T19:57:59Z","cross_cats_sorted":[],"title_canon_sha256":"bd2cbc6b9771952041d7bcd9782f91ef7543420294879be9167a814a1e4254d5","abstract_canon_sha256":"fc4201d901e55b756d7306c8f3b75273a78ede12d8512c4242a7ca91ac0550b0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:50.074213Z","signature_b64":"2mmXVb27DLUjYJf0RDmbYKCIZyPGixft9RneB2JSRquz+khXWs+yImPhg/2+TXghk6MKvpmsFSdETzLwLneXBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9d7d554cc2056fc63d1786de6a4836b512ff918198afff62443dac16a55ab93f","last_reissued_at":"2026-05-18T00:19:50.073390Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:50.073390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Andy Sch\\\"urr (TU Darmstadt, Anthony Anjorin (Paderborn University, Enes Yigitbas (Paderborn University, Erhan Leblebici (TU Darmstadt, Germany, Germany), Marius Lauder (Continental Automotive GmbH, Martin Witte (Siemens AG","submitted_at":"2018-03-28T19:57:59Z","abstract_excerpt":"To cope with the increasing complexity of developing and maintaining modern (software) systems, multiple abstractions (models) of the same system can be established and used to allow different domain experts to collaborate and contribute their respective expertise. This divide-and-conquer, model-based approach requires, however, support for a concurrent engineering process, i.e., providing a means of checking, restoring, and ensuring the consistency of all involved and concurrently maintained models. The task of providing such support is often referred to as consistency management.\n  Although "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10831","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1803.10831","created_at":"2026-05-18T00:19:50.073538+00:00"},{"alias_kind":"arxiv_version","alias_value":"1803.10831v1","created_at":"2026-05-18T00:19:50.073538+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10831","created_at":"2026-05-18T00:19:50.073538+00:00"},{"alias_kind":"pith_short_12","alias_value":"TV6VKTGCAVX4","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_16","alias_value":"TV6VKTGCAVX4MPIX","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_8","alias_value":"TV6VKTGC","created_at":"2026-05-18T12:32:56.356000+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/TV6VKTGCAVX4MPIXQ3PGUSBWWU","json":"https://pith.science/pith/TV6VKTGCAVX4MPIXQ3PGUSBWWU.json","graph_json":"https://pith.science/api/pith-number/TV6VKTGCAVX4MPIXQ3PGUSBWWU/graph.json","events_json":"https://pith.science/api/pith-number/TV6VKTGCAVX4MPIXQ3PGUSBWWU/events.json","paper":"https://pith.science/paper/TV6VKTGC"},"agent_actions":{"view_html":"https://pith.science/pith/TV6VKTGCAVX4MPIXQ3PGUSBWWU","download_json":"https://pith.science/pith/TV6VKTGCAVX4MPIXQ3PGUSBWWU.json","view_paper":"https://pith.science/paper/TV6VKTGC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1803.10831&json=true","fetch_graph":"https://pith.science/api/pith-number/TV6VKTGCAVX4MPIXQ3PGUSBWWU/graph.json","fetch_events":"https://pith.science/api/pith-number/TV6VKTGCAVX4MPIXQ3PGUSBWWU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TV6VKTGCAVX4MPIXQ3PGUSBWWU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TV6VKTGCAVX4MPIXQ3PGUSBWWU/action/storage_attestation","attest_author":"https://pith.science/pith/TV6VKTGCAVX4MPIXQ3PGUSBWWU/action/author_attestation","sign_citation":"https://pith.science/pith/TV6VKTGCAVX4MPIXQ3PGUSBWWU/action/citation_signature","submit_replication":"https://pith.science/pith/TV6VKTGCAVX4MPIXQ3PGUSBWWU/action/replication_record"}},"created_at":"2026-05-18T00:19:50.073538+00:00","updated_at":"2026-05-18T00:19:50.073538+00:00"}