{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006524922,0.001198461,0.0007328204,0.001424543,0.0006345338,0.001540528,0.002479724,0.001695496,0.002819334],"category_scores_gemma":[0.04604129,0.0008023711,0.001136719,0.0004356821,0.00114692,0.003952359,0.001807493,0.001223244,0.0004927586],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001002809,"about_ca_system_score_gemma":0.002034181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004217694,"about_ca_topic_score_gemma":0.003713254,"domain_scores_codex":[0.9915302,0.005019114,0.0004571162,0.0004841767,0.002008348,0.0005011783],"domain_scores_gemma":[0.9529767,0.03762271,0.001878721,0.004177489,0.0027092,0.0006350711],"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.003243379,0.00236139,0.04639521,0.001070071,0.0008668602,0.001413898,0.002087216,0.6011777,0.08669671,0.06472076,0.005825702,0.1841411],"study_design_scores_gemma":[0.0001092741,0.0002572826,0.0008488346,0.00004762541,0.00007223135,0.0001074051,0.00009683078,0.969685,0.01588946,0.01216091,0.0007036723,0.00002150296],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2750198,0.0003861085,0.7106234,0.0005388394,0.0001605934,0.0004203738,0.0003113653,0.008178796,0.004360643],"genre_scores_gemma":[0.8529486,0.00009091278,0.145135,0.00008397511,0.00002317211,0.0002436542,0.0004285844,0.0002599254,0.0007860735],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006524922,"threshold_uncertainty_score":0.03450751,"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."}}