{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:VCMKFMHKIA5CKMGMTFFRLFP7DM","short_pith_number":"pith:VCMKFMHK","canonical_record":{"source":{"id":"1311.2535","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-11T19:16:40Z","cross_cats_sorted":[],"title_canon_sha256":"7e3de1e905ec66c6ab654adc72b8b6f8f2895941d1d5c8c10c4ee1c1290ba0bf","abstract_canon_sha256":"de85c19017a590d3625b4e1427ebad4c62927d37e0b38cbd3edf319aac04a755"},"schema_version":"1.0"},"canonical_sha256":"a898a2b0ea403a2530cc994b1595ff1b1b6e274f1148f4816dfb86283eb83812","source":{"kind":"arxiv","id":"1311.2535","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.2535","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"arxiv_version","alias_value":"1311.2535v1","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2535","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"pith_short_12","alias_value":"VCMKFMHKIA5C","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"VCMKFMHKIA5CKMGM","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"VCMKFMHK","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:VCMKFMHKIA5CKMGMTFFRLFP7DM","target":"record","payload":{"canonical_record":{"source":{"id":"1311.2535","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-11T19:16:40Z","cross_cats_sorted":[],"title_canon_sha256":"7e3de1e905ec66c6ab654adc72b8b6f8f2895941d1d5c8c10c4ee1c1290ba0bf","abstract_canon_sha256":"de85c19017a590d3625b4e1427ebad4c62927d37e0b38cbd3edf319aac04a755"},"schema_version":"1.0"},"canonical_sha256":"a898a2b0ea403a2530cc994b1595ff1b1b6e274f1148f4816dfb86283eb83812","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:32.449953Z","signature_b64":"6FhX+0/Y1pocWi0JqxYNXv9AYquQnYM7I+OK3HBD3bKPKGERRsPx2kQTCserueTIV116cJHIErF/Oce0i8rDCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a898a2b0ea403a2530cc994b1595ff1b1b6e274f1148f4816dfb86283eb83812","last_reissued_at":"2026-05-18T03:07:32.449375Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:32.449375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.2535","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-18T03:07:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u1Thlo4N3nLcVauoI9so8qK729cf/KC514Pt2VTRL1YN2h+tA5DkUW58cnwOIbqmsA0LKqkFdf6+cZdOyd9CAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T11:40:47.244023Z"},"content_sha256":"41112837e28ed99c1733b7cf198b83c68ad53799ff839714cff5fbac4a222c0f","schema_version":"1.0","event_id":"sha256:41112837e28ed99c1733b7cf198b83c68ad53799ff839714cff5fbac4a222c0f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:VCMKFMHKIA5CKMGMTFFRLFP7DM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Issues about the Adoption of Formal Methods for Dependable Composition of Web Services","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Manuel Mazzara, Michele Ciavotta","submitted_at":"2013-11-11T19:16:40Z","abstract_excerpt":"Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused - from the technical viewpoint - on standards and protocols, this paper investigates the adoption of formal methods, especially for composition. We logically classify and analyze three different (but interconnected) kinds of important issues towards this goal, namely foundations, verification and extensions. The aim of this w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2535","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-18T03:07:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gg+mcFHDYVEva+c9NProdzupwmquchYpf0y99drdzF7q4i7sgtxM9zNCVSGe+sGkYOIhKNzZ4gpkmT11UecLAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T11:40:47.244390Z"},"content_sha256":"9cf269f8beab644deb20d30325d470e7f734d7227884fd6e0d66b1681986688f","schema_version":"1.0","event_id":"sha256:9cf269f8beab644deb20d30325d470e7f734d7227884fd6e0d66b1681986688f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VCMKFMHKIA5CKMGMTFFRLFP7DM/bundle.json","state_url":"https://pith.science/pith/VCMKFMHKIA5CKMGMTFFRLFP7DM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VCMKFMHKIA5CKMGMTFFRLFP7DM/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-06-11T11:40:47Z","links":{"resolver":"https://pith.science/pith/VCMKFMHKIA5CKMGMTFFRLFP7DM","bundle":"https://pith.science/pith/VCMKFMHKIA5CKMGMTFFRLFP7DM/bundle.json","state":"https://pith.science/pith/VCMKFMHKIA5CKMGMTFFRLFP7DM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VCMKFMHKIA5CKMGMTFFRLFP7DM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:VCMKFMHKIA5CKMGMTFFRLFP7DM","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":"de85c19017a590d3625b4e1427ebad4c62927d37e0b38cbd3edf319aac04a755","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-11T19:16:40Z","title_canon_sha256":"7e3de1e905ec66c6ab654adc72b8b6f8f2895941d1d5c8c10c4ee1c1290ba0bf"},"schema_version":"1.0","source":{"id":"1311.2535","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.2535","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"arxiv_version","alias_value":"1311.2535v1","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2535","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"pith_short_12","alias_value":"VCMKFMHKIA5C","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"VCMKFMHKIA5CKMGM","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"VCMKFMHK","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:9cf269f8beab644deb20d30325d470e7f734d7227884fd6e0d66b1681986688f","target":"graph","created_at":"2026-05-18T03:07:32Z","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":"Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused - from the technical viewpoint - on standards and protocols, this paper investigates the adoption of formal methods, especially for composition. We logically classify and analyze three different (but interconnected) kinds of important issues towards this goal, namely foundations, verification and extensions. The aim of this w","authors_text":"Manuel Mazzara, Michele Ciavotta","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-11T19:16:40Z","title":"Issues about the Adoption of Formal Methods for Dependable Composition of Web Services"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2535","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:41112837e28ed99c1733b7cf198b83c68ad53799ff839714cff5fbac4a222c0f","target":"record","created_at":"2026-05-18T03:07:32Z","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":"de85c19017a590d3625b4e1427ebad4c62927d37e0b38cbd3edf319aac04a755","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-11T19:16:40Z","title_canon_sha256":"7e3de1e905ec66c6ab654adc72b8b6f8f2895941d1d5c8c10c4ee1c1290ba0bf"},"schema_version":"1.0","source":{"id":"1311.2535","kind":"arxiv","version":1}},"canonical_sha256":"a898a2b0ea403a2530cc994b1595ff1b1b6e274f1148f4816dfb86283eb83812","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a898a2b0ea403a2530cc994b1595ff1b1b6e274f1148f4816dfb86283eb83812","first_computed_at":"2026-05-18T03:07:32.449375Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:32.449375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6FhX+0/Y1pocWi0JqxYNXv9AYquQnYM7I+OK3HBD3bKPKGERRsPx2kQTCserueTIV116cJHIErF/Oce0i8rDCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:32.449953Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.2535","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:41112837e28ed99c1733b7cf198b83c68ad53799ff839714cff5fbac4a222c0f","sha256:9cf269f8beab644deb20d30325d470e7f734d7227884fd6e0d66b1681986688f"],"state_sha256":"ed3080a306c3d7771e3ee65d1b19c1ccc01db8696a853923d9f1abfe005dc49b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tgXyHloJI9+ViQBPU7ni0WuByUz3QIXoIwXYjivvbX95a6gFc751pljjTctQnihJ0P/BIvi2P7YWki3r6c+WBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T11:40:47.246448Z","bundle_sha256":"3e7ff7a22d9f761b01bd1ffd5d063a029dd4427ddaa3b38fc7b1946893129dbc"}}