{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:5PFTIFTGANVBMSAHJYNTCGNJJR","short_pith_number":"pith:5PFTIFTG","canonical_record":{"source":{"id":"1504.05797","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-22T13:32:12Z","cross_cats_sorted":[],"title_canon_sha256":"6f30e825ce74921c2b5c82a66518ec1d45e505a1cfc26421c665228e88fc69bd","abstract_canon_sha256":"54df81f089d8ebfbbce565530cc7392f891a8af4999c18527f5c2d863d0d7f1d"},"schema_version":"1.0"},"canonical_sha256":"ebcb341666036a1648074e1b3119a94c5c9890dc7dccbff38e45f986fe19968c","source":{"kind":"arxiv","id":"1504.05797","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05797","created_at":"2026-05-18T00:53:10Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05797v4","created_at":"2026-05-18T00:53:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05797","created_at":"2026-05-18T00:53:10Z"},{"alias_kind":"pith_short_12","alias_value":"5PFTIFTGANVB","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"5PFTIFTGANVBMSAH","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"5PFTIFTG","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:5PFTIFTGANVBMSAHJYNTCGNJJR","target":"record","payload":{"canonical_record":{"source":{"id":"1504.05797","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-22T13:32:12Z","cross_cats_sorted":[],"title_canon_sha256":"6f30e825ce74921c2b5c82a66518ec1d45e505a1cfc26421c665228e88fc69bd","abstract_canon_sha256":"54df81f089d8ebfbbce565530cc7392f891a8af4999c18527f5c2d863d0d7f1d"},"schema_version":"1.0"},"canonical_sha256":"ebcb341666036a1648074e1b3119a94c5c9890dc7dccbff38e45f986fe19968c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:10.775700Z","signature_b64":"toHsISZuSjI8v0DDwjwXJ2Tsz2EBawQi6PyB7IHe02hNDP5D9wmGmV0YYmpxyU9UT8yXKycaUjZRFmvujDnrDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ebcb341666036a1648074e1b3119a94c5c9890dc7dccbff38e45f986fe19968c","last_reissued_at":"2026-05-18T00:53:10.775225Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:10.775225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.05797","source_version":4,"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-18T00:53:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4/NFrHTf+kPNg8fuTl2ogKghWCvXSOYxSPpcAtWcwO2Xu+vmGNZk2dryOvPUWJjqzpMkAjcJvluN/k6BSkkkDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T09:23:11.285041Z"},"content_sha256":"5091a6c6b6de0ab266d2cb3c6e1d0b756b99c592fa82fd8a81d8a839112c04cb","schema_version":"1.0","event_id":"sha256:5091a6c6b6de0ab266d2cb3c6e1d0b756b99c592fa82fd8a81d8a839112c04cb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:5PFTIFTGANVBMSAHJYNTCGNJJR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Service-Oriented Logic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Ionut Tutu (Department of Computer Science, Jose Luiz Fiadeiro (Department of Computer Science, Royal Holloway University of London)","submitted_at":"2015-04-22T13:32:12Z","abstract_excerpt":"We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that formalize the discovery and binding of services to given client applications by means of logical representations of required and provided services. We show how the denotational and the operational semantics specific to conventional logic programming can be generalized using the theory of institutions to address both static and dynamic aspects "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05797","kind":"arxiv","version":4},"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-18T00:53:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0Bv7wwYKc10TRp6m/fsvff5zWkEyu0GdocHt8OFJJcCUkoB7hYsbbDvFld8zOhrUgNCe3e3RWKh8USSKkKPSDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T09:23:11.285398Z"},"content_sha256":"9c2d7e4788e00b06252a714e278b11dd1fac86eaa5ce7d66a5e1f5c2907d1564","schema_version":"1.0","event_id":"sha256:9c2d7e4788e00b06252a714e278b11dd1fac86eaa5ce7d66a5e1f5c2907d1564"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5PFTIFTGANVBMSAHJYNTCGNJJR/bundle.json","state_url":"https://pith.science/pith/5PFTIFTGANVBMSAHJYNTCGNJJR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5PFTIFTGANVBMSAHJYNTCGNJJR/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-07-02T09:23:11Z","links":{"resolver":"https://pith.science/pith/5PFTIFTGANVBMSAHJYNTCGNJJR","bundle":"https://pith.science/pith/5PFTIFTGANVBMSAHJYNTCGNJJR/bundle.json","state":"https://pith.science/pith/5PFTIFTGANVBMSAHJYNTCGNJJR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5PFTIFTGANVBMSAHJYNTCGNJJR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:5PFTIFTGANVBMSAHJYNTCGNJJR","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":"54df81f089d8ebfbbce565530cc7392f891a8af4999c18527f5c2d863d0d7f1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-22T13:32:12Z","title_canon_sha256":"6f30e825ce74921c2b5c82a66518ec1d45e505a1cfc26421c665228e88fc69bd"},"schema_version":"1.0","source":{"id":"1504.05797","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05797","created_at":"2026-05-18T00:53:10Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05797v4","created_at":"2026-05-18T00:53:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05797","created_at":"2026-05-18T00:53:10Z"},{"alias_kind":"pith_short_12","alias_value":"5PFTIFTGANVB","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"5PFTIFTGANVBMSAH","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"5PFTIFTG","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:9c2d7e4788e00b06252a714e278b11dd1fac86eaa5ce7d66a5e1f5c2907d1564","target":"graph","created_at":"2026-05-18T00:53:10Z","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":"We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that formalize the discovery and binding of services to given client applications by means of logical representations of required and provided services. We show how the denotational and the operational semantics specific to conventional logic programming can be generalized using the theory of institutions to address both static and dynamic aspects ","authors_text":"Ionut Tutu (Department of Computer Science, Jose Luiz Fiadeiro (Department of Computer Science, Royal Holloway University of London)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-22T13:32:12Z","title":"Service-Oriented Logic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05797","kind":"arxiv","version":4},"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:5091a6c6b6de0ab266d2cb3c6e1d0b756b99c592fa82fd8a81d8a839112c04cb","target":"record","created_at":"2026-05-18T00:53:10Z","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":"54df81f089d8ebfbbce565530cc7392f891a8af4999c18527f5c2d863d0d7f1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-22T13:32:12Z","title_canon_sha256":"6f30e825ce74921c2b5c82a66518ec1d45e505a1cfc26421c665228e88fc69bd"},"schema_version":"1.0","source":{"id":"1504.05797","kind":"arxiv","version":4}},"canonical_sha256":"ebcb341666036a1648074e1b3119a94c5c9890dc7dccbff38e45f986fe19968c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ebcb341666036a1648074e1b3119a94c5c9890dc7dccbff38e45f986fe19968c","first_computed_at":"2026-05-18T00:53:10.775225Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:10.775225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"toHsISZuSjI8v0DDwjwXJ2Tsz2EBawQi6PyB7IHe02hNDP5D9wmGmV0YYmpxyU9UT8yXKycaUjZRFmvujDnrDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:10.775700Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.05797","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5091a6c6b6de0ab266d2cb3c6e1d0b756b99c592fa82fd8a81d8a839112c04cb","sha256:9c2d7e4788e00b06252a714e278b11dd1fac86eaa5ce7d66a5e1f5c2907d1564"],"state_sha256":"1667983bf7186c90e6547a104b43a8162a912dc4597b45e66ec7b0cd0ad3b931"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qfnm7cGpQ+nMCdoqx7yMSk5rZ+LenvQwOiL52J+gzI3YhrwGGRhD9kFre33m37O2QRzqZUpAchotii+gY8c+CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T09:23:11.287493Z","bundle_sha256":"68daf3a899d32ded3b81540fd34f8f0661012ba18fa24847f6bf42e94f9068f5"}}