{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:O4NLXCBY4D6RSOF2SWPNSOXFF4","short_pith_number":"pith:O4NLXCBY","canonical_record":{"source":{"id":"1401.5612","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-01-22T10:22:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ec330943dfda105d2b6bcd38d42be9cac92a2b7db7caba31166b6449403c6499","abstract_canon_sha256":"2c4b2417d77af344b65dd2ed0936216eca2aba307bb7d88455617bf2ba7cb2a6"},"schema_version":"1.0"},"canonical_sha256":"771abb8838e0fd1938ba959ed93ae52f2931d7beddae75ffdf3daf207b3b09e9","source":{"kind":"arxiv","id":"1401.5612","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.5612","created_at":"2026-05-18T03:01:25Z"},{"alias_kind":"arxiv_version","alias_value":"1401.5612v1","created_at":"2026-05-18T03:01:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.5612","created_at":"2026-05-18T03:01:25Z"},{"alias_kind":"pith_short_12","alias_value":"O4NLXCBY4D6R","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"O4NLXCBY4D6RSOF2","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"O4NLXCBY","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:O4NLXCBY4D6RSOF2SWPNSOXFF4","target":"record","payload":{"canonical_record":{"source":{"id":"1401.5612","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-01-22T10:22:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ec330943dfda105d2b6bcd38d42be9cac92a2b7db7caba31166b6449403c6499","abstract_canon_sha256":"2c4b2417d77af344b65dd2ed0936216eca2aba307bb7d88455617bf2ba7cb2a6"},"schema_version":"1.0"},"canonical_sha256":"771abb8838e0fd1938ba959ed93ae52f2931d7beddae75ffdf3daf207b3b09e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:25.091573Z","signature_b64":"Ieeim/LDcAAYN8QzHKZDWSLTzlZqhjDeb3dACWMdKaL02sQ6KFh/msw6tvrAFukqsQafgeUzIzeklkRdyWlsDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"771abb8838e0fd1938ba959ed93ae52f2931d7beddae75ffdf3daf207b3b09e9","last_reissued_at":"2026-05-18T03:01:25.090848Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:25.090848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.5612","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-18T03:01:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ue/74YOgRhHL4rGu+ukBtpYfkR8+AxJs/5r+YCLBTbiFlR5lRUVf/yfLTmLRWATI3bX2++KIxpAFE5O0t0Y8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:40:16.370342Z"},"content_sha256":"6bd88b249b2f453e114c26466823c3cdc9213c432411a35d868c8b674f701b97","schema_version":"1.0","event_id":"sha256:6bd88b249b2f453e114c26466823c3cdc9213c432411a35d868c8b674f701b97"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:O4NLXCBY4D6RSOF2SWPNSOXFF4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Aymen Louati, Chadlia Jerad, Kamel Barkaoui","submitted_at":"2014-01-22T10:22:32Z","abstract_excerpt":"Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fact that its semantics is still informal. The Interaction Overview Diagram (IOD) is introduced in UML2; it allows the specification of the behavior in the hierarchical way. This paper is a contribution towards a formal dynamic semantics of UML2. We start by formalizing the Hierarchical use of IOD. Afterward, we complete the mapping of IOD, Sequence Diagrams and Timing Diagrams into Hierarchical Colored Petri Nets (HCP"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.5612","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-18T03:01:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VcusWRth5l0LExI0CBcJvCkmxcfS0MPWK5ill5sx/xUL00N0VH0h73tkypLFTd21JW+ocUbifu7Zepiev02oCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:40:16.370720Z"},"content_sha256":"bbb3b289cbe6d5c26aa14d898585b9e704d9078aa5392759ca6eaa5da1e8f3e3","schema_version":"1.0","event_id":"sha256:bbb3b289cbe6d5c26aa14d898585b9e704d9078aa5392759ca6eaa5da1e8f3e3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O4NLXCBY4D6RSOF2SWPNSOXFF4/bundle.json","state_url":"https://pith.science/pith/O4NLXCBY4D6RSOF2SWPNSOXFF4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O4NLXCBY4D6RSOF2SWPNSOXFF4/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-07-09T05:40:16Z","links":{"resolver":"https://pith.science/pith/O4NLXCBY4D6RSOF2SWPNSOXFF4","bundle":"https://pith.science/pith/O4NLXCBY4D6RSOF2SWPNSOXFF4/bundle.json","state":"https://pith.science/pith/O4NLXCBY4D6RSOF2SWPNSOXFF4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O4NLXCBY4D6RSOF2SWPNSOXFF4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:O4NLXCBY4D6RSOF2SWPNSOXFF4","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":"2c4b2417d77af344b65dd2ed0936216eca2aba307bb7d88455617bf2ba7cb2a6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-01-22T10:22:32Z","title_canon_sha256":"ec330943dfda105d2b6bcd38d42be9cac92a2b7db7caba31166b6449403c6499"},"schema_version":"1.0","source":{"id":"1401.5612","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.5612","created_at":"2026-05-18T03:01:25Z"},{"alias_kind":"arxiv_version","alias_value":"1401.5612v1","created_at":"2026-05-18T03:01:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.5612","created_at":"2026-05-18T03:01:25Z"},{"alias_kind":"pith_short_12","alias_value":"O4NLXCBY4D6R","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"O4NLXCBY4D6RSOF2","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"O4NLXCBY","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:bbb3b289cbe6d5c26aa14d898585b9e704d9078aa5392759ca6eaa5da1e8f3e3","target":"graph","created_at":"2026-05-18T03:01:25Z","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":"Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fact that its semantics is still informal. The Interaction Overview Diagram (IOD) is introduced in UML2; it allows the specification of the behavior in the hierarchical way. This paper is a contribution towards a formal dynamic semantics of UML2. We start by formalizing the Hierarchical use of IOD. Afterward, we complete the mapping of IOD, Sequence Diagrams and Timing Diagrams into Hierarchical Colored Petri Nets (HCP","authors_text":"Aymen Louati, Chadlia Jerad, Kamel Barkaoui","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-01-22T10:22:32Z","title":"Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.5612","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:6bd88b249b2f453e114c26466823c3cdc9213c432411a35d868c8b674f701b97","target":"record","created_at":"2026-05-18T03:01:25Z","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":"2c4b2417d77af344b65dd2ed0936216eca2aba307bb7d88455617bf2ba7cb2a6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-01-22T10:22:32Z","title_canon_sha256":"ec330943dfda105d2b6bcd38d42be9cac92a2b7db7caba31166b6449403c6499"},"schema_version":"1.0","source":{"id":"1401.5612","kind":"arxiv","version":1}},"canonical_sha256":"771abb8838e0fd1938ba959ed93ae52f2931d7beddae75ffdf3daf207b3b09e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"771abb8838e0fd1938ba959ed93ae52f2931d7beddae75ffdf3daf207b3b09e9","first_computed_at":"2026-05-18T03:01:25.090848Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:25.090848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ieeim/LDcAAYN8QzHKZDWSLTzlZqhjDeb3dACWMdKaL02sQ6KFh/msw6tvrAFukqsQafgeUzIzeklkRdyWlsDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:25.091573Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.5612","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6bd88b249b2f453e114c26466823c3cdc9213c432411a35d868c8b674f701b97","sha256:bbb3b289cbe6d5c26aa14d898585b9e704d9078aa5392759ca6eaa5da1e8f3e3"],"state_sha256":"d9fd2764a9a815bc645ef8886ba6487d62133a8fd4bdf0565c5605332bc1b40b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"okcQfPtc4BwNTSs2s4AtMY3v9aKeA4VOYC3zgIVmxCLQ8Roxh5PPlllRAwP/hNhp3A5m5DJgu4oxEzCQe9JiAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T05:40:16.373245Z","bundle_sha256":"5806675e50270f64dc1093117e6ad73f5375ca1a4629793665d8f7438ffd61e3"}}