{"id":"W2052631155","doi":"10.1109/ccece.2006.277602","title":"Formalization of UML Models by RTPA","year":2006,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Applications of UML; UML tool; Unified Modeling Language; Programming language; Object Constraint Language; Theoretical computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008692434,0.00004335042,0.00005595231,0.0000271741,0.00003096948,0.00002277443,0.0001800607,0.00002164125,0.000006210593],"category_scores_gemma":[0.000002412098,0.00003841819,0.00002282446,0.0001736527,0.00001094565,0.0001971328,0.0000775082,0.00002431501,0.000004330065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005129471,"about_ca_system_score_gemma":0.000008494696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006686003,"about_ca_topic_score_gemma":0.000006077753,"domain_scores_codex":[0.9995612,0.00001338793,0.0001141396,0.0001144345,0.00009556408,0.0001012964],"domain_scores_gemma":[0.9997163,0.00002712951,0.00003909055,0.0001249904,0.00007742686,0.0000150217],"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.000003273461,0.0001166207,0.000768215,0.00001079072,0.000006559869,0.000001016864,0.0001019,0.03220502,0.000670406,0.698442,0.07060194,0.1970723],"study_design_scores_gemma":[0.000100183,0.00001812823,0.0002130675,0.000007479536,0.000001032434,0.000001127115,0.000001212924,0.9759524,0.004382654,0.01859606,0.0006735,0.0000531253],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00609867,0.00009971547,0.9382194,0.00008537783,0.00006188218,0.00003208076,5.350511e-7,0.00008188785,0.05532045],"genre_scores_gemma":[0.9883667,0.00000423362,0.01061407,0.0001005668,0.00003168501,9.320323e-7,0.000004846049,0.000002238237,0.0008747517],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.982268,"threshold_uncertainty_score":0.1566648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006386512933315196,"score_gpt":0.1855983543563988,"score_spread":0.1792118414230837,"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."}}