{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JWYIQRKE5SGVKPHRGAACTNSQYQ","short_pith_number":"pith:JWYIQRKE","canonical_record":{"source":{"id":"1704.06229","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-04-11T13:06:33Z","cross_cats_sorted":[],"title_canon_sha256":"ef6eef1fababdfd308c2fbfbe2777709b6b057a5ec9fe9f2975c76601a8f0a65","abstract_canon_sha256":"db121ea6cf5e98465caf8feab32fe9caef50e285b93773fb3227f85f3464863c"},"schema_version":"1.0"},"canonical_sha256":"4db0884544ec8d553cf1300029b650c41a159066b683a934340be66741ceb2ca","source":{"kind":"arxiv","id":"1704.06229","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.06229","created_at":"2026-05-18T00:46:03Z"},{"alias_kind":"arxiv_version","alias_value":"1704.06229v1","created_at":"2026-05-18T00:46:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.06229","created_at":"2026-05-18T00:46:03Z"},{"alias_kind":"pith_short_12","alias_value":"JWYIQRKE5SGV","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JWYIQRKE5SGVKPHR","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JWYIQRKE","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JWYIQRKE5SGVKPHRGAACTNSQYQ","target":"record","payload":{"canonical_record":{"source":{"id":"1704.06229","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-04-11T13:06:33Z","cross_cats_sorted":[],"title_canon_sha256":"ef6eef1fababdfd308c2fbfbe2777709b6b057a5ec9fe9f2975c76601a8f0a65","abstract_canon_sha256":"db121ea6cf5e98465caf8feab32fe9caef50e285b93773fb3227f85f3464863c"},"schema_version":"1.0"},"canonical_sha256":"4db0884544ec8d553cf1300029b650c41a159066b683a934340be66741ceb2ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:03.034795Z","signature_b64":"WknKCzh59U5q5cDhxzubSPEJGq2nt8m7OCxbXR7eq8Cp37FO62loIuRiFzZDVRz3eITfNcRmQ1NFooV6vqSCBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4db0884544ec8d553cf1300029b650c41a159066b683a934340be66741ceb2ca","last_reissued_at":"2026-05-18T00:46:03.034357Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:03.034357Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.06229","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:46:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GRDr3ABcAxzxCVH5njUz0I4p/SvJJcsUGy/XjByfgoUDBzOCqJX5mN0apuZ0lIrGDn5VML2BOihDo1df+fQtAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:21:09.413037Z"},"content_sha256":"44ed5da6675d4ff9a59f27f5bb8d67c5f45e9d858208dd17cc52f2ec43605dea","schema_version":"1.0","event_id":"sha256:44ed5da6675d4ff9a59f27f5bb8d67c5f45e9d858208dd17cc52f2ec43605dea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JWYIQRKE5SGVKPHRGAACTNSQYQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Discovering Business Rules from Business Process Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fakir Hossain, Markus Helfert, Thang Le Dinh, Thanh Thoa Pham Thi","submitted_at":"2017-04-11T13:06:33Z","abstract_excerpt":"Discovering business rules from business process models are of advantage to ensure the compliance of business processes with business rules. Furthermore it provides the agility of business processes in case of business rules evolution. Current approaches are limited on types of rules that can be discovered. This paper analyses the expression power of some popular business process modelling languages in embedding business rules in its presentation and provides indicators to extract various types of business rules from business process models."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.06229","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:46:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mbo+s+yDshQ1wG0DJBGKZV8kwIMDePpZb7pMlfYP479mXJtOj1TQbPMtj9KldwXyYHt6fyrmD2tSSGR+qNc8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:21:09.413528Z"},"content_sha256":"8f5bd447000cec770465187d0f751d49c7a7aba37741401d99bfecfcefa06c0e","schema_version":"1.0","event_id":"sha256:8f5bd447000cec770465187d0f751d49c7a7aba37741401d99bfecfcefa06c0e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JWYIQRKE5SGVKPHRGAACTNSQYQ/bundle.json","state_url":"https://pith.science/pith/JWYIQRKE5SGVKPHRGAACTNSQYQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JWYIQRKE5SGVKPHRGAACTNSQYQ/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-08-03T16:21:09Z","links":{"resolver":"https://pith.science/pith/JWYIQRKE5SGVKPHRGAACTNSQYQ","bundle":"https://pith.science/pith/JWYIQRKE5SGVKPHRGAACTNSQYQ/bundle.json","state":"https://pith.science/pith/JWYIQRKE5SGVKPHRGAACTNSQYQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JWYIQRKE5SGVKPHRGAACTNSQYQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JWYIQRKE5SGVKPHRGAACTNSQYQ","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":"db121ea6cf5e98465caf8feab32fe9caef50e285b93773fb3227f85f3464863c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-04-11T13:06:33Z","title_canon_sha256":"ef6eef1fababdfd308c2fbfbe2777709b6b057a5ec9fe9f2975c76601a8f0a65"},"schema_version":"1.0","source":{"id":"1704.06229","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.06229","created_at":"2026-05-18T00:46:03Z"},{"alias_kind":"arxiv_version","alias_value":"1704.06229v1","created_at":"2026-05-18T00:46:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.06229","created_at":"2026-05-18T00:46:03Z"},{"alias_kind":"pith_short_12","alias_value":"JWYIQRKE5SGV","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JWYIQRKE5SGVKPHR","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JWYIQRKE","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:8f5bd447000cec770465187d0f751d49c7a7aba37741401d99bfecfcefa06c0e","target":"graph","created_at":"2026-05-18T00:46:03Z","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":"Discovering business rules from business process models are of advantage to ensure the compliance of business processes with business rules. Furthermore it provides the agility of business processes in case of business rules evolution. Current approaches are limited on types of rules that can be discovered. This paper analyses the expression power of some popular business process modelling languages in embedding business rules in its presentation and provides indicators to extract various types of business rules from business process models.","authors_text":"Fakir Hossain, Markus Helfert, Thang Le Dinh, Thanh Thoa Pham Thi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-04-11T13:06:33Z","title":"Discovering Business Rules from Business Process Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.06229","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:44ed5da6675d4ff9a59f27f5bb8d67c5f45e9d858208dd17cc52f2ec43605dea","target":"record","created_at":"2026-05-18T00:46:03Z","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":"db121ea6cf5e98465caf8feab32fe9caef50e285b93773fb3227f85f3464863c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-04-11T13:06:33Z","title_canon_sha256":"ef6eef1fababdfd308c2fbfbe2777709b6b057a5ec9fe9f2975c76601a8f0a65"},"schema_version":"1.0","source":{"id":"1704.06229","kind":"arxiv","version":1}},"canonical_sha256":"4db0884544ec8d553cf1300029b650c41a159066b683a934340be66741ceb2ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4db0884544ec8d553cf1300029b650c41a159066b683a934340be66741ceb2ca","first_computed_at":"2026-05-18T00:46:03.034357Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:03.034357Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WknKCzh59U5q5cDhxzubSPEJGq2nt8m7OCxbXR7eq8Cp37FO62loIuRiFzZDVRz3eITfNcRmQ1NFooV6vqSCBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:03.034795Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.06229","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:44ed5da6675d4ff9a59f27f5bb8d67c5f45e9d858208dd17cc52f2ec43605dea","sha256:8f5bd447000cec770465187d0f751d49c7a7aba37741401d99bfecfcefa06c0e"],"state_sha256":"f8730374220b19a921b967fe9f39bba5088b1247da856358acf213728093e374"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PKiCU8pLAGQgoOghTuOBncMS222U3ikOYzmXCgaw7Oqf3H3KCwVsVPG8m6xhWMftBIPZm/49wiS89JqeIDdWDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T16:21:09.417616Z","bundle_sha256":"2ef71d76e2d7bc903ee73b15dd51fd6c2c89b03f824b5538e4c75d5bc75278d7"}}