{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:XP2PV4QXBGWQ3NETZ22EZYEMOM","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":"17db75e097c435dabd24f217efda289fe9a5b141511f7c456e5522d755b47963","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-03-04T23:19:01Z","title_canon_sha256":"7a883fcda3cf793eb3ca5a68d1263562f92dc4bbbd6271a76121715091880de8"},"schema_version":"1.0","source":{"id":"1003.1160","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1003.1160","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"1003.1160v5","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1003.1160","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"XP2PV4QXBGWQ","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_16","alias_value":"XP2PV4QXBGWQ3NET","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_8","alias_value":"XP2PV4QX","created_at":"2026-05-18T12:26:17Z"}],"graph_snapshots":[{"event_id":"sha256:9a43a1cceeda4f01d7006133cc352268ee89d5030c0d933b55587518001c3b61","target":"graph","created_at":"2026-05-18T04:17:13Z","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":"Sequence diagrams are a widely used design notation for describing software behaviors. Many reusable software artifacts such as design patterns and design aspects make use of sequence diagrams to describe interaction behaviors. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence diagrams for the application conform to the corresponding sequence diagrams for the pattern or aspect. Reasoning about conformance relationship between sequence diagrams has not been addressed adequately in literature. In this paper, we focus on required behavior specifi","authors_text":"Dae-kyoo Kim, Lunjin Lu","cross_cats":["cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-03-04T23:19:01Z","title":"Required Behavior of Sequence Diagrams: Semantics and Conformance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1003.1160","kind":"arxiv","version":5},"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:fe566ea1ad598f863b3a350a34283b7ae2ba0c512583cadf553424a6163921e9","target":"record","created_at":"2026-05-18T04:17:13Z","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":"17db75e097c435dabd24f217efda289fe9a5b141511f7c456e5522d755b47963","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-03-04T23:19:01Z","title_canon_sha256":"7a883fcda3cf793eb3ca5a68d1263562f92dc4bbbd6271a76121715091880de8"},"schema_version":"1.0","source":{"id":"1003.1160","kind":"arxiv","version":5}},"canonical_sha256":"bbf4faf21709ad0db493ceb44ce08c732cf0952a791c90ed30cc3ccd73b19c33","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bbf4faf21709ad0db493ceb44ce08c732cf0952a791c90ed30cc3ccd73b19c33","first_computed_at":"2026-05-18T04:17:13.793601Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:17:13.793601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bHb/w0rjG99CJTudr8+ZIZKNSAJlnJjqm+vqPmWHGFlCVqrfS4mzuU6w8jzWDSS+h9v2yM1wo9dO+Ge+h9OfDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:17:13.794217Z","signed_message":"canonical_sha256_bytes"},"source_id":"1003.1160","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe566ea1ad598f863b3a350a34283b7ae2ba0c512583cadf553424a6163921e9","sha256:9a43a1cceeda4f01d7006133cc352268ee89d5030c0d933b55587518001c3b61"],"state_sha256":"d655d48a7f75dd23fac09eef2e7bdbe140171089206b5973177f3648fe8ed579"}