{"id":"W1588763680","doi":"10.5220/0002576901440156","title":"A Formal Semantics for the Business Process Execution Language for Web Services","year":2005,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Business Process Execution Language; Formal semantics (linguistics); Programming language; Semantics (computer science); Web service; Business process; World Wide Web; Software engineering; Service-oriented architecture; Work in process; Business","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.0002443001,0.0001659723,0.0001332964,0.00007173101,0.0004537509,0.0002957992,0.001201436,0.00006142758,0.000006833592],"category_scores_gemma":[0.00000473786,0.0001009079,0.00007706506,0.0004596108,0.0000202748,0.000901084,0.0001550822,0.00006081262,0.00001093535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001209488,"about_ca_system_score_gemma":0.00007682954,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009667268,"about_ca_topic_score_gemma":0.002607611,"domain_scores_codex":[0.9988679,0.00001083295,0.000203477,0.0003054086,0.000202167,0.0004101657],"domain_scores_gemma":[0.9989023,0.0002081441,0.00009669657,0.0004406174,0.0002994211,0.00005277437],"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.0005236992,0.0007740425,0.001049715,0.006105647,0.0003822963,0.000005552261,0.1133433,0.01572696,0.0180057,0.2796809,0.002153239,0.5622489],"study_design_scores_gemma":[0.001127932,0.00008528846,0.0008394672,0.00005475672,0.00004600721,0.00001916827,0.002602453,0.9072272,0.008984838,0.001748087,0.07696571,0.00029914],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.12756,0.000398833,0.8553243,0.0141873,0.000393561,0.001101904,0.00001961037,0.0003303878,0.0006840557],"genre_scores_gemma":[0.9573162,0.000009312793,0.03561382,0.005897969,0.0006613338,0.0002553366,0.0000260587,0.00001604425,0.0002039498],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8915002,"threshold_uncertainty_score":0.4114906,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006027016403565417,"score_gpt":0.2525115522072429,"score_spread":0.2464845358036774,"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."}}