{"id":"W1836257789","doi":"10.1007/978-3-540-79230-7_3","title":"Extending Model Checking to Data-Aware Temporal Properties of Web Services","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"CTL*; Computer science; Workflow; Model checking; Web service; Translation (biology); Computation tree logic; Temporal logic; Distributed computing; Property (philosophy); Constraint (computer-aided design); Theoretical computer science; Data mining; World Wide Web; Database; Mathematics","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":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.0007236827,0.0007514637,0.0008628222,0.001314767,0.0003701112,0.0003943551,0.01101646,0.0003053807,0.000007128526],"category_scores_gemma":[0.00001364451,0.0006239084,0.0001321102,0.001113949,0.0003590027,0.001389935,0.007023602,0.0007377353,0.0000236684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001343372,"about_ca_system_score_gemma":0.0008799433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002148448,"about_ca_topic_score_gemma":0.0009304869,"domain_scores_codex":[0.9943105,0.00003911149,0.0008595524,0.002365808,0.001568129,0.0008569208],"domain_scores_gemma":[0.9951821,0.0001295686,0.0004887083,0.00351889,0.0004028164,0.0002779043],"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.00006511803,0.0001608453,0.0003621386,0.001594717,0.0001055975,0.0002280842,0.02693776,0.4782287,0.009321457,0.003342113,0.00006955382,0.4795839],"study_design_scores_gemma":[0.0002024949,0.00010589,0.00002365594,0.001630892,0.00001395616,0.00007456332,0.000002191197,0.9866092,0.005043343,0.004217499,0.00133067,0.0007456234],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00305736,0.001371671,0.9918469,0.0007659986,0.0009690261,0.0005628657,0.00003838692,0.0002432244,0.001144526],"genre_scores_gemma":[0.7192334,0.0001011721,0.2770458,0.003057974,0.0003797299,0.0000101124,0.00002622685,0.00005661273,0.00008896372],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.716176,"threshold_uncertainty_score":0.9996212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04455909257720025,"score_gpt":0.2580862705327919,"score_spread":0.2135271779555916,"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."}}