{"id":"W2044950478","doi":"10.1109/ccece.2008.4564814","title":"Monitoring Multi-Agent Systems for deadlock detection based on UML models","year":2008,"lang":"en","type":"article","venue":"Conference proceedings - Canadian Conference on Electrical and Computer Engineering","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Sequence diagram; Computer science; Deadlock; Unified Modeling Language; Deadlock prevention algorithms; Activity diagram; Multi-agent system; Context (archaeology); Distributed computing; UML tool; Software; Resource (disambiguation); Real-time computing; Software engineering; Programming language; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":true,"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.0002333515,0.0004571959,0.0004302134,0.0005994142,0.0003112427,0.0003424333,0.0006774507,0.0002091539,7.00563e-7],"category_scores_gemma":[0.000177652,0.0004676101,0.0000797472,0.0004968924,0.00003886142,0.0004606874,0.00006336818,0.0004763646,0.000003731184],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003723756,"about_ca_system_score_gemma":0.0003044691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000459339,"about_ca_topic_score_gemma":0.00002849794,"domain_scores_codex":[0.9976078,0.00001808229,0.0003318297,0.0008355005,0.0003013726,0.0009053649],"domain_scores_gemma":[0.9983884,0.0002714142,0.00008831748,0.0002523656,0.0003926773,0.0006068471],"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.00003868888,0.00007378175,0.0004018467,0.0002027404,0.00005119965,0.00004415186,0.0006371328,0.8040681,0.001455432,0.06814059,0.00006419124,0.1248221],"study_design_scores_gemma":[0.0004346377,0.0004797076,0.0009937008,0.0001915544,0.000006752745,0.00004198547,0.00001006157,0.9950295,0.001589034,0.000553231,0.0001400102,0.0005298429],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01095649,0.0001566827,0.9868621,0.0001317725,0.0007079222,0.0005006015,0.000004962874,0.0006165385,0.00006290189],"genre_scores_gemma":[0.8550352,0.00009715594,0.1443378,0.00007932683,0.0001731753,0.0002079458,0.00000135091,0.0000331017,0.00003490476],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8440788,"threshold_uncertainty_score":0.9997776,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08413569877826862,"score_gpt":0.2494603659908721,"score_spread":0.1653246672126034,"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."}}