{"id":"W1481007432","doi":"10.3233/idt-130164","title":"Towards a formal analysis of dynamic reconfiguration in WS-BPEL","year":2013,"lang":"en","type":"article","venue":"Intelligent Decision Technologies","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Control reconfiguration; Business Process Execution Language; Computer science; Software engineering; Formal methods; Programming language; Embedded system; Service-oriented architecture; Web service","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.0002716103,0.0001775336,0.0003648024,0.002058412,0.00004802666,0.0001060427,0.001763569,0.0001874502,0.0000682075],"category_scores_gemma":[0.00009739451,0.0001364365,0.0001626678,0.00380906,0.00005583901,0.0007014744,0.0005553333,0.000196852,0.00007736685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005689611,"about_ca_system_score_gemma":0.00003184667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004664859,"about_ca_topic_score_gemma":0.00095508,"domain_scores_codex":[0.9982228,0.00002789358,0.0006371905,0.0004289287,0.0003658717,0.0003173235],"domain_scores_gemma":[0.9983981,0.0002280692,0.0002026983,0.0009468604,0.0001943902,0.00002986402],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008508498,0.00005621867,0.0007902263,0.000008561978,0.00007642937,0.000003139759,0.0006446862,0.0007956813,0.001464272,0.007076671,0.00002282,0.9890528],"study_design_scores_gemma":[0.0002923388,0.0003205475,0.04512876,0.000142843,0.0000860143,0.000008853784,0.004366094,0.5711856,0.16121,0.2154255,0.00134144,0.0004920138],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4550922,0.0003283475,0.5424495,0.0008783278,0.0001327452,0.0002121588,0.000002576568,0.0003452532,0.0005588645],"genre_scores_gemma":[0.9613423,0.0002612642,0.03820859,0.0001081103,0.000002700051,0.00004851647,0.0000070509,0.000005510398,0.00001593793],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9885608,"threshold_uncertainty_score":0.556372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01026307228476808,"score_gpt":0.264092010550371,"score_spread":0.2538289382656029,"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."}}