{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:P2TPSC7DEUL353DBEEC2VYYOOP","short_pith_number":"pith:P2TPSC7D","schema_version":"1.0","canonical_sha256":"7ea6f90be32517beec612105aae30e73e7ef76ae139ff54a443c78cf07a70245","source":{"kind":"arxiv","id":"1409.4653","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1409.4653","created_at":"2026-05-18T02:42:45.140735+00:00"},{"alias_kind":"arxiv_version","alias_value":"1409.4653v1","created_at":"2026-05-18T02:42:45.140735+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.4653","created_at":"2026-05-18T02:42:45.140735+00:00"},{"alias_kind":"pith_short_12","alias_value":"P2TPSC7DEUL3","created_at":"2026-05-18T12:28:43.426989+00:00"},{"alias_kind":"pith_short_16","alias_value":"P2TPSC7DEUL353DB","created_at":"2026-05-18T12:28:43.426989+00:00"},{"alias_kind":"pith_short_8","alias_value":"P2TPSC7D","created_at":"2026-05-18T12:28:43.426989+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP","json":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP.json","graph_json":"https://pith.science/api/pith-number/P2TPSC7DEUL353DBEEC2VYYOOP/graph.json","events_json":"https://pith.science/api/pith-number/P2TPSC7DEUL353DBEEC2VYYOOP/events.json","paper":"https://pith.science/paper/P2TPSC7D"},"agent_actions":{"view_html":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP","download_json":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP.json","view_paper":"https://pith.science/paper/P2TPSC7D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1409.4653&json=true","fetch_graph":"https://pith.science/api/pith-number/P2TPSC7DEUL353DBEEC2VYYOOP/graph.json","fetch_events":"https://pith.science/api/pith-number/P2TPSC7DEUL353DBEEC2VYYOOP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/action/storage_attestation","attest_author":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/action/author_attestation","sign_citation":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/action/citation_signature","submit_replication":"https://pith.science/pith/P2TPSC7DEUL353DBEEC2VYYOOP/action/replication_record"}},"created_at":"2026-05-18T02:42:45.140735+00:00","updated_at":"2026-05-18T02:42:45.140735+00:00"}