{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XWXP434PNHM2J6M7JF4A54NSCJ","short_pith_number":"pith:XWXP434P","canonical_record":{"source":{"id":"1805.08406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-22T05:38:44Z","cross_cats_sorted":[],"title_canon_sha256":"057a2293f4c161fb2c649c76318ad2d68b2bccfdb53820556cbb384077024152","abstract_canon_sha256":"040d08428c460254fefeaab7ac6abaedabde45bf777d31ee292836a30eac18cf"},"schema_version":"1.0"},"canonical_sha256":"bdaefe6f8f69d9a4f99f49780ef1b21261dab8c3ab81be21edbf7e42c6c6f776","source":{"kind":"arxiv","id":"1805.08406","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.08406","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"arxiv_version","alias_value":"1805.08406v1","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.08406","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"pith_short_12","alias_value":"XWXP434PNHM2","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"XWXP434PNHM2J6M7","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"XWXP434P","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XWXP434PNHM2J6M7JF4A54NSCJ","target":"record","payload":{"canonical_record":{"source":{"id":"1805.08406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-22T05:38:44Z","cross_cats_sorted":[],"title_canon_sha256":"057a2293f4c161fb2c649c76318ad2d68b2bccfdb53820556cbb384077024152","abstract_canon_sha256":"040d08428c460254fefeaab7ac6abaedabde45bf777d31ee292836a30eac18cf"},"schema_version":"1.0"},"canonical_sha256":"bdaefe6f8f69d9a4f99f49780ef1b21261dab8c3ab81be21edbf7e42c6c6f776","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:26.603125Z","signature_b64":"zWIQIppQnfsE4MMDQqU1vO2WZRhtpixllNuZOGVO659ucP7crReNDQxJxKUqIsqGJQJuEKon1dQjdggrQOzKCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bdaefe6f8f69d9a4f99f49780ef1b21261dab8c3ab81be21edbf7e42c6c6f776","last_reissued_at":"2026-05-18T00:15:26.602424Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:26.602424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.08406","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-18T00:15:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/h8UC0Di/S5I0/b7NdJByxkUOzTQuOtf9jBM0Mdp0LoRbdg1+oJZqpwYmNPamMCPI/PtIKWTpGpYVqEl0r4XAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:25:50.214539Z"},"content_sha256":"baa5cab2077f5cb8936f9091dbba9eac3df858a9324f6986906288af584d6f50","schema_version":"1.0","event_id":"sha256:baa5cab2077f5cb8936f9091dbba9eac3df858a9324f6986906288af584d6f50"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XWXP434PNHM2J6M7JF4A54NSCJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Antoine El-Hokayem, Mohamad Jaber, Yli\\`es Falcone","submitted_at":"2018-05-22T05:38:44Z","abstract_excerpt":"We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is inspired from the Aspect Oriented Programming (AOP) paradigm which was initially conceived to support the separation of concerns during the development of monolithic systems. BIP has a formal operational semantics and makes a clear separation between architecture and behavior to allow for compositional and incremental design and analysis of systems. We distinguish local from global aspects. Local aspects model concerns at the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.08406","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-18T00:15:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aU4aJWADiRRrVSahKc3fEQVTs0tqb8MnCABu2JOb6KQn3eqgwuI/3m2XnX9P+POakxLwvQscBBjv+wvbQQ6bCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:25:50.215246Z"},"content_sha256":"33197dac0c10f22ba384dbb1f3682d01f38d3a2992b5d3d0a1f6592a5e1f9ea9","schema_version":"1.0","event_id":"sha256:33197dac0c10f22ba384dbb1f3682d01f38d3a2992b5d3d0a1f6592a5e1f9ea9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XWXP434PNHM2J6M7JF4A54NSCJ/bundle.json","state_url":"https://pith.science/pith/XWXP434PNHM2J6M7JF4A54NSCJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XWXP434PNHM2J6M7JF4A54NSCJ/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-05-26T21:25:50Z","links":{"resolver":"https://pith.science/pith/XWXP434PNHM2J6M7JF4A54NSCJ","bundle":"https://pith.science/pith/XWXP434PNHM2J6M7JF4A54NSCJ/bundle.json","state":"https://pith.science/pith/XWXP434PNHM2J6M7JF4A54NSCJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XWXP434PNHM2J6M7JF4A54NSCJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XWXP434PNHM2J6M7JF4A54NSCJ","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":"040d08428c460254fefeaab7ac6abaedabde45bf777d31ee292836a30eac18cf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-22T05:38:44Z","title_canon_sha256":"057a2293f4c161fb2c649c76318ad2d68b2bccfdb53820556cbb384077024152"},"schema_version":"1.0","source":{"id":"1805.08406","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.08406","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"arxiv_version","alias_value":"1805.08406v1","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.08406","created_at":"2026-05-18T00:15:26Z"},{"alias_kind":"pith_short_12","alias_value":"XWXP434PNHM2","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"XWXP434PNHM2J6M7","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"XWXP434P","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:33197dac0c10f22ba384dbb1f3682d01f38d3a2992b5d3d0a1f6592a5e1f9ea9","target":"graph","created_at":"2026-05-18T00:15:26Z","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 define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is inspired from the Aspect Oriented Programming (AOP) paradigm which was initially conceived to support the separation of concerns during the development of monolithic systems. BIP has a formal operational semantics and makes a clear separation between architecture and behavior to allow for compositional and incremental design and analysis of systems. We distinguish local from global aspects. Local aspects model concerns at the ","authors_text":"Antoine El-Hokayem, Mohamad Jaber, Yli\\`es Falcone","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-22T05:38:44Z","title":"Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.08406","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:baa5cab2077f5cb8936f9091dbba9eac3df858a9324f6986906288af584d6f50","target":"record","created_at":"2026-05-18T00:15:26Z","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":"040d08428c460254fefeaab7ac6abaedabde45bf777d31ee292836a30eac18cf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-22T05:38:44Z","title_canon_sha256":"057a2293f4c161fb2c649c76318ad2d68b2bccfdb53820556cbb384077024152"},"schema_version":"1.0","source":{"id":"1805.08406","kind":"arxiv","version":1}},"canonical_sha256":"bdaefe6f8f69d9a4f99f49780ef1b21261dab8c3ab81be21edbf7e42c6c6f776","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bdaefe6f8f69d9a4f99f49780ef1b21261dab8c3ab81be21edbf7e42c6c6f776","first_computed_at":"2026-05-18T00:15:26.602424Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:26.602424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zWIQIppQnfsE4MMDQqU1vO2WZRhtpixllNuZOGVO659ucP7crReNDQxJxKUqIsqGJQJuEKon1dQjdggrQOzKCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:26.603125Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.08406","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:baa5cab2077f5cb8936f9091dbba9eac3df858a9324f6986906288af584d6f50","sha256:33197dac0c10f22ba384dbb1f3682d01f38d3a2992b5d3d0a1f6592a5e1f9ea9"],"state_sha256":"d675b8a7a6f58b67c9b1e65213593722a442338b5d5f252a4beda12270067299"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DyiRhckpA1K3472hVtDfpUVrusf1hJoLL09/UDj5cpXz1t+qfohivru4VaJ1L0Z1o/aymSzTZvxK1j5DyZrHBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T21:25:50.217774Z","bundle_sha256":"35bb6d03b2f9940e43f593e6af69779ab86766201119bc362158c32520f32719"}}