{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:CSDAKSECX6JNOMZCLTC5JWF6W6","short_pith_number":"pith:CSDAKSEC","schema_version":"1.0","canonical_sha256":"1486054882bf92d733225cc5d4d8beb7b3044ff4671e532c8d3537ee32625ec3","source":{"kind":"arxiv","id":"1512.07680","version":1},"attestation_state":"computed","paper":{"title":"Towards Dynamic Updates in Service Composition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"France), Italy / INRIA, Mario Bravetti (University of Bologna","submitted_at":"2015-12-24T01:39:38Z","abstract_excerpt":"We survey our results about verification of adaptable processes. We present adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern concurrent systems. Adaptable processes have named scopes and are sensible to actions of dynamic update at runtime; this allows to express dynamic and static topologies of adaptable processes as well as di"},"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":"1512.07680","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-24T01:39:38Z","cross_cats_sorted":[],"title_canon_sha256":"3ba0cffaddd69b2c3569969eadb5a65a3b94700b2dd3af2ae9f59444ca7e8cf8","abstract_canon_sha256":"8e9c0906e34a3fb17e04443466df51b0c4ef5e1a6bab5ca245f2f14c22d4386f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:48.770753Z","signature_b64":"zw4g+cnqLBVP8r/7AFBf68HTK7a+8smZLrV8UQFdOtE9HVRKJ6jsOncgKyMfEKIs+g+YFDg+HJg2FTD3KO6tAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1486054882bf92d733225cc5d4d8beb7b3044ff4671e532c8d3537ee32625ec3","last_reissued_at":"2026-05-18T01:23:48.770122Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:48.770122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Dynamic Updates in Service Composition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"France), Italy / INRIA, Mario Bravetti (University of Bologna","submitted_at":"2015-12-24T01:39:38Z","abstract_excerpt":"We survey our results about verification of adaptable processes. We present adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern concurrent systems. Adaptable processes have named scopes and are sensible to actions of dynamic update at runtime; this allows to express dynamic and static topologies of adaptable processes as well as di"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.07680","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":"1512.07680","created_at":"2026-05-18T01:23:48.770221+00:00"},{"alias_kind":"arxiv_version","alias_value":"1512.07680v1","created_at":"2026-05-18T01:23:48.770221+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.07680","created_at":"2026-05-18T01:23:48.770221+00:00"},{"alias_kind":"pith_short_12","alias_value":"CSDAKSECX6JN","created_at":"2026-05-18T12:29:17.054201+00:00"},{"alias_kind":"pith_short_16","alias_value":"CSDAKSECX6JNOMZC","created_at":"2026-05-18T12:29:17.054201+00:00"},{"alias_kind":"pith_short_8","alias_value":"CSDAKSEC","created_at":"2026-05-18T12:29:17.054201+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/CSDAKSECX6JNOMZCLTC5JWF6W6","json":"https://pith.science/pith/CSDAKSECX6JNOMZCLTC5JWF6W6.json","graph_json":"https://pith.science/api/pith-number/CSDAKSECX6JNOMZCLTC5JWF6W6/graph.json","events_json":"https://pith.science/api/pith-number/CSDAKSECX6JNOMZCLTC5JWF6W6/events.json","paper":"https://pith.science/paper/CSDAKSEC"},"agent_actions":{"view_html":"https://pith.science/pith/CSDAKSECX6JNOMZCLTC5JWF6W6","download_json":"https://pith.science/pith/CSDAKSECX6JNOMZCLTC5JWF6W6.json","view_paper":"https://pith.science/paper/CSDAKSEC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1512.07680&json=true","fetch_graph":"https://pith.science/api/pith-number/CSDAKSECX6JNOMZCLTC5JWF6W6/graph.json","fetch_events":"https://pith.science/api/pith-number/CSDAKSECX6JNOMZCLTC5JWF6W6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CSDAKSECX6JNOMZCLTC5JWF6W6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CSDAKSECX6JNOMZCLTC5JWF6W6/action/storage_attestation","attest_author":"https://pith.science/pith/CSDAKSECX6JNOMZCLTC5JWF6W6/action/author_attestation","sign_citation":"https://pith.science/pith/CSDAKSECX6JNOMZCLTC5JWF6W6/action/citation_signature","submit_replication":"https://pith.science/pith/CSDAKSECX6JNOMZCLTC5JWF6W6/action/replication_record"}},"created_at":"2026-05-18T01:23:48.770221+00:00","updated_at":"2026-05-18T01:23:48.770221+00:00"}