{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003930386,0.0007744661,0.0006091525,0.001447074,0.001020787,0.004155082,0.001986647,0.001292277,0.003044335],"category_scores_gemma":[0.00814792,0.0007727757,0.002103104,0.001449791,0.00444446,0.004078822,0.002441337,0.003155543,0.0008888236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001800592,"about_ca_system_score_gemma":0.002372091,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003588528,"about_ca_topic_score_gemma":0.002413073,"domain_scores_codex":[0.9971578,0.0007937061,0.0001950977,0.0002784361,0.00128809,0.0002869215],"domain_scores_gemma":[0.9971526,0.001594589,0.0002227369,0.0003949219,0.0005466099,0.00008856195],"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.0000373918,0.00008693698,0.0002180235,0.0001480626,0.0000320985,0.0003884984,0.0004778812,0.05949254,0.003652956,0.9151333,0.001062901,0.01926946],"study_design_scores_gemma":[0.00003230645,0.00002475897,0.0001415649,0.0001091112,0.00003611559,0.0001235875,0.0001056485,0.3121941,0.004058489,0.6679024,0.01523921,0.00003273912],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005160362,0.0003765856,0.9878258,0.0004718053,0.00008930732,0.00005850876,0.00004603785,0.000395261,0.005576246],"genre_scores_gemma":[0.3163181,0.001686685,0.6719593,0.0005815754,0.0003753875,0.0003572105,0.0002827306,0.0003726371,0.008066386],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004155082,"threshold_uncertainty_score":0.02078617,"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."}}