{"id":"W3141090108","doi":"","title":"Specification and Verification of Context-dependent Services","year":2013,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Correctness; Computer science; Formal verification; Formal specification; Context (archaeology); Formal methods; Service (business); Model checking; Automaton; Design by contract; Software engineering; Programming language; Theoretical computer science; Business; Software; Software development","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.005221993,0.0007481859,0.0006355292,0.001233957,0.0009887731,0.002944961,0.00210819,0.002039229,0.001601103],"category_scores_gemma":[0.01324001,0.001050215,0.001843504,0.001005029,0.003048412,0.002580898,0.002160885,0.002014943,0.0005702948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001616693,"about_ca_system_score_gemma":0.005347746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007141738,"about_ca_topic_score_gemma":0.005394772,"domain_scores_codex":[0.9893486,0.00273676,0.0009862147,0.0008285681,0.005442374,0.0006574515],"domain_scores_gemma":[0.9928398,0.003625671,0.0005942733,0.001456027,0.001311155,0.0001730317],"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.000152706,0.0001645174,0.001501871,0.0005831342,0.0001216956,0.001404902,0.0009082561,0.1866583,0.03112472,0.7206997,0.00201997,0.05466036],"study_design_scores_gemma":[0.0001593023,0.0001086683,0.0004903778,0.0002218453,0.0001011439,0.0004283221,0.0001786342,0.715915,0.0578895,0.186144,0.0382919,0.00007136503],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01676923,0.00030968,0.9766035,0.0002509021,0.00009629967,0.0002243296,0.0002093692,0.001589894,0.003946794],"genre_scores_gemma":[0.3666318,0.0009709411,0.6250758,0.0002636916,0.00008631879,0.0008598497,0.0007338786,0.0003551811,0.005022516],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007141738,"threshold_uncertainty_score":0.02761686,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005568849664984516,"score_gpt":0.1925561631318077,"score_spread":0.1869873134668232,"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."}}