{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:TZWFTTD2KEBCTQKYCCFIWPRJ3T","short_pith_number":"pith:TZWFTTD2","schema_version":"1.0","canonical_sha256":"9e6c59cc7a510229c158108a8b3e29dcdd7fba31c8c73e4ed5b8ed13126aa3ec","source":{"kind":"arxiv","id":"1411.4495","version":1},"attestation_state":"computed","paper":{"title":"An Institution for Simple UML State Machines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Alexander Knapp, Markus Roggenbach, Martin Glauer, Till Mossakowski","submitted_at":"2014-11-17T14:41:07Z","abstract_excerpt":"We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states (such as valuations of attributes) but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state machines. The interleaving product construction is the basis for a semantics of composite structure diagrams, which can be used to specify the interaction of state machines. This work is part of a larger ef"},"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":"1411.4495","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-11-17T14:41:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ba0e1fb95a5f4b36514577c11a0dcddc07f952fe3f5c5b59aa8835dbdd960455","abstract_canon_sha256":"3e78f0ecd9627247cec0012d3efde503486bbb8695c48a4671574e60c36fa41d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:35:45.624627Z","signature_b64":"dy++WfEF+p1frwim6kXrjgyJi9GC0J0CPolN+5BO+jouSLsCDWDbt8+4djNjgLP6eHFWF8cGr1aVsZZnQbS3Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e6c59cc7a510229c158108a8b3e29dcdd7fba31c8c73e4ed5b8ed13126aa3ec","last_reissued_at":"2026-05-18T02:35:45.624133Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:35:45.624133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Institution for Simple UML State Machines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Alexander Knapp, Markus Roggenbach, Martin Glauer, Till Mossakowski","submitted_at":"2014-11-17T14:41:07Z","abstract_excerpt":"We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states (such as valuations of attributes) but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state machines. The interleaving product construction is the basis for a semantics of composite structure diagrams, which can be used to specify the interaction of state machines. This work is part of a larger ef"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.4495","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":"1411.4495","created_at":"2026-05-18T02:35:45.624202+00:00"},{"alias_kind":"arxiv_version","alias_value":"1411.4495v1","created_at":"2026-05-18T02:35:45.624202+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.4495","created_at":"2026-05-18T02:35:45.624202+00:00"},{"alias_kind":"pith_short_12","alias_value":"TZWFTTD2KEBC","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_16","alias_value":"TZWFTTD2KEBCTQKY","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_8","alias_value":"TZWFTTD2","created_at":"2026-05-18T12:28:52.271510+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/TZWFTTD2KEBCTQKYCCFIWPRJ3T","json":"https://pith.science/pith/TZWFTTD2KEBCTQKYCCFIWPRJ3T.json","graph_json":"https://pith.science/api/pith-number/TZWFTTD2KEBCTQKYCCFIWPRJ3T/graph.json","events_json":"https://pith.science/api/pith-number/TZWFTTD2KEBCTQKYCCFIWPRJ3T/events.json","paper":"https://pith.science/paper/TZWFTTD2"},"agent_actions":{"view_html":"https://pith.science/pith/TZWFTTD2KEBCTQKYCCFIWPRJ3T","download_json":"https://pith.science/pith/TZWFTTD2KEBCTQKYCCFIWPRJ3T.json","view_paper":"https://pith.science/paper/TZWFTTD2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1411.4495&json=true","fetch_graph":"https://pith.science/api/pith-number/TZWFTTD2KEBCTQKYCCFIWPRJ3T/graph.json","fetch_events":"https://pith.science/api/pith-number/TZWFTTD2KEBCTQKYCCFIWPRJ3T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TZWFTTD2KEBCTQKYCCFIWPRJ3T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TZWFTTD2KEBCTQKYCCFIWPRJ3T/action/storage_attestation","attest_author":"https://pith.science/pith/TZWFTTD2KEBCTQKYCCFIWPRJ3T/action/author_attestation","sign_citation":"https://pith.science/pith/TZWFTTD2KEBCTQKYCCFIWPRJ3T/action/citation_signature","submit_replication":"https://pith.science/pith/TZWFTTD2KEBCTQKYCCFIWPRJ3T/action/replication_record"}},"created_at":"2026-05-18T02:35:45.624202+00:00","updated_at":"2026-05-18T02:35:45.624202+00:00"}