{"id":"W2335568261","doi":"10.3724/sp.j.1001.2010.03711","title":"Syntax and Semantics of Timed Property Sequence Chart","year":2011,"lang":"en","type":"article","venue":"Journal of Software","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Parkinson Canada","funders":"Fundamental Research Funds for the Central Universities; National Natural Science Foundation of China","keywords":"Sequence (biology); Chart; Computer science; Property (philosophy); Programming language; Expressive power; Syntax; Specification pattern; Semantics (computer science); Automaton; Algorithm; Theoretical computer science; Natural language processing; Mathematics; Software; Statistics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001703248,0.0006475124,0.0004515254,0.001218287,0.0008549409,0.002387045,0.0008188343,0.0008234238,0.004547895],"category_scores_gemma":[0.002639903,0.0003575249,0.001086231,0.001265351,0.002415056,0.002784302,0.0008036405,0.001167439,0.0007706394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001286192,"about_ca_system_score_gemma":0.001596501,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003097136,"about_ca_topic_score_gemma":0.001470578,"domain_scores_codex":[0.998706,0.0003275355,0.0002053731,0.0003044381,0.0003145957,0.0001421531],"domain_scores_gemma":[0.9980421,0.0007793765,0.0002917926,0.0002004016,0.0005995692,0.00008677268],"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.00008049011,0.00001843487,0.0003211751,0.0001085345,0.00001309761,0.0005080231,0.0008495862,0.006671319,0.005439517,0.9715539,0.001328138,0.01310787],"study_design_scores_gemma":[0.0001129316,0.0001745461,0.0006545487,0.0001639563,0.00006740302,0.0007163914,0.0003986934,0.08761076,0.02016588,0.8097216,0.08011626,0.00009707487],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01729381,0.0002092208,0.9666336,0.0003633625,0.0001539138,0.0002090018,0.000861302,0.002627547,0.01164823],"genre_scores_gemma":[0.5182773,0.0007664172,0.4678577,0.0003044536,0.000177319,0.001053976,0.001952414,0.0006895473,0.008920779],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004547895,"threshold_uncertainty_score":0.0152142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09417235706746867,"score_gpt":0.2783986332779715,"score_spread":0.1842262762105029,"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."}}