{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:P2TPSC7DEUL353DBEEC2VYYOOP","short_pith_number":"pith:P2TPSC7D","canonical_record":{"source":{"id":"1409.4653","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-16T14:23:17Z","cross_cats_sorted":[],"title_canon_sha256":"ed532ac749f7646c30f63f6f28f9b42e82b14c90496a9bbefc0ec49fe4403744","abstract_canon_sha256":"8df769aa5f85362415a893185a458c55e88221c5d175d78a6b1d1db26b3bcd67"},"schema_version":"1.0"},"canonical_sha256":"7ea6f90be32517beec612105aae30e73e7ef76ae139ff54a443c78cf07a70245","source":{"kind":"arxiv","id":"1409.4653","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.4653","created_at":"2026-05-18T02:42:45Z"},{"alias_kind":"arxiv_version","alias_value":"1409.4653v1","created_at":"2026-05-18T02:42:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.4653","created_at":"2026-05-18T02:42:45Z"},{"alias_kind":"pith_short_12","alias_value":"P2TPSC7DEUL3","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"P2TPSC7DEUL353DB","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"P2TPSC7D","created_at":"2026-05-18T12:28:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:P2TPSC7DEUL353DBEEC2VYYOOP","target":"record","payload":{"canonical_record":{"source":{"id":"1409.4653","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-16T14:23:17Z","cross_cats_sorted":[],"title_canon_sha256":"ed532ac749f7646c30f63f6f28f9b42e82b14c90496a9bbefc0ec49fe4403744","abstract_canon_sha256":"8df769aa5f85362415a893185a458c55e88221c5d175d78a6b1d1db26b3bcd67"},"schema_version":"1.0"},"canonical_sha256":"7ea6f90be32517beec612105aae30e73e7ef76ae139ff54a443c78cf07a70245","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:45.141167Z","signature_b64":"y/W1sPiu+XnS89gAEbl16l9EO0whZ697iGOEPovSIUXVZVHw26ceOostNOGN5WxbHJ7M63IZm7DASF6QooEfBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ea6f90be32517beec612105aae30e73e7ef76ae139ff54a443c78cf07a70245","last_reissued_at":"2026-05-18T02:42:45.140654Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:45.140654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.4653","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-18T02:42:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/SnMq7HrYWDkzk1NSOOyHqqpmG127HP36rX4a3p2kTcoi8y2C9qZc6OQ+CSDh8dnoPGWoXSbzyQNlQHnUb6mCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:03:18.570119Z"},"content_sha256":"280f0edf2c9a9b639f6657128653823439e30fb4a82a6fabc91e15c04851e765","schema_version":"1.0","event_id":"sha256:280f0edf2c9a9b639f6657128653823439e30fb4a82a6fabc91e15c04851e765"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:P2TPSC7DEUL353DBEEC2VYYOOP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Offline Trace Checking of Quantitative Properties of Service-Based Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Carlo Ghezzi, Domenico Bianculli, Pierluigi San Pietro, Srdan Krstic","submitted_at":"2014-09-16T14:23:17Z","abstract_excerpt":"Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each partner service, as well as effective techniques to verify these attributes. In previous work, we identified the most common specification patterns related to provisioning service-based applications and developed an expressive specification language (SOLOIST) that supports them. SOLOIST is an extension of metric temporal logic with aggregate temporal modalities that can be used to write quantitative temporal properties"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.4653","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-18T02:42:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ExnWmgx8qXdJm4VQB1mpGrAY9cNbCY4VVKjo8q0pTptOjMZecmDLXZOjfwRyrOyPlNaON71VPO0FLI0ncCuFDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:03:18.570477Z"},"content_sha256":"e4a14d5bd38d68ab898eb02b86ff829ae3bfd1f989b7b9f09711088121a339be","schema_version":"1.0","event_id":"sha256:e4a14d5bd38d68ab898eb02b86ff829ae3bfd1f989b7b9f09711088121a339be"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/bundle.json","state_url":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P2TPSC7DEUL353DBEEC2VYYOOP/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-03T22:03:18Z","links":{"resolver":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP","bundle":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/bundle.json","state":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P2TPSC7DEUL353DBEEC2VYYOOP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:P2TPSC7DEUL353DBEEC2VYYOOP","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":"8df769aa5f85362415a893185a458c55e88221c5d175d78a6b1d1db26b3bcd67","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-16T14:23:17Z","title_canon_sha256":"ed532ac749f7646c30f63f6f28f9b42e82b14c90496a9bbefc0ec49fe4403744"},"schema_version":"1.0","source":{"id":"1409.4653","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.4653","created_at":"2026-05-18T02:42:45Z"},{"alias_kind":"arxiv_version","alias_value":"1409.4653v1","created_at":"2026-05-18T02:42:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.4653","created_at":"2026-05-18T02:42:45Z"},{"alias_kind":"pith_short_12","alias_value":"P2TPSC7DEUL3","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"P2TPSC7DEUL353DB","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"P2TPSC7D","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:e4a14d5bd38d68ab898eb02b86ff829ae3bfd1f989b7b9f09711088121a339be","target":"graph","created_at":"2026-05-18T02:42:45Z","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":"Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each partner service, as well as effective techniques to verify these attributes. In previous work, we identified the most common specification patterns related to provisioning service-based applications and developed an expressive specification language (SOLOIST) that supports them. SOLOIST is an extension of metric temporal logic with aggregate temporal modalities that can be used to write quantitative temporal properties","authors_text":"Carlo Ghezzi, Domenico Bianculli, Pierluigi San Pietro, Srdan Krstic","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-16T14:23:17Z","title":"Offline Trace Checking of Quantitative Properties of Service-Based Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.4653","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:280f0edf2c9a9b639f6657128653823439e30fb4a82a6fabc91e15c04851e765","target":"record","created_at":"2026-05-18T02:42:45Z","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":"8df769aa5f85362415a893185a458c55e88221c5d175d78a6b1d1db26b3bcd67","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-16T14:23:17Z","title_canon_sha256":"ed532ac749f7646c30f63f6f28f9b42e82b14c90496a9bbefc0ec49fe4403744"},"schema_version":"1.0","source":{"id":"1409.4653","kind":"arxiv","version":1}},"canonical_sha256":"7ea6f90be32517beec612105aae30e73e7ef76ae139ff54a443c78cf07a70245","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ea6f90be32517beec612105aae30e73e7ef76ae139ff54a443c78cf07a70245","first_computed_at":"2026-05-18T02:42:45.140654Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:45.140654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y/W1sPiu+XnS89gAEbl16l9EO0whZ697iGOEPovSIUXVZVHw26ceOostNOGN5WxbHJ7M63IZm7DASF6QooEfBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:45.141167Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.4653","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:280f0edf2c9a9b639f6657128653823439e30fb4a82a6fabc91e15c04851e765","sha256:e4a14d5bd38d68ab898eb02b86ff829ae3bfd1f989b7b9f09711088121a339be"],"state_sha256":"6587faaa721635df91a4198a8ca8f55af4cb01aff5223876a68a950941c03463"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rEvsOm3wkSCNcPbx1QHun/wCRBVHYeyhRvJDnkFjlDIdTgYkavyi32uUN+tkmnnF1fwm2fwNdKigIBYUSzucCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T22:03:18.572410Z","bundle_sha256":"339257bb8afbd2a6939a011612a6d11d42d0acea6f6fc93bfd724ad8d48fb79d"}}