{"id":"W2991085081","doi":"10.1109/models-c.2019.00036","title":"Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT","year":2019,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Executable; Computer science; Eclipse; Unified Modeling Language; Extension (predicate logic); Set (abstract data type); Programming language; Field (mathematics); Modeling language; Software engineering; Software","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.005058261,0.0011574,0.0005538664,0.0005857685,0.0008256481,0.001465312,0.00221357,0.001737912,0.002986403],"category_scores_gemma":[0.01476427,0.0006607217,0.00101243,0.0003774389,0.001165039,0.002677916,0.002672463,0.001897355,0.0006844361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000878165,"about_ca_system_score_gemma":0.002541197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008738459,"about_ca_topic_score_gemma":0.01406724,"domain_scores_codex":[0.996388,0.001492121,0.0002009981,0.0003160899,0.001249672,0.0003532097],"domain_scores_gemma":[0.9935591,0.003896179,0.0004760517,0.001125345,0.0007052678,0.0002381047],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006747742,0.001188379,0.005123275,0.00106137,0.000156153,0.001304808,0.002646768,0.7068536,0.0284406,0.08210991,0.01182445,0.1586159],"study_design_scores_gemma":[0.00015752,0.0002400656,0.0005917309,0.0001191719,0.00004651018,0.0003256636,0.0004209459,0.9400587,0.02205673,0.0128847,0.02304987,0.0000483409],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1341602,0.0001973949,0.842849,0.001265584,0.000114924,0.0004869443,0.0003157982,0.007945737,0.01266445],"genre_scores_gemma":[0.3081834,0.0001791322,0.6855398,0.0001769833,0.00001436062,0.0003371174,0.0007157497,0.001232321,0.003621274],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008738459,"threshold_uncertainty_score":0.02675092,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006467944530731355,"score_gpt":0.1884913633812877,"score_spread":0.1820234188505564,"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."}}