{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:XDGZKTCINXCGWFEOKPMMHF4H65","short_pith_number":"pith:XDGZKTCI","schema_version":"1.0","canonical_sha256":"b8cd954c486dc46b148e53d8c39787f7598bcd0cd92cee86a5a7fbfcc252e375","source":{"kind":"arxiv","id":"1403.7747","version":1},"attestation_state":"computed","paper":{"title":"An Institutional Framework for Heterogeneous Formal Development in UML","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Alexander Knapp, Markus Roggenbach, Till Mossakowski","submitted_at":"2014-03-30T12:34:11Z","abstract_excerpt":"We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framew"},"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":"1403.7747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-03-30T12:34:11Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"f3fe686998e47cedee4300424de8ef1a47b7aede8e61d3dfddf5f91d5bf0f242","abstract_canon_sha256":"099c1d61b1da8592036e1c01bfbb2006f64ac0372d9a0aeec6f260cada768543"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:12.476384Z","signature_b64":"LicOq1pECV44JjLk3DpKwBTVpHIXVRvubj67mmH+KTEductMr2rMswlNW+W5R/NejolPLhy4S+hpqrsNkcysCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8cd954c486dc46b148e53d8c39787f7598bcd0cd92cee86a5a7fbfcc252e375","last_reissued_at":"2026-05-18T02:55:12.476029Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:12.476029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Institutional Framework for Heterogeneous Formal Development in UML","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Alexander Knapp, Markus Roggenbach, Till Mossakowski","submitted_at":"2014-03-30T12:34:11Z","abstract_excerpt":"We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framew"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7747","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":"1403.7747","created_at":"2026-05-18T02:55:12.476082+00:00"},{"alias_kind":"arxiv_version","alias_value":"1403.7747v1","created_at":"2026-05-18T02:55:12.476082+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7747","created_at":"2026-05-18T02:55:12.476082+00:00"},{"alias_kind":"pith_short_12","alias_value":"XDGZKTCINXCG","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_16","alias_value":"XDGZKTCINXCGWFEO","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_8","alias_value":"XDGZKTCI","created_at":"2026-05-18T12:28:57.508820+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/XDGZKTCINXCGWFEOKPMMHF4H65","json":"https://pith.science/pith/XDGZKTCINXCGWFEOKPMMHF4H65.json","graph_json":"https://pith.science/api/pith-number/XDGZKTCINXCGWFEOKPMMHF4H65/graph.json","events_json":"https://pith.science/api/pith-number/XDGZKTCINXCGWFEOKPMMHF4H65/events.json","paper":"https://pith.science/paper/XDGZKTCI"},"agent_actions":{"view_html":"https://pith.science/pith/XDGZKTCINXCGWFEOKPMMHF4H65","download_json":"https://pith.science/pith/XDGZKTCINXCGWFEOKPMMHF4H65.json","view_paper":"https://pith.science/paper/XDGZKTCI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1403.7747&json=true","fetch_graph":"https://pith.science/api/pith-number/XDGZKTCINXCGWFEOKPMMHF4H65/graph.json","fetch_events":"https://pith.science/api/pith-number/XDGZKTCINXCGWFEOKPMMHF4H65/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XDGZKTCINXCGWFEOKPMMHF4H65/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XDGZKTCINXCGWFEOKPMMHF4H65/action/storage_attestation","attest_author":"https://pith.science/pith/XDGZKTCINXCGWFEOKPMMHF4H65/action/author_attestation","sign_citation":"https://pith.science/pith/XDGZKTCINXCGWFEOKPMMHF4H65/action/citation_signature","submit_replication":"https://pith.science/pith/XDGZKTCINXCGWFEOKPMMHF4H65/action/replication_record"}},"created_at":"2026-05-18T02:55:12.476082+00:00","updated_at":"2026-05-18T02:55:12.476082+00:00"}