{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:VSVKNX6ZCYMVJXJZCC5Q3OE3FD","short_pith_number":"pith:VSVKNX6Z","canonical_record":{"source":{"id":"1202.1718","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-02-08T14:48:18Z","cross_cats_sorted":[],"title_canon_sha256":"cfe1519d77f1994c029581b6ac8487e5a19bdb7d6b174f4f4f1d2cd3a0d00bd6","abstract_canon_sha256":"1451bb4fc6d04baf76ae0d6d9a490b091d1721dae869a12fe6b6ee226cea440d"},"schema_version":"1.0"},"canonical_sha256":"acaaa6dfd9161954dd3910bb0db89b28e4f3facba44884b59e2e762be3284139","source":{"kind":"arxiv","id":"1202.1718","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.1718","created_at":"2026-05-18T04:02:51Z"},{"alias_kind":"arxiv_version","alias_value":"1202.1718v1","created_at":"2026-05-18T04:02:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.1718","created_at":"2026-05-18T04:02:51Z"},{"alias_kind":"pith_short_12","alias_value":"VSVKNX6ZCYMV","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"VSVKNX6ZCYMVJXJZ","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"VSVKNX6Z","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:VSVKNX6ZCYMVJXJZCC5Q3OE3FD","target":"record","payload":{"canonical_record":{"source":{"id":"1202.1718","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-02-08T14:48:18Z","cross_cats_sorted":[],"title_canon_sha256":"cfe1519d77f1994c029581b6ac8487e5a19bdb7d6b174f4f4f1d2cd3a0d00bd6","abstract_canon_sha256":"1451bb4fc6d04baf76ae0d6d9a490b091d1721dae869a12fe6b6ee226cea440d"},"schema_version":"1.0"},"canonical_sha256":"acaaa6dfd9161954dd3910bb0db89b28e4f3facba44884b59e2e762be3284139","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:02:51.296009Z","signature_b64":"/cwtvj8N+JLlHNKq/LmJJei5fmpOUqsHCiyG9NtrfjT9IEkMxafEg3ivuN+m4+cRbQ0q3HAQzKcvI+Mt/pAXCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"acaaa6dfd9161954dd3910bb0db89b28e4f3facba44884b59e2e762be3284139","last_reissued_at":"2026-05-18T04:02:51.295134Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:02:51.295134Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.1718","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:02:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1wpxc2v2SAUnKclodLyTtABfanqsusJFsQRJoDgGvhkMMuePnp9lx13UekVMEMbYwTm1AFR9GG62KNO8jYwdDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T12:07:58.144915Z"},"content_sha256":"8f220a3945d9c7c8cab0f7f5faa174f605d6d8b478f72f06eb120fa9d0f3327a","schema_version":"1.0","event_id":"sha256:8f220a3945d9c7c8cab0f7f5faa174f605d6d8b478f72f06eb120fa9d0f3327a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:VSVKNX6ZCYMVJXJZCC5Q3OE3FD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A transformation approach for collaboration based requirement models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ahmed Harbouche, Aicha Mokhtari, Mohammed Erradi","submitted_at":"2012-02-08T14:48:18Z","abstract_excerpt":"Distributed software engineering is widely recognized as a complex task. Among the inherent complexities is the process of obtaining a system design from its global requirement specification. This paper deals with such transformation process and suggests an approach to derive the behavior of a given system components, in the form of distributed Finite State Machines, from the global system requirements, in the form of an augmented UML Activity Diagrams notation. The process of the suggested approach is summarized in three steps: the definition of the appropriate source Meta-Model (requirements"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.1718","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:02:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iIZwTP24V2x8RdirLn8jQ5gdigpotfR3fAbZHFa2udLT0bkNKjNl5PzNqss0EEuapSqLox2WYdt3biMpzNMABg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T12:07:58.145256Z"},"content_sha256":"f13176f85213c3b7d41fc751c4c423c9cbb9c79e6b5d037b5af9c954535f4cf0","schema_version":"1.0","event_id":"sha256:f13176f85213c3b7d41fc751c4c423c9cbb9c79e6b5d037b5af9c954535f4cf0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VSVKNX6ZCYMVJXJZCC5Q3OE3FD/bundle.json","state_url":"https://pith.science/pith/VSVKNX6ZCYMVJXJZCC5Q3OE3FD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VSVKNX6ZCYMVJXJZCC5Q3OE3FD/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-30T12:07:58Z","links":{"resolver":"https://pith.science/pith/VSVKNX6ZCYMVJXJZCC5Q3OE3FD","bundle":"https://pith.science/pith/VSVKNX6ZCYMVJXJZCC5Q3OE3FD/bundle.json","state":"https://pith.science/pith/VSVKNX6ZCYMVJXJZCC5Q3OE3FD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VSVKNX6ZCYMVJXJZCC5Q3OE3FD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:VSVKNX6ZCYMVJXJZCC5Q3OE3FD","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":"1451bb4fc6d04baf76ae0d6d9a490b091d1721dae869a12fe6b6ee226cea440d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-02-08T14:48:18Z","title_canon_sha256":"cfe1519d77f1994c029581b6ac8487e5a19bdb7d6b174f4f4f1d2cd3a0d00bd6"},"schema_version":"1.0","source":{"id":"1202.1718","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.1718","created_at":"2026-05-18T04:02:51Z"},{"alias_kind":"arxiv_version","alias_value":"1202.1718v1","created_at":"2026-05-18T04:02:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.1718","created_at":"2026-05-18T04:02:51Z"},{"alias_kind":"pith_short_12","alias_value":"VSVKNX6ZCYMV","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"VSVKNX6ZCYMVJXJZ","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"VSVKNX6Z","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:f13176f85213c3b7d41fc751c4c423c9cbb9c79e6b5d037b5af9c954535f4cf0","target":"graph","created_at":"2026-05-18T04:02:51Z","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":"Distributed software engineering is widely recognized as a complex task. Among the inherent complexities is the process of obtaining a system design from its global requirement specification. This paper deals with such transformation process and suggests an approach to derive the behavior of a given system components, in the form of distributed Finite State Machines, from the global system requirements, in the form of an augmented UML Activity Diagrams notation. The process of the suggested approach is summarized in three steps: the definition of the appropriate source Meta-Model (requirements","authors_text":"Ahmed Harbouche, Aicha Mokhtari, Mohammed Erradi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-02-08T14:48:18Z","title":"A transformation approach for collaboration based requirement models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.1718","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:8f220a3945d9c7c8cab0f7f5faa174f605d6d8b478f72f06eb120fa9d0f3327a","target":"record","created_at":"2026-05-18T04:02:51Z","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":"1451bb4fc6d04baf76ae0d6d9a490b091d1721dae869a12fe6b6ee226cea440d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-02-08T14:48:18Z","title_canon_sha256":"cfe1519d77f1994c029581b6ac8487e5a19bdb7d6b174f4f4f1d2cd3a0d00bd6"},"schema_version":"1.0","source":{"id":"1202.1718","kind":"arxiv","version":1}},"canonical_sha256":"acaaa6dfd9161954dd3910bb0db89b28e4f3facba44884b59e2e762be3284139","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"acaaa6dfd9161954dd3910bb0db89b28e4f3facba44884b59e2e762be3284139","first_computed_at":"2026-05-18T04:02:51.295134Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:51.295134Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/cwtvj8N+JLlHNKq/LmJJei5fmpOUqsHCiyG9NtrfjT9IEkMxafEg3ivuN+m4+cRbQ0q3HAQzKcvI+Mt/pAXCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:51.296009Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.1718","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f220a3945d9c7c8cab0f7f5faa174f605d6d8b478f72f06eb120fa9d0f3327a","sha256:f13176f85213c3b7d41fc751c4c423c9cbb9c79e6b5d037b5af9c954535f4cf0"],"state_sha256":"0e73d833ca474010295ea3ee16f7dcdfab157d4e49d639e6e0af8318ea22125d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tv0DHI+Rx08LURPVXeet3464xxHKTC1EG75xRn62/PuzbRJbBmTgN72/9TZh8nd+wrkDBtreWsQIXRHIdqO8AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T12:07:58.147207Z","bundle_sha256":"6db986f0f023699d0751669b3982dfd647a2ec147dbe937be42758e998576e9e"}}