{"id":"W2802395783","doi":"10.1007/978-3-319-91271-4_5","title":"Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"Agence Nationale de la Recherche","keywords":"Computer science; Completeness (order theory); Programming language; Ontology; Semantics (computer science); Systems Modeling Language; Translation (biology); Formal specification; Consistency (knowledge bases); Software engineering; Natural language processing; Unified Modeling Language; Artificial intelligence; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003641896,0.0008168206,0.0007100425,0.001030966,0.00101434,0.003192835,0.001850406,0.001839452,0.008245833],"category_scores_gemma":[0.01397226,0.001042248,0.00200985,0.0006638169,0.002039067,0.002124461,0.002101554,0.002070602,0.003602164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001245844,"about_ca_system_score_gemma":0.002739764,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008128488,"about_ca_topic_score_gemma":0.004177427,"domain_scores_codex":[0.9950039,0.00163913,0.0004442255,0.0008144391,0.001533063,0.0005652444],"domain_scores_gemma":[0.9906865,0.006107989,0.0006284451,0.001044585,0.001403828,0.0001287483],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001853188,0.001049779,0.005799495,0.001193908,0.0002320087,0.003321029,0.002641154,0.18722,0.1234388,0.4600127,0.01610353,0.1971344],"study_design_scores_gemma":[0.0003375973,0.000192125,0.0008194416,0.0001993128,0.0001076085,0.0003853773,0.0003968751,0.725539,0.1674836,0.09023105,0.01421064,0.00009739247],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0283196,0.00004214462,0.9571088,0.0002448757,0.00009157554,0.0003478457,0.0004872275,0.006646265,0.006711606],"genre_scores_gemma":[0.4715924,0.0001273541,0.514835,0.0003435624,0.00003683228,0.0004387898,0.002057996,0.002198098,0.008369999],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008245833,"threshold_uncertainty_score":0.02758503,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03321193903046746,"score_gpt":0.2434037044699277,"score_spread":0.2101917654394602,"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."}}