{"id":"W4388894088","doi":"10.1109/iceccs59891.2023.00028","title":"Specification and Verification of Communication Paradigms for CBSE in Event B","year":2023,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Metamodeling; Component (thermodynamics); Event (particle physics); Software engineering; FIFO (computing and electronics); Context (archaeology); Distributed computing; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005379952,0.00003678268,0.000067551,0.00009524207,0.00001757347,0.000008721478,0.0002260406,0.00002256944,4.148668e-7],"category_scores_gemma":[0.0003026008,0.00003656216,0.00001079888,0.0003082986,0.00001876306,0.0001680352,0.00005410663,0.00002768664,0.000001992404],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001747825,"about_ca_system_score_gemma":0.000007292002,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006666232,"about_ca_topic_score_gemma":0.000003658187,"domain_scores_codex":[0.9995828,0.00003970904,0.0001425034,0.0001168738,0.00004899012,0.0000691387],"domain_scores_gemma":[0.9989508,0.0006004035,0.00004710628,0.0003635949,0.00002690366,0.00001113955],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001148595,0.00003469413,0.001253459,0.0000573063,0.000005294418,2.217761e-7,0.001605156,0.07326232,0.0120871,0.7260699,0.0002507417,0.1853623],"study_design_scores_gemma":[0.0006376063,0.00009330951,0.3195552,0.00005099971,0.000003058412,0.000002045588,0.0002418773,0.359258,0.03624919,0.27914,0.004524462,0.0002442763],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01932851,0.00009485788,0.9797205,0.0004421459,0.00004474878,0.0001643251,8.381562e-7,0.0001556635,0.00004838095],"genre_scores_gemma":[0.4876824,0.0001627102,0.5120553,0.000005034289,0.000002813039,0.00004178239,0.000006461336,0.000002479782,0.00004106511],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4683538,"threshold_uncertainty_score":0.1490962,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07642209762778314,"score_gpt":0.340376461035838,"score_spread":0.2639543634080549,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}