{"id":"W2110278938","doi":"10.1109/wi.2007.50","title":"A New Approach to Describe Web Services","year":2007,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":171,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ontario Tech University","funders":"","keywords":"Computer science; Web service; WS-I Basic Profile; Temporal logic; Automaton; Finite-state machine; WS-Policy; Devices Profile for Web Services; World Wide Web; Programming language; Formal specification; Model checking; Web modeling; Theoretical computer science; Web development; Web application security; Web intelligence","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.0003580949,0.000193925,0.0001597797,0.0002380678,0.0001123599,0.0002201531,0.00190511,0.00006991766,0.0000556517],"category_scores_gemma":[0.000001486787,0.0001543565,0.00006357412,0.001222837,0.000006220242,0.0004101376,0.0005383899,0.0001222993,0.000635685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002064372,"about_ca_system_score_gemma":0.00007327718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001010298,"about_ca_topic_score_gemma":0.001589542,"domain_scores_codex":[0.9982691,0.00002183441,0.0002367059,0.0005734337,0.0003710067,0.0005279348],"domain_scores_gemma":[0.9985505,0.00006077587,0.00004455121,0.0008045855,0.00006895193,0.0004706899],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00009391599,0.0004363593,0.003148495,0.0002674213,0.0001185541,0.00004993796,0.03986056,0.0005821921,0.0162806,0.5899151,0.01179415,0.3374527],"study_design_scores_gemma":[0.001944223,0.0003320075,0.01288491,0.0001193995,0.00003743264,0.0002000879,0.003839504,0.05509221,0.03125959,0.01417318,0.8782492,0.00186822],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01471073,0.00005618722,0.7525554,0.001181413,0.0003031287,0.0001741566,5.531824e-7,0.0004282101,0.2305902],"genre_scores_gemma":[0.3337848,0.000002490419,0.6444224,0.01922315,0.0003570995,0.000005963817,0.000004393755,0.00001569256,0.002184037],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8664551,"threshold_uncertainty_score":0.8170657,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01130262026906973,"score_gpt":0.231781555058469,"score_spread":0.2204789347893993,"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."}}