{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:KH4V64TTQBIVUJTCZESWEZUHQC","short_pith_number":"pith:KH4V64TT","canonical_record":{"source":{"id":"1309.5143","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-09-20T01:45:10Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"5c1ae9e85f9e4d5f4e27d9043c69b619562fc5b30c096ecfd0e61e2a1e079530","abstract_canon_sha256":"e30e8dba0fb4d72ba4485cfc9971d668825789962cd566606a5443b12d018836"},"schema_version":"1.0"},"canonical_sha256":"51f95f727380515a2662c92562668780acb46b58cad3b935ed903348764b8a1b","source":{"kind":"arxiv","id":"1309.5143","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5143","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5143v1","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5143","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"pith_short_12","alias_value":"KH4V64TTQBIV","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"KH4V64TTQBIVUJTC","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"KH4V64TT","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:KH4V64TTQBIVUJTCZESWEZUHQC","target":"record","payload":{"canonical_record":{"source":{"id":"1309.5143","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-09-20T01:45:10Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"5c1ae9e85f9e4d5f4e27d9043c69b619562fc5b30c096ecfd0e61e2a1e079530","abstract_canon_sha256":"e30e8dba0fb4d72ba4485cfc9971d668825789962cd566606a5443b12d018836"},"schema_version":"1.0"},"canonical_sha256":"51f95f727380515a2662c92562668780acb46b58cad3b935ed903348764b8a1b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:12:47.500056Z","signature_b64":"utH+0mKAAscMzWKTJIkVZv9wfeu6Y9kddNTz43Qk1F4Ecnuz9+wZi1mmUSVM5pxHVJx3Fn2uMszzEGZsOlUzDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51f95f727380515a2662c92562668780acb46b58cad3b935ed903348764b8a1b","last_reissued_at":"2026-05-18T03:12:47.499395Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:12:47.499395Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.5143","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-18T03:12:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/wkxbxl73E1+QayJNkKR2LbZdyfB3Mbwnm98HAkY8hBCFshDsBjzoBIgNma8UOVV/rGuENEUulPM0THAAhbECw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:28:59.350961Z"},"content_sha256":"2536e8f8de9fa664e1db96b7b6f1fd67110ba24c68786b994cd5991a1593eecb","schema_version":"1.0","event_id":"sha256:2536e8f8de9fa664e1db96b7b6f1fd67110ba24c68786b994cd5991a1593eecb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:KH4V64TTQBIVUJTCZESWEZUHQC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Bernhard Steffen (Chair of Programming Systems, Germany), Johannes Neubauer (Chair of Programming Systems, Software Engineering, Tiziana Margaria (Chair of Service, TU Dortmund, Universit\\\"at Potsdam","submitted_at":"2013-09-20T01:45:10Z","abstract_excerpt":"We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situation-specific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our approach is the introduction of type-safe stacked second-order execution contexts that allow for higher-order process modeling. Tamed by our underlying strict service-oriented notion of abstraction, this"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5143","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-18T03:12:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bAucwI2bJa4DoshFL7QINgng13207Yb6g1B9yk+aGL/XIrbQ0x1EovTO98d5tTLYc/0jexObryVxcNgqeX2AAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:28:59.351335Z"},"content_sha256":"03381a1c43f8fb32cdf85ab43946803cb8069385ad4d049d1927e95e0366860c","schema_version":"1.0","event_id":"sha256:03381a1c43f8fb32cdf85ab43946803cb8069385ad4d049d1927e95e0366860c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KH4V64TTQBIVUJTCZESWEZUHQC/bundle.json","state_url":"https://pith.science/pith/KH4V64TTQBIVUJTCZESWEZUHQC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KH4V64TTQBIVUJTCZESWEZUHQC/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-03T05:28:59Z","links":{"resolver":"https://pith.science/pith/KH4V64TTQBIVUJTCZESWEZUHQC","bundle":"https://pith.science/pith/KH4V64TTQBIVUJTCZESWEZUHQC/bundle.json","state":"https://pith.science/pith/KH4V64TTQBIVUJTCZESWEZUHQC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KH4V64TTQBIVUJTCZESWEZUHQC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:KH4V64TTQBIVUJTCZESWEZUHQC","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":"e30e8dba0fb4d72ba4485cfc9971d668825789962cd566606a5443b12d018836","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-09-20T01:45:10Z","title_canon_sha256":"5c1ae9e85f9e4d5f4e27d9043c69b619562fc5b30c096ecfd0e61e2a1e079530"},"schema_version":"1.0","source":{"id":"1309.5143","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5143","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5143v1","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5143","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"pith_short_12","alias_value":"KH4V64TTQBIV","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"KH4V64TTQBIVUJTC","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"KH4V64TT","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:03381a1c43f8fb32cdf85ab43946803cb8069385ad4d049d1927e95e0366860c","target":"graph","created_at":"2026-05-18T03:12:47Z","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":"We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situation-specific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our approach is the introduction of type-safe stacked second-order execution contexts that allow for higher-order process modeling. Tamed by our underlying strict service-oriented notion of abstraction, this","authors_text":"Bernhard Steffen (Chair of Programming Systems, Germany), Johannes Neubauer (Chair of Programming Systems, Software Engineering, Tiziana Margaria (Chair of Service, TU Dortmund, Universit\\\"at Potsdam","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-09-20T01:45:10Z","title":"Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5143","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:2536e8f8de9fa664e1db96b7b6f1fd67110ba24c68786b994cd5991a1593eecb","target":"record","created_at":"2026-05-18T03:12:47Z","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":"e30e8dba0fb4d72ba4485cfc9971d668825789962cd566606a5443b12d018836","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-09-20T01:45:10Z","title_canon_sha256":"5c1ae9e85f9e4d5f4e27d9043c69b619562fc5b30c096ecfd0e61e2a1e079530"},"schema_version":"1.0","source":{"id":"1309.5143","kind":"arxiv","version":1}},"canonical_sha256":"51f95f727380515a2662c92562668780acb46b58cad3b935ed903348764b8a1b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51f95f727380515a2662c92562668780acb46b58cad3b935ed903348764b8a1b","first_computed_at":"2026-05-18T03:12:47.499395Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:12:47.499395Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"utH+0mKAAscMzWKTJIkVZv9wfeu6Y9kddNTz43Qk1F4Ecnuz9+wZi1mmUSVM5pxHVJx3Fn2uMszzEGZsOlUzDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:12:47.500056Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.5143","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2536e8f8de9fa664e1db96b7b6f1fd67110ba24c68786b994cd5991a1593eecb","sha256:03381a1c43f8fb32cdf85ab43946803cb8069385ad4d049d1927e95e0366860c"],"state_sha256":"a2d1316a827373eb2a22339401380770a67b8c7d49ae5c1bcb420e71f0e57412"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Rp9IoUVbNhpyN/xzNBKfG/EE5ECDJ7Np0abTaC6XskWynuST8cRTOFlmeW/gV4F7wl0Cv+Qt70tFdxIBwR1eBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T05:28:59.353580Z","bundle_sha256":"53e66c75a8bf0ade5ccac1194fd637ec0fa0984352cd7307703de403817db184"}}