{"id":"W2150553773","doi":"10.1109/icre.2003.1232750","title":"Understanding and comparing model-based specification notations","year":2004,"lang":"en","type":"article","venue":"Journal of Lightwave Technology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Notation; Computer science; Semantics (computer science); Programming language; Petri net; Generality; Linguistics","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.04149776,0.001480825,0.001353677,0.00517402,0.001570414,0.01181918,0.004328419,0.003354062,0.002550444],"category_scores_gemma":[0.1077655,0.001347713,0.002412758,0.003721573,0.002933296,0.01874212,0.006158911,0.003753735,0.0009134423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004500552,"about_ca_system_score_gemma":0.006205681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004751622,"about_ca_topic_score_gemma":0.0031854,"domain_scores_codex":[0.9487749,0.02661084,0.008468564,0.002831792,0.01212081,0.001193073],"domain_scores_gemma":[0.9260059,0.03173932,0.007130542,0.01850493,0.01571096,0.0009084031],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003327514,0.0002154155,0.005290002,0.0008279549,0.0002119125,0.0008705662,0.01651283,0.04016224,0.01365415,0.6889036,0.005014538,0.228004],"study_design_scores_gemma":[0.0001563889,0.0006286621,0.002102016,0.001543762,0.0003916647,0.001288508,0.009029006,0.2431245,0.042601,0.5389986,0.1597551,0.0003808019],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02217487,0.0002822289,0.9687198,0.0007952714,0.0001196442,0.0003810096,0.0003001399,0.001711944,0.005515166],"genre_scores_gemma":[0.1019284,0.0004917964,0.8934427,0.0002542643,0.00003393672,0.000640326,0.001196911,0.000584043,0.001427522],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04149776,"threshold_uncertainty_score":0.2194638,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1619198794831263,"score_gpt":0.3117031790170023,"score_spread":0.149783299533876,"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."}}