{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:67XDT3KDUM7IRQ236DR7U4HSMH","short_pith_number":"pith:67XDT3KD","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"},"canonical_sha256":"f7ee39ed43a33e88c35bf0e3fa70f261d14206c327306a4397a87a3f48d2dfe5","source":{"kind":"arxiv","id":"2005.03320","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.03320","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"arxiv_version","alias_value":"2005.03320v1","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.03320","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"pith_short_12","alias_value":"67XDT3KDUM7I","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"pith_short_16","alias_value":"67XDT3KDUM7IRQ23","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"pith_short_8","alias_value":"67XDT3KD","created_at":"2026-07-05T01:01:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:67XDT3KDUM7IRQ236DR7U4HSMH","target":"record","payload":{"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"},"canonical_sha256":"f7ee39ed43a33e88c35bf0e3fa70f261d14206c327306a4397a87a3f48d2dfe5","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"},"source_kind":"arxiv","source_id":"2005.03320","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-07-05T01:01:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4tppdzGpJFcLEKLhzAxQxXWx12wQWzP7NhqPjlCkHEkrHzZ7Ob9E2fhhOrQP/iwNQ0Zw9aOtfAzZFcOWVa9OAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T11:35:52.303668Z"},"content_sha256":"dc38b76f025e428ed31b1f0a12737ba55e9a1c187f881065e881d4899965fff9","schema_version":"1.0","event_id":"sha256:dc38b76f025e428ed31b1f0a12737ba55e9a1c187f881065e881d4899965fff9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:67XDT3KDUM7IRQ236DR7U4HSMH","target":"graph","payload":{"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"},"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-07-05T01:01:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2/UTmhqFolncnUsFaICSON1YclhmKwXjVU6YJMSdkNZ68M2ibgXPciy7ckJoLBWxiqw5kXLLy4IfSd5R5jxoDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T11:35:52.305170Z"},"content_sha256":"d1950604c2b06b97e4316b4f43c9c965d71953f95cc6b279aa71495a4c5d327c","schema_version":"1.0","event_id":"sha256:d1950604c2b06b97e4316b4f43c9c965d71953f95cc6b279aa71495a4c5d327c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/bundle.json","state_url":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/67XDT3KDUM7IRQ236DR7U4HSMH/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-08-15T11:35:52Z","links":{"resolver":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH","bundle":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/bundle.json","state":"https://pith.science/pith/67XDT3KDUM7IRQ236DR7U4HSMH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/67XDT3KDUM7IRQ236DR7U4HSMH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:67XDT3KDUM7IRQ236DR7U4HSMH","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":"731c8aa70d1c94cae838bb193031660c78b7439cffe40458f59a7dbd6c60c68f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-07T08:35:35Z","title_canon_sha256":"8a9a75aa967eca7b0143665f10158e5e28437c83ce6b9eb370e22a505023cc66"},"schema_version":"1.0","source":{"id":"2005.03320","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.03320","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"arxiv_version","alias_value":"2005.03320v1","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.03320","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"pith_short_12","alias_value":"67XDT3KDUM7I","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"pith_short_16","alias_value":"67XDT3KDUM7IRQ23","created_at":"2026-07-05T01:01:07Z"},{"alias_kind":"pith_short_8","alias_value":"67XDT3KD","created_at":"2026-07-05T01:01:07Z"}],"graph_snapshots":[{"event_id":"sha256:d1950604c2b06b97e4316b4f43c9c965d71953f95cc6b279aa71495a4c5d327c","target":"graph","created_at":"2026-07-05T01:01:07Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2005.03320/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Alberto Martin-Lopez, Antonio Ruiz-Cort\\'es, Carlos M\\\"uller, Sergio Segura","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-07T08:35:35Z","title":"Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.03320","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:dc38b76f025e428ed31b1f0a12737ba55e9a1c187f881065e881d4899965fff9","target":"record","created_at":"2026-07-05T01:01:07Z","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":"731c8aa70d1c94cae838bb193031660c78b7439cffe40458f59a7dbd6c60c68f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-07T08:35:35Z","title_canon_sha256":"8a9a75aa967eca7b0143665f10158e5e28437c83ce6b9eb370e22a505023cc66"},"schema_version":"1.0","source":{"id":"2005.03320","kind":"arxiv","version":1}},"canonical_sha256":"f7ee39ed43a33e88c35bf0e3fa70f261d14206c327306a4397a87a3f48d2dfe5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f7ee39ed43a33e88c35bf0e3fa70f261d14206c327306a4397a87a3f48d2dfe5","first_computed_at":"2026-07-05T01:01:07.265114Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:01:07.265114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E1dJoZZKsQGguQI5SNCdhjBlnZkl9IOn8cpNAA0f/J6wvdda+jvWRnYYzR21EHreCdguqtszYrEuv+CQYLHQAg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:01:07.265547Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.03320","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc38b76f025e428ed31b1f0a12737ba55e9a1c187f881065e881d4899965fff9","sha256:d1950604c2b06b97e4316b4f43c9c965d71953f95cc6b279aa71495a4c5d327c"],"state_sha256":"b4e5ae664eb9c97c5ca5f93768daaf1554a3a3f24547f34a42e4408a483b3718"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mEXTmu2OOG5fOqT5xDe57pQAd5elXtFlAUNTNBE+ZHQ7ys62malE33oXreYTg6V2EP66AfmtYRSQSrk9Nks1AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T11:35:52.314571Z","bundle_sha256":"35877512a51f2df3099237b41a91e138dabf671ff0d7f669ccabcf2789cdef07"}}