{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:Q3ZFLROZ55IUFAFEJ37QXPJNZ3","short_pith_number":"pith:Q3ZFLROZ","canonical_record":{"source":{"id":"1609.08531","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-27T16:59:50Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dea9edba116097e9f5605e4ea1291a1564145c8f2f9257741b8cab04de390e10","abstract_canon_sha256":"331dcaff8800b94abe9b6603518dd1b2bb4e996842cf959a752cf040c652b043"},"schema_version":"1.0"},"canonical_sha256":"86f255c5d9ef514280a44eff0bbd2dceff23c7422a766e8e2b5fc51d4e30e507","source":{"kind":"arxiv","id":"1609.08531","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.08531","created_at":"2026-05-18T01:03:45Z"},{"alias_kind":"arxiv_version","alias_value":"1609.08531v1","created_at":"2026-05-18T01:03:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.08531","created_at":"2026-05-18T01:03:45Z"},{"alias_kind":"pith_short_12","alias_value":"Q3ZFLROZ55IU","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"Q3ZFLROZ55IUFAFE","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"Q3ZFLROZ","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:Q3ZFLROZ55IUFAFEJ37QXPJNZ3","target":"record","payload":{"canonical_record":{"source":{"id":"1609.08531","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-27T16:59:50Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dea9edba116097e9f5605e4ea1291a1564145c8f2f9257741b8cab04de390e10","abstract_canon_sha256":"331dcaff8800b94abe9b6603518dd1b2bb4e996842cf959a752cf040c652b043"},"schema_version":"1.0"},"canonical_sha256":"86f255c5d9ef514280a44eff0bbd2dceff23c7422a766e8e2b5fc51d4e30e507","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:45.709648Z","signature_b64":"U/+PxJ0caCZiTvrro8mvAMd7SD07LRFxDlXBue+7BDRq5NXEcioCVVXcRcSEdvohfWiyA0XjHbfK9+Vkw0bxDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"86f255c5d9ef514280a44eff0bbd2dceff23c7422a766e8e2b5fc51d4e30e507","last_reissued_at":"2026-05-18T01:03:45.709188Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:45.709188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.08531","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-18T01:03:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZFJyXI3yl9BnZ/s4o0099Gs9P9Z5vyKnAO3Y2txsPNdrL+rYcN4bvAsH/5kMBP//1dfr1U05oMp37LC2vnZsDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:43:26.308993Z"},"content_sha256":"c46acc5b3687d3ee7a55c5fa1a53a965ad417056a13880f47918c05cd8bd8748","schema_version":"1.0","event_id":"sha256:c46acc5b3687d3ee7a55c5fa1a53a965ad417056a13880f47918c05cd8bd8748"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:Q3ZFLROZ55IUFAFEJ37QXPJNZ3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Andrey Mokhov, Anirban Bhattacharyya, Ken Pierce","submitted_at":"2016-09-27T16:59:50Z","abstract_excerpt":"This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The requirements on an ideal formalism for dynamic software reconfiguration are defined. The reconfiguration of an office workflow for order processing is described, and the requirements on the reconfiguration of the workflow are defined. The workflow is modelled using the Vienna Development Method ($\\mathrm{VDM}$), conditional partial order graphs ($\\mathrm{CPOGs}$), and the basic Calculus of Communicati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.08531","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-18T01:03:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hXcfl6cpEnYsR9xUMDXVRZANikA8Ffvdfmj5iFmZrg5QKXvrj5pxZrAMUEyZ5JyS9n7sSB0VLeNCFPlTAAYOAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:43:26.309692Z"},"content_sha256":"6fdfeaa3c3513aa4ee8012a5275125fbbb9c156f9951d9bcb28b368b75f1c919","schema_version":"1.0","event_id":"sha256:6fdfeaa3c3513aa4ee8012a5275125fbbb9c156f9951d9bcb28b368b75f1c919"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q3ZFLROZ55IUFAFEJ37QXPJNZ3/bundle.json","state_url":"https://pith.science/pith/Q3ZFLROZ55IUFAFEJ37QXPJNZ3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q3ZFLROZ55IUFAFEJ37QXPJNZ3/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-07T16:43:26Z","links":{"resolver":"https://pith.science/pith/Q3ZFLROZ55IUFAFEJ37QXPJNZ3","bundle":"https://pith.science/pith/Q3ZFLROZ55IUFAFEJ37QXPJNZ3/bundle.json","state":"https://pith.science/pith/Q3ZFLROZ55IUFAFEJ37QXPJNZ3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q3ZFLROZ55IUFAFEJ37QXPJNZ3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:Q3ZFLROZ55IUFAFEJ37QXPJNZ3","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":"331dcaff8800b94abe9b6603518dd1b2bb4e996842cf959a752cf040c652b043","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-27T16:59:50Z","title_canon_sha256":"dea9edba116097e9f5605e4ea1291a1564145c8f2f9257741b8cab04de390e10"},"schema_version":"1.0","source":{"id":"1609.08531","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.08531","created_at":"2026-05-18T01:03:45Z"},{"alias_kind":"arxiv_version","alias_value":"1609.08531v1","created_at":"2026-05-18T01:03:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.08531","created_at":"2026-05-18T01:03:45Z"},{"alias_kind":"pith_short_12","alias_value":"Q3ZFLROZ55IU","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"Q3ZFLROZ55IUFAFE","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"Q3ZFLROZ","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:6fdfeaa3c3513aa4ee8012a5275125fbbb9c156f9951d9bcb28b368b75f1c919","target":"graph","created_at":"2026-05-18T01:03:45Z","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":"This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The requirements on an ideal formalism for dynamic software reconfiguration are defined. The reconfiguration of an office workflow for order processing is described, and the requirements on the reconfiguration of the workflow are defined. The workflow is modelled using the Vienna Development Method ($\\mathrm{VDM}$), conditional partial order graphs ($\\mathrm{CPOGs}$), and the basic Calculus of Communicati","authors_text":"Andrey Mokhov, Anirban Bhattacharyya, Ken Pierce","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-27T16:59:50Z","title":"An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.08531","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:c46acc5b3687d3ee7a55c5fa1a53a965ad417056a13880f47918c05cd8bd8748","target":"record","created_at":"2026-05-18T01:03:45Z","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":"331dcaff8800b94abe9b6603518dd1b2bb4e996842cf959a752cf040c652b043","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-09-27T16:59:50Z","title_canon_sha256":"dea9edba116097e9f5605e4ea1291a1564145c8f2f9257741b8cab04de390e10"},"schema_version":"1.0","source":{"id":"1609.08531","kind":"arxiv","version":1}},"canonical_sha256":"86f255c5d9ef514280a44eff0bbd2dceff23c7422a766e8e2b5fc51d4e30e507","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"86f255c5d9ef514280a44eff0bbd2dceff23c7422a766e8e2b5fc51d4e30e507","first_computed_at":"2026-05-18T01:03:45.709188Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:45.709188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U/+PxJ0caCZiTvrro8mvAMd7SD07LRFxDlXBue+7BDRq5NXEcioCVVXcRcSEdvohfWiyA0XjHbfK9+Vkw0bxDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:45.709648Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.08531","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c46acc5b3687d3ee7a55c5fa1a53a965ad417056a13880f47918c05cd8bd8748","sha256:6fdfeaa3c3513aa4ee8012a5275125fbbb9c156f9951d9bcb28b368b75f1c919"],"state_sha256":"0f69ff5c93a8d47ce3492698d3cb5b27120445e2ddc19d990e9f7a783423847c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"roQZihzEwl3VJwMjh8MEbBkaD/054u3eOAt9u5tgf6fEiTNc44Rx9NlCve4JH2yb8vH5bUMF0fO1WkS7iDYLCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T16:43:26.313802Z","bundle_sha256":"8b89212a60bea323aeac73f74f5450f3dc8769722ebba2e1439467f0ae616596"}}