{"id":"W1564831987","doi":"10.1007/11888116_22","title":"Composition of Use Cases Using Synchronization and Model Checking","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Composition (language); Synchronization (alternating current); Model checking; Property (philosophy); Theoretical computer science; Product (mathematics); Formal methods; Join (topology); Programming language; Mathematics","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.007065742,0.00173942,0.001624591,0.003082442,0.001860646,0.003833496,0.003187352,0.002010724,0.01108779],"category_scores_gemma":[0.0246364,0.002684152,0.003509687,0.001712978,0.002716087,0.006391475,0.005248199,0.003395501,0.002505816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001087354,"about_ca_system_score_gemma":0.003465667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003293067,"about_ca_topic_score_gemma":0.004753654,"domain_scores_codex":[0.9865288,0.003067017,0.001183684,0.001822286,0.0063713,0.001026937],"domain_scores_gemma":[0.9824736,0.008671026,0.000917919,0.005295206,0.002216885,0.0004254333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001170953,0.001435195,0.007134563,0.001188458,0.0004704359,0.003488531,0.003339075,0.112953,0.07460277,0.2431088,0.006173308,0.5449349],"study_design_scores_gemma":[0.00022293,0.0002751015,0.0009279702,0.0002628779,0.0005479935,0.001071056,0.0003793951,0.6603691,0.1397491,0.1601591,0.03587667,0.0001585792],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01420743,0.00005522959,0.9763002,0.00009396581,0.00005109145,0.0005126513,0.00006903851,0.00389097,0.004819401],"genre_scores_gemma":[0.1591215,0.0001750657,0.8303629,0.00007975565,0.00003602587,0.0004624169,0.0004762963,0.001833887,0.007452141],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01108779,"threshold_uncertainty_score":0.03736764,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05686202042845917,"score_gpt":0.2881983177217374,"score_spread":0.2313362972932783,"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."}}