{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:QDX36S7ASXR2HRJWK4XVH75GWO","short_pith_number":"pith:QDX36S7A","canonical_record":{"source":{"id":"1707.08618","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T19:27:18Z","cross_cats_sorted":[],"title_canon_sha256":"47245fd2deaf28d55b1ba4c43c3d758a0182d79e8cd280ae42724a2ebed99731","abstract_canon_sha256":"4bb689ac9e59f649551492bc579ba83e0db10a59e0b7d4f7e37471051b2fe528"},"schema_version":"1.0"},"canonical_sha256":"80efbf4be095e3a3c536572f53ffa6b38cee733f4d63497c19be4562848add46","source":{"kind":"arxiv","id":"1707.08618","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08618","created_at":"2026-05-18T00:39:23Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08618v1","created_at":"2026-05-18T00:39:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08618","created_at":"2026-05-18T00:39:23Z"},{"alias_kind":"pith_short_12","alias_value":"QDX36S7ASXR2","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"QDX36S7ASXR2HRJW","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"QDX36S7A","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:QDX36S7ASXR2HRJWK4XVH75GWO","target":"record","payload":{"canonical_record":{"source":{"id":"1707.08618","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T19:27:18Z","cross_cats_sorted":[],"title_canon_sha256":"47245fd2deaf28d55b1ba4c43c3d758a0182d79e8cd280ae42724a2ebed99731","abstract_canon_sha256":"4bb689ac9e59f649551492bc579ba83e0db10a59e0b7d4f7e37471051b2fe528"},"schema_version":"1.0"},"canonical_sha256":"80efbf4be095e3a3c536572f53ffa6b38cee733f4d63497c19be4562848add46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:23.570456Z","signature_b64":"5NlOKsQnwG7ENq4Jm5AnlHG61Q3UBPRfgfIS75slUKcYnlrYyIqzBucqlzodxGm7bNY9Wxg+BxAqQgtuTbtrAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"80efbf4be095e3a3c536572f53ffa6b38cee733f4d63497c19be4562848add46","last_reissued_at":"2026-05-18T00:39:23.569763Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:23.569763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.08618","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-18T00:39:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f44UZ9HPfqG5gGd3OjSgVU6kzYq0YO8Kxvi3TAh8u+edq2VcxUPR60BzR5+Xrb+6BfJG8oUC6AWz1Deb6FzWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T22:27:01.138443Z"},"content_sha256":"7bd65757f5e1faa21a2251e30151d42dea40cca65d8e61dccb977a3f50bf9674","schema_version":"1.0","event_id":"sha256:7bd65757f5e1faa21a2251e30151d42dea40cca65d8e61dccb977a3f50bf9674"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:QDX36S7ASXR2HRJWK4XVH75GWO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Process Description, Behavior, and Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haya Alahmad, Sabah Al-Fedaghi","submitted_at":"2017-07-26T19:27:18Z","abstract_excerpt":"Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness of static and dynamic specifications. This paper proposes a diagrammatic language for engineering process modeling that provides an integration tool for capturing the static description of processes, framing their behaviors in terms of events, and utilizing the resultant model for controlling processes. Without loss of generality, the focus of the paper is "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08618","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-18T00:39:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HS0DwxoiMCwQ4icJYQaK8gUHRWT/hl2m3ak+5ceHnStFh2RiQcpmrhPPo7ql2goWbR23lkfXhYV8XQxLcKKfBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T22:27:01.138787Z"},"content_sha256":"ed89e8f1427f0446c6a752994e828dd3161bca5de5b47685e7b548d0e192d234","schema_version":"1.0","event_id":"sha256:ed89e8f1427f0446c6a752994e828dd3161bca5de5b47685e7b548d0e192d234"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QDX36S7ASXR2HRJWK4XVH75GWO/bundle.json","state_url":"https://pith.science/pith/QDX36S7ASXR2HRJWK4XVH75GWO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QDX36S7ASXR2HRJWK4XVH75GWO/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-28T22:27:01Z","links":{"resolver":"https://pith.science/pith/QDX36S7ASXR2HRJWK4XVH75GWO","bundle":"https://pith.science/pith/QDX36S7ASXR2HRJWK4XVH75GWO/bundle.json","state":"https://pith.science/pith/QDX36S7ASXR2HRJWK4XVH75GWO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QDX36S7ASXR2HRJWK4XVH75GWO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:QDX36S7ASXR2HRJWK4XVH75GWO","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":"4bb689ac9e59f649551492bc579ba83e0db10a59e0b7d4f7e37471051b2fe528","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T19:27:18Z","title_canon_sha256":"47245fd2deaf28d55b1ba4c43c3d758a0182d79e8cd280ae42724a2ebed99731"},"schema_version":"1.0","source":{"id":"1707.08618","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08618","created_at":"2026-05-18T00:39:23Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08618v1","created_at":"2026-05-18T00:39:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08618","created_at":"2026-05-18T00:39:23Z"},{"alias_kind":"pith_short_12","alias_value":"QDX36S7ASXR2","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"QDX36S7ASXR2HRJW","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"QDX36S7A","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:ed89e8f1427f0446c6a752994e828dd3161bca5de5b47685e7b548d0e192d234","target":"graph","created_at":"2026-05-18T00:39:23Z","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":"Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness of static and dynamic specifications. This paper proposes a diagrammatic language for engineering process modeling that provides an integration tool for capturing the static description of processes, framing their behaviors in terms of events, and utilizing the resultant model for controlling processes. Without loss of generality, the focus of the paper is ","authors_text":"Haya Alahmad, Sabah Al-Fedaghi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T19:27:18Z","title":"Process Description, Behavior, and Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08618","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:7bd65757f5e1faa21a2251e30151d42dea40cca65d8e61dccb977a3f50bf9674","target":"record","created_at":"2026-05-18T00:39:23Z","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":"4bb689ac9e59f649551492bc579ba83e0db10a59e0b7d4f7e37471051b2fe528","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T19:27:18Z","title_canon_sha256":"47245fd2deaf28d55b1ba4c43c3d758a0182d79e8cd280ae42724a2ebed99731"},"schema_version":"1.0","source":{"id":"1707.08618","kind":"arxiv","version":1}},"canonical_sha256":"80efbf4be095e3a3c536572f53ffa6b38cee733f4d63497c19be4562848add46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"80efbf4be095e3a3c536572f53ffa6b38cee733f4d63497c19be4562848add46","first_computed_at":"2026-05-18T00:39:23.569763Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:23.569763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5NlOKsQnwG7ENq4Jm5AnlHG61Q3UBPRfgfIS75slUKcYnlrYyIqzBucqlzodxGm7bNY9Wxg+BxAqQgtuTbtrAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:23.570456Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.08618","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7bd65757f5e1faa21a2251e30151d42dea40cca65d8e61dccb977a3f50bf9674","sha256:ed89e8f1427f0446c6a752994e828dd3161bca5de5b47685e7b548d0e192d234"],"state_sha256":"6ff2f12c8632402bcfcec4c8ce71c0e9ec06bab14e350528dbe4804ad5cbf594"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZOPvNpKMBrXnpGVSv7RXoMozKNT150cD+KOfQK4M4bkF4umLo1L/HQsyf7sEazcfU9s3Pqx5OAgAlKdgvwIrBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T22:27:01.140625Z","bundle_sha256":"41d3c26018e2bb249364db1e09642f910f21e447af50c9683a63ffc64ae152fe"}}