{"id":"W2001789462","doi":"10.1109/edoc.2007.36","title":"Model Checking Data-Aware Workflow Properties with CTL-FO+","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Workflow; Computer science; Model checking; CTL*; Context (archaeology); Web service; Theoretical computer science; Temporal logic; Programming language; Algorithm; Artificial intelligence; 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.007199625,0.001719613,0.001213778,0.001680425,0.001127823,0.004132482,0.004282564,0.001715618,0.005242929],"category_scores_gemma":[0.02780626,0.001291626,0.004973587,0.001312666,0.003585268,0.006584099,0.003843335,0.003358295,0.001223473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003647564,"about_ca_system_score_gemma":0.005332579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01633297,"about_ca_topic_score_gemma":0.01362692,"domain_scores_codex":[0.9934353,0.00185426,0.0007110116,0.001139482,0.001857404,0.001002618],"domain_scores_gemma":[0.9722466,0.0183975,0.001922356,0.004516479,0.002640103,0.0002769699],"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.0008653284,0.0003664058,0.004626677,0.0011089,0.0003944531,0.0009833131,0.0008283253,0.6778539,0.01707834,0.2000835,0.005479326,0.09033146],"study_design_scores_gemma":[0.0001372783,0.00009706843,0.0001849444,0.0000985427,0.000110802,0.0001381464,0.0000690401,0.8630022,0.02897915,0.1025344,0.0045933,0.00005518121],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01216402,0.00004639168,0.9780685,0.0002557287,0.00004391756,0.0001310083,0.0004482065,0.007042042,0.001800198],"genre_scores_gemma":[0.3665455,0.0001928783,0.6239476,0.0006892701,0.00009464913,0.0006814208,0.002407795,0.002253981,0.003186926],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01633297,"threshold_uncertainty_score":0.03807575,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2004898126885454,"score_gpt":0.3280751238848738,"score_spread":0.1275853111963283,"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."}}