{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:UCZBOS7ETMJJRVDEV7AJHC6CXW","short_pith_number":"pith:UCZBOS7E","schema_version":"1.0","canonical_sha256":"a0b2174be49b1298d464afc0938bc2bd805cf3c94eaa976914bd5176c9f16704","source":{"kind":"arxiv","id":"1811.00694","version":1},"attestation_state":"computed","paper":{"title":"Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.SY"],"primary_cat":"cs.SE","authors_text":"Chunhui Guo, Lui Sha, Shangping Ren, Zhenyu Zhang, Zhicheng Fu","submitted_at":"2018-11-02T01:11:32Z","abstract_excerpt":"Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be significantly reduced by computerizing medical best practice guidelines. To facilitate the development of computerized medical best practice guidelines, statecharts are often used as a modeling tool because of their high resemblances to disease and treatment models and their capabilities to provide rapid prototyping and simulation for clinical validations. However, some implementations of statecharts, such as Yakindu statecharts, are priority-base"},"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":"1811.00694","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-02T01:11:32Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"ff499d629025d0d7c3a5d14c2fd74e65873fb77bd7af418336d701cd02ea3c12","abstract_canon_sha256":"f5a12d9a04641709d206409704743f6397bec5d04b350ad2b25a81bcc30d20c2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:42.489154Z","signature_b64":"Mtvxyn3Fl1Gm+8iUi36YXo9pYU80hh1JnGoWHJbq4fLE/E6EQjg317blejf2vORd36QV1j41fTXGcXvRMlMhBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a0b2174be49b1298d464afc0938bc2bd805cf3c94eaa976914bd5176c9f16704","last_reissued_at":"2026-05-18T00:01:42.488637Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:42.488637Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.SY"],"primary_cat":"cs.SE","authors_text":"Chunhui Guo, Lui Sha, Shangping Ren, Zhenyu Zhang, Zhicheng Fu","submitted_at":"2018-11-02T01:11:32Z","abstract_excerpt":"Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be significantly reduced by computerizing medical best practice guidelines. To facilitate the development of computerized medical best practice guidelines, statecharts are often used as a modeling tool because of their high resemblances to disease and treatment models and their capabilities to provide rapid prototyping and simulation for clinical validations. However, some implementations of statecharts, such as Yakindu statecharts, are priority-base"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.00694","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":"1811.00694","created_at":"2026-05-18T00:01:42.488720+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.00694v1","created_at":"2026-05-18T00:01:42.488720+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.00694","created_at":"2026-05-18T00:01:42.488720+00:00"},{"alias_kind":"pith_short_12","alias_value":"UCZBOS7ETMJJ","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_16","alias_value":"UCZBOS7ETMJJRVDE","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_8","alias_value":"UCZBOS7E","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/UCZBOS7ETMJJRVDEV7AJHC6CXW","json":"https://pith.science/pith/UCZBOS7ETMJJRVDEV7AJHC6CXW.json","graph_json":"https://pith.science/api/pith-number/UCZBOS7ETMJJRVDEV7AJHC6CXW/graph.json","events_json":"https://pith.science/api/pith-number/UCZBOS7ETMJJRVDEV7AJHC6CXW/events.json","paper":"https://pith.science/paper/UCZBOS7E"},"agent_actions":{"view_html":"https://pith.science/pith/UCZBOS7ETMJJRVDEV7AJHC6CXW","download_json":"https://pith.science/pith/UCZBOS7ETMJJRVDEV7AJHC6CXW.json","view_paper":"https://pith.science/paper/UCZBOS7E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.00694&json=true","fetch_graph":"https://pith.science/api/pith-number/UCZBOS7ETMJJRVDEV7AJHC6CXW/graph.json","fetch_events":"https://pith.science/api/pith-number/UCZBOS7ETMJJRVDEV7AJHC6CXW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UCZBOS7ETMJJRVDEV7AJHC6CXW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UCZBOS7ETMJJRVDEV7AJHC6CXW/action/storage_attestation","attest_author":"https://pith.science/pith/UCZBOS7ETMJJRVDEV7AJHC6CXW/action/author_attestation","sign_citation":"https://pith.science/pith/UCZBOS7ETMJJRVDEV7AJHC6CXW/action/citation_signature","submit_replication":"https://pith.science/pith/UCZBOS7ETMJJRVDEV7AJHC6CXW/action/replication_record"}},"created_at":"2026-05-18T00:01:42.488720+00:00","updated_at":"2026-05-18T00:01:42.488720+00:00"}