{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004265653,0.001049702,0.0008260509,0.001566048,0.001331619,0.003340984,0.003190773,0.001406169,0.006866334],"category_scores_gemma":[0.007647038,0.001054246,0.002504217,0.001003211,0.003480815,0.003635949,0.001768003,0.002326386,0.001698731],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00347457,"about_ca_system_score_gemma":0.007936406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0178208,"about_ca_topic_score_gemma":0.01309364,"domain_scores_codex":[0.9968388,0.0007660675,0.0002630983,0.000631669,0.001174137,0.0003262199],"domain_scores_gemma":[0.9961944,0.002181689,0.000245872,0.0006424026,0.0006270285,0.0001086904],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001535219,0.0001514855,0.0005774841,0.0003062113,0.00007414056,0.0007223265,0.0005758304,0.185705,0.01102292,0.7121521,0.002521314,0.08603767],"study_design_scores_gemma":[0.00007632027,0.0001102274,0.0001064616,0.00009851967,0.00008394333,0.0001865539,0.00005988408,0.6998055,0.01841795,0.2623189,0.0186644,0.00007120938],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001599651,0.00003936553,0.9948246,0.000111934,0.00001839433,0.0001251152,0.00008772834,0.001515511,0.001677637],"genre_scores_gemma":[0.09296913,0.000159925,0.9024741,0.000134345,0.00002741353,0.0002623541,0.0003096228,0.0002708195,0.003392322],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0178208,"threshold_uncertainty_score":0.03543413,"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."}}