{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:H677SHQC6A3WHTFTDLXSY7MT74","short_pith_number":"pith:H677SHQC","schema_version":"1.0","canonical_sha256":"3fbff91e02f03763ccb31aef2c7d93ff05e76486a3b5ceea81a0516d955216d9","source":{"kind":"arxiv","id":"1606.00506","version":1},"attestation_state":"computed","paper":{"title":"Preliminary Results Towards Contract Monitorability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adrian Francalanza (University of Malta), Annalizz Vella (University of Malta)","submitted_at":"2016-06-01T23:59:40Z","abstract_excerpt":"This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whether they satisfy some specified contract, which forces the client (i.e., the entity interacting with the server) to perform dynamic checks. This scenario may be viewed as an instance of Runtime Verification, where a pertinent question is whether contracts can be monitored for adequately at runtime, otherwise stated as the monitorability of contracts. We consider a simple language of finitary contracts describing both c"},"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":"1606.00506","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-01T23:59:40Z","cross_cats_sorted":[],"title_canon_sha256":"afa07df15458d02595213558c844ae041e2f77348333cdf013fabf09f3ff5eef","abstract_canon_sha256":"41ab2a911311c70ef5eff5319d70ca2115d67238a54536843f7363d818ce1e70"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:04.256879Z","signature_b64":"Np2so5z3uhQH0KC+Ua05qb5uObk2ySyZPrbsr6U6iSaxQ2OFRHltTDOtfkR4SOKwsQEhc/K4morc+j/MuthGAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3fbff91e02f03763ccb31aef2c7d93ff05e76486a3b5ceea81a0516d955216d9","last_reissued_at":"2026-05-18T01:13:04.256523Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:04.256523Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Preliminary Results Towards Contract Monitorability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adrian Francalanza (University of Malta), Annalizz Vella (University of Malta)","submitted_at":"2016-06-01T23:59:40Z","abstract_excerpt":"This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whether they satisfy some specified contract, which forces the client (i.e., the entity interacting with the server) to perform dynamic checks. This scenario may be viewed as an instance of Runtime Verification, where a pertinent question is whether contracts can be monitored for adequately at runtime, otherwise stated as the monitorability of contracts. We consider a simple language of finitary contracts describing both c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00506","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1606.00506","created_at":"2026-05-18T01:13:04.256579+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.00506v1","created_at":"2026-05-18T01:13:04.256579+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00506","created_at":"2026-05-18T01:13:04.256579+00:00"},{"alias_kind":"pith_short_12","alias_value":"H677SHQC6A3W","created_at":"2026-05-18T12:30:19.053100+00:00"},{"alias_kind":"pith_short_16","alias_value":"H677SHQC6A3WHTFT","created_at":"2026-05-18T12:30:19.053100+00:00"},{"alias_kind":"pith_short_8","alias_value":"H677SHQC","created_at":"2026-05-18T12:30:19.053100+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/H677SHQC6A3WHTFTDLXSY7MT74","json":"https://pith.science/pith/H677SHQC6A3WHTFTDLXSY7MT74.json","graph_json":"https://pith.science/api/pith-number/H677SHQC6A3WHTFTDLXSY7MT74/graph.json","events_json":"https://pith.science/api/pith-number/H677SHQC6A3WHTFTDLXSY7MT74/events.json","paper":"https://pith.science/paper/H677SHQC"},"agent_actions":{"view_html":"https://pith.science/pith/H677SHQC6A3WHTFTDLXSY7MT74","download_json":"https://pith.science/pith/H677SHQC6A3WHTFTDLXSY7MT74.json","view_paper":"https://pith.science/paper/H677SHQC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.00506&json=true","fetch_graph":"https://pith.science/api/pith-number/H677SHQC6A3WHTFTDLXSY7MT74/graph.json","fetch_events":"https://pith.science/api/pith-number/H677SHQC6A3WHTFTDLXSY7MT74/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/H677SHQC6A3WHTFTDLXSY7MT74/action/timestamp_anchor","attest_storage":"https://pith.science/pith/H677SHQC6A3WHTFTDLXSY7MT74/action/storage_attestation","attest_author":"https://pith.science/pith/H677SHQC6A3WHTFTDLXSY7MT74/action/author_attestation","sign_citation":"https://pith.science/pith/H677SHQC6A3WHTFTDLXSY7MT74/action/citation_signature","submit_replication":"https://pith.science/pith/H677SHQC6A3WHTFTDLXSY7MT74/action/replication_record"}},"created_at":"2026-05-18T01:13:04.256579+00:00","updated_at":"2026-05-18T01:13:04.256579+00:00"}