{"id":"W2101023018","doi":"10.1109/edoc.2008.32","title":"Runtime Monitoring of Message-Based Workflows with Data","year":2008,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":66,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; TRACE (psycholinguistics); Programming language; Workflow; XML; Linear temporal logic; Extension (predicate logic); Overhead (engineering); Runtime verification; Business process; Temporal logic; Process (computing); Decidability; Distributed computing; Database; Theoretical computer science; Work in process; Formal verification; Operating system","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":[],"consensus_categories":[],"category_scores_codex":[0.0001048506,0.0001253034,0.0001569942,0.00009343057,0.0001010493,0.00002930851,0.002134799,0.00003209052,0.00002229071],"category_scores_gemma":[0.000002215555,0.0000869631,0.0000231532,0.0006048432,0.00003374496,0.0004429036,0.0004359318,0.00009095646,0.00001493797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005543912,"about_ca_system_score_gemma":0.00008176245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002656772,"about_ca_topic_score_gemma":0.00007805398,"domain_scores_codex":[0.9988633,0.00002843687,0.0001646158,0.0003873405,0.0003462949,0.0002100067],"domain_scores_gemma":[0.9980758,0.00008674458,0.00007490433,0.001618125,0.00007232431,0.00007203306],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003989697,0.001704548,0.8326776,0.0006058505,0.0006174683,0.0007759145,0.01514385,0.02039409,0.01203036,0.01421262,0.004543582,0.09689513],"study_design_scores_gemma":[0.006641292,0.001247748,0.2342975,0.001006758,0.0001320168,0.0002628732,0.0009265524,0.3746609,0.3167945,0.0009896598,0.06058565,0.002454474],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4132761,0.0002753936,0.5754281,0.001229779,0.0003062663,0.000193856,0.000006077921,0.0003616619,0.008922819],"genre_scores_gemma":[0.7760786,0.00000655648,0.2232181,0.0005225872,0.00006927847,0.000003352546,0.000007669667,0.000008270167,0.00008552989],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5983801,"threshold_uncertainty_score":0.3967022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03487202559478638,"score_gpt":0.241303458339584,"score_spread":0.2064314327447976,"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."}}