{"id":"W1996489781","doi":"10.1145/1923947.1923974","title":"Towards workflow verification","year":2010,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Workflow; Computer science; Workflow management system; Workflow technology; Workflow engine; Software engineering; Model checking; XPDL; Windows Workflow Foundation; Software deployment; Domain (mathematical analysis); Distributed computing; Programming language; Database","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.01867546,0.001892336,0.00149672,0.003394781,0.002144453,0.009385583,0.004258803,0.003760389,0.00804858],"category_scores_gemma":[0.04941602,0.0021349,0.004197234,0.0024882,0.006840304,0.01220596,0.008835028,0.008590154,0.003959368],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004318502,"about_ca_system_score_gemma":0.00740198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004720349,"about_ca_topic_score_gemma":0.002851943,"domain_scores_codex":[0.9790615,0.009286047,0.001588707,0.002469556,0.006629012,0.0009651877],"domain_scores_gemma":[0.9708332,0.01379994,0.0009988275,0.008487298,0.005394405,0.0004863691],"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.00006977707,0.0001101968,0.0006736232,0.0005776792,0.00007716432,0.0002917633,0.001085962,0.02510626,0.002201679,0.8557571,0.007627748,0.1064211],"study_design_scores_gemma":[0.00003374136,0.0000332501,0.0001005385,0.000333144,0.00002283636,0.0001434981,0.0002049848,0.07099046,0.002745012,0.8608521,0.06450757,0.00003299757],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001253777,0.0006121754,0.9884177,0.001889606,0.0002406499,0.0001097508,0.0000957987,0.0008029974,0.006577574],"genre_scores_gemma":[0.05459907,0.002482611,0.9324508,0.001372169,0.0004130521,0.0003995442,0.0008634889,0.0006295065,0.006789816],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01867546,"threshold_uncertainty_score":0.09876645,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01537844600832253,"score_gpt":0.2236162077774498,"score_spread":0.2082377617691273,"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."}}