{"id":"W2146165236","doi":"10.1109/cmpsac.1993.404207","title":"Entity behaviour descriptions-A specification model for communicating entities","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Semantics (computer science); Traceability; Set (abstract data type); Process (computing); Programming language; Component (thermodynamics); Software engineering; Behavioral modeling; Formal specification; Artificial intelligence","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.005848399,0.001157353,0.0006929322,0.001888307,0.000908275,0.003750089,0.003737801,0.002571279,0.005747295],"category_scores_gemma":[0.0091437,0.001271256,0.002022896,0.001634234,0.001946737,0.006275535,0.002288093,0.002812599,0.003055201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001414888,"about_ca_system_score_gemma":0.002782789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004631751,"about_ca_topic_score_gemma":0.004445281,"domain_scores_codex":[0.994159,0.002194886,0.0007907427,0.000546912,0.001998867,0.0003096581],"domain_scores_gemma":[0.9932303,0.003128106,0.0005588638,0.001576651,0.001288717,0.0002173894],"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.00004311032,0.00003552559,0.0003244458,0.0001808291,0.00002394442,0.0003632201,0.0008353209,0.02607865,0.001925661,0.9477649,0.004220229,0.01820431],"study_design_scores_gemma":[0.00009490072,0.00009633049,0.0001727113,0.0004037654,0.00008192563,0.0006374937,0.00040109,0.2826536,0.008062554,0.2996595,0.407658,0.0000781017],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001183405,0.0001728083,0.9910684,0.0003284831,0.00005819193,0.0001757101,0.000514904,0.0007790078,0.005719072],"genre_scores_gemma":[0.08845018,0.001170761,0.8855433,0.0005627655,0.0001257233,0.001393106,0.004352074,0.0007823773,0.01761977],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005848399,"threshold_uncertainty_score":0.03092963,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2158977105278339,"score_gpt":0.320190001317028,"score_spread":0.1042922907891942,"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."}}