{"id":"W7099399674","doi":"","title":"Technical Report Complete Abstract Operational Semantics for the Web Service Business Process Execution Language","year":2005,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Business Process Execution Language; Operational semantics; Web service; Business process; Semantics (computer science); Well-founded semantics; Action semantics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005129089,0.0002024595,0.0002144345,0.0001347107,0.0005916656,0.00062561,0.0003582734,0.00009050519,0.0002256825],"category_scores_gemma":[0.000181116,0.0001358985,0.00008850918,0.0009460569,0.00005164778,0.001080284,0.00008129674,0.0001283674,0.0001073799],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002155579,"about_ca_system_score_gemma":0.00009403071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004753846,"about_ca_topic_score_gemma":0.001098057,"domain_scores_codex":[0.9985715,0.000002252485,0.0004427855,0.0003507521,0.0003703604,0.0002623716],"domain_scores_gemma":[0.9979355,0.00006213584,0.0002344816,0.0003106829,0.001445897,0.00001126775],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006062963,0.002545005,0.009995417,0.007568256,0.0007063398,0.0001499493,0.0007226687,0.6956962,0.05151862,0.05002795,0.05667806,0.1237852],"study_design_scores_gemma":[0.0005941964,0.000001911397,0.004636174,0.00007494967,0.0002906575,0.00004326392,0.0004810993,0.9231555,0.0001307161,0.0005242669,0.06966528,0.0004019482],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3697498,0.0006281639,0.369875,0.2386469,0.0006734161,0.001808254,0.00004395763,0.001578515,0.01699594],"genre_scores_gemma":[0.9894765,0.000009031397,0.001585197,0.005613995,0.002307722,0.000100755,0.0003223532,0.00003201449,0.0005524219],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6197267,"threshold_uncertainty_score":0.6032771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03016415097404222,"score_gpt":0.2796830997344295,"score_spread":0.2495189487603873,"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."}}