{"id":"W422749228","doi":"","title":"Testing Multi-agent Systems for Deadlock Detection Based on UML Models.","year":2008,"lang":"en","type":"article","venue":"Distributed Multimedia Systems","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Unified Modeling Language; Deadlock; Multi-agent system; Deadlock prevention algorithms; Distributed computing; Programming language; Software engineering; Artificial intelligence; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008614618,0.0004355481,0.0005907418,0.0002028398,0.0006523833,0.0001830767,0.0007897445,0.0003145202,5.846808e-7],"category_scores_gemma":[0.0006066513,0.0003678806,0.0002087018,0.0007778839,0.00007829199,0.0004852262,0.0000822819,0.0002441481,0.00007122975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005009514,"about_ca_system_score_gemma":0.0002275605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007981195,"about_ca_topic_score_gemma":0.00000701829,"domain_scores_codex":[0.9965574,0.0001710459,0.0009033412,0.0009208994,0.0007015561,0.0007457809],"domain_scores_gemma":[0.996563,0.0008130826,0.0004138074,0.001156538,0.0007458139,0.00030776],"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.00009151476,0.0006309423,0.01131884,0.001161994,0.00008602544,0.00005072209,0.0007511123,0.9710253,0.001096029,0.00009341444,0.001644312,0.01204974],"study_design_scores_gemma":[0.001844742,0.0002351347,0.002877005,0.0002709961,0.00001584603,0.00007232357,0.0001053705,0.9925779,0.0006770867,0.000004826773,0.0008825819,0.0004362252],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0332563,0.0004680858,0.9577062,0.00003040032,0.004829674,0.002379281,0.0002972039,0.0009876692,0.00004517495],"genre_scores_gemma":[0.9872943,0.000008192677,0.01088257,0.00002964069,0.0003584849,0.00116707,0.0001684523,0.00003777731,0.00005357766],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.954038,"threshold_uncertainty_score":0.9998773,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0601372332767918,"score_gpt":0.2548453239441404,"score_spread":0.1947080906673486,"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."}}