{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:67XDT3KDUM7IRQ236DR7U4HSMH","short_pith_number":"pith:67XDT3KD","schema_version":"1.0","canonical_sha256":"f7ee39ed43a33e88c35bf0e3fa70f261d14206c327306a4397a87a3f48d2dfe5","source":{"kind":"arxiv","id":"2005.03320","version":1},"attestation_state":"computed","paper":{"title":"Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alberto Martin-Lopez, Antonio Ruiz-Cort\\'es, Carlos M\\\"uller, Sergio Segura","submitted_at":"2020-05-07T08:35:35Z","abstract_excerpt":"Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the OpenAPI Specification (OAS) provide no support for the formal description of such dependencies, which makes it hardly possible to automatically discover and interact with services without human intervention. In this article, we present an approach for the specification and automated analysis of inter-parameter dependencies in web APIs. We first present a dom"},"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":"2005.03320","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-07T08:35:35Z","cross_cats_sorted":[],"title_canon_sha256":"8a9a75aa967eca7b0143665f10158e5e28437c83ce6b9eb370e22a505023cc66","abstract_canon_sha256":"731c8aa70d1c94cae838bb193031660c78b7439cffe40458f59a7dbd6c60c68f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:01:07.265547Z","signature_b64":"E1dJoZZKsQGguQI5SNCdhjBlnZkl9IOn8cpNAA0f/J6wvdda+jvWRnYYzR21EHreCdguqtszYrEuv+CQYLHQAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f7ee39ed43a33e88c35bf0e3fa70f261d14206c327306a4397a87a3f48d2dfe5","last_reissued_at":"2026-07-05T01:01:07.265114Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:01:07.265114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alberto Martin-Lopez, Antonio Ruiz-Cort\\'es, Carlos M\\\"uller, Sergio Segura","submitted_at":"2020-05-07T08:35:35Z","abstract_excerpt":"Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the OpenAPI Specification (OAS) provide no support for the formal description of such dependencies, which makes it hardly possible to automatically discover and interact with services without human intervention. In this article, we present an approach for the specification and automated analysis of inter-parameter dependencies in web APIs. We first present a dom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.03320","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2005.03320/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":"2005.03320","created_at":"2026-07-05T01:01:07.265176+00:00"},{"alias_kind":"arxiv_version","alias_value":"2005.03320v1","created_at":"2026-07-05T01:01:07.265176+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.03320","created_at":"2026-07-05T01:01:07.265176+00:00"},{"alias_kind":"pith_short_12","alias_value":"67XDT3KDUM7I","created_at":"2026-07-05T01:01:07.265176+00:00"},{"alias_kind":"pith_short_16","alias_value":"67XDT3KDUM7IRQ23","created_at":"2026-07-05T01:01:07.265176+00:00"},{"alias_kind":"pith_short_8","alias_value":"67XDT3KD","created_at":"2026-07-05T01:01:07.265176+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/67XDT3KDUM7IRQ236DR7U4HSMH","json":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH.json","graph_json":"https://pith.science/api/pith-number/67XDT3KDUM7IRQ236DR7U4HSMH/graph.json","events_json":"https://pith.science/api/pith-number/67XDT3KDUM7IRQ236DR7U4HSMH/events.json","paper":"https://pith.science/paper/67XDT3KD"},"agent_actions":{"view_html":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH","download_json":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH.json","view_paper":"https://pith.science/paper/67XDT3KD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2005.03320&json=true","fetch_graph":"https://pith.science/api/pith-number/67XDT3KDUM7IRQ236DR7U4HSMH/graph.json","fetch_events":"https://pith.science/api/pith-number/67XDT3KDUM7IRQ236DR7U4HSMH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/action/storage_attestation","attest_author":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/action/author_attestation","sign_citation":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/action/citation_signature","submit_replication":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/action/replication_record"}},"created_at":"2026-07-05T01:01:07.265176+00:00","updated_at":"2026-07-05T01:01:07.265176+00:00"}