{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:T6NVQAJRIMLUXW64FAUP4HUFL5","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":"895aa33788171abb596de80a93dc9560b2544acc2379d05dc8acacc301c712ca","cross_cats_sorted":["cs.FL","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-03T17:48:22Z","title_canon_sha256":"b49ac580f4b09281a4779b6a1b81984d7e7dec8e2e219d65f29005e12bf816b0"},"schema_version":"1.0","source":{"id":"1806.00842","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.00842","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"arxiv_version","alias_value":"1806.00842v1","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.00842","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"pith_short_12","alias_value":"T6NVQAJRIMLU","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"T6NVQAJRIMLUXW64","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"T6NVQAJR","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:9c71e229c263f1bc3c01440aaa7fd5e0cca659d556bfb0d889e74e32774b8ee9","target":"graph","created_at":"2026-05-18T00:14:18Z","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":"We describe some progress towards a new common framework for model driven engineering, based on behavioral programming. The tool we have developed unifies almost all of the work done in behavioral programming so far, under a common set of interfaces. Its architecture supports pluggable event selection strategies, which can make models more intuitive and compact. Program state space can be traversed using various algorithms, such as DFS and A*. Furthermore, program state is represented in a way that enables scanning a state space using parallel and distributed algorithms. Executable models crea","authors_text":"Gera Weiss, Michael Bar-Sinai, Reut Shmuel","cross_cats":["cs.FL","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-03T17:48:22Z","title":"BPjs --- a framework for modeling reactive systems using a scripting language and BP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.00842","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:99182245f5fb1c95ed6075f539a2e4de482f54af2aa32fc80c1e494eb8ec6d3e","target":"record","created_at":"2026-05-18T00:14:18Z","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":"895aa33788171abb596de80a93dc9560b2544acc2379d05dc8acacc301c712ca","cross_cats_sorted":["cs.FL","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-03T17:48:22Z","title_canon_sha256":"b49ac580f4b09281a4779b6a1b81984d7e7dec8e2e219d65f29005e12bf816b0"},"schema_version":"1.0","source":{"id":"1806.00842","kind":"arxiv","version":1}},"canonical_sha256":"9f9b58013143174bdbdc2828fe1e855f415bff06f096d6cab16a6817f8b8fe12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f9b58013143174bdbdc2828fe1e855f415bff06f096d6cab16a6817f8b8fe12","first_computed_at":"2026-05-18T00:14:18.229888Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:18.229888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Xkx0hiqGHfWsJ+g0NOKpWWggItgUYEFYN2QEDSHR3HmqCe7782SScaUuCgpL1bxkd4FoBCUyvX3TaNdFyZVrDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:18.230380Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.00842","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99182245f5fb1c95ed6075f539a2e4de482f54af2aa32fc80c1e494eb8ec6d3e","sha256:9c71e229c263f1bc3c01440aaa7fd5e0cca659d556bfb0d889e74e32774b8ee9"],"state_sha256":"8be7b7663739b95c6dac1179572b3334899d116e61c68d168d343fe963911b25"}