{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:IMKMJT5JGX4BIIJBJORPHCBSK3","short_pith_number":"pith:IMKMJT5J","canonical_record":{"source":{"id":"1607.08363","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-28T08:56:12Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"a18ff182e5e50fd7b501fd39655266dff1ea1a6dfc556a234d92d5ff772f4c58","abstract_canon_sha256":"861fa214ea520f22eca7d2b99d4bda130073fe006ed76e4442b0c1cf75d70d6d"},"schema_version":"1.0"},"canonical_sha256":"4314c4cfa935f81421214ba2f3883256f6045d6ebdf1d9aa8413480cf448efa9","source":{"kind":"arxiv","id":"1607.08363","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.08363","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"arxiv_version","alias_value":"1607.08363v4","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.08363","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"pith_short_12","alias_value":"IMKMJT5JGX4B","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"pith_short_16","alias_value":"IMKMJT5JGX4BIIJB","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"pith_short_8","alias_value":"IMKMJT5J","created_at":"2026-07-05T06:23:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:IMKMJT5JGX4BIIJBJORPHCBSK3","target":"record","payload":{"canonical_record":{"source":{"id":"1607.08363","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-28T08:56:12Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"a18ff182e5e50fd7b501fd39655266dff1ea1a6dfc556a234d92d5ff772f4c58","abstract_canon_sha256":"861fa214ea520f22eca7d2b99d4bda130073fe006ed76e4442b0c1cf75d70d6d"},"schema_version":"1.0"},"canonical_sha256":"4314c4cfa935f81421214ba2f3883256f6045d6ebdf1d9aa8413480cf448efa9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:23:17.400296Z","signature_b64":"a1A0LdGEvrVYxGkzjii9A7dUGS8gnXCBpGg565PooanmUo8STk/VssONjyoFP5GciRtULVaQfha9zb5OHM1fCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4314c4cfa935f81421214ba2f3883256f6045d6ebdf1d9aa8413480cf448efa9","last_reissued_at":"2026-07-05T06:23:17.399799Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:23:17.399799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.08363","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-07-05T06:23:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GemQEuP0w6g+iIsvHsDq9hvWOVOk5zsNEObNgYFaM4k7HWokrpzBHPPP+jKcRxFI3LF78f0ukALU6h5d46ppDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:10:34.830480Z"},"content_sha256":"29bcf07ae647f07e864f7ba05bdb9d9d343e678d6b0fbb0ca1175c5c79e2316f","schema_version":"1.0","event_id":"sha256:29bcf07ae647f07e864f7ba05bdb9d9d343e678d6b0fbb0ca1175c5c79e2316f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:IMKMJT5JGX4BIIJBJORPHCBSK3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automata for Specifying and Orchestrating Service Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Davide Basile, Gian-Luigi Ferrari (Universit\\`a di Pisa, Italy), Pierpaolo Degano","submitted_at":"2016-07-28T08:56:12Z","abstract_excerpt":"An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously, we construct an orchestrator that at static time either yields composed services enjoying the required properties or detects the principals responsible for possible violations. To do that in the asynchronous case we resort to Linear Program"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.08363","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1607.08363/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-05T06:23:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QFeSUa42HMNE9dpkpk1aL72OVIBzGSaz8RO3oabjHpbf2/6S/h9O9TAz36ahg4PyCOA0dkIQP19cUqFYTX8KAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:10:34.831024Z"},"content_sha256":"164d24d013c1046a2adfbca7dc451ab1fdc202c0a2c31af7a1244934f2b4a375","schema_version":"1.0","event_id":"sha256:164d24d013c1046a2adfbca7dc451ab1fdc202c0a2c31af7a1244934f2b4a375"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IMKMJT5JGX4BIIJBJORPHCBSK3/bundle.json","state_url":"https://pith.science/pith/IMKMJT5JGX4BIIJBJORPHCBSK3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IMKMJT5JGX4BIIJBJORPHCBSK3/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-03T16:10:34Z","links":{"resolver":"https://pith.science/pith/IMKMJT5JGX4BIIJBJORPHCBSK3","bundle":"https://pith.science/pith/IMKMJT5JGX4BIIJBJORPHCBSK3/bundle.json","state":"https://pith.science/pith/IMKMJT5JGX4BIIJBJORPHCBSK3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IMKMJT5JGX4BIIJBJORPHCBSK3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:IMKMJT5JGX4BIIJBJORPHCBSK3","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":"861fa214ea520f22eca7d2b99d4bda130073fe006ed76e4442b0c1cf75d70d6d","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-28T08:56:12Z","title_canon_sha256":"a18ff182e5e50fd7b501fd39655266dff1ea1a6dfc556a234d92d5ff772f4c58"},"schema_version":"1.0","source":{"id":"1607.08363","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.08363","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"arxiv_version","alias_value":"1607.08363v4","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.08363","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"pith_short_12","alias_value":"IMKMJT5JGX4B","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"pith_short_16","alias_value":"IMKMJT5JGX4BIIJB","created_at":"2026-07-05T06:23:17Z"},{"alias_kind":"pith_short_8","alias_value":"IMKMJT5J","created_at":"2026-07-05T06:23:17Z"}],"graph_snapshots":[{"event_id":"sha256:164d24d013c1046a2adfbca7dc451ab1fdc202c0a2c31af7a1244934f2b4a375","target":"graph","created_at":"2026-07-05T06:23:17Z","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/1607.08363/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously, we construct an orchestrator that at static time either yields composed services enjoying the required properties or detects the principals responsible for possible violations. To do that in the asynchronous case we resort to Linear Program","authors_text":"Davide Basile, Gian-Luigi Ferrari (Universit\\`a di Pisa, Italy), Pierpaolo Degano","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-28T08:56:12Z","title":"Automata for Specifying and Orchestrating Service Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.08363","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:29bcf07ae647f07e864f7ba05bdb9d9d343e678d6b0fbb0ca1175c5c79e2316f","target":"record","created_at":"2026-07-05T06:23:17Z","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":"861fa214ea520f22eca7d2b99d4bda130073fe006ed76e4442b0c1cf75d70d6d","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-28T08:56:12Z","title_canon_sha256":"a18ff182e5e50fd7b501fd39655266dff1ea1a6dfc556a234d92d5ff772f4c58"},"schema_version":"1.0","source":{"id":"1607.08363","kind":"arxiv","version":4}},"canonical_sha256":"4314c4cfa935f81421214ba2f3883256f6045d6ebdf1d9aa8413480cf448efa9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4314c4cfa935f81421214ba2f3883256f6045d6ebdf1d9aa8413480cf448efa9","first_computed_at":"2026-07-05T06:23:17.399799Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:23:17.399799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a1A0LdGEvrVYxGkzjii9A7dUGS8gnXCBpGg565PooanmUo8STk/VssONjyoFP5GciRtULVaQfha9zb5OHM1fCg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:23:17.400296Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.08363","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:29bcf07ae647f07e864f7ba05bdb9d9d343e678d6b0fbb0ca1175c5c79e2316f","sha256:164d24d013c1046a2adfbca7dc451ab1fdc202c0a2c31af7a1244934f2b4a375"],"state_sha256":"63d574a90c4bfc42ba7a6b31c6625d9155f6b0af92884084094844f8d784c33b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PIlTnjHUdtTG2HhgxHoK9Ud5WGSU+uN8F4cporyhYxhEsAUrOob+ocrNA259LtV5omVgLNqiDoAfqzGhVryJDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T16:10:34.836609Z","bundle_sha256":"ec1ba307620e55d54aa0dc6a2432d3d75bca4592f954eb68599cc07261c07047"}}