{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:IR4US5KXNYBFWSPLBDGF7HQ66C","short_pith_number":"pith:IR4US5KX","schema_version":"1.0","canonical_sha256":"44794975576e025b49eb08cc5f9e1ef0ace80be9b3add4946ccca190b1ace6af","source":{"kind":"arxiv","id":"1409.6617","version":1},"attestation_state":"computed","paper":{"title":"Model Driven Testing of Time Sensitive Distributed Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Borislav Gajanovic, Hans Gr\\\"onninger","submitted_at":"2014-09-22T17:07:01Z","abstract_excerpt":"In this paper we demonstrate an approach to model structure and behavior of distributed systems, to map those models to a lightweight execution engine by using a functional programming language and to systematically define and execute tests for these models within the same technology. This is a prerequisite for a smooth integration of model based development into an agile method. The novelty of this paper is the demonstration, how composition and state machine models for distributed asynchronously communicating systems can easily be mapped to a lazy functional language and then using standard "},"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.6617","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:07:01Z","cross_cats_sorted":[],"title_canon_sha256":"1052421635638fcf5f58223a7a4833ffafff9041c73e685bc4bbd744ba40a818","abstract_canon_sha256":"d8584525637f5059a8e5011aa6e3cd90626415f526407171dcd92589553f7a73"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:06.694310Z","signature_b64":"AV3+KKyi3OM1QJzWg3uLtEUIZNrqAQ9/26fCjg0gErQw39H+i+KqYfU9Ra796b9gMBjV5nx09nKquJO/XRYGCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"44794975576e025b49eb08cc5f9e1ef0ace80be9b3add4946ccca190b1ace6af","last_reissued_at":"2026-05-18T02:42:06.693929Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:06.693929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model Driven Testing of Time Sensitive Distributed Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Borislav Gajanovic, Hans Gr\\\"onninger","submitted_at":"2014-09-22T17:07:01Z","abstract_excerpt":"In this paper we demonstrate an approach to model structure and behavior of distributed systems, to map those models to a lightweight execution engine by using a functional programming language and to systematically define and execute tests for these models within the same technology. This is a prerequisite for a smooth integration of model based development into an agile method. The novelty of this paper is the demonstration, how composition and state machine models for distributed asynchronously communicating systems can easily be mapped to a lazy functional language and then using standard "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6617","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.6617","created_at":"2026-05-18T02:42:06.693981+00:00"},{"alias_kind":"arxiv_version","alias_value":"1409.6617v1","created_at":"2026-05-18T02:42:06.693981+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6617","created_at":"2026-05-18T02:42:06.693981+00:00"},{"alias_kind":"pith_short_12","alias_value":"IR4US5KXNYBF","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_16","alias_value":"IR4US5KXNYBFWSPL","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_8","alias_value":"IR4US5KX","created_at":"2026-05-18T12:28:33.132498+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/IR4US5KXNYBFWSPLBDGF7HQ66C","json":"https://pith.science/pith/IR4US5KXNYBFWSPLBDGF7HQ66C.json","graph_json":"https://pith.science/api/pith-number/IR4US5KXNYBFWSPLBDGF7HQ66C/graph.json","events_json":"https://pith.science/api/pith-number/IR4US5KXNYBFWSPLBDGF7HQ66C/events.json","paper":"https://pith.science/paper/IR4US5KX"},"agent_actions":{"view_html":"https://pith.science/pith/IR4US5KXNYBFWSPLBDGF7HQ66C","download_json":"https://pith.science/pith/IR4US5KXNYBFWSPLBDGF7HQ66C.json","view_paper":"https://pith.science/paper/IR4US5KX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1409.6617&json=true","fetch_graph":"https://pith.science/api/pith-number/IR4US5KXNYBFWSPLBDGF7HQ66C/graph.json","fetch_events":"https://pith.science/api/pith-number/IR4US5KXNYBFWSPLBDGF7HQ66C/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IR4US5KXNYBFWSPLBDGF7HQ66C/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IR4US5KXNYBFWSPLBDGF7HQ66C/action/storage_attestation","attest_author":"https://pith.science/pith/IR4US5KXNYBFWSPLBDGF7HQ66C/action/author_attestation","sign_citation":"https://pith.science/pith/IR4US5KXNYBFWSPLBDGF7HQ66C/action/citation_signature","submit_replication":"https://pith.science/pith/IR4US5KXNYBFWSPLBDGF7HQ66C/action/replication_record"}},"created_at":"2026-05-18T02:42:06.693981+00:00","updated_at":"2026-05-18T02:42:06.693981+00:00"}