{"id":"W4242861686","doi":"10.1109/aspec.2007.71","title":"Realizability of Collaboration-based Service Specifications","year":2007,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Realizability; Unified Modeling Language; Computer science; Construct (python library); Point (geometry); Set (abstract data type); Programming language; Operator (biology); Service (business); Theoretical computer science; State (computer science); Software engineering; Software; Mathematics","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.0004453753,0.00009496826,0.000116051,0.0001286538,0.0000821085,0.00004039724,0.0007699422,0.00004852454,0.00005951574],"category_scores_gemma":[0.000009813542,0.00008202119,0.00003497325,0.002024119,0.00002223813,0.000198482,0.00007285614,0.00005744281,0.00002935342],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002208603,"about_ca_system_score_gemma":0.0001379242,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007129056,"about_ca_topic_score_gemma":0.004031732,"domain_scores_codex":[0.9989111,0.0000380985,0.0003239252,0.0002808844,0.000263874,0.0001821346],"domain_scores_gemma":[0.9981252,0.0002570279,0.0001153899,0.000857205,0.0005572682,0.00008789121],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00006314258,0.0006967132,0.01809869,0.0002444907,0.00003821169,0.000005216678,0.007667053,0.002834768,0.02381966,0.9260679,0.0004741581,0.01999004],"study_design_scores_gemma":[0.001831618,0.0003038083,0.21669,0.00007942681,0.00003643051,0.000007774997,0.002794133,0.1376021,0.5319903,0.02729557,0.08042508,0.0009436742],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05543086,0.00003124935,0.9052075,0.006923372,0.0001911269,0.0001986779,0.000006596099,0.0001934995,0.0318171],"genre_scores_gemma":[0.9130073,0.000001085144,0.0838571,0.0030395,0.00003580914,0.000004558513,0.00001365085,0.000004703855,0.00003635823],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8987723,"threshold_uncertainty_score":0.3344727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02260923406350526,"score_gpt":0.2637296150285731,"score_spread":0.2411203809650678,"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."}}