{"id":"W3038491760","doi":"10.1007/s10270-020-00806-5","title":"Mixed-semantics composition of statecharts for the component-based design of reactive systems","year":2020,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Innovációs és Technológiai Minisztérium; Budapesti Műszaki és Gazdaságtudományi Egyetem","keywords":"Computer science; Programming language; Composition (language); Component (thermodynamics); Semantics (computer science); Formal semantics (linguistics); Code generation; Formal methods; Formal verification; Operational semantics; Model checking","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.004315081,0.000696394,0.0004073692,0.001022113,0.0007186733,0.001320808,0.0008652667,0.0007980243,0.002983517],"category_scores_gemma":[0.004235688,0.0005224394,0.0009796246,0.0003785538,0.001791602,0.001153284,0.001212161,0.0009673241,0.0005224792],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001024284,"about_ca_system_score_gemma":0.001723227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001792762,"about_ca_topic_score_gemma":0.002305503,"domain_scores_codex":[0.997431,0.001211128,0.0001621895,0.000216261,0.0008392512,0.0001402079],"domain_scores_gemma":[0.9978441,0.001156432,0.0002386671,0.0002360589,0.0004413773,0.00008334992],"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.0004038804,0.0002349416,0.001519866,0.0003855091,0.00008273203,0.0008407471,0.001338914,0.3510158,0.05795619,0.504061,0.0007828266,0.0813776],"study_design_scores_gemma":[0.0001102226,0.0002167703,0.0001724421,0.00009706578,0.00006846386,0.0001316965,0.0000765262,0.8792109,0.03382165,0.07123926,0.01481852,0.00003651608],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008372023,0.00003216896,0.9894556,0.00003920326,0.00002078224,0.0001141965,0.000009604203,0.0006745078,0.001281874],"genre_scores_gemma":[0.3715204,0.0001018896,0.6251339,0.00006571444,0.00001886985,0.0004856547,0.00005802654,0.0002351625,0.002380318],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004315081,"threshold_uncertainty_score":0.02282059,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1388665254889684,"score_gpt":0.2893922879197075,"score_spread":0.1505257624307391,"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."}}