{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:AR7ATLKOMTP6YCTQZZ6Q2XRKNG","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":"e2788ab82a0ff5d91220e60ce99525f9c6562acdd0eb4b7f8c2c3ef0af742762","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-07-24T06:32:55Z","title_canon_sha256":"47dea20d2d8e932d41cdc5c782ae31465f1f84ccddcbb8ce3394d98b78cae513"},"schema_version":"1.0","source":{"id":"1507.06753","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.06753","created_at":"2026-05-17T23:46:22Z"},{"alias_kind":"arxiv_version","alias_value":"1507.06753v1","created_at":"2026-05-17T23:46:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.06753","created_at":"2026-05-17T23:46:22Z"},{"alias_kind":"pith_short_12","alias_value":"AR7ATLKOMTP6","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"AR7ATLKOMTP6YCTQ","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"AR7ATLKO","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:5df27cd3479121be16d18244d97cd295108d329f98e1fdd9808b994d1dac7770","target":"graph","created_at":"2026-05-17T23:46:22Z","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":"i* models are inherently sequence agnostic. There is an immediate need to bridge the gap between such a sequence agnostic model and an industry implemented process modelling standard like Business Process Modelling Notation (BPMN). This work is an attempt to build State Transition Models from i* models. In this paper, we first spell out the Naive Algorithm formally, which is on the lines of Formal Tropos. We demonstrate how the growth of the State Transition Model Space can be mapped to the problem of finding the number of possible paths between the Least Upper Bound (LUB) and the Greatest Low","authors_text":"Aditya Ghose, Nabendu Chaki, Novarun Deb","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-07-24T06:32:55Z","title":"Extracting State Transition Models from i* Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.06753","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:90e77a2343054c4295d28ff404ab13cec758de056f65daf36cb85d7ab5aba4ab","target":"record","created_at":"2026-05-17T23:46:22Z","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":"e2788ab82a0ff5d91220e60ce99525f9c6562acdd0eb4b7f8c2c3ef0af742762","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-07-24T06:32:55Z","title_canon_sha256":"47dea20d2d8e932d41cdc5c782ae31465f1f84ccddcbb8ce3394d98b78cae513"},"schema_version":"1.0","source":{"id":"1507.06753","kind":"arxiv","version":1}},"canonical_sha256":"047e09ad4e64dfec0a70ce7d0d5e2a69a144c2ed4fb62c3388278906930a63e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"047e09ad4e64dfec0a70ce7d0d5e2a69a144c2ed4fb62c3388278906930a63e8","first_computed_at":"2026-05-17T23:46:22.271663Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:22.271663Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ulZWBe8EuujwAXdP2l+2KF6IpKxbagfeZkL+FhGkbuWeJldAj0sFhjngiq+IceAc3Qdn6J4YNwKygi4NWViADw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:22.272366Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.06753","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90e77a2343054c4295d28ff404ab13cec758de056f65daf36cb85d7ab5aba4ab","sha256:5df27cd3479121be16d18244d97cd295108d329f98e1fdd9808b994d1dac7770"],"state_sha256":"d8d9a5e2cf0307bedc0c6e7d159fd3f3704f4a9a3c8c38cb81ba2e2a0e0cb2ce"}