{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004226154,0.0003076392,0.0003887402,0.0005520149,0.0001238408,0.000191632,0.0007399199,0.0001890967,4.33111e-7],"category_scores_gemma":[0.0003342789,0.0003127043,0.00004625359,0.0003327133,0.0004350379,0.0009213792,0.000674644,0.0003017562,2.696167e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00023073,"about_ca_system_score_gemma":0.0001764806,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002735921,"about_ca_topic_score_gemma":0.000006118624,"domain_scores_codex":[0.9981181,0.0000281291,0.0003664645,0.0007655254,0.0004239763,0.0002978116],"domain_scores_gemma":[0.9972898,0.001603459,0.0002617714,0.000596605,0.0001984321,0.0000499304],"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.000001486336,0.000005468406,0.0000514273,0.00004291636,0.000002690492,0.00002047336,0.0001187876,0.9382216,0.0009728989,0.00264575,7.568765e-7,0.05791578],"study_design_scores_gemma":[0.00008397357,0.00004001266,0.00007401984,0.0003574006,0.000006706881,0.00009642356,3.268056e-8,0.9513507,0.002778609,0.04491752,0.00000383259,0.0002907098],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001397827,0.0003726179,0.9974923,0.00002667754,0.0003561648,0.0001743005,0.000005078901,0.0001515877,0.00002349452],"genre_scores_gemma":[0.2268275,0.00001876245,0.7730038,0.00006222483,0.00005397803,0.000001006276,0.000002969386,0.00001759519,0.00001219874],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2254296,"threshold_uncertainty_score":0.9999325,"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."}}