{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:EBV7SBBPZ4BFU55JHVOQQOVROF","short_pith_number":"pith:EBV7SBBP","canonical_record":{"source":{"id":"1107.0068","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-06-30T21:45:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"274bfeaaede0e38b46d5d862da8fa1225242c570d534fe9da0bff73b63c1314e","abstract_canon_sha256":"8bb5211ec5dadebcac949ca9a55ecdadaa08323b77544608942ccd0a38e30d61"},"schema_version":"1.0"},"canonical_sha256":"206bf9042fcf025a77a93d5d083ab17150ad73b093ebcfaccddf3968f05eb209","source":{"kind":"arxiv","id":"1107.0068","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0068","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0068v1","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0068","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"pith_short_12","alias_value":"EBV7SBBPZ4BF","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"EBV7SBBPZ4BFU55J","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"EBV7SBBP","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:EBV7SBBPZ4BFU55JHVOQQOVROF","target":"record","payload":{"canonical_record":{"source":{"id":"1107.0068","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-06-30T21:45:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"274bfeaaede0e38b46d5d862da8fa1225242c570d534fe9da0bff73b63c1314e","abstract_canon_sha256":"8bb5211ec5dadebcac949ca9a55ecdadaa08323b77544608942ccd0a38e30d61"},"schema_version":"1.0"},"canonical_sha256":"206bf9042fcf025a77a93d5d083ab17150ad73b093ebcfaccddf3968f05eb209","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:19:02.716049Z","signature_b64":"gaUfXDvAc0uY3yM8ayXN/aNpKEx6yyN+rEXyVubHiWydA6TeN+N588xDHrTCn12PJPhhbKuxTlgqh47hbGFICA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"206bf9042fcf025a77a93d5d083ab17150ad73b093ebcfaccddf3968f05eb209","last_reissued_at":"2026-05-18T04:19:02.715558Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:19:02.715558Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.0068","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-18T04:19:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uirOX90ukKuWBMc9NQ3s2jOJhe9TZeKxkI9oO5d8TDSddBbJeEUd9BHC9qb/JGjEh9G3esXp5W51uXAltog2Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:32:12.167224Z"},"content_sha256":"98a41253abdd1b2f8f67ca6b2a1eb8a767e6b3f01f8eb2af7d1608c52879c690","schema_version":"1.0","event_id":"sha256:98a41253abdd1b2f8f67ca6b2a1eb8a767e6b3f01f8eb2af7d1608c52879c690"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:EBV7SBBPZ4BFU55JHVOQQOVROF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tracing Properties of UML and OCL Models with Maude","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Francisco Dur\\'an (Universidad de M\\'alaga), Manuel Rold\\'an (Universidad de M\\'alaga), Martin Gogolla (University of Bremen)","submitted_at":"2011-06-30T21:45:07Z","abstract_excerpt":"The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by OCL pre- and postconditions. The aim of our approach is to assist the developer in learning about the consequences of the described system states and transitions and about the formal implications of the properties that are explicitly given. We propose to draw conclusions about the stated constraints by translating the UML and OCL model into the algebraic specification language and system Maude, which is based on rewr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0068","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-18T04:19:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r7CgPZHqX1wTyIthiMZhg0gkeQ/aJOcNf2KxgoatiyfZnsWQIgv6KtcrPlhcAz1xoHLUlJ7VjV2UgpT5vBIHAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:32:12.167602Z"},"content_sha256":"76650ce3c2d8fc15c87d72b5aa828132dfd272594875cbca4d2d35101c46b51f","schema_version":"1.0","event_id":"sha256:76650ce3c2d8fc15c87d72b5aa828132dfd272594875cbca4d2d35101c46b51f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EBV7SBBPZ4BFU55JHVOQQOVROF/bundle.json","state_url":"https://pith.science/pith/EBV7SBBPZ4BFU55JHVOQQOVROF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EBV7SBBPZ4BFU55JHVOQQOVROF/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-06-03T06:32:12Z","links":{"resolver":"https://pith.science/pith/EBV7SBBPZ4BFU55JHVOQQOVROF","bundle":"https://pith.science/pith/EBV7SBBPZ4BFU55JHVOQQOVROF/bundle.json","state":"https://pith.science/pith/EBV7SBBPZ4BFU55JHVOQQOVROF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EBV7SBBPZ4BFU55JHVOQQOVROF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:EBV7SBBPZ4BFU55JHVOQQOVROF","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":"8bb5211ec5dadebcac949ca9a55ecdadaa08323b77544608942ccd0a38e30d61","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-06-30T21:45:07Z","title_canon_sha256":"274bfeaaede0e38b46d5d862da8fa1225242c570d534fe9da0bff73b63c1314e"},"schema_version":"1.0","source":{"id":"1107.0068","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0068","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0068v1","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0068","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"pith_short_12","alias_value":"EBV7SBBPZ4BF","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"EBV7SBBPZ4BFU55J","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"EBV7SBBP","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:76650ce3c2d8fc15c87d72b5aa828132dfd272594875cbca4d2d35101c46b51f","target":"graph","created_at":"2026-05-18T04:19:02Z","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":"The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by OCL pre- and postconditions. The aim of our approach is to assist the developer in learning about the consequences of the described system states and transitions and about the formal implications of the properties that are explicitly given. We propose to draw conclusions about the stated constraints by translating the UML and OCL model into the algebraic specification language and system Maude, which is based on rewr","authors_text":"Francisco Dur\\'an (Universidad de M\\'alaga), Manuel Rold\\'an (Universidad de M\\'alaga), Martin Gogolla (University of Bremen)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-06-30T21:45:07Z","title":"Tracing Properties of UML and OCL Models with Maude"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0068","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:98a41253abdd1b2f8f67ca6b2a1eb8a767e6b3f01f8eb2af7d1608c52879c690","target":"record","created_at":"2026-05-18T04:19:02Z","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":"8bb5211ec5dadebcac949ca9a55ecdadaa08323b77544608942ccd0a38e30d61","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-06-30T21:45:07Z","title_canon_sha256":"274bfeaaede0e38b46d5d862da8fa1225242c570d534fe9da0bff73b63c1314e"},"schema_version":"1.0","source":{"id":"1107.0068","kind":"arxiv","version":1}},"canonical_sha256":"206bf9042fcf025a77a93d5d083ab17150ad73b093ebcfaccddf3968f05eb209","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"206bf9042fcf025a77a93d5d083ab17150ad73b093ebcfaccddf3968f05eb209","first_computed_at":"2026-05-18T04:19:02.715558Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:19:02.715558Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gaUfXDvAc0uY3yM8ayXN/aNpKEx6yyN+rEXyVubHiWydA6TeN+N588xDHrTCn12PJPhhbKuxTlgqh47hbGFICA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:19:02.716049Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.0068","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98a41253abdd1b2f8f67ca6b2a1eb8a767e6b3f01f8eb2af7d1608c52879c690","sha256:76650ce3c2d8fc15c87d72b5aa828132dfd272594875cbca4d2d35101c46b51f"],"state_sha256":"757018c658f809a55a5d2130ffa43024fa7bc32ea2adc61a3ff11e09fa857af4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"59NQIPovZUKAUYpcvi3Dfk1waPgThQfqruo3U8l4q66gp1sRUfIxi4I99W7jjRCiHnXdG3zGd5mxQC+nJ9LoCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T06:32:12.169688Z","bundle_sha256":"b43d9e47af5e07e49b9dc1058c81a7df8b57bb21283294ea8f573d5628b9d1ae"}}