{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004207028,0.001348783,0.001000777,0.002006328,0.001781977,0.004934888,0.002324731,0.002719583,0.003746202],"category_scores_gemma":[0.005980432,0.0008195048,0.002582256,0.001825612,0.004633721,0.006447625,0.002581994,0.004982213,0.001686515],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001917915,"about_ca_system_score_gemma":0.004333709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003341913,"about_ca_topic_score_gemma":0.002310767,"domain_scores_codex":[0.9960833,0.001051218,0.0006893901,0.0004617355,0.001374531,0.0003397608],"domain_scores_gemma":[0.9971141,0.001184722,0.000371983,0.0004209267,0.0007002388,0.0002080663],"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.0000176229,0.00004415903,0.00005787858,0.0001173697,0.000014789,0.0001839944,0.0004529725,0.005740881,0.001848153,0.9803337,0.001646944,0.009541564],"study_design_scores_gemma":[0.0000623076,0.00005411614,0.00008584578,0.0001668362,0.00003776719,0.0003783469,0.0001724077,0.04718812,0.002569182,0.8702471,0.07898924,0.00004872954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001933332,0.0004822381,0.9906512,0.0009489715,0.0002217564,0.0001776278,0.0002626879,0.0006626905,0.00465945],"genre_scores_gemma":[0.09621718,0.001045543,0.8942741,0.0009822048,0.0005174671,0.001250113,0.0009303097,0.0003577952,0.004425217],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004934888,"threshold_uncertainty_score":0.02224916,"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."}}