{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:XSNKGFE7FYYF7NCNSZ3XI5FJT4","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":"452cc7d4792763540523ab470209c51edb3a309dfe570d037fe0c27adb8b3212","cross_cats_sorted":["cs.DC"],"license":"","primary_cat":"cs.SE","submitted_at":"2005-09-21T17:39:19Z","title_canon_sha256":"264dcf7898d5446b7094f43bb86dd5421a513e3291b27f58962c39a4326c0373"},"schema_version":"1.0","source":{"id":"cs/0509066","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0509066","created_at":"2026-07-04T14:47:42Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0509066v2","created_at":"2026-07-04T14:47:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0509066","created_at":"2026-07-04T14:47:42Z"},{"alias_kind":"pith_short_12","alias_value":"XSNKGFE7FYYF","created_at":"2026-07-04T14:47:42Z"},{"alias_kind":"pith_short_16","alias_value":"XSNKGFE7FYYF7NCN","created_at":"2026-07-04T14:47:42Z"},{"alias_kind":"pith_short_8","alias_value":"XSNKGFE7","created_at":"2026-07-04T14:47:42Z"}],"graph_snapshots":[{"event_id":"sha256:73d60cde441b2d68b0442e0acfceb22b89dd82e9e537e59946a64fee71117470","target":"graph","created_at":"2026-07-04T14:47:42Z","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/cs/0509066/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As a consequence to the hype of Grid computing, such systems have seldom been designed using formal techniques. The complexity and rapidly growing demand around Grid technologies has favour the use of classical development techniques, resulting in no guidelines or rules and unstructured engineering processes. This paper advocates a formal approach to Grid applications development in an effort to contribute to the rigorous development of Grids software architectures. This approach addresses cross-platform interoperability and quality of service; the model-driven paradigm is applied to a formal ","authors_text":"David Manset, Flavio Oquendo, Herve Verjus, Richard McClatchey","cross_cats":["cs.DC"],"headline":"","license":"","primary_cat":"cs.SE","submitted_at":"2005-09-21T17:39:19Z","title":"A Model-driven Approach for Grid Services Engineering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0509066","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:eb138be9b7cfdbc7599322d94c38aa983642bb0bc92ce4afff4e66799692358e","target":"record","created_at":"2026-07-04T14:47:42Z","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":"452cc7d4792763540523ab470209c51edb3a309dfe570d037fe0c27adb8b3212","cross_cats_sorted":["cs.DC"],"license":"","primary_cat":"cs.SE","submitted_at":"2005-09-21T17:39:19Z","title_canon_sha256":"264dcf7898d5446b7094f43bb86dd5421a513e3291b27f58962c39a4326c0373"},"schema_version":"1.0","source":{"id":"cs/0509066","kind":"arxiv","version":2}},"canonical_sha256":"bc9aa3149f2e305fb44d96777474a99f27c3baf8a9aa705f14f4f1bf8c4085ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc9aa3149f2e305fb44d96777474a99f27c3baf8a9aa705f14f4f1bf8c4085ee","first_computed_at":"2026-07-04T14:47:42.639517Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:47:42.639517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TOPkKt0NmybwN6a66g8DMdiVEVzc+E41U/0VXfs9pwfYcTN8HCbCJpyTNsbuf0GlFDEfolg50+lqhkGpzWjrCw==","signature_status":"signed_v1","signed_at":"2026-07-04T14:47:42.639886Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0509066","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eb138be9b7cfdbc7599322d94c38aa983642bb0bc92ce4afff4e66799692358e","sha256:73d60cde441b2d68b0442e0acfceb22b89dd82e9e537e59946a64fee71117470"],"state_sha256":"f2f953cd9d6d9f44cfb9fe85209b3fec9d74462277a33e530deba317baba621c"}