{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:6RTX2S4ZXQQ2IVDESDVIWRJR6A","short_pith_number":"pith:6RTX2S4Z","canonical_record":{"source":{"id":"1803.05367","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-14T15:46:11Z","cross_cats_sorted":[],"title_canon_sha256":"02c9c5c2fed070bd26b9c7b79030efcc57ba9d5721f919bdbb554a787994c503","abstract_canon_sha256":"a8911a0496312fe1d1de8b82e76abc29174bad7dc8828ec18bdaf468b74095f6"},"schema_version":"1.0"},"canonical_sha256":"f4677d4b99bc21a4546490ea8b4531f007552c7e451989101e138fbd42a80dba","source":{"kind":"arxiv","id":"1803.05367","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.05367","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"arxiv_version","alias_value":"1803.05367v1","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.05367","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"pith_short_12","alias_value":"6RTX2S4ZXQQ2","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"6RTX2S4ZXQQ2IVDE","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"6RTX2S4Z","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:6RTX2S4ZXQQ2IVDESDVIWRJR6A","target":"record","payload":{"canonical_record":{"source":{"id":"1803.05367","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-14T15:46:11Z","cross_cats_sorted":[],"title_canon_sha256":"02c9c5c2fed070bd26b9c7b79030efcc57ba9d5721f919bdbb554a787994c503","abstract_canon_sha256":"a8911a0496312fe1d1de8b82e76abc29174bad7dc8828ec18bdaf468b74095f6"},"schema_version":"1.0"},"canonical_sha256":"f4677d4b99bc21a4546490ea8b4531f007552c7e451989101e138fbd42a80dba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:56:48.258865Z","signature_b64":"et3lllTORiLA750OqrNmMAgqo0suqYglGp3poohSG2frS8tDDqpqyS+TGm3MQqP/yxGADEtA+k+EIwyZ5ewuAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4677d4b99bc21a4546490ea8b4531f007552c7e451989101e138fbd42a80dba","last_reissued_at":"2026-05-17T23:56:48.258485Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:56:48.258485Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.05367","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-17T23:56:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q0o6TJoTnfzssEnTp1Up+P81BiusmbNOMmmHFnx1Qh/vfGSZ2ZQ4+BBEzjHzSE7TPoaOxD24ro+6kmp6GoTQCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T04:04:59.865885Z"},"content_sha256":"40d790676968b773e89f9f28f46b843d970dcac8b917278dceb0c0078cf97983","schema_version":"1.0","event_id":"sha256:40d790676968b773e89f9f28f46b843d970dcac8b917278dceb0c0078cf97983"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:6RTX2S4ZXQQ2IVDESDVIWRJR6A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Integrating UML with Service Refinement for Requirements Modeling and Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jing Yang, Xiaoshan Li, Yilong Yang","submitted_at":"2018-03-14T15:46:11Z","abstract_excerpt":"Unified Modeling Language (UML) is the de facto standard for requirements modeling and system design. UML as a visual language can tremendously help customers, project managers, and developers to specify the requirements of a target system. However, UML lacks the ability to specify the requirements precisely such as the contracts of the system operation, and verify the consistency and refinement of the requirements. These disadvantages result in that the potential faults of software are hard to be discovered in the early stage of software development process, and then requiring more efforts in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.05367","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-17T23:56:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9/BJhH52wXHL08Eh+fxHdNVNFtefzsKITLbG4/APw3QMbc1xvHoeJKnaBb5jZSvBKikMYa1Z9x7wSR9nXncQCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T04:04:59.866502Z"},"content_sha256":"b34864264c1f1955729f678707ac3521cccd15101da39c759fa49d50af1d47dc","schema_version":"1.0","event_id":"sha256:b34864264c1f1955729f678707ac3521cccd15101da39c759fa49d50af1d47dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6RTX2S4ZXQQ2IVDESDVIWRJR6A/bundle.json","state_url":"https://pith.science/pith/6RTX2S4ZXQQ2IVDESDVIWRJR6A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6RTX2S4ZXQQ2IVDESDVIWRJR6A/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-22T04:04:59Z","links":{"resolver":"https://pith.science/pith/6RTX2S4ZXQQ2IVDESDVIWRJR6A","bundle":"https://pith.science/pith/6RTX2S4ZXQQ2IVDESDVIWRJR6A/bundle.json","state":"https://pith.science/pith/6RTX2S4ZXQQ2IVDESDVIWRJR6A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6RTX2S4ZXQQ2IVDESDVIWRJR6A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6RTX2S4ZXQQ2IVDESDVIWRJR6A","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":"a8911a0496312fe1d1de8b82e76abc29174bad7dc8828ec18bdaf468b74095f6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-14T15:46:11Z","title_canon_sha256":"02c9c5c2fed070bd26b9c7b79030efcc57ba9d5721f919bdbb554a787994c503"},"schema_version":"1.0","source":{"id":"1803.05367","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.05367","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"arxiv_version","alias_value":"1803.05367v1","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.05367","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"pith_short_12","alias_value":"6RTX2S4ZXQQ2","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"6RTX2S4ZXQQ2IVDE","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"6RTX2S4Z","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:b34864264c1f1955729f678707ac3521cccd15101da39c759fa49d50af1d47dc","target":"graph","created_at":"2026-05-17T23:56:48Z","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":"Unified Modeling Language (UML) is the de facto standard for requirements modeling and system design. UML as a visual language can tremendously help customers, project managers, and developers to specify the requirements of a target system. However, UML lacks the ability to specify the requirements precisely such as the contracts of the system operation, and verify the consistency and refinement of the requirements. These disadvantages result in that the potential faults of software are hard to be discovered in the early stage of software development process, and then requiring more efforts in","authors_text":"Jing Yang, Xiaoshan Li, Yilong Yang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-14T15:46:11Z","title":"Integrating UML with Service Refinement for Requirements Modeling and Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.05367","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:40d790676968b773e89f9f28f46b843d970dcac8b917278dceb0c0078cf97983","target":"record","created_at":"2026-05-17T23:56:48Z","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":"a8911a0496312fe1d1de8b82e76abc29174bad7dc8828ec18bdaf468b74095f6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-14T15:46:11Z","title_canon_sha256":"02c9c5c2fed070bd26b9c7b79030efcc57ba9d5721f919bdbb554a787994c503"},"schema_version":"1.0","source":{"id":"1803.05367","kind":"arxiv","version":1}},"canonical_sha256":"f4677d4b99bc21a4546490ea8b4531f007552c7e451989101e138fbd42a80dba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4677d4b99bc21a4546490ea8b4531f007552c7e451989101e138fbd42a80dba","first_computed_at":"2026-05-17T23:56:48.258485Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:48.258485Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"et3lllTORiLA750OqrNmMAgqo0suqYglGp3poohSG2frS8tDDqpqyS+TGm3MQqP/yxGADEtA+k+EIwyZ5ewuAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:48.258865Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.05367","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:40d790676968b773e89f9f28f46b843d970dcac8b917278dceb0c0078cf97983","sha256:b34864264c1f1955729f678707ac3521cccd15101da39c759fa49d50af1d47dc"],"state_sha256":"1d61b022563738b4ddd9e899deb2e61209ee3272b2d2ff1d6a36275dfe7855b4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a7FEaXnoTawl069IMlWB9RHf2bBPIcgB3gGQrNoNyr/08ezyEd4I5PXyRVQg58BgmC0w3jzRh6uhjTMuFBmABg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T04:04:59.870123Z","bundle_sha256":"711ca05b6e44b3239d07454ab0d880d379adf93d85316951c146f0e32b33c7b8"}}