{"id":"W4232090923","doi":"10.29007/5sl4","title":"A One-Pass Tableau-Based Workflow Verification Framework","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"Natural Sciences and Engineering Research Council of Canada; Atlantic Canada Opportunities Agency","keywords":"Computer science; Debugging; Computation tree logic; Workflow; Temporal logic; Model checking; Programming language; Software engineering; Petri net; Workflow management system; Theoretical computer science; Database","routes":{"ca_aff":true,"ca_fund":true,"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.0004959395,0.0001739724,0.0002588093,0.0002974106,0.000346105,0.0003528604,0.0003168919,0.0001154083,0.00017994],"category_scores_gemma":[0.0003944622,0.0001923208,0.00006020454,0.001588244,0.0001172015,0.000643421,0.0001198786,0.000214989,0.0001638337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000381603,"about_ca_system_score_gemma":0.00003294913,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003080622,"about_ca_topic_score_gemma":0.00007340223,"domain_scores_codex":[0.998616,0.00001429675,0.0003727371,0.0003982589,0.0002385424,0.000360127],"domain_scores_gemma":[0.999066,0.00007752508,0.000227117,0.0003467247,0.0002718268,0.00001081081],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003775146,0.0006694771,0.2520255,0.001393849,0.0001500163,0.00002397433,0.0009949063,0.1070777,0.0006157835,0.08071671,0.001296279,0.5546582],"study_design_scores_gemma":[0.0004426579,0.00001371917,0.01947044,0.0008468815,0.00005974023,7.009386e-7,0.0002625072,0.9332196,0.0002047752,0.03530663,0.009664149,0.0005081648],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5143164,0.0002125732,0.4719147,0.004135053,0.001238414,0.0001811752,6.578083e-7,0.0005179034,0.0074831],"genre_scores_gemma":[0.9712108,0.000003394322,0.02423653,0.001786576,0.002657038,0.000007759434,0.00001863784,0.00002959493,0.00004961872],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8261419,"threshold_uncertainty_score":0.7842616,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02789954037441089,"score_gpt":0.2546036855642765,"score_spread":0.2267041451898656,"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."}}