{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:WEJ4H32O5VQUJRFHXIFO4KIBL5","short_pith_number":"pith:WEJ4H32O","canonical_record":{"source":{"id":"1010.2826","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-10-14T05:16:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"1dbe16e3078d551f6c64c92702ae5090f3ee55b5cb2bef55e904137196ee0a4b","abstract_canon_sha256":"91ac39aa06d9f0ecaa285e367035d9cc9a5b3f8855b7c85029a7a416afd426e4"},"schema_version":"1.0"},"canonical_sha256":"b113c3ef4eed6144c4a7ba0aee29015f4f74494b7a7dad9f784fa9c326d6c715","source":{"kind":"arxiv","id":"1010.2826","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2826","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2826v1","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2826","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"WEJ4H32O5VQU","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"WEJ4H32O5VQUJRFH","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"WEJ4H32O","created_at":"2026-05-18T12:26:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:WEJ4H32O5VQUJRFHXIFO4KIBL5","target":"record","payload":{"canonical_record":{"source":{"id":"1010.2826","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-10-14T05:16:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"1dbe16e3078d551f6c64c92702ae5090f3ee55b5cb2bef55e904137196ee0a4b","abstract_canon_sha256":"91ac39aa06d9f0ecaa285e367035d9cc9a5b3f8855b7c85029a7a416afd426e4"},"schema_version":"1.0"},"canonical_sha256":"b113c3ef4eed6144c4a7ba0aee29015f4f74494b7a7dad9f784fa9c326d6c715","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:39:19.094373Z","signature_b64":"xVoQwL+Ker83St5jf4xpmxJ7J6pPH8lOlguKE32FomEA8qu7IBlflbilIoYBdiutA78Bho8njTO3jyPAbuETCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b113c3ef4eed6144c4a7ba0aee29015f4f74494b7a7dad9f784fa9c326d6c715","last_reissued_at":"2026-05-18T04:39:19.093778Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:39:19.093778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1010.2826","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-05-18T04:39:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mlNnXTIiGsyHZKYcW6fBmZht0xSs+sa2z8RLPbdJF8UMNgbfGcX57opUUGqknPslbP8wTth74msPY9F9CWwdAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T15:30:52.408656Z"},"content_sha256":"335deaf2ecb9b1e50b1b6326e0ca402a7e3af243609f0aae235b4f0f133bed99","schema_version":"1.0","event_id":"sha256:335deaf2ecb9b1e50b1b6326e0ca402a7e3af243609f0aae235b4f0f133bed99"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:WEJ4H32O5VQUJRFHXIFO4KIBL5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Gwen Sala\\\"un (Grenoble INP, INRIA-Grenoble, LIG), Meriem Ouederni (University of Malaga, Spain)","submitted_at":"2010-10-14T05:16:24Z","abstract_excerpt":"One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2826","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"},"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-18T04:39:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TXCdHUX14zOZH8Bu7qdLg4ECloKv/8cMCfS+hMlvqnxc82KOLHLlJyDzfjf1J2zgMJFr46bCKA21qwfOG+f7Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T15:30:52.409275Z"},"content_sha256":"45ad7ee6762a5cf369a19cc5bcc17b0dd4dd7d2253c80616b7d11613c8cb7bd1","schema_version":"1.0","event_id":"sha256:45ad7ee6762a5cf369a19cc5bcc17b0dd4dd7d2253c80616b7d11613c8cb7bd1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WEJ4H32O5VQUJRFHXIFO4KIBL5/bundle.json","state_url":"https://pith.science/pith/WEJ4H32O5VQUJRFHXIFO4KIBL5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WEJ4H32O5VQUJRFHXIFO4KIBL5/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-05-29T15:30:52Z","links":{"resolver":"https://pith.science/pith/WEJ4H32O5VQUJRFHXIFO4KIBL5","bundle":"https://pith.science/pith/WEJ4H32O5VQUJRFHXIFO4KIBL5/bundle.json","state":"https://pith.science/pith/WEJ4H32O5VQUJRFHXIFO4KIBL5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WEJ4H32O5VQUJRFHXIFO4KIBL5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:WEJ4H32O5VQUJRFHXIFO4KIBL5","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":"91ac39aa06d9f0ecaa285e367035d9cc9a5b3f8855b7c85029a7a416afd426e4","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-10-14T05:16:24Z","title_canon_sha256":"1dbe16e3078d551f6c64c92702ae5090f3ee55b5cb2bef55e904137196ee0a4b"},"schema_version":"1.0","source":{"id":"1010.2826","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2826","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2826v1","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2826","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"WEJ4H32O5VQU","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"WEJ4H32O5VQUJRFH","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"WEJ4H32O","created_at":"2026-05-18T12:26:15Z"}],"graph_snapshots":[{"event_id":"sha256:45ad7ee6762a5cf369a19cc5bcc17b0dd4dd7d2253c80616b7d11613c8cb7bd1","target":"graph","created_at":"2026-05-18T04:39:19Z","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":"One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible ","authors_text":"Gwen Sala\\\"un (Grenoble INP, INRIA-Grenoble, LIG), Meriem Ouederni (University of Malaga, Spain)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-10-14T05:16:24Z","title":"Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2826","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:335deaf2ecb9b1e50b1b6326e0ca402a7e3af243609f0aae235b4f0f133bed99","target":"record","created_at":"2026-05-18T04:39:19Z","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":"91ac39aa06d9f0ecaa285e367035d9cc9a5b3f8855b7c85029a7a416afd426e4","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-10-14T05:16:24Z","title_canon_sha256":"1dbe16e3078d551f6c64c92702ae5090f3ee55b5cb2bef55e904137196ee0a4b"},"schema_version":"1.0","source":{"id":"1010.2826","kind":"arxiv","version":1}},"canonical_sha256":"b113c3ef4eed6144c4a7ba0aee29015f4f74494b7a7dad9f784fa9c326d6c715","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b113c3ef4eed6144c4a7ba0aee29015f4f74494b7a7dad9f784fa9c326d6c715","first_computed_at":"2026-05-18T04:39:19.093778Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:39:19.093778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xVoQwL+Ker83St5jf4xpmxJ7J6pPH8lOlguKE32FomEA8qu7IBlflbilIoYBdiutA78Bho8njTO3jyPAbuETCA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:39:19.094373Z","signed_message":"canonical_sha256_bytes"},"source_id":"1010.2826","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:335deaf2ecb9b1e50b1b6326e0ca402a7e3af243609f0aae235b4f0f133bed99","sha256:45ad7ee6762a5cf369a19cc5bcc17b0dd4dd7d2253c80616b7d11613c8cb7bd1"],"state_sha256":"01470e9bda8421b99c47d39c3e9cad0dd07085bf2d68a25537a537b1ca37da2a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A8lyXyqsSTgCBKxe/TmgH6mZCPdLN4MWRSFzBNcJG9mrFbEfxwQFJly2dAtYFzcju6anctjJd5d6l4jg4W+WAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T15:30:52.412564Z","bundle_sha256":"7f40023a8ee3c9ecdaf2cb07f970155febde7e34ef82b3f62b424f7631edd51c"}}