{"id":"W2009870514","doi":"10.1016/j.jnca.2010.06.006","title":"Verifying mediated service interactions considering expected behaviours","year":2010,"lang":"en","type":"article","venue":"Journal of Network and Computer Applications","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"St. Francis Xavier University","funders":"Ministry of Education, Science and Technology; Ministry of Education, Culture, Sports, Science and Technology; Science Foundation Ireland","keywords":"Computer science; Service (business); Computer network","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.006218166,0.001414687,0.001615079,0.001159046,0.001481973,0.003165213,0.003695998,0.003314846,0.004087808],"category_scores_gemma":[0.05974878,0.001170797,0.002676998,0.0007402739,0.003176704,0.004533269,0.003747307,0.002493725,0.0007701431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002267675,"about_ca_system_score_gemma":0.003863475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007070056,"about_ca_topic_score_gemma":0.006578017,"domain_scores_codex":[0.9860793,0.00417921,0.0008823747,0.001821207,0.005534817,0.001503166],"domain_scores_gemma":[0.9056368,0.07164936,0.004783598,0.009124168,0.007357439,0.001448661],"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.004083869,0.0008671176,0.02173106,0.0006114109,0.0006066333,0.00360793,0.001100976,0.7694178,0.04528522,0.08859918,0.001434501,0.06265441],"study_design_scores_gemma":[0.00009830169,0.000164731,0.000656464,0.00001681634,0.00005169816,0.0001397357,0.00009632887,0.9659272,0.01273305,0.01982982,0.0002633155,0.00002267639],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3848188,0.000056481,0.6074566,0.0003070273,0.00008194584,0.0002941421,0.0002134498,0.003881825,0.002889699],"genre_scores_gemma":[0.9522313,0.00002760858,0.0462515,0.00003615765,0.00002926109,0.00008555605,0.0001950065,0.000196584,0.0009469862],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007070056,"threshold_uncertainty_score":0.03288519,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01046004755394019,"score_gpt":0.2434099956834228,"score_spread":0.2329499481294826,"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."}}