{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:AEWJNRI3GR6GITNZ6NJWNE55CF","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":"349b5ce0262bfcf00d129e324867307339f1bf67591d5d263d059b9c80537ab2","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-08-21T18:22:21Z","title_canon_sha256":"d1f672fd33b067fb0e56970bfdaee869db8b0a870b2df90c640d487862f757cd"},"schema_version":"1.0","source":{"id":"1408.5094","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.5094","created_at":"2026-05-18T02:44:16Z"},{"alias_kind":"arxiv_version","alias_value":"1408.5094v2","created_at":"2026-05-18T02:44:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.5094","created_at":"2026-05-18T02:44:16Z"},{"alias_kind":"pith_short_12","alias_value":"AEWJNRI3GR6G","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"AEWJNRI3GR6GITNZ","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"AEWJNRI3","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:68cd27b31f6725cb46bafe4e8d306b0db67477d8ad9b1a14654e29dfe16dddb8","target":"graph","created_at":"2026-05-18T02:44:16Z","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":"Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines of research have been pursued so far: one tailored to business artefact modeling languages and methodologies, the other focused on the foundations for their formal verification. In this paper, we merge these two lines of research, by showing how recent theoretical decidability results for verification can be fruitfully transferred to a concrete UML-based modeling methodolog","authors_text":"Diego Calvanese, Ernest Teniente, Marco Montali, Montserrat Estanol","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-08-21T18:22:21Z","title":"Verifiable UML Artifact-Centric Business Process Models (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.5094","kind":"arxiv","version":2},"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:57e37ef57024cc3844658e2d6cf377cb60e6f84e5c524fc08f04350925a8f8ae","target":"record","created_at":"2026-05-18T02:44:16Z","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":"349b5ce0262bfcf00d129e324867307339f1bf67591d5d263d059b9c80537ab2","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-08-21T18:22:21Z","title_canon_sha256":"d1f672fd33b067fb0e56970bfdaee869db8b0a870b2df90c640d487862f757cd"},"schema_version":"1.0","source":{"id":"1408.5094","kind":"arxiv","version":2}},"canonical_sha256":"012c96c51b347c644db9f3536693bd11714f706e2d371ca9b881b33fdf4cf09d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"012c96c51b347c644db9f3536693bd11714f706e2d371ca9b881b33fdf4cf09d","first_computed_at":"2026-05-18T02:44:16.018661Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:16.018661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p5DsoniDbZhBxe2FHkw2ot9Atpqhy2PfIn/MMRQ7YtE6by3C6UAnjuwNy0DofrFA3t0j35ewdhC3+NaKyLS8CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:16.019136Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.5094","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:57e37ef57024cc3844658e2d6cf377cb60e6f84e5c524fc08f04350925a8f8ae","sha256:68cd27b31f6725cb46bafe4e8d306b0db67477d8ad9b1a14654e29dfe16dddb8"],"state_sha256":"488bac7d0c85e9d86a935e2b623486c3f22383412905e3186c48b52d1ba757b7"}