{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:HSNW3RJXX6EZYOWHPUV6YYDEIX","short_pith_number":"pith:HSNW3RJX","schema_version":"1.0","canonical_sha256":"3c9b6dc537bf899c3ac77d2bec606445edb2c43508eccd987c1c2833193ebd69","source":{"kind":"arxiv","id":"1908.11179","version":3},"attestation_state":"computed","paper":{"title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Danny Weyns, M. Usman Iftikhar","submitted_at":"2019-08-29T12:33:50Z","abstract_excerpt":"Self-adaptation equips a computing system with a feedback loop that enables it dealing with change caused by uncertainties during operation, such as changing availability of resources and fluctuating workloads. To ensure that the system complies with the adaptation goals, recent research suggests the use of formal techniques at runtime. Yet, existing approaches have three limitations that affect their practical applicability: (i) they ignore correctness of the behavior of the feedback loop, (ii) they rely on exhaustive verification at runtime to select adaptation options to realize the adaptat"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1908.11179","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-29T12:33:50Z","cross_cats_sorted":[],"title_canon_sha256":"17a96cc99ca7309dce92e143480ee85c89f23b4696da50bac1c906fbaeedf1df","abstract_canon_sha256":"127adaca9355b7837da98b7dda71b69f3af0a51f9b963d56d889cfb7246b8291"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:02:12.418917Z","signature_b64":"m/UZgh4CA12s34vlcyb7eMMshRRguRLAFmdmWM92WTEQFq2BeP0y/zd4HriFWasl2jyTBwxg7GGltGQZiDacBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c9b6dc537bf899c3ac77d2bec606445edb2c43508eccd987c1c2833193ebd69","last_reissued_at":"2026-07-05T04:02:12.418549Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:02:12.418549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Danny Weyns, M. Usman Iftikhar","submitted_at":"2019-08-29T12:33:50Z","abstract_excerpt":"Self-adaptation equips a computing system with a feedback loop that enables it dealing with change caused by uncertainties during operation, such as changing availability of resources and fluctuating workloads. To ensure that the system complies with the adaptation goals, recent research suggests the use of formal techniques at runtime. Yet, existing approaches have three limitations that affect their practical applicability: (i) they ignore correctness of the behavior of the feedback loop, (ii) they rely on exhaustive verification at runtime to select adaptation options to realize the adaptat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.11179","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1908.11179/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1908.11179","created_at":"2026-07-05T04:02:12.418613+00:00"},{"alias_kind":"arxiv_version","alias_value":"1908.11179v3","created_at":"2026-07-05T04:02:12.418613+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.11179","created_at":"2026-07-05T04:02:12.418613+00:00"},{"alias_kind":"pith_short_12","alias_value":"HSNW3RJXX6EZ","created_at":"2026-07-05T04:02:12.418613+00:00"},{"alias_kind":"pith_short_16","alias_value":"HSNW3RJXX6EZYOWH","created_at":"2026-07-05T04:02:12.418613+00:00"},{"alias_kind":"pith_short_8","alias_value":"HSNW3RJX","created_at":"2026-07-05T04:02:12.418613+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX","json":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX.json","graph_json":"https://pith.science/api/pith-number/HSNW3RJXX6EZYOWHPUV6YYDEIX/graph.json","events_json":"https://pith.science/api/pith-number/HSNW3RJXX6EZYOWHPUV6YYDEIX/events.json","paper":"https://pith.science/paper/HSNW3RJX"},"agent_actions":{"view_html":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX","download_json":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX.json","view_paper":"https://pith.science/paper/HSNW3RJX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1908.11179&json=true","fetch_graph":"https://pith.science/api/pith-number/HSNW3RJXX6EZYOWHPUV6YYDEIX/graph.json","fetch_events":"https://pith.science/api/pith-number/HSNW3RJXX6EZYOWHPUV6YYDEIX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX/action/storage_attestation","attest_author":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX/action/author_attestation","sign_citation":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX/action/citation_signature","submit_replication":"https://pith.science/pith/HSNW3RJXX6EZYOWHPUV6YYDEIX/action/replication_record"}},"created_at":"2026-07-05T04:02:12.418613+00:00","updated_at":"2026-07-05T04:02:12.418613+00:00"}