{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001634953,0.00008760782,0.00009111896,0.0001383282,0.0001175513,0.000266762,0.0001739638,0.00005651215,0.001047737],"category_scores_gemma":[0.00006682543,0.00007150016,0.000051686,0.0004891767,0.00002393838,0.0006793511,0.00004114425,0.000118771,0.0007954599],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002671336,"about_ca_system_score_gemma":0.00001176753,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004476536,"about_ca_topic_score_gemma":0.0001149713,"domain_scores_codex":[0.9994115,8.516385e-7,0.0001269518,0.0001814511,0.0001433797,0.0001359008],"domain_scores_gemma":[0.9995211,0.000003936472,0.00006235934,0.0002129545,0.0001933033,0.000006334151],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002196815,0.00017915,0.0151919,0.0001407622,0.0000418052,0.000003240187,0.0000254444,0.0005212661,0.0144787,0.2398289,0.00857797,0.7209889],"study_design_scores_gemma":[0.0006690993,0.000002783884,0.02649198,0.00003068001,0.0002033272,0.000002300901,0.000125355,0.4385168,0.001133064,0.06576504,0.4662173,0.0008422442],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6139869,0.00003972601,0.06567445,0.008468308,0.00122125,0.0001117887,5.427212e-7,0.0008115788,0.3096855],"genre_scores_gemma":[0.9942179,0.000002863054,0.002258283,0.00135998,0.001226528,0.000009095535,0.00001871374,0.00001308053,0.000893502],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7201467,"threshold_uncertainty_score":0.9999825,"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."}}