{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:R7OMKCXN567GCK4N6PPTQ6BUIB","short_pith_number":"pith:R7OMKCXN","canonical_record":{"source":{"id":"1808.05209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-15T17:57:35Z","cross_cats_sorted":[],"title_canon_sha256":"5feff1ddd3f3dff77d32005cabea77246f6ffded09158f19b518bfdc4f1b7a0e","abstract_canon_sha256":"258564df527cf48a0856448c8cf866dd5b08bff49a1fa5f58d1766edf325d3ef"},"schema_version":"1.0"},"canonical_sha256":"8fdcc50aedefbe612b8df3df3878344048cd7042a4de04e17a77d07e5007dbda","source":{"kind":"arxiv","id":"1808.05209","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.05209","created_at":"2026-05-18T00:08:01Z"},{"alias_kind":"arxiv_version","alias_value":"1808.05209v1","created_at":"2026-05-18T00:08:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.05209","created_at":"2026-05-18T00:08:01Z"},{"alias_kind":"pith_short_12","alias_value":"R7OMKCXN567G","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"R7OMKCXN567GCK4N","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"R7OMKCXN","created_at":"2026-05-18T12:32:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:R7OMKCXN567GCK4N6PPTQ6BUIB","target":"record","payload":{"canonical_record":{"source":{"id":"1808.05209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-15T17:57:35Z","cross_cats_sorted":[],"title_canon_sha256":"5feff1ddd3f3dff77d32005cabea77246f6ffded09158f19b518bfdc4f1b7a0e","abstract_canon_sha256":"258564df527cf48a0856448c8cf866dd5b08bff49a1fa5f58d1766edf325d3ef"},"schema_version":"1.0"},"canonical_sha256":"8fdcc50aedefbe612b8df3df3878344048cd7042a4de04e17a77d07e5007dbda","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:01.325372Z","signature_b64":"npp2TA/CStXCD7g/vBaQGUCiqxdpkjVpeL3yl6P1aZma1JLrgFruq7Vt26/ZXZ/n+gzruOgxCrdguvKTDpySDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8fdcc50aedefbe612b8df3df3878344048cd7042a4de04e17a77d07e5007dbda","last_reissued_at":"2026-05-18T00:08:01.324711Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:01.324711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.05209","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-05-18T00:08:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P7dGFH0NPSWEdGv9ZStALLPgaNvkbzi8ytxX8/F/NhvrtnkDythg+Ja87V4+wsDuoRErGftCeSzfTNmIQvmsAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T23:05:00.226281Z"},"content_sha256":"ff22b18651be4190943b5e1ab2e35bce1c3838894301a963e3d39e5757d3e6d3","schema_version":"1.0","event_id":"sha256:ff22b18651be4190943b5e1ab2e35bce1c3838894301a963e3d39e5757d3e6d3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:R7OMKCXN567GCK4N6PPTQ6BUIB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Domain Knowledge Discovery Guided by Software Trace Links","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jane Cleland-Huang, Jin L.C. Guo, Natawut Monaikul","submitted_at":"2018-08-15T17:57:35Z","abstract_excerpt":"Software-intensive projects are specified and modeled using domain terminology. Knowledge of the domain terminology is necessary for performing many Software Engineering tasks such as impact analysis, compliance verification, and safety certification. However, discovering domain terminology and reasoning about their interrelationships for highly technical software and system engineering domains is a complex task which requires significant domain expertise and human effort. In this paper, we present a novel approach for leveraging trace links in software intensive systems to guide the process o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.05209","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"},"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-05-18T00:08:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"71VzVp6D7698bjhbFoaV3Vh8OTfByATzrUiu5zlHUyIlcnK33dHrx2zgz/cdzi3a8hHux51X3znnBZeGTWPcAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T23:05:00.226972Z"},"content_sha256":"f2dec931719bb7ef1cc32289e6580e59e70177d6bf5dcc7032358ae92212d9da","schema_version":"1.0","event_id":"sha256:f2dec931719bb7ef1cc32289e6580e59e70177d6bf5dcc7032358ae92212d9da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R7OMKCXN567GCK4N6PPTQ6BUIB/bundle.json","state_url":"https://pith.science/pith/R7OMKCXN567GCK4N6PPTQ6BUIB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R7OMKCXN567GCK4N6PPTQ6BUIB/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-05-26T23:05:00Z","links":{"resolver":"https://pith.science/pith/R7OMKCXN567GCK4N6PPTQ6BUIB","bundle":"https://pith.science/pith/R7OMKCXN567GCK4N6PPTQ6BUIB/bundle.json","state":"https://pith.science/pith/R7OMKCXN567GCK4N6PPTQ6BUIB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R7OMKCXN567GCK4N6PPTQ6BUIB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:R7OMKCXN567GCK4N6PPTQ6BUIB","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":"258564df527cf48a0856448c8cf866dd5b08bff49a1fa5f58d1766edf325d3ef","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-15T17:57:35Z","title_canon_sha256":"5feff1ddd3f3dff77d32005cabea77246f6ffded09158f19b518bfdc4f1b7a0e"},"schema_version":"1.0","source":{"id":"1808.05209","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.05209","created_at":"2026-05-18T00:08:01Z"},{"alias_kind":"arxiv_version","alias_value":"1808.05209v1","created_at":"2026-05-18T00:08:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.05209","created_at":"2026-05-18T00:08:01Z"},{"alias_kind":"pith_short_12","alias_value":"R7OMKCXN567G","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"R7OMKCXN567GCK4N","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"R7OMKCXN","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:f2dec931719bb7ef1cc32289e6580e59e70177d6bf5dcc7032358ae92212d9da","target":"graph","created_at":"2026-05-18T00:08:01Z","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":"Software-intensive projects are specified and modeled using domain terminology. Knowledge of the domain terminology is necessary for performing many Software Engineering tasks such as impact analysis, compliance verification, and safety certification. However, discovering domain terminology and reasoning about their interrelationships for highly technical software and system engineering domains is a complex task which requires significant domain expertise and human effort. In this paper, we present a novel approach for leveraging trace links in software intensive systems to guide the process o","authors_text":"Jane Cleland-Huang, Jin L.C. Guo, Natawut Monaikul","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-15T17:57:35Z","title":"Domain Knowledge Discovery Guided by Software Trace Links"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.05209","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:ff22b18651be4190943b5e1ab2e35bce1c3838894301a963e3d39e5757d3e6d3","target":"record","created_at":"2026-05-18T00:08:01Z","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":"258564df527cf48a0856448c8cf866dd5b08bff49a1fa5f58d1766edf325d3ef","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-15T17:57:35Z","title_canon_sha256":"5feff1ddd3f3dff77d32005cabea77246f6ffded09158f19b518bfdc4f1b7a0e"},"schema_version":"1.0","source":{"id":"1808.05209","kind":"arxiv","version":1}},"canonical_sha256":"8fdcc50aedefbe612b8df3df3878344048cd7042a4de04e17a77d07e5007dbda","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8fdcc50aedefbe612b8df3df3878344048cd7042a4de04e17a77d07e5007dbda","first_computed_at":"2026-05-18T00:08:01.324711Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:01.324711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"npp2TA/CStXCD7g/vBaQGUCiqxdpkjVpeL3yl6P1aZma1JLrgFruq7Vt26/ZXZ/n+gzruOgxCrdguvKTDpySDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:01.325372Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.05209","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff22b18651be4190943b5e1ab2e35bce1c3838894301a963e3d39e5757d3e6d3","sha256:f2dec931719bb7ef1cc32289e6580e59e70177d6bf5dcc7032358ae92212d9da"],"state_sha256":"c5a2d27e64f05eeb1c94877a19163fda8d07d82a9b78efbe52720588375277dc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sGkD3Zbxjigf7MJvB5mm9k1SgQTB2pJbWxldbdLN755JKiEujaT7aMe4xVZt69kjCah0tWwLvSkcJpFam03nDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T23:05:00.230833Z","bundle_sha256":"282b65826a19d8a767a05168e8f8a3e048c41372a8685d05dc221a7291f25a8a"}}