{"id":"W1501431142","doi":"10.1007/978-3-642-15898-8_7","title":"An Automated Translator for Model Checking Time Constrained Workflow Systems","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Computer science; Workflow; Model checking; Programming language; Software engineering; Automation; Workflow management system; Modeling language; Formal verification; Database; Software","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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0008350707,0.000522054,0.000672301,0.000935646,0.0004182664,0.00130211,0.001145374,0.0004814259,0.00002318804],"category_scores_gemma":[0.00005456324,0.000468929,0.0001699959,0.0005264684,0.0004226972,0.001039292,0.0001144097,0.0005251293,0.0000286829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005049507,"about_ca_system_score_gemma":0.000247003,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005385834,"about_ca_topic_score_gemma":0.00003789055,"domain_scores_codex":[0.9972579,0.000003513058,0.0005323136,0.001088438,0.000559446,0.0005583922],"domain_scores_gemma":[0.9982575,0.00008520328,0.000380775,0.0005980412,0.0006387915,0.00003969108],"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.00001524175,0.00002926833,0.00001517642,0.0003222238,0.00002188615,0.000006664007,0.00006508692,0.8914856,0.00167228,0.002294218,0.00000899037,0.1040634],"study_design_scores_gemma":[0.0002994106,0.00000877953,0.000001994555,0.0004781902,0.00008482443,0.000003988943,2.238043e-7,0.9691871,0.00005241589,0.02893512,0.0003717888,0.0005761277],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006776025,0.0001611065,0.9959908,0.0003081025,0.0007411158,0.0004334618,0.00001277828,0.0006968706,0.0009782338],"genre_scores_gemma":[0.882252,0.000004919912,0.1134911,0.001171731,0.00255895,0.00003232448,0.0001083536,0.0001165923,0.0002640058],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8824996,"threshold_uncertainty_score":0.9997762,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01902336516449319,"score_gpt":0.2473889591993582,"score_spread":0.2283655940348651,"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."}}