{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003132849,0.001157481,0.0007078997,0.001672985,0.0009957834,0.006537869,0.001238158,0.001506281,0.01317795],"category_scores_gemma":[0.004767356,0.0006487438,0.001367565,0.001625953,0.002030248,0.006308802,0.002175083,0.003217917,0.006679708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001651509,"about_ca_system_score_gemma":0.003033325,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002657752,"about_ca_topic_score_gemma":0.0009358801,"domain_scores_codex":[0.9938527,0.001262693,0.0008699128,0.0007250044,0.002824732,0.0004649725],"domain_scores_gemma":[0.9963297,0.0008077885,0.0002387045,0.0006682432,0.001776399,0.0001792104],"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.00007643964,0.00009326603,0.0002278278,0.0003104655,0.00002458005,0.0003982893,0.0004396568,0.007952453,0.00831988,0.922127,0.01435391,0.04567631],"study_design_scores_gemma":[0.0001026285,0.0001061225,0.0003142713,0.0003100588,0.00005029266,0.0007922917,0.0003174786,0.05610434,0.02038971,0.4473954,0.474012,0.0001054282],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004333296,0.0005219704,0.9652612,0.001230362,0.0004340906,0.0002949538,0.001065843,0.003058724,0.02379955],"genre_scores_gemma":[0.180895,0.002374643,0.77179,0.001070455,0.0008557462,0.001329216,0.00768232,0.002624579,0.03137803],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01317795,"threshold_uncertainty_score":0.04408467,"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."}}