{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001619922,0.00139871,0.00108329,0.002824535,0.001557233,0.004671153,0.002683473,0.002281289,0.006101152],"category_scores_gemma":[0.002777801,0.0006507781,0.002277705,0.002871913,0.002963112,0.008606429,0.003222486,0.004969545,0.003752427],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001707811,"about_ca_system_score_gemma":0.002273847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003964887,"about_ca_topic_score_gemma":0.003942812,"domain_scores_codex":[0.997517,0.0004924125,0.0002731639,0.0003982073,0.00116822,0.0001510018],"domain_scores_gemma":[0.9987845,0.0003673987,0.00007324579,0.0003064832,0.0003557278,0.0001126388],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001239253,0.00003771444,0.000125857,0.0001638697,0.00003640502,0.0001966582,0.0003947131,0.003787377,0.002017598,0.9549107,0.006022011,0.03229471],"study_design_scores_gemma":[0.00002527221,0.0000371453,0.00008212119,0.0001572553,0.00005997975,0.0004764871,0.0001913175,0.04757775,0.001819977,0.4693869,0.4801352,0.00005052074],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001171411,0.002056216,0.9716958,0.001775141,0.001333605,0.0001549827,0.000245202,0.0009426852,0.02062498],"genre_scores_gemma":[0.04689068,0.006121425,0.9138007,0.002039903,0.001103563,0.0007529414,0.0006717984,0.0004827287,0.02813622],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006101152,"threshold_uncertainty_score":0.02041042,"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."}}