{"id":"W4415981437","doi":"10.1007/s10270-025-01339-5","title":"Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling","year":2025,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"RWTH Aachen University","keywords":"Usability; Software; Key (lock); Software development","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":[],"consensus_categories":[],"category_scores_codex":[0.001857571,0.0002443493,0.0004262167,0.0002264066,0.0001926445,0.0001446434,0.0005540482,0.0001757051,9.587583e-7],"category_scores_gemma":[0.00008121814,0.0002048016,0.00006635192,0.000453883,0.0001124929,0.000504482,0.0002071135,0.0002249189,3.738325e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008869323,"about_ca_system_score_gemma":0.0001133667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009757276,"about_ca_topic_score_gemma":0.000005117021,"domain_scores_codex":[0.9974328,0.0001675091,0.001150082,0.00056077,0.0004677433,0.0002210783],"domain_scores_gemma":[0.9975542,0.0003923153,0.00030405,0.001044616,0.000641757,0.00006304571],"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.00003761175,0.0001462978,0.005903195,0.001452016,0.00005734486,0.000002269703,0.00466665,0.4554402,0.002996407,0.4420233,0.00004802871,0.08722666],"study_design_scores_gemma":[0.0002493937,0.00004910322,0.0004676265,0.000700806,0.00002633495,0.000015616,0.0001676837,0.9867089,0.0005257562,0.01059236,0.0002786076,0.0002177938],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1556124,0.001728452,0.8411331,0.00005298138,0.0001991627,0.0009456168,0.000007957426,0.0003051349,0.00001519092],"genre_scores_gemma":[0.6210772,0.00008130237,0.3787079,0.000004932932,0.00002067535,0.000082861,0.000006607019,0.0000113607,0.00000719731],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5312687,"threshold_uncertainty_score":0.8351569,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02367800257735041,"score_gpt":0.2570921260454748,"score_spread":0.2334141234681243,"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."}}